Concurrency 98/99
This page contains the lecture notes, tutorial work sheets and answer
sheets that I am using in the first term for Concurrency (C340).
The applets that I have used for demonstration purposes during the
lecture are available from this
page. Most of the applets in this list have been constructed by Jeff Magee at Imperial
College and his support in preparing this course material is
gratefully acknowledged.
-
Introduction.
-
Modelling Processes
-
Modelling Concurrency in FSP
-
FSP Tutorial Worksheet and
Answersheet
-
The Unified Modeling Language
-
Programming in Java
-
Concurrency in Java
-
Mutual Exclusion
-
Worksheet
-
Semaphores and Monitors
-
Condition Synchronisation
-
Starvation and Deadlocks
-
Safety
-
Safety Analysis Tutorial Worksheet and
Answersheet
-
Liveness and Progress
-
Progress Analysis Tutorial Worksheet and
Answersheet
-
Model-Based Design
-
Dynamic Systems
-
Message Passing
-
Concurrent Architectures: Filter Pipelines
-
Concurrent Architectures: Supervisor-Worker
-
Concurrent Architectures: Announcer-Listener
-
Database Concurrency Control
-
Transactions
-
Distributed Transactions: Two-Phase Commit
-
Previous Exam Questions and Answers
I have set the compulsory Coursework with a
deadline at noon of 18 December 1998.