일정안내


8월 21일(월) : 정진규 교수(성균관대), 서의성 교수(성균관대)

 시간 프로그램
정진규 교수(성균관대)
09:00 – 09:50 메모리 관리 기본 개념
– 가상 메모리 및 페이징
– MMU 및 TLB
10:00 – 10:50 물리 메모리 관리
– 물리 메모리 관리(zone, buddy system, etc)
– 단편화 완화 및 개선 기법
11:00 – 11:50 메모리 주소공간 관리
– 프로세스 및 커널 주소 공간
– 리눅스 페이지 테이블
12:00 – 13:00 Lunch
서의성 교수(성균관대)
13:00 – 13:50 CPU 스케줄링 개요
– 스케줄링 이론
– 다양한 스케줄링 알고리즘 소개
14:00 – 14:50 리눅스 스케줄러 분석
– 리눅스 스케줄러 구조
– CFS 알고리즘 및 구현
15:00 – 15:50 리눅스 로드밸런싱
– 로드밸런싱 개요

– 리눅스에서의 로드밸런싱 구현 방법
16:00 – 16:50 리눅스 커널 동기화 I
– 리눅스 커널 내부에서의 동기화 개념 소개

– 각종 동기화 기법

8월 22일(화) : 최종무 교수(단국대), 정진규 교수(성균관대)

시간 프로그램
최종무 교수(단국대)
09:00 – 09:50 파일 시스템 코드 수준 분석 필요성 (Case Study)
– IRON file system, SOSP, 2005
– F2FS(Flash Friendly File System), Fast, 2015
10:00 – 10:50 파일시스템 개념적 구조
– Layered Architecture : System Call, VFS, Specific FS, Block Device Driver
– FS Internals : Allocation, Metadata Management, Reliability
11:00 – 11:50 파일시스템 추상화
– 단일한 사용자 인터페이스와 다양한 파일시스템 지원
– 가상 파일 시스템(Virtual File System)
– From task_struct to inode
12:00 – 13:00 Lunch
정진규 교수(성균관대)
13:00 – 13:50 커널 메모리 관리
– 커널 동적 메모리 할당/해제 및 관리
– 페이지 캐시 관리
14:00 – 14:50 프로세스 가상 메모리 관리
– 프로세스 가상메모리 생성 및 관리
– 요구 페이징 및 Copy-on-Write
15:00 – 15:50 페이지 회수 기법
– LRU 및 working-set 기반 메모리 관리
– 동기적/비동기적 페이지 프레임 회수
16:00 – 16:50 [실습] 페이지 컬러링
– 캐시 파티셔닝의 소프트웨어 기법인 페이지 컬러링 기법 구현 및 성능 측정

8월 23일(수) : 서의성 교수(성균관대), 최종무 교수(단국대)

시간 프로그램
서의성 교수(성균관대)
09:00 – 09:50 리눅스 커널 동기화 II
– 리눅스 커널 내부에서의 동기화 개념 소개
– 각종 동기화 기법
10:00 – 10:50 [실습1] 스케줄러 구현 I
– 리눅스에서의 커스텀 스케줄러 구현
11:00 – 11:50 [실습2] 스케줄러 구현 II
– 리눅스에서의 커스텀 스케줄러 구현
12:00 – 13:00 Lunch
최종무 교수(단국대)
13:00 –13:50 파일시스템 소스 수준 구조
– 파일 접근과 file_operations, inode_operations 역할
– 파일시스템 접근과 file system type, super operations 역할
14:00 – 14:50 [실습1] 파일 시스템
– FAT 소스 코드 분석
– 램디스크 상에서 FAT 구동
15:00 – 15:50 [실습2] 파일 시스템
– F2FS 소스 코드 분석
– MDT 상에서 F2FS 구동실습
16:00 – 16:50 [실습3] 파일 시스템
– 성능/신뢰성 향상 기술 (스토리지 특성인지 기술)
– 파일 시스템 성능 비교 방법