Tools for teaching CCRs, monitors, and CSP concurrent programming concepts

Authors:
Ronald A. Olsson;Carole M. McNamee
Affiliations:
Department of Computer Science, University of California, Davis, Davis, CA, U.S.A.;California State University, Sacramento, 6000 J Street, Sacramento, CA, U.S.A.
Venue:
ACM SIGCSE Bulletin
Year:
1995

Citing 13
Cited 1

The drinking philosophers problem

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Operating systems: design and implementation

Operating systems: design and implementation
An overview of the SR language and implementation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent programming: principles and practice

Concurrent programming: principles and practice
Experience with the language SR in an undergraduate operating systems course

SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The SR programming language: concurrency in practice

The SR programming language: concurrency in practice
Concurrent Programming Concepts

ACM Computing Surveys (CSUR)
Communicating sequential processes

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
Structured multiprogramming

Communications of the ACM
Operating Systems Programming: The SR Programming Language

Operating Systems Programming: The SR Programming Language
Operating system principles

Operating system principles
Operating System Concepts

Operating System Concepts

DPLab: an environment for distributed programming

ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes three preprocessors that, respectively, convert conditional critical region (CCR) notation, monitor notation, and Communicating Sequential Processes (CSP) notation into equivalent programs written in the SR concurrent programming language. Our goal is to allow students to experiment and to obtain hands-on experience with these notations. Together with native SR, the three preprocessors provide a teaching tool for a wide spectrum of synchronization mechanisms. This paper also describes the favorable experience obtained in using the preprocessors in several courses. The preprocessors are part of the standard SR distribution, which runs on most UNIX systems; they are in the public domain and available via ftp.