(Posted Jun 15, 2019)
(Posted Jun 13, 2019)
(Posted Jun 1, 2019)
The following schedule is tentative and subject to change without notice.
| Day | Topic | Reading |
|---|---|---|
| 3/5 | Course Overview | |
| 3/7 | Computer Systems Research | I1, I2, I3 |
| 3/12 | CPU Scheduling (Revised on 3/14) | H1, S2 |
| 3/14 | ||
| 3/19 | Concurrency | C1, C2 |
| 3/21 | Virtual Memory (Revised on 3/28) | |
| 3/26 | Lottery Scheduling (SYSARCH) | S1 |
| 3/28 | ||
| 4/2 | SEDA (컴퓨터구조) | C3 |
| 4/4 | Flash Memory | SSD1, SSD2 |
| 4/9 | Superpages (이인조, 박대영) | MM1, MM2 |
| 4/11 | ||
| 4/16 | ARC (밑빠진독에코인붓기, 박대영) | MM3 |
| 4/18 | File Systems | FS1 |
| 4/23 | LFS (도오조, 김성곤) | FS2 |
| 4/24 | Project Proposal Due | |
| 4/25 | ||
| 4/30 | F2FS (Marvel, 김성곤) | FS3 |
| 5/2 | Virtual Machines | VM1, VM2 |
| 5/7 | Memory Resource Management (일십백천만억조, 오평석) | VM3 |
| 5/9 | Distributed File Systems | DFS1 |
| 5/14 | Live Migration (엘엔피조, 오평석) | VM4 |
| 5/16 | Ceph (한조, 박성현) | DFS2 |
| 5/21 | Canceled | |
| 5/23 | Canceled | |
| 5/28 | Invited Talk: Designing Systems for Emerging Memory Technology (by Prof. Youngjin Kwon, KAIST) | |
| 5/29 | Supplementary class (6:30pm ~ 9:30pm @ #301-551) | |
| Dynamo (잘따라가겠조, 김정욱) | KV1 | |
| WiscKey (삼삼하조, 박성현) | KV2 | |
| 5/30 | SSDs | SSD3, SSD4, SSD5 |
| 6/2 | Project Progress Report Due | |
| 6/4 | Invited Talk: Large-Scale Multi-Tenant GPU Clusters for DNN Training Workloads (by Prof. Myeongjae Jeon, UNIST) | |
| 6/6 | National Holiday | |
| 6/11 | Biscuit (ARC, 김정욱) | SSD6 |
| 6/13 | Final Exam | |
| 6/18 | Mini Conference (2:00pm ~) | |
| 6/19 | Term Paper Due – upload (by 11:55pm, 6/19) |
| Time | Title | Team | Name |
|---|---|---|---|
| 2:10-2:20 | Validation of State-of-the-art Network Packet Scheduling | 네트워크패킷 | 김정욱, 박성현 |
| 2:20-2:30 | Performance Characterization of Garbage Collection Methods for SSDs | 다지나가겠조 | 박대영 오평석 |
| 2:30-2:40 | I/O Scheduler for Blocking Problem due to I/O Throttling | 도오조 | 이두솔 조건희 |
| 2:40-2:50 | Efficient File Synchronization System Through Data Deduplication in IoT | 엘엔피조 | 박건호 이아현 |
| 2:50-3:00 | Robot Operating System (ROS) with Real-Time Constraints | 일십백천만억조 | 김도형 이승수 |
| 3:00-3:10 | Adaptive demand pre-paging based on snapshot of working set | 이인조 | 육준성 이한얼 |
| 3:10-3:20 | break | ||
| 3:20-3:30 | Page replacement algorithm using machine learning | 컴퓨터구조 | 강우석 최종우 |
| 3:30-3:40 | After ARC | 밑빠진독에코인붓기 | 이택희 정재환 |
| 3:40-3:50 | IOP: Automatic I/O Multithreading for High I/O Performance | MARVEL | 천명준 김윤아 |
| 3:50-4:00 | Revisiting Kernel Stack for Demand Paging in the Era of Ultra Low-latency Storage Devices | 한조 | 박연홍 공정훈 |
| 4:00-4:10 | Analysis of Full-text Search Framework Internal | ARC | 배종현 허준 |
| 4:10-4:20 | Evaluation of WiscKey under Update-intensive Workloads | SYSARCH | 심재훈 김민욱 |
| 4:20-4:30 | Analysis of HPC I/O Performance | 잘따라가겠조 | 방지우 손예준 |
| 4:30-4:40 | Improving the Performance of Key-value Stores for High Performance Storage | 삼삼하조 | 김성곤 김화정 |
(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.
(S1) ⭐️ Carl A. Waldspurger and William E. Weihl, “Lottery Scheduling: Flexible Proportional-Share Resource Management,” OSDI, 1994.
(S2) Jean-Pierre Lozi, Baptiste Lepers, Justin Funston, Fabien Gaud, Vivien Quema, and Alexandra Fedorova, “The Linux Scheduler: a Decade of Wasted Cores,” EuroSys, 2016.
(C1) ⭐️ John Osterhout, “Why Threads Are A Bad Idea (for most purposes),” 1995.
(C2) ⭐️ Rob von Behren, Jeremy Condit, and Eric Brewer, “Why Events Are A Bad Idea (for high-concurrency servers),” HotOS, 2003.
(C3) ⭐️ Matt Welsh, David Culler, and Eric Brewer, “SEDA: An Architecture for Well-Conditioned, Scalable Internet Services,” SOSP, 2001.
(MM1) ⭐️ Juan Navarro, Sitaram Iyer, Peter Druschel, and Alan Cox, “Practical, Transparent Operating System Support for Superpages,” OSDI, 2002.
(MM2) Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, and Emmett Witchel, “Coordinated and Efficient Huge Page Management with Ingens,” OSDI, 2016.
(MM3) ⭐️ Nimrod Megiddo and Dharmendra S. Modha, “ARC: A Self-Tuning, Low Overhead Replacement Cache,” FAST, 2003. (USENIX Test of Time Award ‘14)
(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.
(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)
(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)
(DFS1) ⭐️ Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung, “The Google File System,” SOSP, 2003. (The SIGOPS Hall of Fame Award ‘15)
(DFS2) ⭐️ Sage A. Weil, Scott A. Brandt, Ethan L. Miller, Darrell D. E. Long, and Carlos Maltzahn, “Ceph: A Scalable, High-Performance Distributed File System,” OSDI, 2006.
(KV1) ⭐️ Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, and Werner Vogels, “Dynamo: Amazon’s Highly Available Key-value Store,” SOSP, 2007. (The SIGOPS Hall of Fame Award ‘17)
(KV2) ⭐️ Lanyue Lu, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, “WiscKey: Separating Keys from Values in SSD-conscious Storage,” FAST, 2016.
(SSD1) ⭐️ Mei-Ling Chiang, Paul C. H. Lee, and Ruei-Chuan Chang, “Using Data Clustering to Improve Cleaning Performance for Flash Memory,” Software - Practice and Experience, 1999.
(SSD2) Aayush Gupta, Youngjae Kim, Bhuvan Urgaonkar, “DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings,” ASPLOS, 2009.
(SSD3) ⭐️ Abhishek Rajimwale, Vijayan Prabhakaran, and John D. Davis, “Block Management in Solid-State Devices,” USENIX ATC, 2009.
(SSD4) Jun He, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, “The Unwritten Contract of Solid State Drives,” EuroSys, 2017.
(SSD5) ⭐️ Jeong-Uk Kang, Jeeseok Hyun, Hyunjoo Maeng, and Sangyeun Cho, “The Multi-streamed Solid-State Drive,” HotStorage, 2014.
(SSD6) ⭐️ Boncheol Gu, Andre S. Yoon, Duck-Ho Bae, Insoon Jo, Jinyoung Lee, Jonghyun Yoon, Jeong-Uk Kang, Moonsang Kwon, Chanho Yoon, Sangyeun Cho, Jaeheon Jeong, and Duckhyun Chang, “Biscuit: A Framework for Near-Data Processing of Big Data Workloads,” ISCA, 2016.
⭐️ means required reading for this course.
| When | 14:00 - 15:15 (Tuesday / Thursday) |
| Where | Lecture room #301-101, Engineering Building I |
| 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 • 4190.411 Undergraduate Computer Networks or equivalent |
| Grading | Exams and quizzes: 50% Paper critiques and class participation: 20% Term project: 30% * Grading policy is subject to change |
| Teaching Assistant | Jaehoon Shim (x7296, Room #301-517) |