多线程与多进程浅析(面试常问）

多进程与多线程的简单比较

1.        多进程

优点：内存隔离，单个进程的异常不会导致整个应用的崩溃。方便测试，编程简单。

缺点：进程间调用，通讯和切换均比多线程慢，耗资源。

使用场所：目标子功能交互少，如果资源和性能许可，可以设计由多个子应用程序来组合完成目的。

2.        多线程 

优点：提高系统的并行性，并且开销小。数据共享方便（不需要进程间的通信）

缺点：没有内存隔离，单个线程的崩溃会导致整个应用程序的退出，发生采内存等bug时，定位及其不方便。编程复杂；调试困难；线程执行的随机性可能导致逻辑混乱，甚至发生死锁现象；

使用场所：在存在大量IO，网络等耗时操作，或者需要和用户交互时，使用多线程有利于提高系统的并行性和用户界面快速响应从而提高友好性。

进程间通讯方式

linux进程间通信(IPC)有几种方式，下面将将简单的简述一下：

　　一。管道(pipe)
　　管道是Linux支持的最初IPC方式，管道可分为无名管道，有名管道等。
　　(一)无名管道，它具有几个特点：
　　1) 管道是半双工的，只能支持数据的单向流动;两进程间需要通信时需要建立起两个管道;
　　2) 无名管道使用pipe()函数创建，只能用于父子进程或者兄弟进程之间;
　　3) 管道对于通信的两端进程而言，实质上是一种独立的文件，只存在于内存中;
　　4) 数据的读写操作：一个进程向管道中写数据，所写的数据添加在管道缓冲区的尾部;另一个进程在管道中缓冲区的头部读数据。

　　(二)有名管道
　　有名管道也是半双工的，不过它允许没有亲缘关系的进程间进行通信。具体点说就是，有名管道提供了一个路径名与之进行关联，以FIFO(先进先出)的形式存在于文件系统中。这样即使是不相干的进程也可以通过FIFO相互通信，只要他们能访问已经提供的路径。
　　值得注意的是，只有在管道有读端时，往管道中写数据才有意义。否则，向管道写数据的进程会接收到内核发出来的SIGPIPE信号;应用程序可以自定义该信号处理函数，或者直接忽略该信号。

　　二。信号量(semophore)
　　信号量是一种计数器，可以控制进程间多个线程或者多个进程对资源的同步访问，它常实现为一种锁机制。实质上，信号量是一个被保护的变量，并且只能通过初始化和两个标准的原子操作(P/V)来访问。(P,V操作也常称为wait(s)，signal(s))

　　三。信号(Signal)
　　信号是Unix系统中使用的最古老的进程间通信的方法之一。操作系统通过信号来通知某一进程发生了某一种预定好的事件;接收到信号的进程可以选择不同的方式处理该信号，一是可以采用默认处理机制-进程中断或退出，一是忽略该信号，还有就是自定义该信号的处理函数，执行相应的动作。
　　内核为进程生产信号，来响应不同的事件，这些事件就是信号源。信号源可以是：异常，其他进程，终端的中断(Ctrl-C,Ctrl+\等)，作业的控制(前台，后台进程的管理等)，分配额问题(cpu超时或文件过大等)，内核通知(例如I/O就绪等)，报警(计时器)。

　　四。消息队列(Message Queue)
　　消息队列就是消息的一个链表，它允许一个或者多个进程向它写消息，一个或多个进程向它读消息。Linux维护了一个消息队列向量表：msgque,来表示系统中所有的消息队列。
　　消息队列克服了信号传递信息少，管道只能支持无格式字节流和缓冲区受限的缺点。

　　五。共享内存(shared memory)
　　共享内存映射为一段可以被其他进程访问的内存。该共享内存由一个进程所创建，然后其他进程可以挂载到该共享内存中。共享内存是最快的IPC机制，但由于linux本身不能实现对其同步控制，需要用户程序进行并发访问控制，因此它一般结合了其他通信机制实现了进程间的通信，例如信号量。

　　六。套接字(socket)
　　socket也是一种进程间的通信机制，不过它与其他通信方式主要的区别是：它可以实现不同主机间的进程通信。一个套接口可以看做是进程间通信的端点(endpoint)，每个套接口的名字是唯一的;其他进程可以访问，连接和进行数据通信。

多线程同步方式

现在流行的进程线程同步互斥的控制机制，其实是由最原始最基本的4种方法实现的：
   1临界区:通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。 
　　2互斥量:为协调共同对一个共享资源的单独访问而设计的。 
　　3信号量:为控制一个具有有限数量用户资源而设计。 
　　4事件:用来通知线程有一些事件已发生，从而启动后继任务的开始。
 
