Модель программы, в которой при возникновении определённого события для определённого состояния может с некоторой вероятностью произойти один из множества переходов, называется:

Правильный ответ:

• # Замки чтения-записи при установке reader-замка запрещают:
• # Операция изменения элемента в множестве занимает 3 микросекунды. Операция взятия замка является идеальной (константное время) и занимает 4 микросекунды. Время исправления коллизии колеблется от 10 до 50 микросекунд. Вероятность коллизии при изменении составляет 1%. Оправдано ли использование оптимистичной синхронизации?
• # Критично ли для кластерных вычислений выпадение одного из узлов в ходе вычислений?
• # Является ли построенное выражение противоречивым: write[A](flag[A]=true) read[A](flag(B)==false) write[B](flag[B]=true) read[B](flag(A)==false)
• # Результатом протокола консенсуса является: