Monday | Tuesday | Wednesday | Thursday | Friday |
---|---|---|---|---|
Jul 23 Introduction | Jul 24 | Jul 25 | Jul 26 Determinator OS PREP: read paper (Efficient System-Enforced Deterministic Parallelism, A. Aviram et. al., OSDI '10) | Jul 27 |
Jul 30 ..contd. PREP: do homework | Jul 31 | Aug 1 | Aug 2 Raksha Bandhan | Aug 3 |
Aug 6 Duality between Shared Memory and Message Passing Design PREP: read paper (On the Duality of Operating System Structures, Lauer and Needham, Operating Systems Review '79) | Aug 7 | Aug 8 | Aug 9 Why Threads Are A Bad Idea (Ousterhout, USENIX '96), Flash Web Server PREP: read paper (Flash: An Efficient and Portable Web Server, Pai et. al., USENIX '99) | Aug 10 |
Aug 13 SEDA Web Service Architecture PREP: read paper (SEDA: An architecture for well-conditioned, scalable Internet services, Welsh et. al., SOSP '01) | Aug 14 | Aug 15 | Aug 16 Fibers PREP: read paper (Cooperative Task Management without Manual Stack Management, Adya, Howell, Theimer, Bolosky, Douceur, USENIX '02) | Aug 17 |
Aug 20 Id-ul-Fitr | Aug 21 | Aug 22 | Aug 23 Capriccio PREP: read paper (Capriccio: Scalable threads for Internet Services, R. von Behren et. al., SOSP '03) | Aug 24 |
Aug 27 Threads cannot be implemented as a library PREP: read paper (Threads cannot be implemented as a library, Hans-J. Boehm, PLDI '05) | Aug 28 | Aug 29 | Aug 30 ..contd. | Aug 31 |
Sep 3 MINOR1 TESTS | Sep 4 | Sep 5 | Sep 6 Scheduler Activations PREP: read paper (Scheduler Activations: Effective Kernel Support for User-level Management of Parallelism, Anderson et. al., TOCS '92) | Sep 7 |
Sep 10 ..contd. Return of Minor-1 scripts | Sep 11 | Sep 12 | Sep 13 Transactional Memory PREP: read paper (Transactional memory: architectural support for lock-free data structures, M. Herlihy et. al., ISCA '93) | Sep 14 |
Sep 17 No class | Sep 18 | Sep 19 | Sep 20 Transactional Coherence and Consistency PREP: read paper (Transactional Coherence and Consistency, Hammond et. al., ISCA '04) | Sep 21 |
Sep 24 Virtualizing TM PREP: read paper (Virtualizing Transactional Memory, R. Rajwar et. al., ISCA '05) | Sep 25 | Sep 26 | Sep 27 Transactional Execution of Lock-Based Programs PREP: read paper (Transactional Lock-Free Execution of Lock-Based Programs, R. Rajwar et. al., ASPLOS '02) | Sep 28 |
Oct 1 Intel's Transactional Synchronization Extensions PREP: read this, this, this, and this | Oct 2 | Oct 3 | Oct 4 Software Transactional Memory PREP: read paper (Software Transactional Memory, Shavit et. al., PODC '95). Optional reading: paper (Language Support for Lightweight Transactions, Harris et. al., OOPSLA '03) | Oct 5 |
Oct 8 MINOR2 TESTS | Oct 9 | Oct 10 | Oct 11 Hybrid Transactional Memory PREP: read paper (Hybrid Transactional Memory, P. Damron et. al., ASPLOS '06) | Oct 12 |
Oct 15 TxLinux PREP: read paper (TxLinux: using and managing hardware transactional memory in an Operating System, C. Rossbach et. al., SOSP '07) | Oct 16 | Oct 17 | Oct 18 OS Transactions PREP: read paper (Operating System Transactions, D. Porter et. al., SOSP '09) | Oct 19 |
Oct 22 Mid-sem break | Oct 23 | Oct 24 | Oct 25 Mid-sem break | Oct 26 |
Oct 29 Flexible System Calls PREP: read paper (FlexSC: Flexible System Call Scheduling with Exception-Less System Calls, Soares et. al., OSDI '10) | Oct 30 | Oct 31 | Nov 1 Barrelfish PREP: read paper (The Multikernel: A new OS architecture for scalable multicore systems, A. Baumann et. al., SOSP '09) | Nov 2 |
Nov 5 ..contd. | Nov 6 | Nov 7 | Nov 8 ..contd. | Nov 9 |
Nov 12 Corey PREP: read paper (Corey: An Operating System for Many Cores, S. Boyd-Wickizer et. al., OSDI '08) | Nov 13 | Nov 14 | Nov 15 Corey contd. and final remarks. | Nov 16 |