Foundations of Concurrency - COMP3151

Faculty: Faculty of Engineering

School: School of Computer Science and Engineering

Course Outline:

Campus: Sydney

Career: Undergraduate

Units of Credit: 6

EFTSL: 0.12500 (more info)

Indicative Contact Hours per Week: 5

Enrolment Requirements:

Prerequisite: COMP1927

Excluded: COMP9151

CSS Contribution Charge: 2 (more info)

Tuition Fee: See Tuition Fee Schedule

Further Information: See Class Timetable

View course information for previous years.


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 using the C-like language MDP.
Computing Logo

Study Levels

UNSW Quick Links