Foundations of Concurrency - COMP3151
Faculty: Faculty of Engineering
School: School of Computer Science and Engineering
Course Outline: www.cse.unsw.edu.au/~cs3151
Campus: Kensington Campus
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
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.