操作系统

操作系统内核的抽象与特征

操作系统:计算机科学研究的基石之一
。计算机系统的基本组成部分和核心支撑软件
。贯穿程序语言、运行时系统、应用、体系结构.
。联系计算机科学和计算机系统的典范
。操作系统的知识影响到专业人员的素质
。大量专业工作与操作系统技术相关

。顶尖大学的计算机科学部门
o MIT, Stanford, Berkeley, …
。计算机产业，
。旧时: Xerox (PARC), IBM, DEC (SRC), Bell Labs
。现代: Microsoft, Google, Yahoo, IBM, HP, Sun, Intel, VMware, Amazon, …
。国内:华为、阿里巴巴、腾讯…
。学术研究协会
。
。SOSP OSDI HotOS
。ACM SIGOPS Hall-of- Fame Awards
。USENIX USENIX-ATC

抓住操作系统的关键问题
。操作系统很庞大
。Windows XP有4500万行
。操作系统管理并发
。并发导致有趣的编程挑战。
。操作系统代码管理原始硬件
。CPU、内存、磁盘
。时间依赖行为,非法行为,硬件故障
操作系统代码必须是高效的,低耗能，安全可靠
。操作系统要及时地给应用提供合理资源
。
操作系统出错，就意味着机器出错
。操作系统必须比用户程序拥有更高的稳定性

学习操作系统需要具有系统思维
。操作系统并不仅仅是琐碎的调度算法
。磁盘调度算法大多已被硬件实现
。进程调度是个比较小话题
。并发性是操作系统的一小部分内容
。内核里不存在管程和哲学家问题
。内核中锁机制需要考虑应用和硬件
。权衡资源
。时间与空间-性能的可预测性与公平性
。软硬协同
。
如何让中断、异常、上下文切换真正有效?
。TLB是如何工作的?这对页表又意味着什么?

AloT系统(2000- )
。分布式多设备
❽
分布式系统利用率/可用性是关注点
。重点是网络/存储/计算的效率
。操作系统=分布式(程序/OS调度+内存管理+安全/更新)
。演变:走向设备，走向网络，新的挑战(不可靠/大数据)