Foundations of Concurrency - COMP9151
Faculty: Faculty of Engineering
School: School of Computer Science and Engineering
Course Outline: www.cse.unsw.edu.au/~cs9151
Campus: Sydney
Career: Postgraduate
Units of Credit: 6
EFTSL: 0.12500 (more info)
Indicative Contact Hours per Week: 5
Enrolment Requirements:
Prerequisite: COMP9024.
Excluded: COMP3151
CSS Contribution Charge: 2 (more info)
Tuition Fee: See Tuition Fee Schedule
Further Information: See Class Timetable
Description
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.
Practical work: programming assignments using the C-like language MDP.