Experience with the language SR in an undergraduate operating systems course

  • Authors:
  • Stephen J. Hartley

  • Affiliations:
  • Math and Computer Science Department, Drexel University, Philadelphia, PA

  • Venue:
  • SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract

In undergraduate operating systems classes, students learn about concurrent process synchronization, including such things as shared data, race conditions, critical sections, mutual exclusion, semaphores, monitors, and the test-and-set hardware instruction. They also study interprocess communication, message passing, rendezvous, and remote procedure calls. Solutions to classical problems, such as the dining philosophers, producers and consumers, bounded buffers, and readers and writers, are presented using the above concepts. However, students need to write programs in a language that provides facilities for concurrent programming in order to appreciate fully the above concepts. This paper describes the SR language and discusses its successful use as an environment for concurrent programming in an undergraduate operating systems class.