CSL862: Advanced Topics in Operating Systems : Readings
Outline
We will cover a few OS topics in depth, especially from the perspective of
OS design for modern many-core and cloud environments. We will read both
classic conference and journal papers, and
state-of-the-art papers in this course.
Tentative Reading List
Parallelism
- Efficient System-Enforced Deterministic Parallelism, A. Aviram et. al., OSDI '10.
- On the Duality of Operating System Structures, Lauer and Needham, Operating Systems Review '79.
- Why Threads Are A Bad Idea,
John Ousterhout, USENIX '96.
- Flash: An Efficient and Portable Web Server,
Pai et. al., USENIX '99.
- SEDA: An architecture for well-conditioned, scalable
Internet services, Welsh et. al., SOSP '01.
- Cooperative Task Management without
Manual Stack Management, Adya, Howell, Theimer, Bolosky, Douceur, USENIX '02.
- Capriccio: Scalable threads for Internet Services, R. von Behren et. al., SOSP '03.
- Why Events Are A Bad Idea, Behren, Condit,
Brewer, HotOS '03.
- Threads cannot be implemented as a library,
Hans-J. Boehm, PLDI '05.
Transactional Memory
- Transactional memory: architectural support for lock-free data structures, M. Herlihy et. al., ISCA '93.
- Efficient nonblocking software transactional memory, V. Marathe et. al., PPoPP '07.
- Software Transactional Memory: Why it is Only a Research Toy?, C. Cascaval et. al., CACM '08.
- Why STM can be more than a Research Toy, A. Dragojevic et. al., CACM '11.
- Performance pathologies in hardware transactional memory, J. Bobba et. al., ISCA '07.
- Early Experience with a Commercial Hardware Transactional Memory Implementation, D. Dice et. al., ASPLOS '09. (Tech. Report)
- Hybrid Transactional Memory, P. Damron et. al., ASPLOS '06.
- Virtualizing Transactional Memory, R. Rajwar et. al., ISCA '05.
- TxLinux: using and managing hardware transactional memory in an Operating System, C. Rossbach et. al., SOSP '07.
- Operating System Transactions, D. Porter et. al., SOSP '09.
OS Design