COMP2310/6310 CDS: Schedule
| Lectures | Practicals | Assignments | |||
|
|
L1 Tue 16:00 | L2 Thu 13:00 | L3 Fri 14:00 | ||
| 1: Jul 23 | Introduction | Modelling Processes | (Bush Week) | ||
| 2: Jul 30 | Threads | Concurrency | Concurrency | Tute/Lab | |
| 3: Aug 6 | Mutual Exclusion | Monitors | Semaphores | Tute/Lab | Ass1 out |
| 4: Aug 13 | Synchronization | Deadlock | Safety | Tute/Lab | |
| 5: Aug 20 | Liveness | Liveness | Review; Catchup | Tute/Lab | |
| 6: Aug 27 | Message Passing | Message Passing | Model-Based Design | Tute/Lab | |
| 7: Sep 3 | Model-Based Design | Operating Systems | Tute/Lab | Ass1 due | |
| Mid Semester Break (Mon Sept 10 - Fri Sept 21 inclusive) | |||||
| 8: Sep 24 | MSE Q&A | Mid Semester Quiz | Distributed Systems | Lab | Ass 2 out |
| 9: Oct 1 | Networks | Distributed Time | Lab | ||
| 10: Oct 8 | Global States | Coordination | |||
| 11: Oct 15 | Agreement | Transactions | Lab | ||
| 12: Oct 22 | Transactions | 'Drop-in' Lab | Ass 2 due | ||
| 13: Oct 29 | Replication | Review | Tute | ||
