《操作系统真象还原》——导读

**
前言
**
想象一下,如果是爱因斯坦那样的天才给我们讲物理知识,我们会觉得物理更容易理解吗?肯定是不会的,因为在爱因斯坦眼中比较容易的内容也许对我们来说非常深奥,他用B解释A的时候也许会让我们更迷惑,因为B我们也不懂,这就是基础的问题了。幸运的是阅读本书时读者只要有C语言和部分汇编语言的基础就行了,涉及的其他方面的知识我都会详细介绍,并以更易懂的方式去解释技术难点,读者不必担心看不懂本书。

回忆一下学车的经历:教练让学员先踩离合器再挂档,然后再踩油门,车子就开动啦。如果学员总是学不会这些,有可能是学员根本不知道什么是离合器,或者不知道离合器的作用是什么。即使把这些操作背下来,也会对驾车感到心有余而力不足,可见,只有了解了背后的原理,才会知道自己在做什么,驾车才变得游刃有余。

以上情况对我们学习操作系统来说也同样存在,比如当老师介绍中断发生时的上下文保护时,我们更多的疑问不是如何保存CPU的上下文数据,而是想知道为什么在不同的特权级下会使用不同的栈,这背后的原理是什么,并且这是如何做到的。

诸如此类的疑问需要了解硬件原生支持的运行机制,因为很多操作都是硬件自动完成的,比如处理器进入0特权级时,会自动在任务状态段TSS中获得0特权级的栈地址,这不需要人工干涉,完全由处理器维护。我们想知道的是,硬件在背后自动完成了哪些工作,这样才便于我们理解操作系统的全貌。

操作系统受制于硬件的支持,很大程度上它的能力取决于硬件的能力,因此,要想全面理解操作系统,不仅需要了解上层软件的算法、原理、实现,还要了解很多硬件底层的内容。和硬件相关的知识是在微机接口电路中讲解的,而绝大多数读者在学习这门课时,根本不知道它有何用,只有学习操作系统课程时才用到它,因此,本书内容兼顾相关的硬件知识。

除硬件外,本书还把操作系统中的理论付诸于实践,让读者真正学到包含在操作系统中的实实在在的技术,比如在代码中实现了著名的生产者消费者问题,还有进程、线性、阻塞、信号量、锁、文件系统、目录、shell、管道等。各个章节的代码都可独立运行,方便调试,本书更让读者有成就感的是,我们最终完成的一个操作系统总共代码量只有几千行左右,极大地减少了操作系统源码阅读的工作量。

操作系统还是比较庞大的,因此,大部分介绍操作系统原理的书中,对各个部分都是分拆出来介绍的,这导致我们学习操作系统时犹如盲人摸象、管中窥豹。本书的封面是一个完整的大象的拼图,就像封面展示的那样,本书内容我们不再局部学习,而是把所有局部还原成一个整体,做出一个真正的操作系统。

目录

