Here, a safety property is that at

Here, a safety property is that at most one process can be inside its critical section. Accordingly, the safety invariant can be written as Ncs ≤ 1 where Ncs is the number of processes in the critical section at any time. A bad thing corresponds to a situation in which two or more processes are in the critical section at the same time.
Bounded capacity channel: A transmitter process P and a receiver process Q are communicating through a channel of bounded capacity B. The usual conditions of this communication are as follows: (1) The transmitter should not send messages when the channel is full, and (2) the receiver should not receive messages when the channel is empty. The following invariant represents a safety property that must be satisfied in every state of the system:

Результаты (русский) 2:

Здесь, свойство безопасности является то , что в большинстве один процесс может быть внутри критической секции. Соответственно, инвариантные безопасности можно записать в виде NCS ≤ 1 , где Ncs есть число процессов в критической секции в любое время. Плохая вещь соответствует ситуации , в которой два или более процессов находятся в критической секции одновременно.
Локальности Пропускная способность канала: Процесс передатчика P и процесс приемника Q общаетесь через канал ограниченной емкости B. обычных условиях это сообщение следующим образом : (1) передатчик не должен посылать сообщения , когда канал заполнен, и (2), приемник не должен принимать сообщения , если канал пуст. Следующий инвариант представляет собой свойство безопасности , которое должно быть удовлетворено в каждом состоянии системы:

Результаты (русский) 3:

вот, охраны собственности заключается в том, что в большинстве один процесс может быть внутри его критические секции.таким образом, безопасности инвариант могут быть написаны как нк ≤ 1, где нк - число процессов в критические секции в любое время.плохо согласуется с положением, в котором два или более процессов в критические секции в одно и то же время.границы потенциала канала: передатчика и приемника процесса P процесса Q общается через канал, ограниченной способности в обычных условиях этого сообщения являются: 1) передатчик не должны отправлять сообщения, когда канал полностью, и (2) получатель не должны получать сообщения, когда канал пуст.следующие инвариант является безопасность собственности, которые должны быть выполнены в каждом штате системы: