Concurrent Programs
|
Supervisor |
|
|
Suitable for |
Abstract
Concurrent programs can be difficult to debug. For example, if a program deadlocks, how did that deadlock come about? The idea of this project would be to augment the CSO library to allow communications to be logged, and to allow the user to subsequently analyse what happened, perhaps using a debugger similar to the FDR debugger. Prerequisite: Concurrent Programming Supervisor: Gavin Lowe Level: MSc/third year undergraduate.
NOT AVAILABLE IN 2010/11