(Posted Jun 7, 2026)
(Posted Apr 25, 2026)
(Posted Apr 14, 2026)
The following schedule is tentative and subject to change without notice.
| Day | Topic | Reading |
|---|---|---|
| 3/3 | Course Overview | |
| 3/5 | Computer systems research | I1 |
| 3/10 | Introduction to operating systems | |
| 3/12 | System calls | C1 |
| 3/17 | ||
| 3/19 | Storage | |
| 3/24 | File systems | FS1 |
| 3/26 | ||
| 3/31 | LFS | FS2 |
| 4/2 | ||
| 4/7 | ||
| 4/9 | Flash memory | |
| 4/14 | FTLs | SSD1 |
| 4/16 | F2FS | FS3 |
| 4/21 | Midterm Exam | |
| 4/23 | SSDs | SSD3, SSD5 |
| 4/25 | Project Proposal Due | |
| 4/28 | New SSDs | SSD6 |
| 4/30 | Processes and threads | |
| 5/5 | National Holiday | |
| NVMeVirt (video) | SSD7 | |
| 5/7 | Scheduler activations | S1 |
| 5/12 | CPU scheduling (Updated on 5/14) | |
| 5/14 | Virtual memory | |
| 5/19 | ||
| 5/21 | ||
| 5/26 | Superpages (Updated on 5/26) | MM1 |
| 5/28 | Opal | MM2 |
| 6/2 | Linux virtual memory | |
| 6/4 | Virtual machines | |
| 6/9 | Disco | VM1 |
| 6/11 | Final Exam | |
| 6/19 | Term Paper Due | |
| 6/24 | Term Paper Review Due |
Credit: Some of the slides are borrowed from the authors’ presentations.
| Title | Team | Name |
|---|---|---|
| Characterizing and Emulating Read Reclaim Overheads in Modern SSDs | 첨단SSD공동연구소 | 손동휘 이주찬 최인성 허용재 |
| Bringing Flexible Data Placement to NVMeVirt: A Software-Defined FDP SSD for Storage Research | N.A.S. | 박종현 안보성 이신우 |
| Demystifying the Performance Impact of Swap using NVMe SSDs | 조우빈잇조우빈조 | 권태희 성준 조우빈 |
| CharMaNDeR: Characterizing and Modeling an NVMe Device with Runtime Thermal Throttling | 뉴로팀 | 김해원 송승현 장영우 |
| Cosmo-NVMeVirt: A Realistic SSD Emulator for Space Applications | 컴퓨터구조 | 정현성 조정민 |
| swANNS: Accelerating Real-time Vector Index Updates with In-Storage Processing | 벡조 | 김동광 박연진 문성빈 |
| Request-Aware SSD Dispatch Scheduling with Per-Command Hints | 뭐든하조 | 박건욱 임경민 유민혜 |
| Extending NVMeVirt for Edge Storage Research | 시스템매니조 | 김민성 김현아 유홍승 |
| SOPA: Analysis of Storage Offloading Performance for Large-scale Physics-ML on NVMeVirt | 한분만와조 | 강영훈 김승환 이상현 |
| LearnedFTL on NVMeVirt: Implementation, Verification, and Evaluation of Learning-based FTL | System Optimized 조 | 박수진 배문성 전지호 |
| Fuzzing the Linux NVMe Driver via Device-Side Fault Injection | 돈벌조 | 정재영 정종욱 황명빈 |
| GATO: GPU-Initiated Asynchronous I/O Through OS I/O Stack | 팀ARC | 이건하 이록희 조호연 |
| NVMe Simple Copy in NVMeVirt: Implementation and Cross-Layer Application | SLC조 | 심하영 이수성 최영민 |
(H1) D. Ritchie and K. Thompson, “The UNIX Time-Sharing System,” CACM, 1974. (The SIGOPS Hall of Fame Award ‘05)
(H2) ⭐️ D. Ritchie, “The Evolution of the Unix Time-sharing System,” AT&T Bell Laboratories Technical Journal 63, No. 6, October 1984, pp.1577-93.
(I1) ⭐️ Butler W. Lampson, “Hints for Computer System Design,” SOSP, 1983. (The SIGOPS Hall of Fame Award ‘05)
(I2) Roy Levin and David D. Redell, “An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper,” ACM Operating Systems Review, 1983.
(I3) Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, and Michael L. Scott, “The Many Faces of Systems Research - And How to Evaluate Them,” HotOS, 2005.
(C1) ⭐️ Livio Soares and Michael Stumm, “FlexSC: Flexible System Call Scheduling with Exception-Less System Calls,” OSDI, 2010.
(FS1) ⭐️ Marshall K. McKusick, William N. Joy, and Samuel J. Leffler, “A Fast File System for UNIX,” ACM TOCS, 1984. (The SIGOPS Hall of Fame Award ‘15)
(FS2) ⭐️ Mendel Rosenblum and John K. Ousterhout, “The Design and Implementation of a Log-Structured File System,” SOSP, 1991. (The SIGOPS Hall of Fame Award ‘12)
(FS3) ⭐️ Changman Lee, Dongho Sim, Joo-Young Hwang, and Sangyeun Cho, “F2FS: A New File System for Flash Storage,” FAST, 2015. (FAST Test of Time Award ‘26)
(SSD1) ⭐️ Jesung Kim, Jong Min Kim, Sam H. Noh, Sang Lyul Min, and Yookun Cho, “A Space-efficient Flash Translation Layer for CompactFlash Systems,” IEEE Transactions on Consumer Electronics, Vol. 48, No. 2, May 2002.
(SSD2) ⭐️ Nitin Agrawal, Vijayan Prabhakaran, Ted Wobber, John D. Davis, Mark Manasse, and Rina Panigrahy, “Design Tradeoffs for SSD Performance,” USENIX ATC, 2008.
(SSD3) ⭐️ Jeong-Uk Kang, Jeeseok Hyun, Hyunjoo Maeng, and Sangyeun Cho, “The Multi-streamed Solid-State Drive,” HotStorage, 2014.
(SSD4) ⭐️ Matias Bjorling, Abutalib Aghayev, Hans Holmberg, Aravind Ramesh, Damien Le Moal, Gregory R. Ganger and George Amvrosiadis, “ZNS: Avoiding the Block Interface Tax for Flash-based SSDs,” Usenix ATC, 2021.
(SSD5) ⭐️ Michael Allison, Arun George, Javier Gonzalez, Dan Helmick, Vikash Kumar, Roshan R Nair, and Vivek Shah, “Towards Efficient Flash Caches with Emerging NVMe Flexible Data Placement SSDs,” EuroSys, 2025.
(SSD6) Jaeyoung Do, Sudipta Sengupta, and Steaven Swanson, “Programmable Solid-State Storage in Future Cloud Datacenters,” CACM, 2021.
(SSD7) ⭐️ Sang-Hoon Kim, Jaehoon Shim, Euidong Lee, Seongyeop Jeong, Ilkueon Kang, and Jin-Soo Kim, “NVMeVirt: A Versatile Software-defined Virtual NVMe Device,” FAST, 2023.
(S1) ⭐️ Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy, “Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism,” ACM TOCS, 1992.
(S2) ⭐️ Carl A. Waldspurger and William E. Weihl, “Lottery Scheduling: Flexible Proportional-Share Resource Management,” OSDI, 1994.
(S3) Jean-Pierre Lozi, Baptiste Lepers, Justin Funston, Fabien Gaud, Vivien Quema, and Alexandra Fedorova, “The Linux Scheduler: a Decade of Wasted Cores,” EuroSys, 2016.
(MM1) ⭐️ Juan Navarro, Sitaram Iyer, Peter Druschel, and Alan Cox, “Practical, Transparent Operating System Support for Superpages,” OSDI, 2002.
(MM2) ⭐️ Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, and Edward D. Lazowska, “Sharing and Protection in a Single-Address-Space Operating System,” ACM TOCS, 1994.
(MM3) ⭐️ Nimrod Megiddo and Dharmendra S. Modha, “ARC: A Self-Tuning, Low Overhead Replacement Cache,” FAST, 2003. (USENIX Test of Time Award ‘14)
(VM1) ⭐️ Edouard Bugnion, Scott Devine, and Mendel Rosenblum, “Disco: Running Commodity Operating Systems on Scalable Multiprocessors,” SOSP, 1997. (Best Paper Award, The SIGOPS Hall of Fame Award ‘08)
(VM2) Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield, “Xen and the Art of Virtualization,” SOSP, 2003.
(VM3) Carl A. Waldspurger, “Memory Resource Management in VMware ESX Server,” OSDI, 2002. (Best Paper Award, The SIGOPS Hall of Fame Award ‘15)
(VM4) Christopher Clark, Keir Fraser, Steven Hand, Jacob Corm Hansen, Eric Jul, Christian Limpach, Ian Pratt, and Andrew Warfield, “Live Migration of Virtual Machines,” NSDI, 2005. (USENIX Test of Time Award ‘05)
(OS1) The Tanenbaum-Torvalds Debate, 1992.
(OS2) Jochen Liedtke, “On μ-Kernel Construction,” SOSP, 1995. (The SIGOPS Hall of Fame Award ‘15)
(OS3) M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Briceno, Russell Hunt, David Mazieres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie, “Application Performance and Flexibility on Exokernel Systems,” SOSP, 1997.
(OS4) Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schupbach, and Akhilesh Singhania, “The Multikernel: A New OS Architecture for Scalable Multicore Systems,” SOSP, 2009.
(OS5) Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, and Jon Crowcroft, “Unikernels: Library Operating Systems for the Cloud,” ASPLOS, 2013.
(OS6) Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, and Thomas Anderson, “Arrakis: The Operating System is the Control Plane,” OSDI, 2014. (Best Paper Award)
| When | 11:00 - 12:15 (Tuesday / Thursday) |
| Where | Lecture room #301-203 |
| Instructor | Jin-Soo Kim Professor, Dept. of Computer Science and Engineering, SNU |
| Language | Korean |
| Course Description | This course covers advanced operating system concepts as well as a broad spectrum of research topics in computer systems. Quality research papers from SOSP, OSDI, ASPLOS, USENIX ATC, FAST, NSDI, EuroSys, etc. will be used as class materials. Students must be actively involved in reading, presenting, and discussing selected papers to understand the recent trends in operating systems and computer systems research. In addition, students are required to write up a term paper by the end of the semester as a result of their own study on a particular research topic. |
| References | • Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, Apraci-Dusseau Books, March 2015 (Version 1.00). • Thomas Anderson and Michael Dahlin, Operating Systems: Principles and Practice, 2nd Edition, Recursive Books, August 2014. • Andrew S. Tanenbaum and Herbert Bos, Modern Operating Systems, 4th Edition, Pearson Education, Inc., 2015. |
| Prerequisites | • M1522.000800 Undergraduate Systems Programming or equivalent • 4190.307 Undergraduate Operating Systems or equivalent • 4190.308 Undergraduate Computer Architecture or equivalent |
| Grading | Midterm: 30% Final: 30% Term project: 40% * Grading policy is subject to change |
| Teaching Assistant | Minwook Kim |