Mutual exclusion: At most, one foru

Mutual exclusion: At most, one forum must be in session at any time.
No deadlock: At any time, at least one process should have an eligible action.
Bounded waiting: Every forum that has been chosen by some process must be in session within a bounded time.
Concurrent entry: Once a forum is in session, concurrent entry into that session is guar- anteed for all willing processes.

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

Взаимное исключение: В лучшем случае, один форум должен быть в сессии в любое время.Взаимоблокировка: В любое время, хотя бы один процесс должен иметь право действий.Ограниченные ожидания: каждый форум, который был выбран некоторый процесс должен быть в сеансе в течение ограниченного времени.Параллельная запись: после того, как форум находится в сессии, одновременное вступление в этой сессии является гуаровая-сделала для всех процессов, готовых.

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

Взаимное исключение: В лучшем случае , один форум должен быть в сессии в любое время.
Ни один тупиковый: В любое время, по крайней мере , один процесс не должен иметь приемлемое действие.
Локальности ожидания: Каждый форум , который был выбран какой - то процесс должен быть в сессии в рамках ограниченное время.
Одновременная запись: После того, форум находится на сессии, одновременное вступление в этой сессии для гарантируются всех желающих процессов.