Hardware Support of Concurrent Process Interaction and Synchronization: On the Principle of Autocorrect Implementation

摘要

The paper outlines the principles of a technique that enables a concurrent, self-timed switching circuit be generated from an initial specification expressed as a Muller diagram, Petri net or signal graph even if it contains specific errors. The circuit can then be used as a control circuit for the implementation of the synchronization and interactions of concurrent processes. The errors discussed are contradictions, violations of safeness, violations of signal changes and non-persistence. The technique provides a linear complexity of the resulting control circuit with respect to the initial specification, and results in a circuit that differs in its behavior only when situations leading to incorrect behavior are reached, while otherwise preserving the partial ordering of events in the initial specification.