面试经典题——操作系统

1、进程和线程概念

• 进程：资源分配和拥有的基本单位
• 线程：程序执行的基本单位

2、进程和线程区别

• 线程启动速度快，轻量级
• 线程的系统开销小，进程需要创建、撤销时，系统都要分配和挥手资源，开销较大
• 线程使用有一定难度，需要处理数据一致性问题
• 同一线程共享的有堆、全局变量、静态变量、指针，引用、文件等，而独自占有栈

3、进程间通信方式

• 管道：

  • 无名管道（内存文件）：管道是一种半双工的通信方式，数据只能单向流动，而且只能在具有亲缘关系的进程之间使用。进程的亲缘关系通常是指父子进程关系。

  • 有名管道（FIFO文件，借助文件系统）：有名管道也是半双工的通信方式，但是允许在没有亲缘关系的进程之间使用，管道是先进先出的通信方式。

• 共享内存：共享内存就是映射一段能被其他进程所访问的内存，这段共享内存由一个进程创建，但多个进程都可以访问。共享内存是最快的IPC方式，它是针对其他进程间通信方式运行效率低而专门设计的。它往往与信号量，配合使用来实现进程间的同步和通信。

• 消息队列：消息队列是有消息的链表，存放在内核中并由消息队列标识符标识。消息队列克服了信号传递信息少、管道只能承载无格式字节流以及缓冲区大小受限等缺点。

• 套接字：适用于不同机器间进程通信，在本地也可作为两个进程通信的方式。

• 信号：用于通知接收进程某个事件已经发生，比如按下ctrl + C就是信号。

• 信号量：信号量是一个计数器，可以用来控制多个进程对共享资源的访问。它常作为一种锁机制，实现进程、线程的对临界区的同步及互斥访问

4、线程通信方式

• 临界区：通过多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问；
• 互斥量Synchronized/Lock：采用互斥对象机制，只有拥有互斥对象的线程才有访问公共资源的权限。因为互斥对象只有一个，所以可以保证公共资源不会被多个线程同时访问
• 信号量Semphare：为控制具有有限数量的用户资源而设计的，它允许多个线程在同一时刻去访问同一个资源，但一般需要限制同一时刻访问此资源的最大线程数目。
• 事件(信号)，Wait/Notify：通过通知操作的方式来保持多线程同步，还可以方便的实现多线程优先级的比较操作

5、外中断和异常区别

• 外中断是指由 CPU 执行指令以外的事件引起，如 I/O 完成中断，表示设备输入/输出处理已经完成，处理器能够发送下一个输入/输出请求。此外还有时钟中断、控制台中断等。
• 异常时由 CPU 执行指令的内部事件引起，如非法操作码、地址越界、算术溢出等。

6、进程调度算法

• 先来先服务调度算法：在就绪队列选择队头进程进行调度
• 时间片轮转调度算法：按先来先服务原则排列就绪进程，每次按头部取出调度分配一个时间片，时间片结束就取下一个调度。
• 短作业优先调度算法：在就绪队列选择估计运行时间最短的进程
• 最短剩余时间优先调度算法：进程调度总是选择预期剩余时间最短的进程
• 高响应比优先调度算法：在每次进行作业调度时，先计算后备作业队列中每个作业的响应比，从中选出响应比最高的作业投入运行
• 优先级调度算法：优先级调度算法每次从后备作业队列中选择优先级最髙的一个或几个作业，将它们调入内存，分配必要的资源，创建进程并放入就绪队列。在进程调度中，优先级调度算法每次从就绪队列中选择优先级最高的进程，将处理机分配给它，使之投入运行

7、动态分配算法

