일정안내

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
– 파일 시스템 성능 분석 실습
– 파일 시스템 입출력 트레이스 실습