面试小结（五）——操作系统基础

• 进程与线程的区别

  • 进程是资源分配的基本单位，线程是cpu调度和程序执行的最小单位。同一个进程中并行运行多个线程，就是对在同一台计算机上运行多个进程的模拟。

  • 进程有独立的地址空间，而同一进程中的线程共享该进程的地址空间

  • 线程之间的通信比较方便。同一进程下的线程共享数据（比如全局变量，静态变量，打开的文件，子进程），如何处理好这些访问的同步与互斥正是编写多线程程序的难点。

  • 多进程比多线程程序要健壮。一个线程死掉整个进程就死掉了，但是在保护模式下，一个进程死掉对另一个进程没有直接影响。

  • 线程的执行与进程是有区别的。每个独立的线程有自己的一个程序入口，顺序执行序列和程序的出口，但是线程不能独立执行，必须依附与程序之中，由应用程序提供多个线程的并发控制。

  • linux中进程具有父子关系，形成进程树，但是线程是平等的没有父子关系.面向多核的服务器端编程中，需要习惯多进程.Linux下创建进程开销小

• 同一进程中的线程之间变量问题

  • 线程私有：线程栈，寄存器，程序寄存器

  • 共享：堆，地址空间，全局变量，静态变量

• 有了进程为什么还要线程

  •  一个任务可以分成多个子任务并行执行，他们是对一个对象在操作。 
  •  线程不需要像进程一样维护那么多信息，因此创建和销毁速度更快，拥有同一个地址空间，访问很容易 
  •  任务有CPU密集和IO等待，的过程，最大化利用CPU

• 进程间的通信方式

  • 信号量：信号量用于实现进程间的互斥与同步，而不是用于存储进程间通信数据。

  • 管道( pipe )：管道是一种半双工的通信方式，数据只能单向流动，而且只能在具有亲缘关系的进程间使用。进程的亲缘关系通常是指父子进程关系。

  • 命名管道 (named pipe) ：有名管道也是半双工的通信方式，但是它允许无亲缘关系进程间的通信。

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

  • 信号 ( sinal ) ： 信号是一种比较复杂的通信方式，用于通知接收进程某个事件已经发生。

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

  • 套接字( socket ) ： 套解口也是一种进程间通信机制，与其他通信机制不同的是，它可用于不同及其间的进程通信。

• 同步和互斥

  • 互斥：是指某一资源同时只允许一个访问者对其进行访问，具有唯一性和排它性。但互斥无法限制访问者对资源的访问顺序，即访问是无序的。

  • 同步：是指在互斥的基础上（大多数情况），通过其它机制实现访问者对资源的有序访问。在大多数情况下，同步已经实现了互斥，特别是所有写入资源的情况必定是互斥的。少数情况是指可以允许多个访问者同时访问资源，如“第一类读写者模型”。

• 死锁

  • 多个进程都被阻塞，并一直处于这样的状态，这种状态称为死锁。死锁分为两类：资源死锁和通信死锁。资源死锁是由于多个进程或线程同时获取多个资源时发生；通信死锁是由于网络延时或丢包，导致两个进程都在等待对方的数据。可以通过超时重发机制解决。

  • 死锁四个条件

    • 互斥条件。一个资源不能同时被多个进程访问

    • 占有和等待条件。一个资源已经被另一个进程占用，那么该进程只能等待。

    • 不可抢占。已经分配给某个进程的资源，不能通过调度的方式抢占该资源。

    • 环路等待条件。多个进程和资源组成环路。 

  • 解决死锁四种策略

    • 忽略该问题；

    • 检测死锁并恢复；抢占式恢复。回滚恢复。恢复到上一个没有占用资源的状态，进程的部分工作丢失杀死部分进程。从发生死锁的进程中，杀死部分进程，释放占用的资源

    • 仔细分配资源，动态避免死锁；

    • 破坏死锁发生条件，避免死锁。虚拟化技术，严格按照进程顺序执行