8월 22일(수) : 김강희 교수(숭실대)
| 시간 | 프로그램 |
| 09:00 – 09:50 | CFS (Completely Fair Scheduler) 소개 |
| – 공정 큐잉 이론 – CFS 스케줄러 기본 동작 |
|
| 10:00 – 10:50 | [실습 1] CFS 스케줄러 파라미터 설정 및 동작 테스트 |
| – CFS 스케줄러 파라미터 설정 – CFS 스케줄러 동작 테스트 및 성능 모니터 |
|
| 11:00 – 11:50 | CFS (Completely Fair Scheduler) 분석 |
| – CFS 알고리즘 분석 – CFS 관련 커널 내부 자료구조 분석 |
|
| 12:00 – 13:00 | Lunch |
| 13:00 – 13:50 | CFS Group Scheduling 소개 |
| – 계층적 스케줄링 이론 – CFS Group Scheduling 기본 동작 |
|
| 14:00 – 14:50 | [실습 2] CFS Group Scheduling을 이용한 Docker 스케줄링 |
| – CGroup (Control Group)를 이용한 Docker Container 파라미터 설정 – Docker Container 동작 테스트 및 성능 모니터 |
|
| 15:00 – 15:50 | CFS Group Scheduling 분석 |
| – CFS Group Scheduling 알고리즘 분석 – CFS Group Scheduling 관련 커널 내부 자료구조 분석 |
|
| 16:00 – 16:50 | [실습 3] CPU Scheduling과 I/O Scheduling 연동하기 |
| – CGroup을 이용한 CPU & I/O 스케줄링 파라미터 설정 – Docker Container 동작 테스트 및 성능 모니터 |
8월 23일(목) : 정진규 교수(성균관대)
| 시간 | 프로그램 |
| 08:00 – 08:50 | 물리 메모리 관리 |
| – 리눅스 메모리 관리 개요 – 물리 메모리 관리(zone, buddy, system etc.) – 단편화 완화 및 개선 기법 |
|
| 09:00 – 09:50 | 메모리 주소공간 관리 |
| – 프로세스 및 커널 주소 공간 – 리눅스 페이지 테이블 |
|
| 10:00 – 10:50 | 커널 메모리 관리 |
| – 커널 동적 메모리 할당/해제 및 관리 – 페이지 캐시 관리 |
|
| 11:00 – 11:50 | 프로세스 가상 메모리 관리 |
| – 프로세스 가상메모리 생성 및 관리 – 요구 페이징 및 copy-on-write |
|
| 12:00 – 13:00 | Lunch |
| 13:00 – 13:50 | 페이지 회수 기법 |
| – LRU 및 working-set 기반 메모리 관리 – 동기적/비동기적 페이지 프레임 회수 |
|
| 14:00 – 14:50 | [실습] 물리 메모리 할당 제어 실습 |
| – 디바이스 파일을 이용하여 물리 메모리 할당을 제어하는 기법 실습 |
8월 24일(금) : 최종무 교수(단국대)
| 시간 | 프로그램 |
| 09:00 – 09:50 | 파일 시스템 코드 수준 분석 필요성: Case Study |
| – IRON file system, F2FS(Flash Friendly File System) – Manycore Scalability of FS, CCFS (Crash-Consistent File System) |
|
| 10:00 – 10:50 | File system layout I |
| – Performance consideration: FFS, Ext2 – Consistency consideration: Ext3, Journaling FS |
|
| 11:00 – 11:50 | File system layout II |
| – Storage awareness: LFS, F2FS, FAT – Supporting multiple File Systems: Virtual File System |
|
| 12:00 – 13:00 | Lunch |
| 13:00 –13:50 | File system interface |
| – Abstraction: layered architecture – Operations: file, inode, address space, superblock operations |
|
| 14:00 – 14:50 | [실습1] 파일 시스템 레이아웃 분석 |
| – 램디스크 상에서 FAT 구동 및 구조 분석 – FAT 소스 코드 분석 |
|
| 15:00 – 15:50 | [실습2] 파일 시스템 수정 실습 |
| – 파일 시스템 모듈 컴파일 및 동적 적재 – FAT (또는 Ext2) 수정 및 구동 실습 |
|
| 16:00 – 16:50 | [실습3] 파일 시스템 특화 기능 |
| – DAX 기술 (스토리지 특성인지 기술) or 성능/신뢰성 향상 기술 – 파일 시스템 벤치마크를 이용한 성능 분석 실습 |