12.1 A sender P sends a sequence of

12.1 A sender P sends a sequence of messages to a receiver Q. In the absence of any failure, the communication from P to Q is FIFO—however, due to failure, the messages can reach Q out of order. Give a formal specification of this failure using normal and fault actions.
12.2 Buffer overflows (also known as pointer or heap or stack smashing) are a well-known source of program failure. What kind of fault models would capture their effects on the rest of the system?
12.3 Consider the following real-life failure scenarios and examine if these can be mapped to any of the known fault classes introduced in this chapter:
a. On January 15, 1990, 114 switching nodes of the long-distance system of AT&T went down. A bug in the failure recovery code of the switches was responsi- ble for this. Ordinarily, when a node crashed, it sent out-of-service message to the neighboring nodes, prompting the neighbors to reroute traffic around it. However, the bug (a misplaced break statement in C code) caused the neighbor- ing nodes to crash themselves upon receiving the out-of-service message. This further propagated the fault by sending an out-of-service message to nodes fur- ther out in the network. The crash affected the service of an estimated 60,000 people for 9 h, causing AT&T to lose $60 million revenue.
b. A program module of the Arianne space shuttle received a numerical value that it was not equipped to handle. The resulting variable overflow caused the shuttle’s onboard computer to fail. The rocket went out of control and subsequently crashed.
12.4 No fault-tolerant system can be implemented without some form of redundancy. The redundancy could be in spare hardware or extra space or extra time or extra messages used in the implementation. In this context, revisit the sliding window protocol and identify the redundancies.
12.5 Consider the following specification of a faulty process:

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

12.1 P отправитель отправляет последовательность сообщений получателю Q. В отсутствие каких-либо неудачи сообщение от P к Q является FIFO, однако из-за сбоя, сообщения может достигать Q вышел из строя. Дайте формальной спецификации этого сбоя с помощью обычных и неисправности действий.12.2 переполнение буфера (также известный как, указателя или кучи или битье стека) являются хорошо известным источником сбоя программы. Какие модели ошибок будет захватить их влияние на остальной системы?12.3 рассмотрим следующие сценарии сбоя реальной жизни и рассмотреть, если они могут быть сопоставлены с любой из классов известных ошибок, представленные в этой главе:а. по 15 января 1990 года, 114, коммутационных узлов междугородной системы AT & T пошел. Ошибка в коде восстановления сбоя параметров был ответственный ble для этого. Обычно когда узел разбился, он отправлен out сообщение соседние узлы, вызвав соседей для перенаправления трафика вокруг него. Однако ошибка (оператор потерявшегося break в коде C) вызвало соседа ing узлы к краху себя после получения сообщения out-of-service. Это также распространяется ошибку, отправив сообщение вне службы узлов меха ther вне в сети. Аварии затрагивает службы примерно 60 000 человек за 9 часов, вызывая AT & T, чтобы потерять доход $60 млн.б. программный модуль Арайан Спейс шаттл получил числовое значение, которое было не оборудован для обработки. Результирующая переменная переполнения в результате шаттла бортового компьютера на провал. Ракета выходит из-под контроля и впоследствии разбился.12.4 не отказоустойчивые системы могут быть осуществлены без избыточности в той или иной форме. Избыточность может быть в свободное оборудование или дополнительное пространство или дополнительное время или дополнительных сообщений, используемых в реализации. В этом контексте вновь скользящего окна протокола и определить увольнений.12.5 рассмотрим следующую спецификацию неисправного процесса:

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

12.1 Отправитель Р посылает последовательность сообщений на приемник Q. В отсутствие какого - либо сбоя, сообщение от Р до Q является буфер FIFO-однако, из - за сбоя, сообщения могут достигнуть Q из строя. Дайте формальную спецификацию этой неудачи с использованием нормальных и аварийных действий.
12.2 переполнение буфера (также известный как указатель или кучи или дробления стека) являются хорошо известным источником сбоя программы. Какие модели разломов бы захватить их влияние на остальной части системы?
12.3 Рассмотрим следующие реальные сценарии отказов и проверьте , если они могут быть преобразованы в любой из известных классов неисправностей , введенных в этой главе:
а. С 15 января 1990 года, 114 коммутационных узлов дальней связи системы AT & T пошли вниз. Исправлена ошибка в коде восстановления после отказа выключателей было , ответственные за это. Обычно, когда узел разбился, он послал вне службы сообщение для соседних узлов, что побудило соседей перенаправить трафик вокруг него. Тем не менее, ошибка (неуместного заявление перерыв в коде C) вызвало окрест узлы щие к сбою себя при получении сообщения об отсутствии обслуживания. Это еще больше распространяется ошибку, отправив сообщение вне службы для узлов и даль- ше в сети. Аварии сказались на службе примерно 60000 человек в течение 9 часов, в результате чего AT & T , чтобы потерять 60 миллионов долларов дохода.
Б. Программный модуль космического челнока Arianne получил численное значение , что он не был оборудован для обработки. В результате переполнение переменной вызвано бортовой компьютер шаттла на провал. Ракета вышла из -под контроля , а затем упал.
12.4 Ни одна отказоустойчивая система не может быть реализована без некоторой формы избыточности. Избыточность может быть в свободное от аппаратных средств или дополнительного пространства или дополнительного времени или дополнительных сообщений , используемых в реализации. В этом контексте вновь протокола скользящего окна и определить избыточность.
12.5 Рассмотрим следующую спецификацию неисправного процесса: