Skip navigation
The Australian National University

COMP2310/6310 CDS: Lectures 2012

The scheduling below is subject to change; it should be regarded as tentative for more than a week in advance at the time of viewing. Links to a lecture's slides will work when they are ready (which should be by 24 hrs before the lecture).

Note that PDF versions of the slides have embedded hyperlinks to locally referenced files (e.g. source files) and web links.

Lecture Topic 4-up 1-up Other Files/Links
01: Jul 23 Course Overview;
Introduction to Concurrency 		Overview
Concurrency 		Overview
Concurrency 		Java Threads API
02: Jul 25 Processes
Processes and Threads Processes and Threads alt. Count.lts,
Filter.lts
03: Jul 31 Threads
terminal version of CountDown program
04: Aug 2 Concurrency
Concurrency
Algebra for || 		Concurrency
(Thu p1-14; Fri p15-)
Algebra for ||
(Thu p1-4; Fri p5-) 		serialzed ItchConv, MakerUser
05: Aug 3 Concurrency
serialized ThreadDemo
06: Aug 7 Mutual Exclusion
Mutual Exclusion Mutual Exclusion
07: Aug 9 Monitors
Monitors and Semaphores Monitors and Semaphores CarPark.java
08: Aug 10 Semaphores
09: Aug 14 Synchronization
 MutEx via Atomics MutEx via Atomics
10: Aug 16 Deadlock!
 Deadlock Deadlock
11: Aug 17 Safety
 Safety & Liveness Safety & Liveness
12: Aug 21 Liveness
 Safety & Liveness Safety & Liveness Congested Bridge LTS
13: Aug 23 Liveness
 Safety & Liveness Safety & Liveness Minute paper
14: Aug 24 Review; Catchup
 Review Concurrency Review Concurrency
15: Aug 28 Model Based Design
 Model Based Design Model Based Design News: 109 neurons,
hi-res climate models
16: Aug 30 Message Passing
 Message Passing Message Passing Channel.lts
17: Aug 31 Message Passing
18: Sep 04 Alternative Paradigms for Synchronization Alternative Paradigms Alternative Paradigms
19: Sep 06 Concurrent Architectures: Operating Systems Forks and Pipes Forks and Pipes
20: Sep 07 Concurrent Architectures: Operating Systems Sockets, Select and Signals Sockets, Select and Signals
20a: Sep 25 MSE Q&A (practice, 2011, 2010, 2007) (no slides - see DLD recording)
20b: Sep 27 Mid Semester Exam (don't go to the lecture theatre!!)
21: Sep 28 Distributed Systems Introduction Introduction
22: Oct 2 Networks Networks Networks
23: Oct 5 Not Distributed Time (monitors/pthreads)
 		Review Monitors
Posix Threads 		Review Monitors
Posix Threads
24: Oct 9 Distributed Time and Global States
Distributed Time and Global States Distributed Time and Global States
25: Oct 12 Coordination
Coordination Coordination
26: Oct 16 Coordination
Agreement Agreement
27: Oct 19 Transactions
Transactions Transactions
28: Oct 23 Transactions
Transactions II Transactions II
29: Oct 30 Replication and Fault Tolerance
Replication and FT Replication and FT
30: Nov 2 Modelling X10 via FSP and Exam Review
Review Review Modeling the X10 runtime using FSP

Updated:  22 August 2013 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   JavaScript must be enabled to display this email address.