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

작성자
kaistsoftware
작성일
2023-09-18 09:24
조회
8821
  • 강사 : 권영진 교수 (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 | 조회 11258
kaistsoftware 2025.02.27 0 11258
132
11/11 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부)
kaistsoftware | 2024.11.06 | 추천 0 | 조회 6883
kaistsoftware 2024.11.06 0 6883
131
11/4 In Search of Neural Language of Thoughts Models (안성진 교수/KAIST 전산학부)
kaistsoftware | 2024.11.05 | 추천 0 | 조회 5264
kaistsoftware 2024.11.05 0 5264
130
10/28 Physics-inspired Deep Learning (박노성 교수/KAIST 전산학부)
kaistsoftware | 2024.10.25 | 추천 0 | 조회 5071
kaistsoftware 2024.10.25 0 5071
129
10/14 Interaction, Architecture, and Evaluation for Generative AI and LLM (김주호 교수/KAIST 전산학부)
kaistsoftware | 2024.10.10 | 추천 0 | 조회 6058
kaistsoftware 2024.10.10 0 6058
128
10/7 Sensing the Future: Unveiling the Benefits and Risks of Sensing in Cyber-Physical Security (한준 교수/KAIST 전산학부)
kaistsoftware | 2024.10.04 | 추천 0 | 조회 5636
kaistsoftware 2024.10.04 0 5636
127
9/30 Image and 3D Shape Generation (김태균 교수/KAIST 전산학부)
kaistsoftware | 2024.09.27 | 추천 0 | 조회 6072
kaistsoftware 2024.09.27 0 6072
126
9/23 언어모델 기반 생성형AI의 실체 - 잠재력과 위험성 (맹성현 교수/KAIST 전산학부)
kaistsoftware | 2024.09.19 | 추천 0 | 조회 6691
kaistsoftware 2024.09.19 0 6691
125
9/9 생성형 AI, 능력과 한계 (김진형 교수/KAIST 전산학부)
kaistsoftware | 2024.09.03 | 추천 0 | 조회 8550
kaistsoftware 2024.09.03 0 8550
124
2024년 가을학기 콜로퀴엄 일정 안내
kaistsoftware | 2024.09.03 | 추천 0 | 조회 13090
kaistsoftware 2024.09.03 0 13090
123
6/4 제네럴리스트 휴머노이드 자동화와 자율화 (박대형 교수/KAIST 전산학부)
kaistsoftware | 2024.05.28 | 추천 0 | 조회 9379
kaistsoftware 2024.05.28 0 9379