Handbook

There is a more recent version of this academic item available.

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

Course

COMP9154

COMP9154 - Foundations of Concurrency

Delivery

Multimodal - Standard (usually weekly or fortnightly)

Please note that the above delivery information is an indication on how this course may be delivered within the year. Delivery mode(s) for each term can be viewed on other sources such as myUNSW and class timetable site.

This Handbook is a comprehensive catalogue of our offerings and includes courses that can be taken to satisfy program requirements irrespective as to their availability for a particular year. Availability of courses is best checked using filters on this site or on the class timetable site.