Abstract
We investigate the main forms of incorrectness of synchronous interpretations of parallel microprograms — nondeterminism and nontermination. We formulate the necessary and sufficient conditions for determinism and termination of synchronous interpretations.
Similar content being viewed by others
Literature Cited
O. L. Bandman, “Asynchronous interpretation of parallel microprograms,” Kibernetika, No. 2, 14–20 (1984).
S. M. Achasova, “Determinism of asynchronous interpretation of parallel microprograms,” Kibernetika, No. 6, 45–51 (1985).
S. M. Achasova, “Parallel microprograms and infinite computations,” Kibernetika, No. 2, 47–51 (1987).
S. N. Sergeev, “Deciding consistency of stationary substitution algorithms,” in: Architecture of Programmable Structure Computer Systems [in Russian], Vychisl. Sistemy, No. 82, 18–25 (1980).
P. A. Anishev, S. M. Achasova, O. L. Bandman, et al., Parallel Microprogramming Methods [in Russian], Nauka, Novosibirsk (1981).
O. L. Bandman, S. V. Piskunov, and S. N. Sergeev, “Synthesis of parallel microprogram structures,” Kibernetika, No. 5, 48–54 (1981).
Additional information
Translated from Kibernetika, No. 1, pp. 82–87, January–February, 1989.
Rights and permissions
About this article
Cite this article
Achasova, S.M. Correctness of synchronous interpretations of parallel microprograms. Cybern Syst Anal 25, 103–111 (1989). https://doi.org/10.1007/BF01074891
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01074891