Overview

Concurrency = processes + communication. Communication via shared variables vs message passing. Models of concurrency: true concurrency vs interleaving. Abstractions: atomicity, locks and barriers, semaphores, monitors, threads, RPC, rendezvous. Classical problems: mutual exclusion, dining philosophers, sleeping barber, termination detection, gravitational N-body problem.Practical work: programming assignments and proving of program safety … For more content click the Read More button below.

Conditions for Enrolment

Prerequisite: COMP1927 OR (COMP1521/DPST1092 AND COMP2521)

Delivery

Multimodal - Standard (usually weekly or fortnightly)

Pre-2019 Handbook Editions

Access past handbook editions (2018 and prior)