**[第0章 一些你可能正感到迷惑的问题
0.1 操作系统是什么]()**
0.2 你想研究到什么程度
0.3 写操作系统,哪些需要我来做
0.4 软件是如何访问硬件的
0.5 应用程序是什么,和操作系统是如何配合到一起的
0.6 为什么称为“陷入”内核
0.7 内存访问为什么要分段
0.8 代码中为什么分为代码段、数据段?这和内存访问机制中的段是一回事吗
0.9 物理地址、逻辑地址、有效地址、线性地址、虚拟地址的区别
0.10 什么是段重叠
0.11 什么是平坦模型
0.12 cs、ds这类sreg段寄存器,位宽是多少
0.13 什么是工程,什么是协议
0.14 为什么Linux系统下的应用程序不能在Windows系统下运行
0.15 局部变量和函数参数为什么要放在栈中
0.16 为什么说汇编语言比C语言快
0.17 先有的语言,还是先有的编译器,第1个编译器是怎么产生的
0.18 编译型程序与解释型程序的区别
0.19 什么是大端字节序、小端字节序
0.20 BIOS中断、DOS中断、Linux中断的区别
0.21 Section和Segment的区别
0.22 什么是魔数
0.23 操作系统是如何识别文件系统的
0.24 如何控制CPU的下一条指令
0.25 指令集、体系结构、微架构、编程语言
0.26 库函数是用户进程与内核的桥梁
0.27 转义字符与ASCII码
0.28 MBR、EBR、DBR和OBR各是什么
**[第1章 部署工作环境
1.1 工欲善其事,必先利其器]()**
1.2 我们需要哪些编译器
1.2.1 世界顶级编译器GCC
1.2.2 汇编语言编译器新贵NASM
1.3 操作系统的宿主环境
1.3.1 什么是虚拟机
1.3.2 盗梦空间般的开发环境,虚拟机中再装一个虚拟机
1.3.3 virtualBox下载,安装
1.3.4 Linux发行版下载
1.3.5 Bochs下载安装
1.4 配置bochs
1.5 运行bochs
**[第2章 编写MBR主引导记录,让我们开始 掌权
2.1 计算机的启动过程]()**
2.2 软件接力第一棒,BIOS
2.2.1 实模式下的1MB内存布局
2.2.2 BIOS是如何苏醒的
2.2.3 为什么是0x7c00
2.3 让MBR先飞一会儿
2.3.1 神奇好用的$和$$,令人迷惑的section
2.3.2 NASM简单用法
2.3.3 请下一位选手MBR同学做准备

时间: 2024-09-20 00:10:25

《操作系统真象还原》——导读的相关文章

《深入理解Scala》——第1章,第1.2节当函数式编程遇见面向对象

1.2 当函数式编程遇见面向对象 深入理解Scala 函数式编程和面向对象编程是软件开发的两种不同途径.函数式编程并非什么新概念,在现代开发者的开发工具箱里也绝非是什么天外来客.我们将通过Java生态圈里的例子来展示这一点,主要来看Spring Application framework和Google Collections库.这两个库都在Java的面向对象基础上融合了函数式的概念,而如果我们把它们翻译成Scala,则会优雅得多.在深入之前,我们需要先理解面向对象编程和函数式编程这两个术语的含义

《深入理解Scala》——第1章,第1.4节与JVM的无缝集成

1.4 与JVM的无缝集成 深入理解Scala Scala的吸引力之一在于它与Java和JVM的无缝集成.Scala与Java有很强的兼容性,比如说Java类可以直接映射为Scala类.这种紧密联系使Java到Scala的迁移相当简单,但在使用Scala的一些高级特性时还是需要小心的,Scala有些高级特性是Java里没有的.在Scala语言设计时已经小心地考虑了与Java无缝交互的问题,用Java写的库,大部分可以直接照搬(as-is)到Scala里. 1.4.1 Scala调用Java 从S

《深入理解Scala》——第2章,第2.1节学习使用Scala交互模式(REPL)

第2章 核心规则深入理解Scala 本章包括的内容: • 使用Scala交互模式(Read Eval Print Loop 简称REPL) • 面向表达式编程 • 不变性(Immutability) • Option类 本章内容覆盖了每个新Scala开发者都需要知道的几个主题.本章不会深入到每个主题里,但是会讲到可以让你自己去接着探索的程度.你将学会使用REPL,学会如何利用这个工具做软件的快速原型开发.然后我们会学到面向表达式编程,并从另一个视角来看控制结构是怎么回事.在此基础上,我们来研究不

《深入理解Scala》——第1章,第1.3节静态类型和表达力

1.3 静态类型和表达力 深入理解Scala 开发人员中有一个误解,认为静态类型必然导致冗长的代码.之所以如此是因为很多继承自C的语言强制要求程序员必须在代码中多处明确地指定类型.随着软件开发技术和编译器理论的发展,情况已经改变.Scala利用了其中一些技术进步来减少样板(boilerplate)代码,保持代码简洁. Scala做了以下几个简单的设计决策,以提高代码表达力. • 把类型标注(type annotation)换到变量右边. • 类型推断. • 可扩展的语法. • 用户自定义的隐式转

