8.5 DIstrIbuteD DebuggIng A common

8.5 DIstrIbuteD DebuggIng

A common problem of interest in the design and analysis of many distributed systems is to decide whether the global state will ever satisfy a predefined predicate ϕ. Such a question may have safety implications: for example, in an industrial control system, a state in which certain parameters attain predefined values can potentially lead to a hazard. In a traffic control network, certain combination of traffic signal values can lead to traffic congestion or a potential collision between vehicles. In a network protocol, certain global states may cause a safety breach. Observing and analyzing such potential threats are challenging due to two reasons: (1) the size of the state space of even a small-sized distributed system can be enormous and (2) the inherent nondeterminism prevents us from freely exploring the state space. Ideally, to identify a bug, any execution leading the system to the buggy state must be repeatable. Nondeterminism prevents us from exercising that kind of control in state exploration. Note that debugging encompasses both stable and unstable predicates.
The history of a distributed system can be represented by a lattice as shown in Figure 8.7. Assume that there is an observer (also called a monitor) who is observing the computations in the system. An observer is an external process* that receives notifications from every internal process (about the next state) whenever they execute an action.

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

8.5 распределенных отладки Общая проблема интереса в разработке и анализе многих распределенных систем является решить ли глобальное состояние когда-либо будет удовлетворять заранее предиката φ. Такой вопрос может иметь последствия для безопасности: например, в системе промышленного контроля, государство, в котором определенные параметры достижения предопределенных значений потенциально может привести к опасности. В сети управления трафиком определенная комбинация значений движения сигнала может привести к заторов или потенциального столкновения между транспортными средствами. В сетевой протокол некоторые глобальные состояния может привести к нарушению безопасности. Наблюдая и анализируя такие потенциальные угрозы являются сложными по двум причинам: (1) размер государственного пространства даже малого размера распределенной системы может быть огромным и (2) присущие детерминизма мешает нам свободно изучать пространства государства. В идеале чтобы определить ошибку, любое исполнение, ведущая система глючит состояние, должно быть повторяемым. Детерминизма не позволяет нам осуществлять такого рода контроля в государственной разведки. Обратите внимание, что отладка охватывает как стабильные, так и нестабильные предикаты.История распределенной системы могут быть представлены решетки, как показано на рисунке 8.7. Предположим, что наблюдатель (также называемый монитором) который следит за расчеты в системе. Наблюдатель является внешний процесс * который получает уведомления от каждого внутреннего процесса (о следующем состоянии) всякий раз, когда они выполняют действия.

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

8.5 Distributed Debugging

Общей проблемой заинтересованности в разработке и анализе многих распределенных систем , чтобы решить , будет ли когда - нибудь глобальное состояние удовлетворяет заранее определенный предикат ф. Такой вопрос может иметь последствия для безопасности: например, в промышленной системе управления, состояние , в котором некоторые параметры достигают предварительно определенные значения потенциально могут привести к опасности. В сети управления трафиком, определенная комбинация значений сигнала трафика может привести к перегруженности трафика или потенциального столкновения между транспортными средствами. В сетевом протоколе, определенные глобальные состояния могут привести к нарушению безопасности. Наблюдая и анализируя такие потенциальные угрозы являются сложными по двум причинам: (1) размер пространства состояний даже небольшого размера распределенной системы может быть огромным и (2) врожденная недетерминизм мешает нам свободно исследовать пространство состояний. В идеале, чтобы определить ошибку, любое исполнение ведет систему в состояние багги должна быть повторяемым. Недетерминизм мешает нам осуществлять такого рода контроля в государственной разведки. Обратите внимание , что отладка включает в себя как устойчивые и неустойчивые предикаты.
История распределенной системы может быть представлена в виде решетки , как показано на рисунке 8.7. Предположим , что есть наблюдатель (называемый также монитором) , который наблюдает вычисления в системе. Наблюдатель внешний процесс * , который получает уведомления от каждого внутреннего процесса (о следующем состоянии) всякий раз , когда они выполняют действие.

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

8.5 распространен отладкиобщая проблема заинтересованности в разработке и анализе многих распределенных систем состоит в том, чтобы решить, будет ли глобальное государство никогда не удовлетворяет основные 57,3 заранее.такой вопрос может иметь последствия для безопасности: например, в индустриальной системы контроля, государство, в котором определенных параметров достижения заранее ценности могут привести к опасности.в дорожной сети контроль, определенную комбинацию светофором ценностей может привести к заторов или возможного столкновения транспортных средств.в сетевой протокол, некоторых государств может вызвать нарушение глобальной безопасности.наблюдения и анализа такой потенциальной угрозы являются сложными объясняется двумя причинами: (1) размер государственной космической даже мелких распределенной системы может быть огромным и (2), связанных nondeterminism мешает нам свободно изучать государственный космический.в идеале, выявить ошибки, какие системы исполнения ведущих коляску государство должно быть повторяемые.nondeterminism позволяет нам осуществлять такой контроль государства в разведке.следует отметить, что отладка охватывает как стабильных и нестабильных предикаты.история распределенной системы может быть представлен решетки, как показано на рисунке 8,7.предположить, что есть наблюдатель (также называемого мониторинга), который проводит расчеты в системе.наблюдателя является внешним процесса *, что получает уведомления от каждого внутреннего процесса (о следующем государства) в тех случаях, когда они выполнять какие - либо действия.