SSE3044: Operating Systems

Transcription

1 SSE3044: Operating Systems Spring 2018 Jinkyu Jeong Computer Systems Laboratory Sungkyunkwan University SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong

2 Introduction Schedule 13:30 14:45 (Tuesday) 15:00 16:15 (Thursday) Lecture room: #400118, Semiconductor Bldg. Course homepage Lecture slides, announcements, exam scores, projects, etc. Don t waste your time in i-campus SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 2

3 About Me Jinkyu Jeong Assistant SSE and SW Dept. Computer Systems laboratory Research area Operating systems, storage systems, mobile systems, machine virtualization, jinkyu@skku.edu URL: Tel: Office: Semiconductor bldg. # (5 th floor) Office hours: Monday & Wednesday contact is preferred SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 3

4 (Awesome) TAs Gyusun Lee ( ) lgs0409@naver.com Office: # in Semiconductor Bldg. Minwoo Ahn ( ) minwoo.ahn@csl.skku.edu Office: # in Semiconductor Bldg. SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 4

5 What is OS? Computer systems internals SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 5

6 Why Do We Learn OS? To graduate? To make a better OS or system Functionality Performance/cost Reliability Energy efficiency To make a new hardware up and running To design OS-aware hardware To understand computer systems better Just for fun SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 6

7 System Software Track (2018~) 1 학년 2 학년 3 학년 4 학년 1 학기 2 학기 1 학기 2 학기 1 학기 2 학기 1 학기 2 학기 전자기학 1 논리회로 성균프레시맨세미나 창의적공학설계 컴퓨터시스템 개론 논리회로설계실험 반도체물리 기초전기회로1 (= 전기회로1) 기초전기회로2 시스템 SW 실습 2 컴퓨터구조개론 마이크로전자회로 1 시스템운영체제 마이크로프로세서 마이크로프로세서실험 디지털시스템설계 컴파일러설계 컴퓨터네트웍개론 임베디드 시스템설계 반도체캡스톤설계 멀티코어시스템 정보보호개요 임베디드시스템실습 운영체제프로젝트 데이터베이스프로젝트 SoC 설계 공학수학 1 공학수학 2 신호와시스템 기계학습개론 공학컴퓨터프로그래밍 프로그래밍기초와실습 문제해결방법 자료구조및알고리즘 컴퓨터그래픽스 이산수학 시스템 SW 실습 1 선형대수학 데이터베이스 인공지능개론 소프트웨어공학개론 시스템시뮬레이션개론 반도체현장실습 1 시스템 SW 실습 3 SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 7

8 Prerequisites Required courses Introduction to Computer Systems SSE2030, CSE2003, or SWE2001 System (Unix) Programming SSE2033, SWE2007, ICE2015, or CSE3044 Computer Architecture ICE3003, SWE3005, or EEE3050 Required skills Fluent C programming skills Intel x86 architecture & assembly programming Basic knowledge of Unix/Linux systems Reading a large, complex program SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 8

9 Textbook Operating Systems: Three Easy Pieces Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau Arpaci-Dusseau Books September 2015 (ver. 0.91) Free Online Book at Read Remzi's great article at SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 9

10 Why Three Pieces? " as Operating Systems are about half as hard as Physics." A Dialogue on the Book Chap. 1 SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 10

11 Old Textbook Operating System Concepts 9th Edition Written by A. Silberschatz, P. B. Galvin and G. Gagne Published by Wiley & Sons Inc SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 11

12 References (1) Operating Systems: Internals and Design Principles (8 th ed.) William Stallings Prentice Hall, 2014 Modern Operating Systems (4 th ed) Andrew S. Tanenbaum, Prentice Hall, 2014 SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 12

13 References (2) For Linux: Understanding the Linux Kernel (3 rd ed.) D. Bovet and M. Cesati, O Reilly & Associates, 2015 For Windows: Windows Internals (6 th ed.) Mark E. Russinovich, David A. Solomon, and Alex Ionescu, Microsoft Press, 2012 For Solaris: Solaris Internals Richard McDougall and Jim Mauro Sun Microsystems, 2001 SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 13

14 Course Plan Lectures General operating system concepts Case study: Linux, xv6 Hands-on projects Using xv6 instructional OS SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 14

15 Lecture Topics Virtualization Processes CPU scheduling Virtual memory Concurrency Threads Synchronization Persistence Storage File systems SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 15

16 xv6 Project A teaching OS developed by MIT Port of the Sixth Edition Unix (v6) in ANSI C Runs on multi-core x86 systems Why moving on to xv6 (from Pintos) Code inherited from a real, historical OS! Includes working user-level programs and libraries Easier to install on modern Linux systems Easier to extend Easier to understand modern OSes such as Linux SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 16

17 Project Plan (1) Initially, the source tree of xv6 has skeleton codes Do nothing but testing the functionality You are supposed to fill in the empty code to provide following features We are preparing 4~5 projects SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 17

18 Project Plan (2) Weekly Lab session A separate class with the TA (mandatory) Project announcement Q&A Hints & helps Oral tests Code review SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 18

19 Class Policies (1) Grading system Class attendance: 10% Exams: 35% Midterm: 15% Final: 20% Projects: 55% Subject to change Class attendance policy If you miss any one of the exams, you will fail this course No lateness is allowed Up to four absences will be tolerated SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 19

20 Class Policies (3) Cheating policy What is cheating? Copying another student s solution (or one from the Internet) and submitting it as your own Allowing another student to copy your solution What is NOT cheating? Helping others use systems or tools Helping others with high-level design issues Helping others debug their code Penalty for cheating: Severe penalty on the grade and report to dept. chair Ask helps to your TA if you experience any difficulty SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong (jinkyu@skku.edu) 21

21 Summary You are now taking the most challenging course in the system software track This semester will be very tough! Keys to success Read textbook exhaustively Think, think, think Begin your project assignments as early as possible SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 22

22 Questions? SSE3044: Operating Systems, Spring 2018, Jinkyu Jeong 23