skip to main content
article
Free Access

Visualizing UNIX synchronization operations

Published:01 July 1997Publication History
Skip Abstract Section

Abstract

The synchronization of concurrent tasks is a fundamental topic in computer science education. Graphical tools that visualize the effects of synchronization operations are helpful to understand their effects and pitfalls. PACO and ANDI are one such tool. C programs using UNIX system calls for process and semaphore management are instrumented by PACO with specific output functions. When executing these programs, ANDI visualizes the effects of the system calls by a dynamic graphical output.

References

  1. 1. M. C. Bach: The Design of the UNIX Operating System, Prentice-Hall, Englewood Cliffs, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2. E. W. Dijkstra: Co-operating Sequential Processes, in: F. Genuys (Ed.), Programming Languages, Academic Press, London, 1965.Google ScholarGoogle Scholar
  3. 3. D. Millard: Visualisierung von Semaphoroperationen (Visualizing Operations on Semaphores), Diploma Thesis, Cologne Polytechnic, July 1996 (in German).Google ScholarGoogle Scholar
  4. 4. R. Strümpel: Ein Werkzeug zur Analyse von Programmen mit UNIX-Synchronisationsmechanismen (A Tool for the Analysis of Programs with UNIX Synchronization Mechanisms), Diploma Thesis, Cologne Polytechnic, July 1995 (in German).Google ScholarGoogle Scholar
  5. 5. A. S. Tanenbaum: Modem Operating Systems, Prentice-Hall, Englewood Cliffs, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Visualizing UNIX synchronization operations

                Recommendations

                Comments

                Login options

                Check if you have access through your login credentials or your institution to get full access on this article.

                Sign in

                Full Access

                • Published in

                  cover image ACM SIGOPS Operating Systems Review
                  ACM SIGOPS Operating Systems Review  Volume 31, Issue 3
                  July 1997
                  62 pages
                  ISSN:0163-5980
                  DOI:10.1145/270555
                  Issue’s Table of Contents

                  Copyright © 1997 Author

                  Publisher

                  Association for Computing Machinery

                  New York, NY, United States

                  Publication History

                  • Published: 1 July 1997

                  Check for updates

                  Qualifiers

                  • article

                PDF Format

                View or Download as a PDF file.

                PDF

                eReader

                View online with eReader.

                eReader