단국대학교 최종무 고급 운영체제론 advanced operating systems 단국대학교...
TRANSCRIPT
단국대학교 최종무
고급 운영체제론
Advanced Operating Systems
단국대학교 컴퓨터학과
2013 년 9 월 2 일최종무
[email protected] http://embedded.dankook.ac.kr/~choijm
단국대학교 최종무
강의 목표
운영체제 최근 연구 동향을 파악한다 . 커널 구조 , 스케줄링 , 메모리 , 파일 시스템 , 보안 , 클라우드 ,
… 학생들이 선호하는 분야도 포함 ( 예를 들어 가상화 , 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, 2013. L. Lu, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, S. Lu, "A Study of Linux File
System Evolution", FAST, 2013.
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, 2003. Carl A. Waldspurger, “Memory Resource Management in VMware ESX Server”,
OSDI, 2002.
File system (3 week) M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-
Structured File System", ACM ToCS, 1992. S. Ghemawat, H. Gobioff, S. Leung, “The Google File System”, SOSP, 2003.
Security (4 week) W. Enck et al., “TaintDroid: An Information-Flow Tracking System for Realtime
Privacy Monitoring on Smartphones”, OSDI, 2010. X. Wang, Y. Jhi, S. Zhu, P. Liu, “Behavior Based Software Theft Detection”, CCS,
2009.
Bigdata (5 week) J. Dean and S. Ghemawat, “MapReduce: Simplified Data Processing on Large
Clusters”, OSDI, 2004. 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, 2013.
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, 2012.
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, 2012. D. Novakovic et al., “DeepDive: Transparently Identifying and Managing Performance
Interference in Virtualized Environments”, ATC, 2013.
I/O system (8 week) S. Jeong et al., “I/O Stack Optimization for Smartphones”, ATC, 2013. C. Xu et al., “vTurbo: Accelerating Virtual Machine I/O Processing Using Designated
Turbo-Sliced Core”, ATC, 2013.
SSD (9 week) D. Ma, J. Feng, G. Li, “LazyFTL: A Page-level Flash Translation Layer Optimized for
NAND Flash Memory”, SIGMOD, 2011. F. Chen, D. Koufaty and X. Zhang, “Understanding Intrinsic Characteristics and System
Implications of Flash Memory based Solid State Drives”, SIGMETRICS, 2009.
Hybrid Storage (10 week) D. Tiwari et al., “Active Flash: Towards Energy-Efficient, In-Situ Data Analytics on
Extreme-Scale Machines”, FAST, 2013. 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, 2013. Y. Jhi, X. Wang, X. Jia, S. Zhu, P. Liu, D. Wu, “Value-Based Program Characterization
and Its Application to Software Plagiarism Detection”, ICSE, 2011.
Bigdata 2 (12 week) F. Ahmad, S. Chakradhar, A. Raghunathan, N. T. Vijaykumar, “Tarazu: Optimizing
MapReduce On Heterogeneous Clusters”, ASPLOS, 2012. J. Dittrich et al., “Only Aggressive Elephants are Fast Elephants”, VLDB, 2012.
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, 2013. K. Ousterhout et al., “Sparrow: Distributed, Low Latency Scheduling”, SOSP, 2013.
Others (14 week) F. Guo and P. Efstathopoulos, “Building a High-performance Deduplication System”,
USENIX ATC, 2011. E. Lee, H. Bahn, S. H. Noh, “Unioning of the Buffer Cache and Journaling Layers with
Non-volatile Memory”, FAST, 2013. R. Koller et al., “Write Policies for Host-side Flash Caches”, FAST, 2013. D. A. Holland et al., “Flash Caching on the Storage Client”, ATC, 2013. 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 줄 이내 ( 문장 형식은 안됨 ) 절반 이상은 그림으로 발표 자료는 미리 강의 홈페이지에 올려 놓아야 함
( 발표 전날까지 [email protected] 로 보내주시면 됨 ) 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%)