Abstract
The need to describe systems composed of both parallel and sequential actions arises both in operating systems, where basically serial processes are organized in parallel, and in digital hardware description, where essentially parallel activities have a sequence imposed on them. The paper examines some of the properties of a specific mechanism, the series-parallel grammar, for specifying sequence information. The method is equivalent to that used for hardware description in the ISP notation of Bell and Newell [1] and to combinations of the Fork and Join primitives of Dennis and Van Horn [2]. The structure imposed by the seriesparallel constraint has useful implications for a design language translator in the areas of timing, bus assignment and conflict checking. The effects of structural constraints in design languages play a role similar to those in structured programming
Zusammenfassung
Es wird eine Beschreibungsmethode für Systeme benötigt, die sich sowohl aus parallel als auch aus in Reihe vorkommenden Aktivitäten zusammensetzen. In Betriebssystemen müssen in sich sequentielle Prozesse parallel geschaltet werden. Demgegenüber muß man in einer Hardware-Beschreibung einige im Grunde parallel angeordneten Bauteile sequentiell arbeiten lassen. In diesem Beitrag wollen wir eine Methode zur Beschreibung von Aktivitätsanordnungen, die sogenannte Reihen-Parallel-Grammatik, betrachten. Diese Methode ist in der Hardware-Beschreibungs-Sprache, ISP, von Bell und Newell [1] enthalten und entspricht auch Verknüpfungen von „Fork”-und „Joint”-Operationen von Dennis und Van Horn [2]. Die Struktur, die sich aus der Grammatik ergibt, hat brauchbare Folgerungen in bezug auf die Zeitangebe, die Zuweisung der Verbindungselemente und die Vermeidung von Konflikten. Der von der Struktur auferlegte Zwang spielt eine ähnliche Rolle wie in der Strukturierten-Programmierung.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bell, C. G., Newell, A.: Computer Structures: Readings and Examples. McGraw-Hill 1971.
Dennis, J.B., Van Horn, E. C.: Programming Semantics for Multiprogrammed Computations. CACM9, 3, 143–155 (1966).
Brinch Hansen, P.: Concurrent Programming Concepts. Computing Surveys5, 4, 223–245 (1973).
Dijkstra, E. W.: Notes on Structured Programming. In: Structured Programming, pp. 1–82. London: Academic Press 1972.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Smith, B.J., Jordan, H.F. Implications of series-parallel sequencing rules. Computing 19, 189–201 (1978). https://doi.org/10.1007/BF02252198
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02252198