HOME > 새소식 > 학회새소식
[행사소식] 리눅스 커널 캠프 2016(2.16-18,한국과학기술회관) 945
2016-01-25 오후 6:16:18

한국정보과학회 컴퓨터시스템소사이어티

 

리눅스 커널 캠프 2016
(LINUX KERNEL CAMP 2016)

 

http://linuxcamp.kaist.ac.kr/

 

▣ 행사개요

▶ 일시: 2016년 2월 16일(화) – 2016년 2월 18일(목)

▶ 장소: 한국과학기술회관

▶ 주최: 한국정보과학회 컴퓨터시스템소사이어티

▣ 모시는 글

한국정보과학회 컴퓨터시스템 소사이어티에서 제 2회 리눅스 커널 캠프를 개최합니다. 리눅스 커널 캠프는 시스템 소프트웨어 기술의 핵심이 되는 리눅스 커널에 대한 고급 수준의 단기 교육 프로그램으로 리눅스 내부의 프로세스 및 메모리 관리 기법, 스케줄링 기법, 파일시스템에 대한 체계적이고 심도 있는 강의를 기획하고 있습니다. 해당 분야에서 수십 년 경력을 자랑하는 국내 최고의 전문가가 직접 강의를 진행하며 3일동안 이론과 실습을 병행합니다. 교육기관, 연구소, 산업체 관련 분야 종사자들이 리눅스 커널에 대한 최신 정보를 얻어갈 좋은 기회가 될 것입니다.

 

리눅스 커널 캠프 프로그램 위원장 진현욱, 박경수

▣ 강사소개

유민수

유민수 교수는 CPU 스케줄링 관련해서 스마트폰에서 자동차까지 다양한 분야를 연구하고 있다. 실시간 운영체제 및 미들웨어, 임베디드 소프트웨어를 위한 소프트웨어 공학, 멀티코어 임베디드 시스템 등의 연구와 개발을 하고 있다. 현재 한양대학교 컴퓨터공학부 부교수로 재직 중이며, IEEE RTAS와 IEEE RTCSA 등 다수 학회의 프로그램 위원으로 봉사한 바 있다.

최종무

최종무 교수는 2000년대 초반 리눅스를 심도 깊게 공부한 사람이라면 한번쯤 접해봤을 “리눅스 커널 프로그래밍”이란 책을 집필한 저자이다. ㈜ 유비퀵스에서 RTOS를 직접 개발하였으며, 2003년부터 단국대학교 소프트웨어학과에 교수로 재직 중이다. 마이크로 커널, 모바일 스토리지, 파일 시스템, 가상화, 빅데이터 시스템 등을 연구 개발하고 있다. 시스템 소프트웨어 분야 대표적인 국제 학회에 다수의 논문을 게재하였고, 대규모 스토리지 및 컴퓨터 아키텍처와 시스템 소프트웨어의 통합 기법을 UCSC, CMU 대학과 공동 연구한 바 있다.

임성수

임성수 교수는 현재 국민대학교 교수로서 국민대학교 임베디드시스템 연구실을 이끌고 있으며 실시간 임베디드 시스템, 스마트 디바이스를 위한 성능 최적화 기술 등을 연구하고 있다. 주요 연구 결과로는 오픈소스 가상화 소프트웨어인 K-Hypervisor 프로젝트, LG 전자 스마트폰의 커널 및 전력 관리 최적화 기술 공급, Cyber Physical Systems 관련 국내외 논문이 있다.

▣ 교육 내용

본 캠프는 리눅스 운영체제를 커널 코드 수준에서 심도있게 다룹니다. 수강자들이 학부 운영체제 수준의 이해와 기본적인 운영체제 관련 개발 경험이 있는 것을 가정하고 강의를 진행합니다.
강의는 3일간 진행되며 프로세스, 메모리, 스토리지에 각 하루씩이 할당됩니다.
강의는 매일 09:00 – 17:00 까지 진행되며 이론과 코드에 대한 설명, 그리고 간단한 실습으로 구성됩니다.

▶ Process, Thread, CPU Scheduling (한양대 유민수)
– 프로세스, 쓰레드 개념과 스케줄링 기본 이론 및 CFS(Completely Fair Scheduler) 이해
– 동기화 기본 이론 및 리눅스 커널 내부의 동기화 메커니즘 이해
– 로드 밸런싱 및 DVFS (Dynamic Voltage and Frequency Scaling) 이해
– 프로세스, 스케줄링, DVFS 관련 커널 정보를 출력해보고, 파라미터 변경을 통한 응용 프로그램 실행 제어 실습

▶ Storage, File System, I/O (단국대 최종무)
– 리눅스 커널에서 다양한 파일 시스템들을 지원하기 위한 추상화(abstraction) 이해
– 리눅스 파일 시스템의 핵심 자료 구조인 file_operations, inode_operations, super_operations, address_space_operations 등의 기능을 이해
– FAT, F2FS 등 실제 파일 시스템 내부 구조를 이해
– 파일 시스템 실습(수정, 컴파일, 동작 분석, 성능 비교) 수행

