9/18 Thinking outside the box of OS system design (권영진 교수/KAIST 전산학부)

작성자
kaistsoftware
작성일
2023-09-18 09:24
조회
8739
  • 강사 : 권영진 교수 (KAIST 전산학부)
  • 일시 : 2023. 9. 18 (월) 16:00~17:30

In this talk, I would like to share my two experiences building two OSes for emerging cloud services.

Memory disaggregation has replaced the landscape of cloud systems by physically separating compute and memory nodes,
achieving improved utilization. As early efforts, kernel paging-based approaches offer transparent virtual memory abstraction
for remote memory with paging schemes but suffer from expensive page fault handling. We revisit the paging-based
approaches and challenges their performance in paging schemes. We posit that the overhead of the paging-based approaches
is not a fundamental limitation. We propose DiLOS, a new library operating system~(LibOS) specialized for paging-based memory
disaggregation. We have revamped the page fault handler to get away with the swap cache and incorporated known techniques
in our prefetcher, page manager, and communication module for performance optimization. Furthermore, we provide APIs to augment
the LibOS with application semantics.

OS containers have become a foundational component of cloud systems, offering benefits such as encapsulating the kernel, user libraries,
and applications to reduce operational costs and enhance manageability. While OS containers present the illusion of isolated kernel code
and states for processes, they share the same underlying kernel, raising concerns regarding security and fault isolation. Previous solutions
to address the isolation concerns are using virtual-machine-based systems, leveraging hardware-based isolation, but this approach often
introduces significant performance overhead. In response, we introduce a new approach, CofferOS, that leverages Rust’s safety features
to enhance container isolation. This paper introduces a Coffer abstraction, implemented as a class, which ensures that instances never
directly access the code and states of others. This isolation principle is achieved by encapsulating kernel code within each Coffer instance.
Cof ferOS, a new OS, containerizes kernels and processes within Coffer instances, strengthening security and fault isolation compared
to the traditional OS container.
전체 143
번호 제목 작성자 작성일 추천 조회
공지사항
2025년 봄학기 콜로퀴엄 일정 안내
kaistsoftware | 2025.02.27 | 추천 0 | 조회 10867
kaistsoftware 2025.02.27 0 10867
132
11/11 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부)
kaistsoftware | 2024.11.06 | 추천 0 | 조회 6684
kaistsoftware 2024.11.06 0 6684
131
11/4 In Search of Neural Language of Thoughts Models (안성진 교수/KAIST 전산학부)
kaistsoftware | 2024.11.05 | 추천 0 | 조회 5141
kaistsoftware 2024.11.05 0 5141
130
10/28 Physics-inspired Deep Learning (박노성 교수/KAIST 전산학부)
kaistsoftware | 2024.10.25 | 추천 0 | 조회 4960
kaistsoftware 2024.10.25 0 4960
129
10/14 Interaction, Architecture, and Evaluation for Generative AI and LLM (김주호 교수/KAIST 전산학부)
kaistsoftware | 2024.10.10 | 추천 0 | 조회 5949
kaistsoftware 2024.10.10 0 5949
128
10/7 Sensing the Future: Unveiling the Benefits and Risks of Sensing in Cyber-Physical Security (한준 교수/KAIST 전산학부)
kaistsoftware | 2024.10.04 | 추천 0 | 조회 5534
kaistsoftware 2024.10.04 0 5534
127
9/30 Image and 3D Shape Generation (김태균 교수/KAIST 전산학부)
kaistsoftware | 2024.09.27 | 추천 0 | 조회 5964
kaistsoftware 2024.09.27 0 5964
126
9/23 언어모델 기반 생성형AI의 실체 - 잠재력과 위험성 (맹성현 교수/KAIST 전산학부)
kaistsoftware | 2024.09.19 | 추천 0 | 조회 6585
kaistsoftware 2024.09.19 0 6585
125
9/9 생성형 AI, 능력과 한계 (김진형 교수/KAIST 전산학부)
kaistsoftware | 2024.09.03 | 추천 0 | 조회 8453
kaistsoftware 2024.09.03 0 8453
124
2024년 가을학기 콜로퀴엄 일정 안내
kaistsoftware | 2024.09.03 | 추천 0 | 조회 12963
kaistsoftware 2024.09.03 0 12963
123
6/4 제네럴리스트 휴머노이드 자동화와 자율화 (박대형 교수/KAIST 전산학부)
kaistsoftware | 2024.05.28 | 추천 0 | 조회 9278
kaistsoftware 2024.05.28 0 9278