Storage interference in asynchronous computations

Some properties of multiprocessing systems, i.e. computing systems in which a set of computational elements share a pool of storage elements are investigated. In particular, the conditions for the output-functionality of these systems are studied, where a computing systems is defined as being output-functional when it produces the same sequence of outputs for the same program, initial state, and input sequence. It is shown that this property is associated with a relation between situations of storage interference and certain ordering schemes of instructions in a program.