Maybe we should revisit microkernels7 days agohttps://notes.hella.cheap/maybe-we-should-revisit-microkernels.html微内核仅在核心中保留调度、I/O设备访问管理和进程间通信;其他所有功能都在用户态运行。优势包括更好的安全性(驱动程序错误仅影响子系统)、可靠性(崩溃被隔离)以及模块化(更易维护)。历史上,由于没有IOMMU时上下文切换和内存复制带来的高开销,微内核曾被拒绝。现代IOMMU通过使用原子操作的共享环形缓冲区实现零开销进程间通信,在理想路径中消除了上下文切换。更多...
SuperPass: Fast-Tracking Blocking Threads to Mitigate Priority Inversion10 days agohttps://arxiv.org/abs/2607.18097优先级反转在Android上频繁发生,导致高优先级线程(如UI线程)被低优先级线程阻塞长达210毫秒,从而造成丢帧。现有的实时系统解决方案(如优先级继承、实时UI提升、代理执行)无法消除Android上的长时间优先级反转阻塞,且可能引入高开销。两个关键洞察:长时间阻塞源于低优先级阻塞线程累积的CPU等待时间,而非临界区延迟;跟踪有限数量的并发读取器足以在低开销下实现良好的响应性。SuperPass是一种轻量级内核机制,通过使用调度器快速通道和锁级别检测器来快速追踪阻塞延迟关键线程的低优先级线程,从而识别大多数此类线程。更多...
Fable 5 wrote a Windows kernel in 38 minutes25 days agohttps://tolmo.com/blog/when-the-model-writes-the-kernel/ntoskrnl-rs 项目成功用 Rust 重写了 Windows NT 内核,在 QEMU 中启动并通过了自测。Claude Fable 5 在 38 分钟内生成了核心内核(约 5,100 行代码),包括调度、内存管理和 I/O 子系统。该内核能够加载未经修改的 Windows 驱动程序和二进制文件,为分析和调试提供了沙箱环境。验证仍然是一个瓶颈,因为 AI 编写的代码需要大量测试以确保可信度和正确性。更多...
Why Linux is not ready for the desktop (2024)a month agohttps://itvision.altervista.org/why.linux.is.not.ready.for.the.desktop.final.htm...Linux发行版难以实现长期的二进制兼容性,而Windows则能保持对数十年前旧软件的支持。Linux上的软件分发严重依赖发行版特定的软件包,或是像Flatpak/Snap/AppImage这样充当轻量级虚拟机的繁琐方案,但这些并未完全解决兼容性问题。Linux内核的单体化结构意味着驱动更新需要完整的内核更新,可能引入回归问题,且缺乏普遍稳定的桌面内核版本。Linux缺乏原生的、用户友好的文件共享功能,无法与Windows相媲美;Samba配置复杂,而SSHFS/NFS等替代方案对普通用户不够直观。更多...
Microsoft Needs Windows Litea month agohttps://philipbohun.com/blog/0011.html微软正在流失开发者,他们正转向macOS和Linux,最初仅靠内容创作和游戏将开发者留在Windows上。Windows Lite是一个精简版Windows系统,没有遥测、广告、AI或.NET,专注于win32,配备轻量级shell和图形驱动程序。针对游戏玩家和开发者,它提供稳定、向后兼容的平台,支持月度补丁和手动更新控制。如果成功,Windows Lite可能吸引普通用户、机构和政府,成为主要的Windows版本,同时降低成本和增加收入。更多...