• 首次适应算法：每次都从低地址开始查找，找到第–个能满足大小的空闲分区。
• 最佳适应算法：由于动态分区分配是一种连续分配方式，为各进程分配的空间必须是连续的一整片区域。因此为了保证当“大进程”到来时能有连续的大片空间，可以尽可能多地留下大片的空闲区,即，优先使用更小的空闲区。
• 最坏适应算法：为了解决最佳适应算法的问题—即留下太多难以利用的小碎片，可以在每次分配时优先使用最大的连续空闲区，这样分配后剩余的空闲区就不会太小，更方便使用。
• 邻近适应算法：闲分区以地址递增的顺序排列(可排成-一个循环链表)。每次分配内存时从上次查找结束的位置开始查找空闲分区链(或空闲分区表)，找到大小能满足要求的第一个空闲分区

8、虚拟技术

• 概念：虚拟技术把一个物理实体转换为多个逻辑实体。
• 分类：主要有两种虚拟技术：时（时间）分复用技术和空（空间）分复用技术。
• 多进程与多线程：多个进程能在同一个处理器上并发执行使用了时分复用技术，让每个进程轮流占用处理器，每次只执行一小个时间片并快速切换。
• 虚拟内存使用了空分复用技术，它将物理内存抽象为地址空间，每个进程都有各自的地址空间。地址空间的页被映射到物理内存，地址空间的页并不需要全部在物理内存中，当使用到一个没有在物理内存的页时，执行页面置换算法，将该页置换到内存中。

9、进程切换状态

• 就绪状态（ready）：等待被调度
• 运行状态（running）
• 阻塞状态（waiting）：等待资源

10、一个程序从开始运行到结束过程

• 预编译 主要处理源代码文件中的以“#”开头的预编译指令
• 编译 把预编译之后生成的xxx.i或xxx.ii文件，进行一系列词法分析、语法分析、语义分析及优化后，生成相应的汇编代码文件
• 汇编 将汇编代码转变成机器可以执行的指令(机器码文件)
• 链接 将不同的源文件产生的目标文件进行链接，从而形成一个可以执行的程序

11、进程有什么特点

• 动态性：可动态的创建和结束进程
• 并发性：可以被独立的调度并占用处理机并发运行
• 独立性：不同进程的工作不相互影响
• 制约性：因访问共享资源或进程间同步而产生制约

12、并发(concurrency)和并行(parallelism)

• 并发（concurrency）：指宏观上看起来两个程序在同时运行，比如说在单核cpu上的多任务。但是从微观上看两个程序的指令是交织着运行的，你的指令之间穿插着我的指令，我的指令之间穿插着你的，在单个周期内只运行了一个指令。这种并发并不能提高计算机的性能，只能提高效率。
• 并行（parallelism）：指严格物理意义上的同时运行，比如多核cpu，两个程序分别运行在两个核上，两者之间互不影响，单个周期内每个程序都运行了自己的指令，也就是运行了两条指令。这样说来并行的确提高了计算机的效率。所以现在的cpu都是往多核方面发展。

13、死锁条件

• 概念：死锁是指两个或两个以上进程在执行过程中，因争夺资源而造成的下相互等待的现象
• 死锁条件：

  1.互斥条件：一个资源每次只能被一个进程使用。
  2.请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。
  3.不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。
  4.循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。

14、如何解决死锁

• 破坏请求条件：一次性分配所有资源，这样就不会再有请求了；

• 破坏请保持条件：只要有一个资源得不到分配，也不给这个进程分配其他的资源：

• 破坏不可剥夺条件：当某进程获得了部分资源，但得不到其它资源，则释放已占有的资源；

• 破坏环路等待条件：系统给每类资源赋予一个编号，每一个进程按编号递增的顺序请求资源，释放则相反。

15、内存溢出和内存泄露

• 内存溢出指程序申请内存时，没有足够的内存供申请者使用。内存溢出就是你要的内存空间超过了系统实际分配给你的空间，此时系统相当于没法满足你的需求，就会报内存溢出的错误
• 内存溢出原因：

1. 内存中加载的数据量过于庞大，如一次从数据库取出过多数据
2. 集合类中有对对象的引用，使用完后未清空，使得不能回收
3. 代码中存在死循环或循环产生过多重复的对象实体
4. 使用的第三方软件中的BUG
5. 启动参数内存值设定的过小