▶ Memory Management (국민대 임성수)
– 리눅스 성능 분석 방법 및 분석 툴의 이해
– 리눅스 커널의 메모리 아키텍처에 대한 이해
– 리눅스 커널의 demand paging 및 메모리 관리 기법 이해
– 리눅스 커널에서 메모리 사용의 최적화 기법 이해

▣ 교육 진행

학부 운영체제 수강자 혹은 이와 동등한 지식 보유자를 대상으로 하며, gcc/vi/emacs/make, 각종 쉘 사용 지식과 C언어는 기본적으로 알고 있어야 합니다.
본인 노트북 지참입니다. 대부분의 개발자들이 자신만의 개발환경을 설정해서 사용하고 있습니다. 키맵부터 에디터까지 개인의 취향에 따라 매우 다른 환경을 사용하기 때문에 본 리눅스 커널 캠프에서는 실습실 PC사용을 배제하기로 결정하였습니다.
소스코드와 실습 코드가 패키지 된 VM 이미지를 배포합니다.
점심식사가 제공됩니다.

▣ 세부 강의 일정

Click! 리플렛 다운로드

▶ 1일차 - 2월 16일(화) 유민수 교수(한양대)

시간

프로그램

09:00 - 09:50

 프로세스 및 쓰레드 기본 개념

 

 - 프로세스의 이해

 

 - 쓰레드의 이해

10:00 - 10:50

 스케줄링 기본 이론 및 CFS (Completely Fair Scheduler)

 

 - 스케줄링 기본 이론

 

 - CFS

11:00 - 11:50

 동기화 기본 개념 및 리눅스 커널 내부의 동기화 메커니즘

 

 - 동기화 기본개념

 

 - 리눅스 커널 내부의 동기화 메커니즘

12:00 - 13:00

 Lunch

13:00 - 13:50

 로드밸런싱과 and DVFS

 

 - 로드밸랜싱

 

 - DVFS (Dynamic Voltage and Frequency Scheduling)

14:00 - 14:50

 [실습 1] 프로세스, 스케줄링 관련 커널 정보의 이해, 파라미터 변경

 

 - 프로세스, 스케줄링 커널 정보 출력 및 이해

 

 - 프로세스, 스케줄링 커널 파라미터 변경

15:00 - 15:50

 [실습 2] DVFS 관련 커널 정보의 이해, 파라미터 변경

 

 - DVFS 커널 정보 출력 및 이해

 

 - DVFS 커널 정보 파라미터 변경

16:00 - 16:50

 [실습 3] 스케줄링 정책과 파라미터 설정을 이용한 응용프로그램 실행제어

 

 - 스케줄링 정책 및 파라미터 설정을 이용한 응용프로그램 실행 제어

 

▶ 2일차 - 2월 17일(수) 최종무 교수(단국대)

시간

프로그램

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

 파일시스템 소스수준 구조

 

 - 파일 접근과 file_operations, inode_operations, address_space_operation 역할

 

 - 파일 시스템 접근과 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] 파일 시스템

 

 - 파일 시스템 성능 측정 도구

 

 - 파일 시스템 성능 비교 방법

 

▶ 3일차 - 2월 18일(수) 임성수 교수(국민대)

시간

프로그램

09:00 - 10:20

 Performance Analysis in Linux Systems

 

 - Event logging-based performance analysis (ftrace, LTT, and Oprofile)

10:30 - 12:00

 Memory architecture in Linux kernel

 

 - How to read memory usage status

 

 - Key data structures in Linux kernel

12:00 - 13:00

 Lunch

13:00 - 13:50

 Virtual memory management concept

 

 - Basic procedure of virtual memory management and related data structures

14:00 - 14:50

 Linux demand paging

 

 - How demand paging in Linux works?

15:00 - 15:50

 Linux virtual and physical page management

 

 - Virtual and physical page management data structures

 

 - Kernel APIs for page management

16:00 - 16:50

 Optimizing memory usages

 

 - How to make memory usage efficient?

▣ 등록

▶ 사전등록필수 (현장등록 없음): http://linuxcamp.kaist.ac.kr

▶ 등록기간: 2016년 1월 25일(월) - 2월 12일(금)

▶ 신용카드만 가능

▶ 강의실 사정으로 수강생을 선착순 50명으로 제한

구분 등록비

학생

500,000원

일반

900,000원

▣ 장소 안내

▶ 서울시 강남구 테헤란로 7길 22(역삼동 635-4) 한국과학기술회관 T.02-3420-1200

▶ 지하철2호선 및 신분당선 강남역 12번 출구 국기원 방향

▣ 프로그램 위원회

▶ 프로그램 위원장: 박경수(KAIST), 진현욱(건국대학교)

▶ 프로그램 위원: 김영재(아주대학교), 김태석(광운대학교), 백웅기(UNIST), 유시환(단국대학교), 정명수(연세대학교), 허재혁(KAIST)

▣ 문의처

▶ 실무 총괄: 김동휘 (dhkim09a+linuxcamp@gmail.com)

▶ 한국정보과학회: 문은정 주임 (02-588-4002, ejmoon@kiise.or.kr)

me2day 미투데이