着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。

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.

youdao

同样，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.

youdao

用于创建pthread _ mutex的POSIX API使用互斥锁来实现优先级继承协议。

A POSIX API for creating a pthread_mutex lets the mutex implement the priority-inheritance protocol.

youdao