临界区（Critical Section） 
　保证在某一时刻只有一个线程能访问数据的简便办法。在任意时刻只允许一个线程对共享资源进行访问。如果有多个线程试图同时访问临界区，那么在有一个线程进入后其他所有试图访问此临界区的线程将被挂起，并一直持续到进入临界区的线程离开。临界区在被释放后，其他线程可以继续抢占，并以此达到用原子方式操作共享资源的目的。
临界区包含两个操作原语： EnterCriticalSection（）进入临界区 LeaveCriticalSection（）离开临界区 

互斥量（Mutex） 
　　互斥量跟临界区很相似，只有拥有互斥对象的线程才具有访问资源的权限，由于互斥对象只有一个，因此就决定了任何情况下此共享资源都不会同时被多个线程所访问。当前占据资源的线程在任务处理完后应将拥有的互斥对象交出，以便其他线程在获得后得以访问资源。互斥量比临界区复杂。因为使用互斥不仅仅能够在同一应用程序不同线程中实现资源的安全共享，而且可以在不同应用程序的线程之间实现对资源的安全共享。
  
  　　互斥量包含的几个操作原语：
  　　CreateMutex（）创建一个互斥量
  　　OpenMutex（）打开一个互斥量
  　　ReleaseMutex（）释放互斥量
  　　WaitForMultipleObjects（）等待互斥量对象 
 
 
信号量（Semaphores） 
　　信号量对象对线程的同步方式与前面几种方法不同，信号允许多个线程同时使用共享资源，这与操作系统中的PV操作相同。它指出了同时访问共享资源的线程最大数目。它允许多个线程在同一时刻访问同一资源，但是需要限制在同一时刻访问此资源的最大线程数目。在用CreateSemaphore（）创建信号量时即要同时指出允许的最大资源计数和当前可用资源计数。一般是将当前可用资源计数设置为最大资源计数，每增加一个线程对共享资源的访问，当前可用资源计数就会减1，只要当前可用资源计数是大于0的，就可以发出信号量信号。但是当前可用计数减小到0时则说明当前占用资源的线程数已经达到了所允许的最大数目，不能在允许其他线程的进入，此时的信号量信号将无法发出。线程在处理完共享资源后，应在离开的同时通过ReleaseSemaphore（）函数将当前可用资源计数加1。在任何时候当前可用资源计数决不可能大于最大资源计数。 
　　PV操作及信号量的概念都是由荷兰科学家E.W.Dijkstra提出的。信号量S是一个整数，S大于等于零时代表可供并发进程使用的资源实体数，但S小于零时则表示正在等待使用共享资源的进程数。 
　　 P操作申请资源：
  　　（1）S减1；
  　　（2）若S减1后仍大于等于零，则进程继续执行；
  　　（3）若S减1后小于零，则该进程被阻塞后进入与该信号相对应的队列中，然后转入进程调度。 
　　V操作 释放资源：
  　　（1）S加1；
  　　（2）若相加结果大于零，则进程继续执行；
  　　（3）若相加结果小于等于零，则从该信号的等待队列中唤醒一个等待进程，然后再返回原进程继续执行或转入进程调度。
  
  　　信号量包含的几个操作原语：
  　　CreateSemaphore（）创建一个信号量
  　　OpenSemaphore（）打开一个信号量
  　　ReleaseSemaphore（）释放信号量
  　　WaitForSingleObject（）等待信号量

　事件（Event） 
   
　　事件对象也可以通过通知操作的方式来保持线程的同步。并且可以实现不同进程中的线程同步操作。 

总结： 
　　1． 互斥量与临界区的作用非常相似，但互斥量是可以命名的，也就是说它可以跨越进程使用。所以创建互斥量需要的资源更多，所以如果只为了在进程内部是用的话使用临界区会带来速度上的优势并能够减少资源占用量。因为互斥量是跨进程的互斥量一旦被创建，就可以通过名字打开它。 
　　2． 互斥量（Mutex），信号灯（Semaphore），事件（Event）都可以被跨越进程使用来进行同步数据操作，而其他的对象与数据同步操作无关，但对于进程和线程来讲，如果进程和线程在运行状态则为无信号状态，在退出后为有信号状态。所以可以使用WaitForSingleObject来等待进程和线程退出。 
　　3． 通过互斥量可以指定资源被独占的方式使用，但如果有下面一种情况通过互斥量就无法处理，比如现在一位用户购买了一份三个并发访问许可的数据库系统，可以根据用户购买的访问许可数量来决定有多少个线程/进程能同时进行数据库操作，这时候如果利用互斥量就没有办法完成这个要求，信号灯对象可以说是一种资源计数器。