Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives

Three notations for concurrent programming are compared, namely CSP, Ada, and monitors. CSP is an experimental language for exploring structuring concepts in concurrent programming. Ada is a general-purpose language with concurrent programming facilities. Monitors are a construct for managing access...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. SE-9; no. 4; pp. 446 - 462
Main Authors: Wegner, P., Smolka, S.A.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.07.1983
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects:
Ada
Applied sciences
Chip scale packaging
Communication
Computer interfaces
Computer programming
Computer science
Computer science; control theory; systems
Concurrent computing
concurrent programming
CSP
Data
distributed processes
Exact sciences and technology
Keywords
Messages
monitors
NASA
processes
Processor scheduling
Programming languages
Resource management
Shared
Software
Task
tasks
User interfaces
Programming language
Programming
Comparative study
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Three notations for concurrent programming are compared, namely CSP, Ada, and monitors. CSP is an experimental language for exploring structuring concepts in concurrent programming. Ada is a general-purpose language with concurrent programming facilities. Monitors are a construct for managing access by concurrent processes to shared resources. We start by comparing "lower-level" communication, synchronization, and nondeterminism in CSP and Ada and then examine "higher-level" module interface properties of Ada tasks and monitors.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1983.234781