• 内存泄漏指由于疏忽或错误造成了程序未能释放掉不再使用的内存的情况。内存泄漏并非指内存在物理上的消失，而是应用程序分配某段内存后，由于设计错误，失去了对该段内存的控制，因而造成了内存的浪费。
• 内存泄漏的分类：

1. 堆内存泄漏 （Heap leak）。对内存指的是程序运行中根据需要分配通过malloc,realloc new等从堆中分配的一块内存，再是完成后必须通过调用对应的 free或者delete 删掉。如果程序的设计的错误导致这部分内存没有被释放，那么此后这块内存将不会被使用，就会产生Heap Leak。
2. 系统资源泄露（Resource Leak）。主要指程序使用系统分配的资源比如 Bitmap,handle ,SOCKET等没有使用相应的函数释放掉，导致系统资源的浪费，严重可导致系统效能降低，系统运行不稳定。
3. 没有将基类的析构函数定义为虚函数。当基类指针指向子类对象时，如果基类的析构函数不是virtual，那么子类的析构函数将不会被调用，子类的资源没有正确是释放，因此造成内存泄露。

16、锁的分类

• 锁包括互斥锁，条件变量，自旋锁和读写锁

17、多线程的同步，锁的机制

• 同步的时候用一个互斥量，在访问共享资源前对互斥量进行加锁，在访问完成后释放互斥量上的锁。对互斥量进行加锁以后，任何其他试图再次对互斥量加锁的线程将会被阻塞直到当前线程释放该互斥锁。如果释放互斥锁时有多个线程阻塞，所有在该互斥锁上的阻塞线程都会变成可运行状态，第一个变为运行状态的线程可以对互斥量加锁，其他线程将会看到互斥锁依然被锁住，只能回去再次等待它重新变为可用。在这种方式下，每次只有一个线程可以向前执行

18、用户态和内核态区别

• 用户态和内核态是操作系统的两种运行级别，两者最大的区别就是特权级不同。用户态拥有最低的特权级，内核态拥有较高的特权级。运行在用户态的程序不能直接访问操作系统内核数据结构和程序。内核态和用户态之间的转换方式主要包括：系统调用，异常和中断。

19、如何判断大端和小端

• 大端是指低字节存储在高地址；小端存储是指低字节存储在低地址。我们可以根据联合体来判断该系统是大端还是小端。因为联合体变量总是从低地址存储

20、内存交换和特点

• 交换(对换)技术的设计思想：内存空间紧张时，系统将内存中某些进程暂时换出外存，把外存中某些已具备运行条件的进程换入内存(进程在内存与磁盘间动态调度)
• 换入：把准备好竞争CPU运行的程序从辅存移到内存。 换出：把处于等待状态（或CPU调度原则下被剥夺运行权力）的程序从内存移到辅存，把内存空间腾出来。

21、守护进程、孤儿进程、僵尸进程

• 守护进程：指在后台运行的，没有控制终端与之相连的进程。它独立于控制终端，周期性地执行某种任务。Linux的大多数服务器就是用守护进程的方式实现的，如web服务器进程http等
• 孤儿进程：如果父进程先退出，子进程还没退出，那么子进程的父进程将变为init进程。一个父进程退出，而它的一个或多个子进程还在运行，那么那些子进程将成为孤儿进程。孤儿进程将被init进程(进程号为1)所收养，并由init进程对它们完成状态收集工作
• 僵尸进程：如果子进程先退出，父进程还没退出，那么子进程必须等到父进程捕获到了子进程的退出状态才真正结束，否则这个时候子进程就成为僵尸进程

22、磁盘调度算法

