Multiprogram Design in the theory of Owicki and Gries

This paper introduces the theory of Owicki and Gries as a method for the design (as opposed to the verification) of multiprograms (concurrent programs). The theory is applied to a problem of barrier synchronisation for two (and more) programs. The problem is well chosen because it is easy to state yet not easy to solve, and it therefore shows the difficulties of multiprogram design very well. The effectiveness of the theory to manage multiprogram design, and in the control of complexity, emerges quite well from the exercise.

Content

Author and article information

Contributors

Doug Goldson

Conference

Publication date: July 2001

Publication date (Print): July 2001

Pages: 1-13

Affiliations

[0001]School of ITEE,

University of Queensland, Australia.

Article

DOI: 10.14236/ewic/IWFM2001.2

SO-VID: e299c10c-c0e8-4b64-8011-dba9400c915c

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 5th Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 5

Conference location: Dublin, Ireland

Conference date: 16-17 July 2001

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Irish Workshop on Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM2001.2

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Multiprogram Design in the theory of Owicki and Gries

Abstract