·2,447,543篇论文数据,部分数据来源于NoteExpress
着重以一种虚环互斥协议为例,对结构化形式描述风格和转移形式描述风格进行探讨。
It then discusses the structured specification style and the transition oriented speciflcation style, which is based on an example of a virtual ring mutual exclusion protocol.
同样,rt - mutexes对优先级继承协议扩展了健壮的互斥锁,后者允许rt JVM通过pthread库依赖优先级继承行为。
Also, rt-mutexes extend the priority-inheritance protocol to robust mutexes, which allows the rt JVM to rely on priority-inheritance behaviour via the pthread library.
用于创建pthread _ mutex的POSIX API使用互斥锁来实现优先级继承协议。
A POSIX API for creating a pthread_mutex lets the mutex implement the priority-inheritance protocol.
应用推荐