ABSTRACT

We discussed in this paper the modeling behavior of the cloud computing communication network through which processors exchange their messages. The goal is to develop an abstract description of a communication network that effectively enforces a TDMA-style access to the communication medium by avoiding that a “babbling idiot” can interfere with another processor’s message broadcast. This ensures that a non-faulty processor will receive the message that was sent by the sender of a given slot. To prevent a faulty processor from speaking outside its designated slots an independent component is necessary that controls the access to the communication medium. In TTP/C, this component is called the guardian. There are two common implementations of a guardian: in a bus topology, every processor is equipped with its own local guardian, whereas in a star topology there is one central guardian per channel.