단국대학교 최종무 고급 운영체제론 Advanced Operating Systems 단국대학교 컴퓨터학과 2013 년 9 월 2 일 최종무

단국대학교 최종무 강의 목표 운영체제 최근 연구 동향을 파악한다. 커널 구조, 스케줄링, 메모리, 파일 시스템, 보안, 클라우드, … 학생들이 선호하는 분야도 포함 ( 예를 들어 가상화, Bigdata,..) 영어 논문에 익숙해 진다. 영어 논문 구조 논문 review 방법 논문 작성법 논문 발표 능력을 키운다. 발표 자료 작성 발표 및 토의 방법

단국대학교 최종무 강의 교재 자체적으로 제작한 교재 30 여개의 논문으로 구성

단국대학교 최종무 Paper lists (Candidates) Introduction (1 week) K. Elphinstone, B. Leslie, G. Heiser, “From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?”, SOSP, L. Lu, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, S. Lu, "A Study of Linux File System Evolution", FAST, Virtual Machine Monitor (2 week) P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, A. Warfield, "Xen and the Art of Virtualization", SOSP, Carl A. Waldspurger, “Memory Resource Management in VMware ESX Server”, OSDI, File system (3 week) M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log- Structured File System", ACM ToCS, S. Ghemawat, H. Gobioff, S. Leung, “The Google File System”, SOSP, Security (4 week) W. Enck et al., “TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones”, OSDI, X. Wang, Y. Jhi, S. Zhu, P. Liu, “Behavior Based Software Theft Detection”, CCS, Bigdata (5 week) J. Dean and S. Ghemawat, “MapReduce: Simplified Data Processing on Large Clusters”, OSDI, H. Herodotou, S. Babu, “Profiling, What-if Analysis and Cost-based Optimization of MapReduce Programs”, VLDB, 2011.

단국대학교 최종무 Paper lists (Candidates) Memory management (6 week) H. Park et al., "Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems", ASPLOS, L. Liu, Z. Cui, M. Xing, Y. Bao, M. Chen, C. Wu, “A Software Memory Partition Approach for Eliminating Bank-level Interference in Multicore Systems”, PACT, Analysis and Tools (7 week) S. Han, Y. Dang, S. Ge, D. Zhang, T. Xie, “Performance Debugging in the Large via Mining Millions of Stack Traces”, ICSE, D. Novakovic et al., “DeepDive: Transparently Identifying and Managing Performance Interference in Virtualized Environments”, ATC, I/O system (8 week) S. Jeong et al., “I/O Stack Optimization for Smartphones”, ATC, C. Xu et al., “vTurbo: Accelerating Virtual Machine I/O Processing Using Designated Turbo-Sliced Core”, ATC, SSD (9 week) D. Ma, J. Feng, G. Li, “LazyFTL: A Page-level Flash Translation Layer Optimized for NAND Flash Memory”, SIGMOD, F. Chen, D. Koufaty and X. Zhang, “Understanding Intrinsic Characteristics and System Implications of Flash Memory based Solid State Drives”, SIGMETRICS, Hybrid Storage (10 week) D. Tiwari et al., “Active Flash: Towards Energy-Efficient, In-Situ Data Analytics on Extreme-Scale Machines”, FAST, C. Albrecht et al. “Janus: Optimal Flash Provisioning for Cloud Storage Workloads”, ATC, 2013

단국대학교 최종무 Paper lists (Candidates) Security 2 (11 week) X. Hu, S. Bhatkar, K. Griffin, K. Shin, “MutantX-S: Scalable Malware Clustering Based on Static Features”, ATC, Y. Jhi, X. Wang, X. Jia, S. Zhu, P. Liu, D. Wu, “Value-Based Program Characterization and Its Application to Software Plagiarism Detection”, ICSE, Bigdata 2 (12 week) F. Ahmad, S. Chakradhar, A. Raghunathan, N. T. Vijaykumar, “Tarazu: Optimizing MapReduce On Heterogeneous Clusters”, ASPLOS, J. Dittrich et al., “Only Aggressive Elephants are Fast Elephants”, VLDB, Cloud Computing (13 week) A. Cidon, S. M. Rumble, R. Stutsman, S. Katti, J. Ousterhout and Mendel Rosenblum, “Copysets: Reducing the Frequency of Data Loss in Cloud Storage”, ATC, K. Ousterhout et al., “Sparrow: Distributed, Low Latency Scheduling”, SOSP, Others (14 week) F. Guo and P. Efstathopoulos, “Building a High-performance Deduplication System”, USENIX ATC, E. Lee, H. Bahn, S. H. Noh, “Unioning of the Buffer Cache and Journaling Layers with Non-volatile Memory”, FAST, R. Koller et al., “Write Policies for Host-side Flash Caches”, FAST, D. A. Holland et al., “Flash Caching on the Storage Client”, ATC, Q. Huang et al, “An Analysis of Facebook Photo Caching”, SOSP, 2013  자신이 읽고 싶은 논문을 알려주면 추가 가능 … (2012 년 이후 논문으로 )

단국대학교 최종무 강의 방법 Presentation ( 개인별, 3 번 예상 ) Q & A Paper Review Final proposal ( 논문 형식, 개인별 ) No examination

단국대학교 최종무 강의 방법 Presentation 각 학생은 3 개의 논문 선정 및 발표 ( 매주 2 개 발표 예정 ) 발표 40 분, 질의 응답 20 분  발표를 들은 학생들은 최소한 1 가지 이상 질문을 할 것.  질문이 없을 경우 발표자가 학생들에게 질문. 발표 슬라이드  슬라이드 당 15 줄 이내 ( 문장 형식은 안됨 )  절반 이상은 그림으로  발표 자료는 미리 강의 홈페이지에 올려 놓아야 함 ( 발표 전날까지 로 보내주시면 됨 )  humor slide 도 포함할 것 좋은 발표를 위해서는 주요 참고 문헌들을 읽기 바람 ( 자신이 읽은 참고 문헌 목록을 발표 자료에 포함 또는 일부 내용 발 표 : 없을 경우 감점 )

단국대학교 최종무 강의 방법 Paper Review 모든 학생들은 매주 해당 논문에 대한 review 문서를 제출해야 함 형식  논문 내용 요약 3~5 문장 Motivation, Proposal, Evaluation  논문의 장점 (strength)  논문의 단점 (weakness)  질문 (questions) or 제안 (suggestion) 3 개 이상

단국대학교 최종무 강의 방법 Q & A 수업 중 각 학생들의 질문 횟수를 카운팅하여 점수에 반영 Final proposal 자신이 읽은 논문 중 하나의 아이디어를 발전시킨 기법 제안  제안서는 논문 형식으로 작성 ( 현재 계획으로는 ) 정보과학회 학술대회 (KCC or 추계 )  수업 마지막 날에 ppt 5 장으로 발표

단국대학교 최종무 강의 평가 Evaluation Presentation(30%) Questions and Answers (20%) Paper review (30%) Final proposal (20%)