进程间通信--信号量

进程间通信除了匿名管道，命名管道；还有XSI IPC（消息队列、信号量和共享内存）。

今天我们来谈谈信号量。
一.什么是信号量？
为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题，我们需要一种方法，它可以通过生成并使用令牌来授权，在任一时刻只能有一个执行线程访问代码的临界区域。临界区域是指执行数据更新的代码需要独占式地执行。而信号量就可以提供这样的一种访问机制，让一个临界区同一时间只有一个线程在访问它，也就是说信号量是用来调协进程对共享资源的访问的。

二 . 信号量的P操作和V操作原理
P(sv)：如果sv的值大于零，就给它减1；如果它的值为零，就挂起该进程的执行
V(sv)：如果有其他进程因等待sv而被挂起，就让它恢复运行，如果没有进程因等待sv而挂起，就给它加1.
PV操作为通信提供了同步与互斥机制。

例如：有一个教室，每次只能一个学生进去自习，门口有一个人坐着拿着一个牌子，牌子上可以是1和0，1代表教室可以用，0代表教室资源被占用，想要进去就要去他那里拿钥匙，一个同学拿了钥匙进去自习以后牌子由1变为了0（P操作），其他人想进去自习就不能进去了，当那个自习的同学出来以后归还钥匙，牌子由0变为1,（V操作）；此时教室资源可被其他人使用。

三.信号量的创建函数semget，函数原型如下：

#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>

int semget(key_t key, int nsems, int semflag);

1.第一个参数key是整数值（唯一非零），不相关的进程可以通过它访问一个信号量，它代表程序可能要使用的某个资源。key值可以通过ftok函数得到，原型如下：

#include<sys/ipc.h>  
key_t key = ftok(const char *path, int id); //成功则返回键，出错则返回(key_t)-1.

semget第二个参数nsems指定需要的信号量数目，它的值几乎总是1（因为通常都是二元信号量）。

semget第三个参数sem_flags是一组标志，当想要当信号量不存在时创建一个新的信号量，可以和值IPC_CREAT做按位或操作。设置了IPC_CREAT标志后，即使给出的键是一个已有信号量的键，也不会产生错误。而IPC_CREAT | IPC_EXCL则可以创建一个新的，唯一的信号量，如果信号量已存在，返回一个错误。

2.semop函数
它的作用是改变信号量的值，原型为：

int semop(int sem_id, struct sembuf *sem_opa, size_t num_sem_ops);  

sem_id是由semget返回的信号量标识符。
sembuf是一个结构体，定义如下：

struct sembuf{  
    short sem_num;//通常为0  
    short sem_op;//二元信号量中P操作为-1  
                    //V操作设置为1。  
    short sem_flg;//通常为SEM_UNDO,使操作系统跟踪信号，  
                    //并在进程没有释放该信号量而终止时，操作系统释放信号量  
};  

这里留下一个问题：SEM_UNDO标志代表什么含义，用途是什么，如何做到回滚 ？一会我们进行解释。
3.semctl函数
该函数用来直接控制信号量信息，它的原型为：

int semctl(int sem_id, int sem_num, int command, ...); 

从原型中可以看出他是一个可变参数列表，通常是一个union semum结构，原型如下：

union semun{  
    int val;  
    struct semid_ds *buf;  
    unsigned short *arry;  
};  

四. 信号量使用

信号量操作是相当复杂的，这里我们使用最简单的二元信号量来解决大多数需要信号量的问题。在我们的例子中，我们会使用所有的编程接口来创建一个非常简单的用于二值信号量的P
与V类型接口。然后，我们会使用这个简单的接口来演示信号量如何工作。
我们使用两个不同字符的输出来标识进入与离开临界区。使用参数调用的程序会在进入与离开其临界区时输出AA，而另一个程序调用会在进入与离开其临界区时输出一个BB。因为在任何指定的时间内只有一个进程能够进入其临界区，所以所有X与O字符都是成对出现的。
为了便于理解，这里我们封装了几个函数comm.h，comm.c，sem.c。
comm.h主要声明几个函数，信号量的创建，销毁，PV操作等。
comm.c主要用于实现各个函数的功能。
sem.c主要是现在同步与互斥的条件下成对输出AA，BB。

comm.h

comm.c

sem.c

结果图

五 . 回滚(ROLLBACK)和撤销(UNDO)

回滚和前滚是保证Oracle数据库中的数据处于一致性状态的重要手段。

在9i版本以前
    Oracle使用数据库中的回滚段来实现未提交数据或因系统故障导致实例崩溃时进行回滚操作
    每一个表空间需要创建回滚段，各个表空间对回滚段实现各自的管理
在9i及后续版本
    提供了一种新的回滚数据的管理方式，即使用Oracle自动管理的撤销(Undo)表空间
    自动撤销管理表空间统一管理所有DML的回滚操作，简化了对于回滚工作的管理
    在9i,10g中的回滚段仅仅用作保留向后兼容
    撤销段代替了原有版本中的回滚段，因此本文所有描述均使用撤销

撤销的实质意味着将所作的修改退回到修改前的状态，即倒退所有DML语句

六、撤销段中的内容及相关特性
对于任何DML操作而言，必须同时处理数据块和撤销块，并且还会生成重做信息
在ACID中，A、C、I要求生成撤销，D则要求生成重做
INSERT：
撤销段记录插入记录的rowid,如果需要撤销，则根据rowid将该记录删除即可
UPDATE:
撤销段记录被更新字段的原始值，撤销时将原始值覆盖新值即可
DELETE：
撤销段记录整行的数据，撤销时执行反向操作将该记录插入原表

由上可知，UNDO段中的内容总结如下：
    数据为修改之前的副本
    从每个改变数据的事务中获得
    在事务结束前一直被保留

UNDO段中数据的作用：
    用于回滚操作
    读一致性和闪回查询
    用于事务失败时的恢复

UNDO段与事务：
    一个事物的启动，Oracle将为其分配仅仅一个UNDO段,若该段用完,则Oracle会自动为该UNDO段添加另一个区间(extent)
    一个UNDO段能够同时为多个事务服务

UNDO段与UNDO表空间：
    UNDO段中的内容存储在UNDO表空间
    任意给定时刻只能使用一个UDNO表空间
    UNDO表空间必须被创建为持久的、本地管理、可自动扩展的表空间
    正在使用的UNDO表空间不能撤销或删除
    UNDO表空间使用循环写的方式，与联机日志文件写相似，不同的是UNDO中可以设置了undo_retention 保留时间

UNDO段的两种管理方式：
    AUTO    自动管理(推荐)
    MANUAL  手动管理(仅保留)