Resource contention: (资源冲突)当一个指令需要寄存器或管道时,它们被其它指令所用,处理器不能即时作出回应,这就是资源冲突。
...系统的顺序(Se- quencing)、非确定性(Non-deterministic)分支、同步(Synchro- nization)、资源竞争(Resource Contention)、并发性(Concurren- cy)等多种特征有效地模型化,可用来检查和验证系统的完全 性和活跃性,特别适合于那些由交互的并发任务所...
基于1个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
Resource contention: (资源冲突)当一个指令需要寄存器或管道时,它们被其它指令所用,处理器不能即时作出回应,这就是资源冲突。
应用推荐