基于行为模型的多线程体系结构

摘要

多个并行的被动指令线程使用“主动”和“抢先”信号量协调对共享资源的访问。主动信号量向执行和/或控制电路发送使得线程状态改变的消息、线程可由线程调度器响应于未决的从属关系而置于非活动状态，这可由一信号量来指示。对应于从属关系的线程状态变量用于指示该线程处于非活动模式。当解决了该从属关系时，向控制电路传送导致清除从属关系变量的消息。响应于清除从属关系的变量，线程被置于活动状态。执行可在活动状态中的线程上进行。抢先信号量以类似的方式操作，不同之处在于信号量是由线程分派器在线程被分派到执行电路用于执行之前或之后配置的。