연구 내용 및 결과
- 매니코어 운영체제 구조 연구
- 모노리틱 구조 연구
- Lock-less 기법 연구
- Lock-free 기법 연구
- 가상화 환경의 스케일러블 Lock 기법
- 스케일러블 blocking 동기화 기법
- 스케일러블 메모리 주소공간 기법 연구
- 매니코어 스케줄링 연구
- 멀티레벨 스케줄러 연구
- 차세대 SSD 캐싱 기법
- 스케일러블 네트워크 스택
- SPM(ScratchPad Memory) 기반 요소기술 연구
- 온도, 전력 관리 및 에너지 절감 기술 연구
- MORE (Manycore Oriented Resource Externalization) 연구
- 스케일러블 자료구조 연구
- 영구 메모리 연구
- 대규모 스트림 데이터 분석 유스케이스
- 파일시스템 스케일러빌러티 연구
- 코어 파티셔닝 연구
- 분할형 구조 연구
- 병렬프레임워크 연구
- 도구 개발
- 파일 시스템 확장성 분석 벤치마크 개발 (FxMark)
- 멀티큐 기반 고속 저장장치 에뮬레이터(Ramdisk_MQ)
- 블록 계층 분석기(blk_mq_analyzer)
- 영구메모리 응용의 쓰기 증폭 측정 도구(pmperf)
- CPU idle 상태 추적 도구(Dark insight)
- 파일 시스템 정확성 교차 검증 도구 개발(Juxta)
- 리눅스 파일 시스템의 시맨틱 버그 탐지 도구(HYDRA)
- 데이터 레이스 탐지 도구(Krace)
- 더블페치 버그 탐지 도구 개발(Deadline)
- 프로그램 인터페이스 오류 탐지 도구(APISan)
- 초기화되지 않은 변수로 인한 버그 탐지 도구(UniSan)
- 인텔 메모리 보호키 지원 라이브러리 개발 (libmpk)