Article

A communication library to support concurrent programming courses

Authors:

Ching-Kuang SheneAuthors Info & Claims

SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education

Pages 360 - 364

https://doi.org/10.1145/563340.563478

Published: 27 February 2002 Publication History

Get Access

Abstract

A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergraduate courses. We have written a communication library uniquely tailored to an academic environment. The library provides two levels of communication abstraction (topology and channel) and supports communication among threads, processes on the same machine, and processes on different machines, via a unified interface. The routines facilitate controlled message loss along channels and can be integrated with an existing graphical tool that supports visualization of the communication that occurs. An editor has been developed for automatic code generation for arbitrary topologies via a graphical interface. All these tools run over Solaris, Linux, and Windows.

References

[1]

ACM. Computing Curricula 2001 (Steelman Draft, August 1, 2001). http://www.acm.org/sigs/sigcse/cc2001/steelman/, 2001.

Google Scholar

[2]

Arnow, D. M. A simple library for teaching a distributed programming module. In Twenty-Sixth SIGCSE Technical Symposium on Computer Science Education (Nashville, Tennessee, Mar.2-4 1995), pp. 82-86.

Digital Library

Google Scholar

[3]

Bedy, M., Carr, S., Huang, X., and Shene, C.-K. A visualization system for multithreaded programming. In Proceedings of the 31st Annual SIGCSE Technical Symposium on Computer Science Education (Austin, TX, March 2000), pp. 1-5.

Digital Library

Google Scholar

[4]

Bryant, R. E., and O'Hallaron, D. R. Introducing computer systems from a programmer's perspective. In Proceeding of the Thirty-second SIGCSE Technical Symposium on Computer Sciense Education (SIGCSE-01) (New York, Feb.21-25 2001), pp. 90-94.

Digital Library

Google Scholar

[5]

Coulouris, G., Dollimore, J., and Kindberg, T. Distributed Systems Concepts and Design, third ed. Addison-Wesley, 2001.

Digital Library

Google Scholar

[6]

Dijkstra, E. W. A correctness proof for networks of communicating sequential processes - a small exercise. EWD-607, 1977.

Google Scholar

[7]

Hoare, C. Communicating sequential processes. Commun. ACM 21, 8 (1978), 666-677.

Digital Library

Google Scholar

[8]

Lamport, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558-565.

Digital Library

Google Scholar

[9]

Mattern, F. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, M. C. et. al., Ed. Elsevier Science Publishers B. V., 1989, pp. 215-226.

Google Scholar

[10]

McDonald, C., and Kazemi, K. Teaching parallel algorithms with process topologies. In Thirty-first SIGCSE Technical Symposium on Computer Science Education (Austin, Texas, Mar.7-12 2000), pp. 70-74.

Digital Library

Google Scholar

[11]

Soundararajan, N. Axiomatic semantics of communicating sequential processes. ACM Transactions on Programming Languages and Systems 6, 4 (1984), 647-662.

Digital Library

Google Scholar

Cited By

View all

Carr SMayo JShene C(2003)ThreadMentorJournal on Educational Resources in Computing10.1145/958795.9587963:1(1-es)Online publication date: 1-Mar-2003
https://dl.acm.org/doi/10.1145/958795.958796
Robbins S(2003)Using remote logging for teaching concurrencyACM SIGCSE Bulletin10.1145/792548.61196335:1(177-181)Online publication date: 11-Jan-2003
https://dl.acm.org/doi/10.1145/792548.611963
Robbins SGrissom SKnox DJoyce DDann W(2003)Using remote logging for teaching concurrencyProceedings of the 34th SIGCSE technical symposium on Computer science education10.1145/611892.611963(177-181)Online publication date: 19-Feb-2003
https://dl.acm.org/doi/10.1145/611892.611963
Show More Cited By

A communication library to support concurrent programming courses
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

A communication library to support concurrent programming courses
Inroads: paving the way towards excellence in computing education

A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergraduate courses. We have written a communication library uniquely tailored ...
Type-theoretic foundations for concurrent object-oriented programing

A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “object-oriented programming = λ-calculus + record.” Based on an analogous view “concurrent object-oriented programming = concurrent ...
Concurrent object-oriented programming in Classic-Ada

Although Ada supports concurrency and can thus be used as a concurrent programming language, it is not generally considered to be an object-oriented programming language. Classic-Ada is a preprocessor which adds the concepts of classes, inheritance, and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education

February 2002

471 pages

ISBN:1581134738

DOI:10.1145/563340

Conference Chairs:
Judith Gersting
University of Hawaii at Hilo
,
Henry M. Walker
Grinnell College
,
Program Chair:
Scott Grissom
Grand Valley State University

ACM SIGCSE Bulletin Volume 34, Issue 1
Inroads: paving the way towards excellence in computing education
March 2002
417 pages
ISSN:0097-8418
DOI:10.1145/563517
Issue’s Table of Contents

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: 27 February 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGCSE02

Sponsor:

SIGCSE

SIGCSE02: The 33rd Technical Symposium on Computer Science Education

February 27 - March 3, 2002

Kentucky, Cincinnati

Acceptance Rates

SIGCSE '02 Paper Acceptance Rate 73 of 234 submissions, 31%;

Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

Upcoming Conference

SIGCSE TS 2025

Sponsor:
sigcse

The 56th ACM Technical Symposium on Computer Science Education

February 26 - March 1, 2025

Pittsburgh , PA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
255
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Carr SMayo JShene C(2003)ThreadMentorJournal on Educational Resources in Computing10.1145/958795.9587963:1(1-es)Online publication date: 1-Mar-2003
https://dl.acm.org/doi/10.1145/958795.958796
Robbins S(2003)Using remote logging for teaching concurrencyACM SIGCSE Bulletin10.1145/792548.61196335:1(177-181)Online publication date: 11-Jan-2003
https://dl.acm.org/doi/10.1145/792548.611963
Robbins SGrissom SKnox DJoyce DDann W(2003)Using remote logging for teaching concurrencyProceedings of the 34th SIGCSE technical symposium on Computer science education10.1145/611892.611963(177-181)Online publication date: 19-Feb-2003
https://dl.acm.org/doi/10.1145/611892.611963
Carr SChen PJozwowski TMayo JShene C(2002)Channels, visualization, and topology editorACM SIGCSE Bulletin10.1145/637610.54444834:3(106-110)Online publication date: 24-Jun-2002
https://dl.acm.org/doi/10.1145/637610.544448
Carr SChen PJozwowski TMayo JShene CCaspersen MJoyce DGoelman DUtting I(2002)Channels, visualization, and topology editorProceedings of the 7th annual conference on Innovation and technology in computer science education10.1145/544414.544448(106-110)Online publication date: 24-Jun-2002
https://dl.acm.org/doi/10.1145/544414.544448
Carr SMayo JShene C(2003)ThreadMentorJournal on Educational Resources in Computing10.1145/958795.9587963:1(1-es)Online publication date: 1-Mar-2003
https://doi.org/10.1145/958795.958796
Sasakura MYamasaki S(2003)A three-dimensional visualization of communications in distributed program environmentsProceedings on Seventh International Conference on Information Visualization, 2003. IV 2003.10.1109/IV.2003.1217969(132-137)Online publication date: 2003
https://doi.org/10.1109/IV.2003.1217969

View Options

Login options

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

Cited By

Recommendations

A communication library to support concurrent programming courses

Type-theoretic foundations for concurrent object-oriented programing

Concurrent object-oriented programming in Classic-Ada