Foundations of Concurrency - COMP9151


	Faculty: Faculty of Engineering
	School: School of Computer Science and Engineering
	Course Outline: http://www.cse.unsw.edu.au/
	Campus: Kensington Campus
	Career: Postgraduate
	Units of Credit: 6
	EFTSL: 0.125 (more info)
	Contact Hours per Week: 5
	Enrolment Requirements:
	Prerequisite: COMP9024 or enrolment in MIT program 8684 or GradCert program 7344.
	Fee Band: 2 (more info)
	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.

Further Information

CSE class page: www.cse.unsw.edu.au/~cs9151