1월 20일(목) : 성균관대 정진규 교수
시간 | 프로그램 |
09:00 – 09:50 | 물리 메모리 관리 |
– 물리 메모리 관리 (zone, buddy system, etc) – 단편화 완화 및 개선 기법 |
|
10:00 – 10:50 | 메모리 주소공간 관리 |
– 프로세스 및 커널 주소 공간 – 리눅스 페이지 테이블 |
|
11:00 – 11:50 | 커널 메모리 관리 |
– 커널 동적 메모리 할당/해체 및 관리 – 페이지 캐시 관리 |
|
12:00 – 13:00 | 점심시간 |
13:00 – 13:50 | 프로세스 가상 메모리 관리 |
– 프로세스 가상메모리 생성 및 관리 – 요구 페이징 및 copy-on-write |
|
14:00 – 14:50 | 페이지 회수 기법 |
– LRU 및 working-set 기반 메모리 관리 – 동기적/비동기적 페이지 프레임 회수 |
|
15:00 – 15:50 | [실습] 메모리 관리 실습 I |
– 페이지 폴트 처리 코드 분석 – 디바이스 파일을 통한 메모리 매핑, 페이지 폴트 핸들링, 메모리 할당/해제 실습 |
|
16:00 – 16:50 | [실습] 메모리 관리 실습 II |
– 디바이스 파일을 통한 페이지 프레임 할당 제어 실습 |
1월 21일(금) : 단국대 최종무 교수
시간 | 프로그램 |
09:00 – 09:50 | 파일 시스템 계층 구조 |
– 리눅스 파일 시스템 계층 구조 – 코드 수준 분석 필요성: 사례 연구 |
|
10:00 – 10:50 | 파일 시스템 레이아웃 1 |
– 기본 구조, 성능 고려 확장 (FFS, Ext2) – 신뢰성 고려 확장 (Ext3, Soft update) |
|
11:00 – 11:50 | 파일 시스템 레이아웃 2 |
– 스토리지 특성 고려 확장 (F2FS, NOVA) – 모바일 스토리지 고려 확장 (FAT, ExFAT) |
|
12:00 – 13:00 | 점심시간 |
13:00 –13:50 | 파일 시스템 인터페이스 1 |
– Virtual File System: indirection layer – open, read, mount flow analysis |
|
14:00 – 14:50 | 파일 시스템 인터페이스 2 |
– 커널 내부 구성요소 인터페이스 – How to make a new FS in Linux? |
|
15:00 – 15:50 | [실습] 파일 시스템 수정 실습 I |
– 파일 시스템 수정 실습 – mkfs, mount, access 실습 |
|
16:00 – 16:50 | [실습] 파일 시스템 수정 실습 II |
– 파일 시스템 성능 분석 실습 – 파일 시스템 입출력 트레이스 실습 |