skip to main content
article
Free Access

After you, Alfonse: a mutual exclusion toolkit

Authors Info & Claims
Published:01 March 1996Publication History
First page image

References

  1. 1 A. Burns and G. Davies, Concurrent Programming. Addison-Wesley Publishing Company, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 A. Burns, Concurrent Programm~ny ~n AJa. C~mbridge University Press, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 M. Ben-Ari, Principles of Concurrent Programming. Prentice Hall, Inc., 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 R. Holt, E. Lazowska, G. Graham, and M. Scott, Structured Concurrent Programming w~th Operaling Systems A pphca~ions. Addison-Wesley Publishing Company. 1978.Google ScholarGoogle Scholar
  5. 5 P. Brinch-ttansen, "The programming language Concurrent Pascal," IEEE Transactions on Software Engzneering, vol. 2, pp. 199-207, 1975.Google ScholarGoogle Scholar
  6. 6 N. Wirth, "Modula: A language for modular multiprogramming," Software PracIice and Experience, vol. 7. pp. 3-35, 1977.Google ScholarGoogle ScholarCross RefCross Ref
  7. 7 J. Leach. "Experiences teaching concurrency in Ada," Ada Letters, vol. 7, no. 5, pp. 40-41, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 K. B. Yue, "An undergraduate course in concurrent programming using Ada," SIGCSE Bulletin, vol. 26, no. 4, pp. 59-62, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 S. Hartley, Operating Systems Programming. Oxford University Press, Inc., 1995.Google ScholarGoogle Scholar
  10. 10 D. Boddy, "SOS: A monitor-based operating system for instruction," SIGPLAN Notices, vol. 23, pp. 115- 124, Dec. 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 A. Tanenbaum, Operating Syslems: Design and Implementation. Prentice Hall, Inc., 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 AT&T, Unix System V Programmer's Guide. Prentice Hall, Inc., 1986.Google ScholarGoogle Scholar
  13. 13 A. Burns and G. Davies, "Pascal-FC: A languuge for teaching concurrent programming," SIGPLAN Notices, vol. 23, pp. 58-66, Jan. 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14 G. Davies, "Developments in Pascal-FC," SIG- PLAN Notices, vol. 24, pp. 69-76, June 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 G. Davies, "Teaching concurrent programming with Pascal-FC," SIGCSE Bulletin, vol. 22, pp. 38-41, June 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16 G. Davies and A. Burns, "The teaching language Pascal-FC," The Computer Journal, vol. 33, pp. 147- 154, Feb. 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17 N. Wirth, "The programming language Pascal," Acta Informatica, vol. 1, no. 1, pp. 35-63, 1971.Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 18 R. E. Berry, Programming Language Translation. Ellis ttorwood, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19 B. Bynum and T. Camp, "User guide: Ben-Ari Concurrent Interpreter," Technical Report TR-CS-95-0017, Department of Computer Science, The University of Alabama, 1995.Google ScholarGoogle Scholar
  20. 20 E. Dijkstra, "Hierarchical ordering of sequential processes," Acta Informatica, vol. 1, no. 2, pp. 115-138, 1971.Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. 21 C. Hoare, "Monitors: An operating system structuring concept," Commun,catzons A CM, vol. 17, pp. 549-557, Oct. 1974. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 22 S. Pramanik and B. Weinberg, "The implementation kit with monitors," SIGPLAN Notices, vol. 19, no. 9, pp. 30-33, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. 23 J. Trono, "A new exercise in concurrency," SIGCSE Bullentin, vol. 26, no. 3, pp. 8-10, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. 24 M. Herlihy, "A methodology for implementing highly concurrent data structures," Proceedings of the Second A CM SIGPLAN Symposzum on Principles and Practices of Parallel Programming, pp. 197-206, Mar. 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. 25 A. Silberschatz and P. Galvin, Operatzng System Concepts: Fourth Edition. Addison-Wesley Publishing Company, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. After you, Alfonse: a mutual exclusion toolkit

      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 SIGCSE Bulletin
        ACM SIGCSE Bulletin  Volume 28, Issue 1
        March 1996
        379 pages
        ISSN:0097-8418
        DOI:10.1145/236462
        Issue’s Table of Contents
        • cover image ACM Conferences
          SIGCSE '96: Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
          March 1996
          447 pages
          ISBN:089791757X
          DOI:10.1145/236452

        Copyright © 1996 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 March 1996

        Check for updates

        Qualifiers

        • article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader