着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。
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对优先级继承协议扩展了健壮的互斥锁，后者允许rtJVM通过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的POSIXAPI使用互斥锁来实现优先级继承协议。
A POSIX API for creating a pthread_mutex lets the mutex implement the priority-inheritance protocol.
基于优先级继承协议，提出了一个防止优先级反转的互斥算法。
Based on priority inheritance protocol, a muti thread mutex algorithm is presented, which can prevent deadlock and priority inversion.
使用优先级天花板协议(PCP)，每个互斥锁都有最大优先级，设为需要这个锁的任务的优先级的最大值。
With the priority ceiling Protocol (PCP) method each mutex has a defined priority ceiling, set to that of the highest priority task which USES the mutex.
最后，实时线程组为互斥锁支持了优先级继承协议和优先级天花板协议。
Finally the Realtime Threads Feature Group adds mutex support for both priority inheritance and priority ceiling protocols.
最后，实时线程组为互斥锁支持了优先级继承协议和优先级天花板协议。
Finally the Realtime Threads Feature Group adds mutex support for both priority inheritance and priority ceiling protocols.
应用推荐