Synchronized parallel computation and slowdown of translators

  • Karel Čulik
Conference paper

DOI: 10.1007/3-540-09541-1_23

Part of the Lecture Notes in Computer Science book series (LNCS, volume 75)
Cite this paper as:
Čulik K. (1979) Synchronized parallel computation and slowdown of translators. In: Blum E.K., Paul M., Takasu S. (eds) Mathematical Studies of Information Processing. Lecture Notes in Computer Science, vol 75. Springer, Berlin, Heidelberg

Abstract

The underlying parallel computers are assumed to be MIMD machines [Ku] with m≥1 synchronized and independent homogeneous processors [Ba], and parallel program schemes for them are introduced and studied. In section 1 usual (serial) program schemes and their function equivalence are introduced. In section 2 parallel program schemes are introduced as extensions of [Ma] and the main theorem is proved that each parallel program scheme can be translated into an m-parallel one where m≥1 is prescribed. In section 3 variable-free permit schemes without tests [Cu5] are introduced, and in section 4 their addressings are admitted. The functionality of permit schemes is investigated expecially for non-terminating processes (controlled by "semaphors" [Di], [LS]). In section 5 the parallel defect and the slowdown of a translator are introduced in all generality for arbitrary time unbounded program schemes.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1979

Authors and Affiliations

  • Karel Čulik
    • 1
  1. 1.The Pennsylvania State UniversityUniversity Park

Personalised recommendations