2025년도 2학기 고급운영체제 (CSED504-01) 강의계획서

1. 수업정보

학수번호 CSED504 분반 01 학점 3.00
이수구분 전공선택 강좌유형 강의실 강좌 선수과목
포스테키안 핵심역량
강의시간 화, 목 / 15:30 ~ 17:10 / 제2공학관 강의실 [107호] 성적취득 구분 G

2. 강의교수 정보

이성진 이름 이성진 학과(전공) 컴퓨터공학과
이메일 주소 sungjinlee@postech.ac.kr Homepage https://chamdoo.github.io/
연구실 RIST 4동 4421호 전화 054-279-2383
Office Hours

3. 강의목표


This course provides an in-depth understanding of the design and implementation of modern operating systems (OS), with a focus on the Linux kernel and related system software. It covers key technical topics essential for developing efficient kernel and system-level software, including kernel data structures, system call interfaces, device drivers, memory management, CPU scheduling, file systems, and synchronization mechanisms. The course also introduces practical skills for Linux kernel programming, such as building kernel modules, implementing character and block device drivers, and managing kernel memory and concurrency.

4. 강의선수/수강필수사항

Data Structures (Undergraduate)
Operating Systems (Undergraduate)

5. 성적평가

- Final Exam (50%)
- Lab & Quiz (20%)
- Term Project (20%)
- Attendance (10%)

6. 강의교재

도서명 저자명 출판사 출판년도 ISBN
Linux Device Drivers, 3rd Edition, Jonathan Corbet and Alessandro Rubini, O'Reilly Media 0000
Linux Kernel Development, 3rd Edition, Robert Love Addison-Wesley 0000

7. 참고문헌 및 자료

Lecture Slides

8. 강의진도계획

Week #01: Introduction to Linux Kernel
Week #02: System Calls
Week #03: Kernel Module, APIs, Debugging
Week #04: Kernel Data Structure
Week #05: Device Driver 1 (Character)
Week #06: Device Driver 2 (Block)
Week #07: Process Management 1
Week #08: Project Proposal
Week #09: Process Management 2
Week #10 Interrupt
Week #11: Synchronization
Week #12: Memory Management 1
Week #13: Memory Management 2
Week #14: File Systems 1
Week #15: File Systems 2
Week #16: Final Exam

9. 수업운영

- Lecture Type: Lecture (2 hours), Lab (2 hours), Final Projects
- Academic Integrity: Penalty for cheating – Removal from course with failing (F) grade

10. 학습법 소개 및 기타사항

This course consists of two components: a 2-hour lecture and a 2-hour laboratory session each week. The lecture covers the design principles of modern operating systems, with a particular focus on the Linux kernel. The laboratory sessions involve hands-on analysis of Linux kernel source code. During lab sessions, students will work on in-class quizzes; any unsolved problems will be assigned as homework and must be submitted before the next lecture.

11. 장애학생에 대한 학습지원 사항

- 수강 관련: 문자 통역(청각), 교과목 보조(발달), 노트필기(전 유형) 등

- 시험 관련: 시험시간 연장(필요시 전 유형), 시험지 확대 복사(시각) 등

- 기타 추가 요청사항 발생 시 장애학생지원센터(279-2434)로 요청