CSC321 Concurrent Programming CSC321 Concurrent Programming 2005/2006 Please read the Student handbook Lectures*: Mon 10am, Wed 11am, Fri 11am. Advisory Sessions: Monday 12-13 & Thursday 10-11, BCB 1st floor lab. *Lecture Theatre 212, Peter Froggatt Centre, Main Site Lecture Material Introduction Concurrent Programming Abstraction & Java Threads The Mutual Exclusion Problem Semaphores Monitors Modelling Processes using FSP Modelling Concurrency using FSP Implementing FSP Models in Java Deadlock Safety & Liveness Properties Practical Material Warm Up Mutual Exclusion Semaphores Monitors FSP FSP to Java Deadlock Safety & Progress Assignment 1 Assignment 2 Assignment 3 Java template Assignment 4 Solutions Assignment 5 Solutions Java template Resources Sample Exam papers 2001_02 2002_03 2003_04 2004_05 FSP Quick Reference Guide Jeff Magee & Jeff Kramer, "Concurrency: state models and Java Programs", http://www-dse.doc.ic.ac.uk/concurrency Java examples and demonstration programs State models for the examples Labelled Transition System Analyser (LTSA) for modelling concurrency, model animation and model property checking. QUB Concurrenct Library Documentation concurrent.jar
