进程，线程通信与同步

转载

mob604756fef1ec 2012-05-14 01:58:00

文章标签 消息队列临界区信号量共享内存数据 文章分类 代码人生

1.0 Linux进程间通讯

管道/FIFO：管道中还有命名管道和非命名管道(即匿名管道)之分，非命名管道(即匿名管道)只能用于父子进程通讯，命名管道可用于非父子进程，命名管道就是FIFO，管道是先进先出的通讯方式
消息队列：消息队列是用于两个进程之间的通讯，首先在一个进程中创建一个消息队列，然后再往消息队列中写数据，而另一个进程则从那个消息队列中取数据. 需要注意的是，消息队列是用创建文件的方式建立的，如果一个进程向某个消息队列中写入了数据之后，另一个进程并没有取出数据，即使向消息队列中写数据的进程已经结束，保存在消息队列中的数据并没有消失，也就是说下次再从这个消息队列读数据的时候，就是上次的数据！！！！
信号量：信号量，它与WINDOWS下的信号量是一样的，所以就不用多说了
共享内存：共享内存，类似于WINDOWS下的DLL中的共享变量，但LINUX下的共享内存区不需要像DLL这样的东西，只要首先创建一个共享内存区，其它进程按照一定的步骤就能访问到这个共享内存区中的数据，当然可读可写
信号：signal
套接字socket

IPC比较

1.管道：速度慢，容量有限，只有父子进程能通讯

2.FIFO：任何进程间都能通讯，但速度慢

3.消息队列：容量受到系统限制，且要注意第一次读的时候，要考虑上一次没有读完数据的问题

4.信号量：不能传递复杂消息，只能用来同步

5.共享内存：能够很容易控制容量，速度快，但要保持同步，比如一个进程在写的时候，另一个进程要注意读写的问题，相当于线程中的线程安全（全局变量和静态变量引起），当然，共享内存区同样可以用作线程间通讯，不过没这个必要，线程间本来就已经共享了同一进程内的一块内存

2.0 线程同步方法

临界区：通过对多线程串行化来访问公共资源或一段代码，速度快，适合控制数据访问
互斥量：为协调共同对一个共享资源的单独访问而设计的.
信号量：为控制一个具有有限数量用户资源而设计.
事件对象：用来通知线程有一些事件已发生，从而启动后继任务的开始.

1、事件对象（Event）

用事件（Event）来同步线程是最具弹性的了. 一个事件有两种状态：激发状态和未激发状态. 也称有信号状态和无信号状态. 事件又分两种类型：手动重置事件和自动重置事件. 手动重置事件被设置为激发状态后，会唤醒所有等待的线程，而且一直保持为激发状态，直到程序重新把它设置为未激发状态. 自动重置事件被设置为激发状态后，会唤醒“一个”等待中的线程，然后自动恢复为未激发状态. 所以用自动重置事件来同步两个线程比较理想.

2、临界区（Critical Section）

使用临界区域的第一个忠告就是不要长时间锁住一份资源. 但进入临界区后必须尽快地离开，释放资源. 如果不释放的话，会如何？答案是不会怎样. 临界区域的一个缺点就是：Critical Section不是一个核心对象，无法获知进入临界区的线程是生是死，如果进入临界区的线程挂了，没有释放临界资源，系统无法获知，而且没有办法释放该临界资源. 这个缺点在互斥器(Mutex)中得到了弥补.

3、互斥量（Mutex）

互斥器的功能和临界区域很相似. 区别是：Mutex所花费的时间比Critical Section多的多，但是Mutex是核心对象(Event、Semaphore也是)，可以跨进程使用，而且等待一个被锁住的Mutex可以设定TIMEOUT，不会像Critical Section那样无法得知临界区域的情况，而一直死等.

4、信号量（Semaphore）

信号量是最具历史的同步机制. 信号量是解决producer/consumer问题的关键要素.

3.0线程通信

1.全局变量

进程中的线程间内存共享，这是比较常用的通信方式和交互方式.

注：定义全局变量时最好使用volatile来定义，以防编译器对此变量进行优化.

2.Message消息机制

常用的Message通信的接口主要有两个：PostMessage和PostThreadMessage，

PostMessage为线程向主窗口发送消息. 而PostThreadMessage是任意两个线程之间的通信接口.

3.事件对象（CEvent对象）

4.0同步与互斥比较

所谓同步，是指散步在不同进程之间的若干程序片断，它们的运行必须严格按照规定的某种先后次序来运行，这种先后次序依赖于要完成的特定的任务.
所谓互斥，是指散布在不同进程之间的若干程序片断，当某个进程运行其中一个程序片段时，其它进程就不能运行它们之中的任一程序片段，只能等到该进程运行完这个程序片段后才可以运行

5.0 死锁