Concurrency 2001/2002

This page contains the lecture notes, tutorial work sheets and answer sheets that I am using in the first term for Concurrency (3C03).

    1. Introduction
    2. Modelling Processes in FSP
    3. Modelling Concurrency in FSP
    4. Tutorial Session 1: FSP (Worksheet) (Answersheet)
    5. Lab Session: FSP (Worksheet)
    6. Tutorial Session: FSP (Worksheet)
    7. Concurrency in Java
    8. Lab Session 2: Threads in Java (Worksheet)
    9. Coursework 1
    10. Mutual Exclusion
    11. Lab Session: Mutual Exclusion in Java (Worksheet)
    12. Semaphores and Monitors
    13. Condition Synchronization
    14. Starvation and Deadlocks
    15. Safety
    16. Tutorial Session: Safety in FSP (Worksheet) (Answersheet)
    17. Liveness & Progress
    18. Model-based Design
    19. Tutorial Session: Model-based Design
    20. Dynamic Systems
    21. Message-Passing
    22. Concurrent Architectures: Filter Pipelines
    23. Concurrent Architectures: Supervisor-Worker
    24. Concurrent Architectures: Announcer-Listener
    25. Database Concurrency Control
    26. Transactions
    27. Distributed Transactions: Two-Phase Commit
    28. Tutorial Session: Serializability (Worksheet) (Answersheet)
    29. Tutorial Session: Example Exam Question (Worksheet) (Answersheet)

[ Up ]

Wolfgang Emmerich

Updated on: 24/04/2002