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)
Equivalent Courses
Delivery
Multimodal - Standard (usually weekly or fortnightly)
Pre-2019 Handbook Editions
Access past handbook editions (2018 and prior)