Consider the system of Figure 5.6 w

Consider the system of Figure 5.6 where a pair of processes T and R communicates with each other by sending messages along the channels c1 and c2. Process T has a local variable t, and process R has a local variable r. The program for T and R are described in the following paragraph. We will demonstrate that the safety property P, “The total number of messages in both channels is ≤10,” is an invariant for this system.

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

Рассмотрим систему рисунок 5.6, где пара процессов T и R взаимодействует друг с другом посредством отправки сообщений по каналам c1 и c2. Процесс T имеет локальной переменной t, и процесс R имеет локальной переменной r. Программа для T и R, описаны в следующем пункте. Мы покажем, что безопасность свойства P, «общее количество сообщений в обоих каналах является ≤10,» является инвариантом для этой системы.

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

Рассмотрим систему рис.5.6, где пара процессов Т и R осуществляет связь друг с другом посредством передачи сообщений по каналам c1 и c2. Процесс Т имеет локальную переменную т, а сам процесс R имеет локальную переменную г. Программа для T и R описаны в следующем параграфе. Покажем, что безопасность свойство P "Общее количество сообщений в обоих каналах ≤10," является инвариантной для этой системы.

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

рассмотрение вопроса о системе показатель 5.6, где пара процессов т и R общается друг с другом, направляя сообщения по каналам с1 и с2.процесс не имеет переменные T, и процесс R есть локальная переменная R. программа т и R приводится в нижеследующем пункте.мы продемонстрируем, что безопасность имущества "," общее число сообщений в обоих каналов составляет ≤ 10 ", - это инвариант для этой системы.