互联网公司笔经面经之操作系统..docxVIP

进程同步在多道程序环境下，当程序并发执行时，由于资源共享和进程合作，使同处于一个系统中的诸进程之间可能存在着以下两种形式的制约关系。直接制约：这种制约主要源于进程间的合作。例如，有一输入进程A通过单缓冲向进程B提供数据。当该缓冲空时，进程B因不能获得数据而阻塞，而当进程A把数据输入缓冲区后，便将进程B唤醒；反之，当缓冲区已满时，进程A因不能再向缓冲区投放数据而阻塞，当进程B将缓冲区数据取走后便可唤醒A。间接制约：这种制约主要源于资源共享。例如，多个进程共享一个打印机。进程同步的主要任务是对多个相关进程在执行次序上进行协调，以使并发执行的诸进程之间能有效地共享资源和相互合作，从而程序的执行具有可再现性。线程概念：操作系统能够调度的最小单位。它被包含在进程之中，是进程中的实际运作单位。状态：就绪、运行、阻塞。进程和线程的区别：1. 进程是资源分配的基本单位，线程是处理机调度的基本单位。2. 线程是进程内的一个执行单元，一个进程可以拥有多个线程。3. 进程有独立的地址空间，线程没有独立的地址空间。4. 进程拥有资源，一个进程的所有线程共享该进程的资源。5. 线程之间的通信比较方便。同一进程下的线程共享数据（比如全局变量，静态变量），通过这些数据来通信不仅快捷而且方便，当然如何处理好这些访问的同步与互斥正是编写多线程程序的难点。而进程之间的通信只能通过进程间通信的方式进行。多进程和多线程的区别：维度多进程多线程总结数据共享、同步数据是分开的:共享复杂，需要用IPC;同步简单多线程共享进程数据：共享简单；同步复杂各有优势内存、CPU占用内存多，切换复杂，CPU利用率低占用内存少，切换简单，CPU利用率高线程占优创建销毁、切换创建销毁、切换复杂，速度慢?创建销毁、切换简单，速度快?线程占优?编程调试编程简单，调试简单编程复杂，调试复杂进程占优?可靠性进程间不会相互影响?一个线程挂掉将导致整个进程挂掉进程占优分布式?适应于多核、多机分布 ；如果一台机器不够，扩展到多台机器比较简单适应于多核分布进程占优进程/线程同步方法常见的进程/线程同步方法有互斥锁（或称互斥量Mutex）、读写锁（rdlock）、条件变量（cond）、信号量（Semophore）等。在windows系统中，临界区（Critical Section）和事件对象（Event）也是常用的同步方法。递归锁/非递归锁Mutex可以分为递归锁（recursive mutex）和非递归锁（non-recursive mutex）。 递归锁也叫可重入锁（reentrant mutex），非递归锁也叫不可重入锁（non-reentrant mutex）。二者唯一的区别是：同一个线程可以多次获取同一个递归锁，不会产生死锁。如果一个线程多次获取同一个非递归锁，则会产生死锁。Windows下的Mutex和Critical Section是可递归的。Linux下的pthread_mutex_t锁是默认是非递归的。可以通过设置PTHREAD_MUTEX_RECURSIVE属性，将pthread_mutex_t锁设置为递归锁。线程同步：互斥量、读写锁、条件变量、信号量、临界区、事件。临界区速度快、效率高，但是只能用来同步本进程内的线程，不能用来同步多个进程中的线程。互斥量、信号量、事件可以跨进程使用，但涉及到用户态和内核态的切换，开销较大。互斥量只能用于一个资源的互斥访问，它不能实现多个资源的多线程互斥问题。信号量可以实现多个同类资源的多线程互斥和同步。(互斥量的获得与释放是同一个线程)条件变量：特别适用于多个线程等待某个条件的发生。/maxupeng/archive/2011/07/21/2112282.html/maxupeng/archive/2011/07/21/2112282.html临界区：进程中用于访问临界资源的那段代码。临界区只能是在一个进程内部而无法跨进程，因为其不是一个内核对象，我们无法定义一个临界区对象来告知其他进程(临界区对其他进程来说是不可见的)，而像Mutex和SpinLock都可以。锁的类型：互斥锁(pthread_mutex_t)、读写锁(共享互斥锁)、自旋锁锁的粒度：如果锁的粒度太粗，就会出现很多线程阻塞等待相同的锁，这可能并不能改善并发性。如果锁的粒度太细，那么过多的锁开销会使系统性能受到影响，而且代码变得复杂。作为一个程序员，需要在满足锁需求的情况下，在代码复杂性和性能之间找到正确的平衡。 死锁：如果线程试图对同一个互斥量加锁两次，那么它自身就会陷入死锁状态。其他：环路等待。产生死锁的原因主要是：（1） 因为系统资源不足。（2） 进程运行推进的顺序不合适。（3） 资源分配不当等。产生死锁的四个必要条件：（1）互斥条件：一个资源每次只能被一个进程使用。（2）请求与保