단국대학교 최종무

운영체제론 특론

Topics in Operating Systems

Dept. of Computer Science and Engineering

Dankook UniversityMarch 3, 2015Jongmoo Choi

choijm@dankook.ac.kr 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

choijm@dankook.ac.kr 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%)