进程间通信之 信号量

Linux系统采用多道程序设计技术,允许多个进程同时在内核中运行,但同一个系统中的多个进程之间,可能因为进程合作或资源共享,产生制约关系。制约关系分为直接相互制约关系和间接相互制约关系:

(1)直接相互制约关系。利用管道机制实现进程间通信,当管道为空时,读进程由于无法从管道中读取数据而进入阻塞;当管道存满时,写进程由于无法向管道中写入数据而进入阻塞,类似于这种需要进程间协调合作导致的制约关系,称为直接相互制约关系。

(2)间接相互制约关系。若当前系统中只有1台打印机,当进程A占用打印机时,进程B也申请使用打印机,进程B就会进入阻塞,等待打印机释放;同样若B先获取到打印机,A进程申请使用打印机后也会进入阻塞。类似于这种因资源共享导致的制约关系,称为间接相互制约关系。

直接相互制约的进程间有同步关系,间接相互制约的进程间有互斥关系,同步与互斥存在的根源是系统中存在临界资源(Critical Resouce)。计算机中的硬件资源(如内存、打印机、磁盘)以及软件资源(如共享代码段、变量等)都是临界资源,为了避免多进程的并发执行造成的不一致性,临界资源在同一时刻只允许有限个进程对其进行访问或修改。

计算机中的多个进程必须互斥地访问系统中的临界资源,用于访问临界资源的代码称为临界区(Critical Section),临界区也属于临界资源,若能保证进程间互斥地进入自己的临界区,就能实现进程对临界资源的互斥访问。

信号量(Semaphore)是专门用于解决进程同步与互斥问题的一种通信机制,它与信号无关,也不同于管道、FIFO以及消息队列,一般不用来传输数据,信号量包括一个被称为信号量的表示资源数量的非负整型变量、修改信号量的原子操作P和V,以及该信号量下等待资源的进程队列。

在Linux系统中,不同的进程通过获取同一个信号量键值进行通信,实现进程间对资源的互斥访问。使用信号量进行通信时,通常需要以下步骤:

(1)创建信号量/信号量集,或获取系统中已有的信号量/信号量集;

(2)初始化信号量。早期信号量通常被初始为1,但有些进程一次需要多个同类的临界资源,或多个不同类且不唯一的临界资源,因此可能需要初始化的不是信号量,而是一个信号量集;

(3)信号量的P、V操作,根据进程请求,修改信号量的数量。执行P操作会使信号量-1,执行V操作会使信号量+1;

(4)从系统中删除不需要的信号量。

系统中信号量的数量是有限制的,其极限值由宏SEMMSL设定。Linux内核提供了三个系统调用,用于实现以上步骤,这三个系统调用接口分别为:semget()、semctl()和semop(),下面分别对这三个系统调用进行讲解。

① semget()

semget()函数的功能为创建一个新的信号集,或获取一个系统中已经存在的信号量集,该函数存在于函数库sys/sem.h中,其函数声明如下:

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

若该函数调用成功则返回信号量的标识符,否则返回-1,并设置errno,常见errno的值与其含义如下:

● EACCES。表示进程无访问权限;

● ENOENT。表示传入的键值不存在;

● EINVAL。表示nsens小于0,或信号量数已达上限;

● EEXIST。当semflg设置指定了ICP_CREAT和IPC_EXCL时,表示该信号量已经存在。

semget()函数中的参数key表示信号量的键值,通常为一个整数;参数nsems表示创建的信号量数目;参数semflg为标志位,与open()、msgget()函数中的标志位功能相似,都用来设置权限,权限位可与IPC_CREAT以及IPC_EXCL发生位或,另外若该标志位设置为IPC_PRIVATE,表示该信号量为当前进程的私有信号量。

② semctl()

semctl()函数可以对信号量或信号量集进行多种控制,该函数存在于函数库sys/sem.h中,其函数声明如下:

int semctl(int semid, int semnum, int cmd, ...);

若该函数调用成功则根据参数cmd的取值返回相应信息,通常为一个非负整数;否则返回-1并设置errno。

semctl()函数的参数semid表示信号量标识符,通常为semget()的返回值;参数semnum表示信号量在信号量集中的编号,该参数在使用信号量集时才会使用,通常设置为0,表示取第一个信号;参数cmd表示对信号量进行的操作;最后一个参数是一个可选参数,依赖于参数cmd,使用该参数时,用户必须在程序中自定义一个如下所示的共用体:

union semun{
    int val;                        //cmd为SETVAL时,用于指定信号量值
    struct semid_ds *buf;            //cmd为IPC_STAT时或IPC_SET时生效
    unsigned short *array;            //cmd为GETALL或SETALL时生效
    struct seminfo *_buf;            //cmd为IPC_INFO时生效
};

在该共用体中的struct semid_ds是一个由内核维护,记录信号量属性信息的结构体,该结构体的类型定义如下:

struct semid_ds {
    struct ipc_perm sem_perm;        //所有者和标识权限
    time_t            sem_otime;        //最后操作时间
    time_t            sem_ctime;        //最后更改时间
    unsigned short  sem_nsems;        //信号集中的信号数量
};

cmd常用的设置为SETVAL和IPC_RMID,其含义分别如下:

● SETVAL。表示semctl()的功能为初始化信号量的值,信号量值通过可选参数传入,在使用信号量前应先对信号量值进行设置;

