단단단단단 단단단 단단단단단 단단 Topics in Operating Systems Dept. of Computer Science and Engineering Dankook University March 3, 2015 Jongmoo Choi [email protected] http://embedded.dankook.ac.kr/~choijm
Dec 19, 2015
단국대학교 최종무
운영체제론 특론
Topics in Operating Systems
Dept. of Computer Science and Engineering
Dankook UniversityMarch 3, 2015Jongmoo Choi
[email protected] http://embedded.dankook.ac.kr/~choijm
J. Choi at DKU
Course Objective
Understanding recent operating system research trends Micro-kernel, scheduling, memory, file system, security, … Especially focusing on virtualization, Bigdata and NVRAM
Get accustomed to papers written in English Find out the general structure of a paper How to review a paper
Enhance presentation skill How to make a successful presentation How to discuss or argue
Make our own paper How to write a good paper Submit if possible (or mandatory)
J. Choi at DKU
Course text
Recently published papers
<FAST> <ATC> <SOSP>
<ASPLOS> <OSDI> <Eurosys>
J. Choi at DKU
Paper lists (Candidates)
Week 1: Introduction M. Accetta et al., “Mach: A New Kernel Foundation for UNIX Development”, USENIX Summer
Conference, 1986 (with the comparison with “The UNIX Time-Sharing System”). J. Ousterhout, “Why Aren't Operating Systems Getting Faster as Fast as Hardware?”, USENIX
Summer Conference, 1990.
Week 2: Basic components (Scheduling and FS) C. A. Waldspurger and W. E. Weihl “Lottery Scheduling: Flexible Proportional-Share Resource
Management”, OSDI, 1994. M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File
System", ACM ToCS, 1992.
Week 3: Basic components (Memory and Driver) H. Park et al., "Regularities considered harmful: forcing randomness to memory accesses to
reduce row buffer conflicts for multi-core, multi-bank systems", ASPLOS, 2013. M. M. Swift et al., "Recovering Device Drivers", ACM ToC, 2006.
Week 4: Virtualization P. Barham et al., "Xen and the Art of Virtualization", SOSP, 2003. C. A. Waldspurger, “Memory Resource Management in VMware ESX Server”, OSDI, 2002.
Week 5: Bigdata J. Dean and S. Ghemawat, “MapReduce: Simplified Data Processing on Large Clusters”, OSDI,
2004. J. Dittrich et al., “Only aggressive elephants are fast elephants”, VLDB, 2012 Personnel Project: Idea presentation (5 minutes)
J. Choi at DKU
Paper lists (Candidates)
Week 6: System security T. Vidas et al., “All Your Droid are Belong to Us: A Survey of Current Android Attacks”, WOOT,
2011. S. Govindavajhala and A. Appel, “Using Memory Errors to Attack a Virtual Machine”, IEEE SP,
2003.
Week 7: SSD J. Ouyang et al., "SDF: software-defined flash for web-scale internet storage systems", ASPLOS,
2014. M. Jung, et al., "HIOS: A host interface I/O scheduler for Solid State Disks", ISCA, 2014.
Week 8: Reliability Y. Luo et al. "Characterizing Application Memory Error Vulnerability to Optimize Datacenter Cost
via Heterogeneous-Reliability Memory", DSN, 2014. Y. Cai et al. “Data Retention in MLC NAND Flash Memory: Characterization, Optimization and
Recovery”, HPCA, 2015
Week 9: Cloud computing H. Wang et al., “A_DRM: Architecture-aware Distributed Resource Management of Virtualized
Clusters”, VEE, 2015. M. Liu et al., "Optimizing Virtual Machine Consolidation Performance on NUMA Server
Architcture for Cloud Workloads", ISCA,14.
Week 10: Devices J. Do et al. "Query Processing on Smart SSDs: Opportunities and Challenges”, SIGMOD, 2013. D. Tiwari et al., “Active Flash: Towards Energy-Efficient, In-Situ Data Analytics on Extreme-Scale
Machine”, FAST, 2013. J. Draper et al., “The Architecture of the DIVA Processing-In-Memory Chip”, ICS, 2002 Related paper survey + Progress (Design) presentation (10 minutes)
J. Choi at DKU
Paper lists (Candidates)
Week 11: System security II W. Enck et al., “TaintDroid: An Information-Flow Tracking System for Realtime
Privacy Monitoring on Smartphones”, OSDI, 2010. X. Chen et al., “Overshadow: a virtualization-based approach to retrofitting protection
in commodity operating systems”, ASPLOS, 08. I. Ray et al., “Airavat: Security and Privacy for MapReduce”, NSID, 2010.
Week 12: Bigdata II H. Herodotou, S. Babu, “Profiling, What-if Analysis and Cost-based Optimization of
MapReduce Programs”, VLDB, 2011. J. Corbett et al., “Spanner: Google’s Globally-distributed Database”, OSDI, 2012
Week 13: NVM S. R. Dulloor et al. "System software for persistent memory", Eurosys, 2014 R. Liu et al., "NVM Duet: Unified Working Memory and Persistent Store Architecture",
ASPLOS, 2014.
Week 14: Others J. Andrus et al., "Cells: A Virtual Mobile Smartphone Architecture", SOSP, 2011 J. Wires et al., “Characterizing Storage Workloads with Counter Stacks”, OSDI, 2014 M. Zaharia et al., “Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-
Memory Cluster Computing”, NSDI, 2012.
Week 15: Personnel Project Final (evaluation result) presentation (20 minutes)
J. Choi at DKU
Paper lists (Candidates)
Recommended Roy Levin and David D. Redell,, "How (and How Not) to Write a Good
Systems Paper", 1983. D. E. Porter et al, "Rethinking the Library OS from the Top Down",
ASPLOS, 2011. C. Dall et al., “KVM/ARM: The Design and Implementation of the Linux
ARM Hypervisor”, ASPLOS, 2014 X. Hu et al., “MutantX-S: Scalable Malware Clustering Based on Static
Features”, ATC, 2013 Y. Jhi et al., “Value-Based Program Characterization and Its Application
to Software Plagiarism Detection”, ICSE, 2011. E. Boutin et al., “Apollo: Scalable and Coordinated Scheduling for
Cloud-Scale Computing", OSDI, 2014.
Papers used in other universities http://codex.cs.yale.edu/avi/os-book/OS9/important-papers.pdf http://pages.cs.wisc.edu/~bart/736/f2014/reading_list.html#ariane http://www.cs.utexas.edu/~witchel/380L/schedule.html http://www.cs.columbia.edu/~nieh/teaching/e6118/lectures/#papers
Please let me know if you have a paper to present. (after 2013)
J. Choi at DKU
Lecture details
Presentation (more than 2 times per person)
Q & A
Paper Review
Proposal (per person)
No examination
J. Choi at DKU
How to present
Presentation Time
Presentation: 30 min, Q&A: 10 min Slide
Less than 15 lines per each page More than half pages must contain figures Must include humor slides (if not, less points) Must include references (if not, less points) Each slide must be put in the lecture site (send it to
[email protected] until the previous day of presentation)
Audience Obligation of audience: at least one question per person a day
Without questions, you can not get a good grade. Count the number of questions
J. Choi at DKU
How to review a paper
Paper Review All student must submit reviews about
papers assigned to the corresponding week.
Format Summary
• 3~5 sentences• Motivation, Proposal, Evaluation
Strength• What are positive things in this paper?
Weakness• What are the down sides of this paper?
Questions or Suggestions• At least 3
J. Choi at DKU
How to make a proposal
Proposal Idea presentation (last week of the first month)
Research area, Brainstorming Survey presentation and initial design (last week of the second
month) Related papers (prepare references in advance) Related industrial trends
Final presentation (last week of this semester) Idea, Related work, New proposal, Evaluation results
• Enhance the idea obtained form your presentation
1) presentation (ppt), 2) paper (tex, hwp, word)• I strongly recommend to submit KCC or 정보과학회 추계학술대회 or …
J. Choi at DKU
Evaluation
Evaluation Presentation(30%) Questions and Answers (20%) Paper review (30%) Final proposal (20%)