Mutual exclusion model under shared memory MPSOC
基于共享存储器多处理器片上系统的互斥模型*

在原有模型和算法分析的基础上，提出了一种共享存储器MPSOC互斥模型。该模型能适应各种互斥算法的描述、论证需求，能更好地描述任务优先级、实时性；能够适应区分处理器源任务的互斥算法（即区分对待来自不同处理器的任务）；严格区分并发性、并行性，描述更加精确；扩展了服务周期、事件之间关系；能够精确地量化互斥性能指标，以便更好地比较互斥算法优劣。最后，给出了该模型的一个简单实例，对模型应用提供指导。