What is the dangerous aspect of concurrent programming?

I have argued elsewhere that the most dangerous aspect of concurrent programming is the possibility of time", dependent programming errors that are impossible to locate by program testing ("lurking bugs") [2J, [5J, [6].

What is the cost of a change to a large software system?

-The cost of a change to a large software system is often primarily a function of the size of the system rather than the complexity of the change.

What is the name of the command that initializes a disk buffer?

If the authors assume that these variables already have been initialized, the authors can initialize a disk buffer as follows:init buffer (consoleaccess, diskaccess, base, limit)The init statement allocates storage for the parameters and shared variables of the disk buffer and executes its initial statement.

Open AccessJournal Article10.1109/TSE.1975.6312840

The programming language Concurrent Pascal

Per Brinch Hansen

- 23 Jul 1975

- IEEE Transactions on Software Engineerin...

- Vol. 1, Iss: 1, pp 82-110

593

TL;DR: Concurrent Pascal as discussed by the authors is a programming language for structured programming of computer operating systems that extends the sequential programming language Pascal with concurrent programming tools called processes and monitors, which can be expressed informally by means of pictures illustrating a hierarchical design of a simple spooling system.

Abstract: Describes a new programming language for structured programming of computer operating systems. It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors. Section I explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Section II uses the same example to introduce the language notation. The main contribution of Concurrent Pascal is to extend the monitor concept with an explicit hierarchy of access rights to shared data structures that can be stated in the program text and checked by a compiler.

AI Agents for this Paper

Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps

Most frequently asked questions

1. What are the contributions in this paper?

The paper describes a new programming language for structured programming of computer operating systems.. Section II uses the same enmple to introduce the language notation.

2. How do you make a virtual machine efficient?

Now to make a virtual machine efficient, one must use a very simple short-term scheduling rule (such as first come, first served) [2].

3. What is the main purpose of the paper?

This paper develops a programming language notation and semantic interpretations which allow a program to operate on a data object in a manner which is dependent only on its logical or abstract properties and independent of its underlying concrete representation.

4. What are the main reasons why a hierarchical system is attractive?

Several other reasons besides program correctness make a hierarchical structure attractive:1) a hierarchical operating system can be studied in a stepwise manner as a sequence of abstract machines simulated by programs [8J;2) a partial ordering of process interactions permits one to use mathematical induction to prove certain overall properties of the system (such as the absence of deadlocks) [2J;3) efficient resource utilization can be achieved by ordering the program components according to the speed of the physical resources they control (with the fastest resources being controlled at the bottom of the system) [8J;4) a hierarchical system designed according to the previous criteria is often nearly decomposable from an analytical point of view.

Fig. 7. Decomposition of virtual consoles.

Citations

Proceedings Article•10.1145/800226.806861

The design of OWL a language for walking

Marc Donner

- 01 Jun 1983

- Sigplan Notices

TL;DR: This paper describes the syntax, semantics, and design rationale for a programming language developed to provide real-time concurrent processes for the programming of a six legged walking robot.

...read moreread less

Proceedings Article•10.1109/DCS.1988.12525

Synchronization and scheduling in ALPS objects

P. Vishnubhotla

- 13 Jun 1988

TL;DR: The synchronization and scheduling mechanisms used in an object-oriented concurrent programming language called ALPS are described and the concept of a hidden procedure array is introduced, which simplifies the programming of concurrency within an object.

...read moreread less

•Book Chapter•10.1007/3-540-09745-7_17

A Comparison of Two Notations for Process Communication

Jim Welsh, +2 more

- 10 Sep 1979

TL;DR: This paper compares the mechanisms for process communication, synchronisation and non-determinism in recent language proposals by Hoare and Brinch Hansen by both qualitative and quantitative analyses.

...read moreread less

•Book

Studies in Ada Style

Peter Hibbard, +4 more

- 14 Sep 1981

TL;DR: The impact of Abstraction concerns on Modern Programming Languages and Programming In Ada: Examples, a review of examples of how new ideas affect programming, is reviewed.

...read moreread less

Journal Article•10.1145/1108970.1108975

Implicit-signal monitors

Peter A. Buhr, +1 more

- 01 Nov 2005

- ACM Transactions on Programming Language...

TL;DR: An analysis of the different kinds of implicit-signal monitors shows the effects certain design decisions have on the problems that can be solved and the performance of the solutions, and an extensive discussion is presented on simulating an implicit-Signal monitor via different explicit- signal monitors.

...read moreread less

References

•Book Chapter•10.1007/978-1-4899-0718-9_31

The Architecture of Complexity

Herbert A. Simon

- 01 Jan 1991

TL;DR: A number of proposals have been advanced in recent years for the development of “general systems theory” which, abstracting from properties peculiar to physical, biological, or social systems, would be applicable to all of them.

...read moreread less

6.3K

Journal Article•10.1145/355620.361161

Monitors: an operating system structuring concept

C. A. R. Hoare

- 01 Oct 1974

- Communications of The ACM

TL;DR: In this paper, the authors develop Brinch-Hansen's concept of a monitor as a method of structuring an operating system and describe a possible method of implementation in terms of semaphores and give a suitable proof rule.

...read moreread less

1.7K

Journal Article•10.1007/BF00289519

Hierarchical ordering of sequential processes

Edsger W. Dijkstra

- 01 Jun 1971

- Acta Informatica

TL;DR: A “director-secretary” relationship will be introduced to reflect a possible discipline in the use of sequencing primitives and an analysis of the requirements of the correctness proofs will give an insight into the logical issues at hand.

...read moreread less

828

•Book

Operating System Principles

Per Brinch Hansen

- 01 Jan 1973

751

Journal Article•10.1145/356622.356624

Concurrent Programming Concepts

Per Brinch Hansen

- 01 Dec 1973

- ACM Computing Surveys

TL;DR: The evolution of language features for multiprogramming from event queues and semaphores to critical regions and monitors is described and it is suggested that the choice of language concepts should be guided by two simple principles.

...read moreread less

154

The programming language Concurrent Pascal

Chat with Paper

AI Agents for this Paper

Most frequently asked questions

1. What are the contributions in this paper?

2. How do you make a virtual machine efficient?

3. What is the main purpose of the paper?

4. What are the main reasons why a hierarchical system is attractive?

5. What is the dangerous aspect of concurrent programming?

6. What is the cost of a change to a large software system?

7. What is the name of the command that initializes a disk buffer?

Figures

Citations

The design of OWL a language for walking

Synchronization and scheduling in ALPS objects

A Comparison of Two Notations for Process Communication

Studies in Ada Style

Implicit-signal monitors

References

The Architecture of Complexity

Monitors: an operating system structuring concept

Hierarchical ordering of sequential processes

Operating System Principles

Concurrent Programming Concepts

Related Papers (5)

Monitors: an operating system structuring concept

Communicating sequential processes

Distributed processes: a concurrent programming concept

Cooperating sequential processes

Operating System Principles