《深入理解Scala》——第1章,第1.5节总结

1.5 总结 深入理解Scala 本章中,你学到了一些Scala的设计理念.设计Scala的初衷在于把不同语言中的多种概念融合起来.Scala融合了函数式和面向对象编程,尽管显然Java也已经这么做了.Scala精选其语法,极大地减少了语言中的繁冗之处,使一些强大的特性可以优雅地表达,比如类型推断.最后,Scala和Java能够紧密集成,而且运行在Java虚拟机上,这或许是让Scala变成一种实用选择的最重要的一点.几乎不花代价就可以把Scala用于我们的日常工作中. 因为Scala融合了多种概

《深入理解Scala》——第1章,第1.1节Scala一种混合式编程语言

第1章 Scala--一种混合式编程语言 Scala是一种将其他编程语言中的多种技巧融合为一的语言.Scala尝试跨越多种不同类型的语言,给开发者提供面向对象编程.函数式编程.富有表达力的语法.静态强类型和丰富的泛型等特性,而且全部架设于Java虚拟机之上.因此开发者使用Scala时可以继续使用原本熟悉的某种编程特性,但要发挥Scala的强大能力则需要结合使用这些有时候相互抵触的概念和特性,建立一种平衡的和谐.Scala对开发者的真正解放之处在于让开发者可以随意使用最适合手头上的问题的编程范式.

《深入理解Scala》——第2章,第2.2节优先采用面向表达式编程

2.2 优先采用面向表达式编程 深入理解Scala 面向表达式编程是个术语,意思是在代码中使用表达式而不用语句.表达式和语句的区别是什么?语句是可以执行的东西,表达式是可以求值的东西.在实践中这有什么意义呢?表达式返回值,语句执行代码,但是不返回值.本节我们将学习面向表达式编程的全部知识,并理解它对简化程序有什么帮助.我们也会看一下对象的可变性,以及可变性与面向表达式编程的关系. 作者注:语句VS表达式 语句是可以执行的东西,表达式是可以求值的东西. 表达式是运算结果为一个值的代码块.Scala

《深入理解Scala》——第2章,第2.3节优先选择不变性

2.3 优先选择不变性 深入理解Scala 编程中的不变性指对象一旦创建后就不再改变状态.这是函数式编程的基石之一,也是JVM上的面向对象编程的推荐实践之一.Scala也不例外,在设计上优先选择不变性,在很多场景中把不变性作为默认设置.对此,你可能一下子会不适应.本节中,我们将学到不变性对于判等问题和并发编程能提供什么帮助. Scala里首先要明白的是不变对象和不变引用(immutable referene)的区别.Scala里的所有变量都是指向对象的引用.把变量声明为val意味着它是个不变"引

《深入理解Scala》——第2章,第2.4节用None不用null

2.4 用None不用null深入理解Scala Scala在标准库里提供了scala.Option类,鼓励大家在一般编程时尽量不要使用null.Option可以视作一个容器,里面要么有东西,要么什么都没有.Option通过两个子类来实现此含义:Some和None.Some表示容器里有且仅有一个东西,None表示空容器,有点类似List的Nil的含义. 在Java和其他允许null的语言里,null经常作为一个占位符用于返回值,表示非致命的错误,或者表示一个变量未被初始化.Scala里,你可以用

《深入理解Scala》——第2章,第2.5节多态场景下的判等

2.5 多态场景下的判等 深入理解Scala 众所周知,为多态的面向对象系统定义合适的判等和散列方法是个特别难的过程.这是因为子类可能在整个过程中造成一些相当怪异的问题,尤其是当类型层次上有多个实体(concrete)级别的时候.一般来说,对于需要比引用判等更强的判等(译者注:比如需要判断对象内部数据)的类,最好避免多层实体类层次.这是什么意思呢?有些时候类只需要引用判等就够了.也就是说只要两个对象不是同一个实例就判为不等.但是如果我们需要判断两个不同实例是否相等,而且又有多层实体类层次(mul