COMP2310/6310 CDS: Lectures 2013
If you wish to see the slides earlier, please see the corresponding lecture slides for 2012.
Note that PDF versions of the slides have embedded hyperlinks to locally referenced files (e.g. source files) and web links (in dark blue). Other typesetting conventions include:
- keywords or phrases that have special meaning in CDS in black, especially when first used
- mathematial quantities and output also in black
- code uses a fixed font and has the usual syntax hightlighting
| Lecture | Topic | 4-up | 1-up |
|---|---|---|---|
| 01: Jul 22 | Course Overview; Introduction to Concurrency | 4-up | 1-up |
| 02: Jul 23 03: Jul 23 |
Processes and Threads |
4-up | 1-up |
| 04: Jul 29 05: Jul 30 |
Concurrent Execution |
4-up | 1-up |
| 06: Jul 30 | Mutual Exclusion |
4-up | 1-up |
| 07: Aug 05 | Monitors | 4-up | 1-up |
| 08: Aug 06 | Semaphores | 4-up | 1-up |
| 09: Aug 06 | Mutual Exclusion via Atomic Operations |
4-up | 1-up |
| 10: Aug 12 | Deadlock |
4-up | 1-up |
| 11: Aug 13 | Safety |
4-up | 1-up |
| 12: Aug 13 | Liveness |
4-up | 1-up |
| 13: Aug 19 | Readers / Writers |
4-up | 1-up |
| 14: Aug 20 | Review Concurrency |
4-up | 1-up |
| 15: Aug 20 | Model Based Design |
4-up | 1-up |
| 16: Aug 26 | Model Based Design (II) |
4-up | 1-up |
| 17: Aug 27 18: Aug 27 |
Message Passing | 4-up | 1-up |
| 19: Sep 02 | Alternative Paradigms for Synchronization | 4-up | 1-up |
| 20: Sep 03 | Operating Systems: Forks and Pipes | 4-up | 1-up |
| 21: Sep 03 | Operating Systems: Sockets, Select and Signals | 4-up | 1-up |
| 22: Sep 24 | Distributed Systems | 4-up | 1-up |
| 23: Sep 24 | Networks | 4-up | 1-up |
| 24: Oct 1 | Distributed Time and Global States | 4-up | 1-up |
| 25: Oct 1 | Distributed State | 4-up | 1-up |
| 26: Oct 14 | Agreement | 4-up | 1-up |
