Re-engineering a concurrency simulator

Authors:
Yakov Persky;Mordechai Ben-Ari
Affiliations:
School of Mathematical Sciences, Tel Aviv University, Tel Aviv 69978 Israel;Department of Science Teaching, Weizmann Institute of Science, Rehovot 76100, Israel
Venue:
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
Year:
1998

Citing 5
Cited 5

Principles of concurrent and distributed programming

Principles of concurrent and distributed programming
Concurrent programming

Concurrent programming
Computer language usage in CS1: survey results

ACM SIGCSE Bulletin
After you, Alfonse: a mutual exclusion toolkit

SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
SMALL-Ada: personal computer courseware for studying concurrent programming

SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education

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
ThreadMentor: a pedagogical tool for multithreaded programming

Journal on Educational Resources in Computing (JERIC)
Learning concurrency: evolution of students' understanding of synchronization

International Journal of Human-Computer Studies
A short unit to introduce multi-threaded programming

Journal of Computing Sciences in Colleges
If a picture is worth a thousand words, what would an animation be worth?

Proceedings of the 16th Western Canadian Conference on Computing Education

Quantified Score

Hi-index	0.00

Visualization

Abstract

SimAda is a concurrency simulator, reengineered from the simulator given in M. Ben-Ari, Principles of Concurrent Programming. The language was written in Ada 95 to enhance portability and to utilise the structuring constructs of a modern language. The concurrency constructs simulated include protected types which are new for Ada 95, as well as the Ada rendezvous. Several task scheduling models can be chosen for experimentation. SimAda is intended for teaching concurrency, both by running programs and by studying the implementation techniques.