● IPC_RMID。表示semctl()的功能为从系统中删除指定信号量。信号量的删除应由其所有者或创建者进行,没有被删除的信号量将会一直存在于系统中。

① semop()

semop()函数的功能为改变信号量的值,该函数存在于函数库sys/sem.h中,函数声明如下:

int semop(int semid, struct sembuf *sops, unsigned nsops);

若该函数调用成功返回0,否则返回-1,并设置errno。

semop()函数的参数semid同样为semget()返回的信号量标识符;参数nsops表示参数sops所指数组中元素的个数。

参数sops为一个struct sembuf类型的数组指针,该数组中的每个元素设置了要对信号量集中的哪个信号做哪种操作,struct sembuf结构体定义如下:

struct sembuf{
  short sem_num;     //信号量在信号量集中的编号
  short sem_op;     //信号量操
  short sem_flag;    //标志位
};

当结构体成员sem_op设置为-1时,表示P操作;设置为+1时,表示V操作。结构体成员sem_flg通常设置为SEM_UNDO,若进程退出前没有删除信号量,信号量将会由系统自动释放。

下面通过案例来展示信号量相关的系统调用接口的使用方法。

案例5:使用信号量实现父子进程同步,防止父子进程抢夺cpu。案例实现如下:

 1    #include <stdio.h>
 2    #include <stdlib.h>
 3    #include <sys/sem.h>
 4    //自定义共用体
 5    union semu{
 6        int val;
 7        struct semid_ds* buf;
 8        unsigned short* array;
 9        struct seminfo* _buf;
 10    };
 11    static int sem_id;
 12    //设置信号量值
 13    static int set_semvalue()
 14    {
 15        union semu sem_union;
 16        sem_union.val=1;
 17        if(semctl(sem_id,0,SETVAL,sem_union)==-1)
 18            return 0;
 19        return 1;
 20    }
 21    //p操作,获取信号量
 22    static int semaphore_p()
 23    {
 24        struct sembuf sem_b;
 25        sem_b.sem_num = 0;
 26        sem_b.sem_op = -1;
 27        sem_b.sem_flg = SEM_UNDO;
 28        if(semop(sem_id,&sem_b,1)==-1){
 29            perror("sem_p err");
 30            return 0;
 31        }
 32        return 1;
 33    }
 34    //V操作,释放信号量
 35    static int semaphore_v()
 36    {
 37        struct sembuf sem_b;
 38        sem_b.sem_num=0;
 39        sem_b.sem_op=1;
 40        sem_b.sem_flg=SEM_UNDO;
 41        if(semop(sem_id,&sem_b,1)==-1){
 42            perror("sem_v err");
 43            return 0;
 44        }
 45        return 1;
 46    }
 47    //删除信号量
 48    static void del_semvalue()
 49    {
 50        union semu sem_union;
 51        if(semctl(sem_id,0,IPC_RMID,sem_union)==-1)
 52            perror("del err");
 53    }
 54    int main()
 55    {
 56        int i;
 57        pid_t pid;
 58        char ch='C';
 59        sem_id=semget((key_t)1000,1,0664|IPC_CREAT);//创建信号量
 60        if(sem_id==-1){
 61            perror("sem_c err");
 62            exit(-1);
 63        }
 64        if(!set_semvalue()){                    //设置信号量值
 65            perror("init err");
 66            exit(-1);
 67        }
 68        pid=fork();                                //创建子进程
 69        if(pid==-1){                                //若创建失败
 70            del_semvalue();                        //删除信号量
 71            exit(-1);
 72        }
 73        else if(pid==0)                             //设置子进程打印的字符
 74            ch='Z';
 75        else                                        //设置父进程打印的字符
 76            ch='C';
 77        srand((unsigned int)getpid());            //设置随机数种子
 78        for(i=0;i<8;i++)                            //循环打印字符
 79        {                        
 80            semaphore_p();                        //获取信号量
 81            printf("%c",ch);                        
 82            fflush(stdout);                        //将字符打印到屏幕
 83            sleep(rand()%4);                        //沉睡
 84            printf("%c",ch);                        
 85            fflush(stdout);                        //再次打印到屏幕
 86            sleep(1);
 87            semaphore_v();                        //释放信号量
 88        }
 89        if(pid>0){
 90            wait(NULL);                            //回收子进程
 91            del_semvalue();                        //删除信号量
 92        }
 93        printf("\nprocess %d finished.\n",getpid());            
 94        return 0;
 95    }

编译案例,执行程序,程序的运行结果如下:

CCZZCCZZCCZZCCZZCCZZCCZZCCZZCCZZ
process 3657 finished 

process 3656 finished

观察运行结果,字符C与字符Z总是成对出现,这是因为案例5主函数的for()循环中进行了两次打印操作,且程序使用了一个二值信号量,将这两次打印操作绑定为了一个原子操作:代码第80行调用了semaphore_p()函数获取信号量,若获取信号量的是父进程,那么子进程将无法获取cpu,除非父进程调用semaphore_v()函数将信号量释放,否则子进程无法执行for循环中的核心代码;反之子进程获取信号量之后,父进程也无法获取cpu。

结合程序运行结果,根据以上分析可知,案例5实现成功

上一篇:进程间通信之共享内存


下一篇:实验八、进程间通信