CSL862 : Advanced Topics in Operating Systems : Schedule

Sem I, 2012-13

Links to notes etc. on future days are tentative only. They are here only to give you an idea what the future will bring. The lectures will be organized as discussions, so it is very important that you read the paper before the class (see PREP). Homeworks need to be submitted at the start of the respective lectures.
Jul 23
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
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
PREP: read paper (Cooperative Task Management without Manual Stack Management, Adya, Howell, Theimer, Bolosky, Douceur, USENIX '02)
Aug 17
Aug 20
Aug 21
Aug 22
Aug 23
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
Aug 31
Sep 3
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
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
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
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
PREP: read paper (The Multikernel: A new OS architecture for scalable multicore systems, A. Baumann et. al., SOSP '09)
Nov 2
Nov 5
Nov 6
Nov 7
Nov 8
Nov 9
Nov 12
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