[COMP9242] wk01 - Advanced Operating Systems

Monolithic and Microkernel

一、微内核的特点

Idea of microkernel:
• Flexible, minimal platform
• Mechanisms, not policies
• OS functionality provided by usermode servers
• Servers invoked by kernel-provided messagepassing mechanism (IPC)
• Goes back to Nucleus [Brinch Hansen’70]

 

二、seL4 FAQ

/* implement */

 

posted @   郝壹贰叁  阅读(219)  评论(0)  编辑  收藏  举报
编辑推荐：
· AI与.NET技术实操系列：向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列：如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
阅读排行：
· 震惊！C++程序真的从main开始吗？99%的程序员都答错了
· 【硬核科普】Trae如何「偷看」你的代码？零基础破解AI编程运行原理
· 单元测试从入门到精通
· 上周热点回顾（3.3-3.9）
· winform 绘制太阳，地球，月球 运作规律
点击右上角即可分享
微信分享提示
AI IDE Trae