Independent multiprocessor systems: a master/slave configuration implemented in Ada

The use of multiprocessors for reducing risk in a system is called redundancy management. The software should be hardware independent, reliable, and reusable. These are key words in choosing Ada to implement the code. A set of common data to all CPUs may be updated by one CPU, called a master, while the others (called slaves) read the data and act on the results. The master controls the operation of the system, and the slaves continually check the validity of the master. The complexity in this code is that all CPUs must execute the same algorithm, but react in a different way. Each CPU must determine whether it can write data as the master, read data as a slave, or transition to master if the master is dysfunctional. One way to do this is to implement a rotating count scheme