• 先来先服务：按照磁盘请求的顺序进行调度。优点是公平和简单。缺点也很明显，因为未对寻道做任何优化，使平均寻道时间可能较长。
• 最短寻道时间优先：优先调度与当前磁头所在磁道距离最近的磁道。虽然平均寻道时间比较低，但是不够公平。如果新到达的磁道请求总是比一个在等待的磁道请求近，那么在等待的磁道请求会一直等待下去，也就是出现饥饿现象。具体来说，两端的磁道请求更容易出现饥饿现象。
• 电梯扫描算法：电梯总是保持一个方向运行，直到该方向没有请求为止，然后改变运行方向。电梯算法（扫描算法）和电梯的运行过程类似，总是按一个方向来进行磁盘调度，直到该方向上没有未完成的磁盘请求，然后改变方向

23、抖动或者叫做颠簸现象

• 刚刚换出的页面马上又要换入内存，刚刚换入的页面马上又要换出外存，这种频繁的页面调度行为称为抖动，或颠簸。产生抖动的主要原因是进程频繁访问的页面数目高于可用的物理块数(分配给进程的物理块不够)为进程分配的物理块太少，会使进程发生抖动现象。为进程分配的物理块太多，又会降低系统整体的并发度，降低某些资源的利用率 为了研究为应该为每个进程分配多少个物理块，Denning 提出了进程工作集” 的概念

24、页面置换算法

• 最佳置换算法(OPT，Optimal) :每次选择淘汰的页面将是以后永不使用，或者在最长时间内不再被访问的页面，这样可以保证最低的缺页率
• 先进先出置换算法(FIFO) :每次选择淘汰的页面是最早进入内存的页面 
• 最近最久未使用置换算法(LRU，least recently used) :每次淘汰的页面是最近最久未使用的页面 
• 时钟置换算法（CLOCK）：循环扫描各页面，第一轮淘汰访问位=0的，并将扫描过的页面访问位改为1,。若第一轮没选中，则进行第二轮扫描
• 改进型CLOCK：若用(访问位，修改位)的形式表述，则 第一轮:淘汰(0,0) 第二轮:淘汰(O,1)，并将扫描过的页面访问位都置为0 第三轮:淘汰(O, 0) 第四轮:淘汰(0, 1)

25、同步、异步、阻塞、非阻塞的概念

• 同步：当一个同步调用发出后，调用者要一直等待返回结果。通知后，才能进行后续的执行。
• 异步：当一个异步过程调用发出后，调用者不能立刻得到返回结果。实际处理这个调用的部件在完成后，通过状态、通知和回调来通知调用者。
• 阻塞：是指调用结果返回前，当前线程会被挂起，即阻塞。
• 非阻塞：是指即使调用结果没返回，也不会阻塞当前线程。

26、物理地址、逻辑地址、虚拟内存的概念

• 物理地址：它是地址转换的最终地址，进程在运行时执行指令和访问数据最后都要通过物理地址从主存中存取，是内存单元真正的地址。
• 逻辑地址：是指计算机用户看到的地址。例如：当创建一个长度为 100 的整型数组时，操作系统返回一个逻辑上的连续空间：指针指向数组第一个元素的内存地址。由于整型元素的大小为 4 个字节，故第二个元素的地址时起始地址加 4，以此类推。事实上，逻辑地址并不一定是元素存储的真实地址，即数组元素的物理地址（在内存条中所处的位置），并非是连续的，只是操作系统通过地址映射，将逻辑地址映射成连续的，这样更符合人们的直观思维。
• 虚拟内存：是计算机系统内存管理的一种技术。它使得应用程序认为它拥有连续的可用的内存（一个连续完整的地址空间），而实际上，它通常是被分隔成多个物理内存碎片，还有部分暂时存储在外部磁盘存储器上，在需要时进行数据交换。

27、分页与分段的区别

• 段是信息的逻辑单位，它是根据用户的需要划分的，因此段对用户是可见的 ；页是信息的物理单位，是为了管理主存的方便而划分的，对用户是透明的；
• 段的大小不固定，有它所完成的功能决定；页大大小固定，由系统决定；
• 段向用户提供二维地址空间；页向用户提供的是一维地址空间；
• 段是信息的逻辑单位，便于存储保护和信息的共享，页的保护和共享受到限制。