基于共享存儲器多處理器片上系統的互斥模型

摘要：在原有模型和算法分析的基礎上，提出了一種共享存儲器MPSOC互斥模型。該模型能適應各種互斥算法的描述、論證需求，能更好地描述任務優先級、實時性；能夠適應區分處理器源任務的互斥算法(即區分對待來自不同處理器的任務)；嚴格區分并發性、并行性，描述更加精確；擴展了服務周期、事件之間關系；能夠精確地量化互斥性能指標，以便更好地比較互斥算法優劣。最后，給出了該模型的一個簡單實例，對模型應用提供指導。

關鍵詞：共享存儲器；多處理器片上系統；互斥模型

中圖分類號：TP316 文獻標志碼：A 文章編號：1001－3695(2009)12－4484－04