进程间通信——信号量

原创 2018年04月15日 14:56:29

信号量主要用于同步和互斥的

    首先了解一下什么叫进程互斥:

    1.由于各进程要求共享资源,而且有一些资源需要互斥使用,因此各进程间竞争使

用这些资源,这种关系就称为进程的互斥。

    2.系统中的某些资源一次只允许一个进程使用,称这样的资源为临界资源或互斥资源。

    3.在进程中涉及到互斥资源的程序段成为临界区。

进程同步:

    进程同步指的是多个进程需要相互配合共同完成一项任务。

信号量P、V原语

    1.信号量

    互斥:P、V在同一个进程中

    同步:P、V在不同进程中

    2. 信号量值含义

    S>0:S表示可用资源数

    S= 0:表示无可用资源,无进程等待   

    S<0 :|S|表示等待队列中进程个数


信号量其实本质上是一个计数器:

struct semaphore  
{  
    int value;//信号量的值,即它维护的临界资源的数目  
    pointer_PCB queue;//等待队列  
}  
P-操作:

[cpp] view plain copy
P(s)//s为信号量维护的临界资源  
{  
    s.value--;  
    if(s.value <= 0)  
    {  
        //使申请临界资源的进程挂起等待,它的PCB放入等待队列s.queue中    
    }  
}  
V-操作:

[cpp] view plain copy
V(s)  
{  
    s.value++;  
    if(s.value > 0)  
    {  
         //唤醒等待队列s.queue中的进程,给它分配临界资源,使其状态变为就绪态  
    }  
}  

信号量集

        维护一种临界资源需要一个信号量,那维护多种临界资源就需要多个

信号量。多种信号量组成一个信号量集。信号量集可以看做是计数器的个

数,信号量值可看作计数器的个数。


以下为系统调用:

int semget(key_t key,int nsems,int semflg)//创建和访问一个信号量级

参数:

        key:由ftok函数返回的key值,与消息队列中的用法相同。

        nsems:信号量集中的信号两个数

        semflg:可选参数为IPC_CREAT和IPC_EXCL,用法与消息队列中的相同。

返回值:成功返回一个非负整数,即该信号量集的标识符,失败返回-1。

        信号量集创建好后,操作系统会为其维护一个数据结构semid_ds,内容与消息队列的结构体msqid_ds类似。 

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

        semid:由semget返回的信号量集的标识符

        semnum:对信号量集中的哪个信号量进行操作,即为信号量所在的下标

        cmd:对信号量做何种操作,取值如下:

             IPC_STAT,IPC_SET,IPC_RMID

            SETVAL:初始化信号量集,即设置信号量集中的信号量的计数值

            GETVAL:获取信号量集中的信号量的计数值


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

参数:

        semid:由semget返回的信号量集的标识符

        sops:指向一个结构体struct sembuf的指针


struct sembuf  
{  
    short sem_num;//某个信号量所处的下标  
    short sem_op;//对信号量所采取的操作,-1为P操作,1为V操作  
    short sem_flg;//取0表示没资源时阻塞等待,取IPC_NOWAIT表示没资源不等待  
}  

 以下用代码测试:

comm.h

#pragma once

#include<stdio.h>
#include<unistd.h>
#include<sys/stat.h>
#include<sys/types.h>
#include<sys/sem.h>
#include<sys/ipc.h>

#define PATHNAME "."
#define PROJ_ID 0x6666

union semun
{
    int val;
    struct semid_ds * buf;
    unsigned short  * array;
    struct seminfo *__buf;

};

int createSemSet(int nums);

int initSem(int semid,int nums,int initVal);

int getSemSet(int nums);

int P(int semid,int who);

int V(int semid,int who);

int destroySemSet(int semid);
comm.c

#include<stdio.h>
#include"comm.h"

static int commSemSet(int nums,int flags)
{
    key_t k = ftok(PATHNAME,PROJ_ID);
    if(k<0)
    {
        perror("ftok");
        return -1;
    }
    int semid = semget(k,nums,flags);
    if(semid<0)
    {
        perror("semget");
        return -2;
    }
    return semid;
}

int createSemSet(int nums)
{
    return commSemSet(nums,IPC_CREAT|IPC_EXCL|0x6666);
}

int getSemSet(int nums)
{
    return commSemSet(nums,IPC_CREAT);
}

int initSem(int semid,int nums,int initValue)
{
    union semun _un;
    _un.val = initValue;
    if(semctl(semid,nums,SETVAL,_un)<0)
    {
        perror("semctl");
        return -1;
    }
    return 0;
}

static int commPV(int semid,int who,int op)
{
    struct sembuf _sf;
    _sf.sem_num = who;
    _sf.sem_op = op;
    _sf.sem_flg = 0;
    if(semop(semid,&_sf,1)<0)
    {
        perror("semop");
        return -1;
    }
    return 0;
}

int P(int semid,int who)
{
    return commPV(semid,who,-1);
}

int V(int semid,int who)
{
    return commPV(semid,who,1);
}

int destroySemSet(int semid)
{
    if(semctl(semid,0,IPC_RMID)<0)
    {
        perror("semctl");
        return -1;
    }
}

test.c

#include<stdio.h>
#include"comm.h"
#include<sys/wait.h>
int main()
{
    int semid = createSemSet(1);
    initSem(semid,0,1);
    pid_t id = fork();
    if(id == 0)
    {
        int _semid = getSemSet(0);
        while(1)
        {
           // P(_semid,0);
            printf("A");
            fflush(stdout);
            usleep(123456);
            printf("A ");
            fflush(stdout);
            usleep(214234);
           // V(_semid,0);
        }
    }
    else
    {
        while(1)
        {
            //P(semid,0);
            printf("B");
            fflush(stdout);
            usleep(452343);
            printf("B ");
            fflush(stdout);
            usleep(524123);
            //V(semid,0);
        }
        wait(NULL);
    }
    destroySemSet(semid);
    return 0;
}

如果将P、V注释掉的话输出的将是不规律BBA、ABB等,但是如果将P 、V语句加入代码,将是成对的BB、AA,

同时也需要注意,信号量的生命周期也是随内核,因此,如果要查看当前的IPC资源,还是要使用

ipcs -s//查看的前的PIC
ipcrm -s//删除sem IPC资源
具体如何打包为动、静态库。参见

https://blog.csdn.net/DuckyLoser/article/details/79717595点击打开链接





            SETVAL:初始化信号量集,即设置信号量集中的信号量的计数值

            GETVAL:获取信号量集中的信号量的计数值

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/DuckyLoser/article/details/79948522

进程间通信方式——信号量(Semaphore)

信号量的工作原理,进程通过信号量如何获得共享资源,详解与信号量有关的函数,sembuf的sem_flg标志设为SEM_UNDO的作用以及模拟实现二元信号量。...
  • skyroben
  • skyroben
  • 2017-05-19 01:26:32
  • 1487

进程间通信(IPC)之信号量

史上最全面剖析进程间通信下的信号量机制,细谈信号量,从基础学起,逐步深入。欢迎各位博友来访,交流学习,共同进步........
  • Xiao__Tian__
  • Xiao__Tian__
  • 2016-07-10 00:54:06
  • 1628

【Linux】进程间通信之信号量

1、为什么要用信号量        管道和消息队列都是两个或多个进程访问一个共享资源,而为了防止出现因多个线程同时访问一个共享资源而引发的一系列问  题,我们需要一种方法,它可以通过生成并使用令牌来授...
  • Scenlyf
  • Scenlyf
  • 2016-07-27 18:12:07
  • 700

linux的进程间通信——信号量

信号量的本质是一种数据操作锁,它本⾝身不具有数据交换的功能,而是通过控制其他的通信资源(文件,外部设备)来实现进程间通信,它本身只是一种外部资源的标识。信号量在此过程中负责数据操作的互斥、同步等功能。...
  • qq_36221862
  • qq_36221862
  • 2017-03-10 21:24:26
  • 421

进程间通信——信号量、互斥锁等的异同

进程间通信——信号量、互斥锁等的异同 最早接触在系统上编程,是在嵌入式Linux上完成几项功能。当时就是按照写单片机程序的思维写的。实现几个功能,就用了一个进程,单线程来做。 后来...
  • tietao
  • tietao
  • 2014-01-14 23:39:07
  • 8952

【Linux进程间通信】 - 信号量

前面我们在介绍共享内存(传送门: 【Linux进程间通信】 - 共享内存)这种进程间通信时方式时提到,使用共享内存通信时需要使用同步机制来控制多个进程对统一内存区的读写操作。今天我们就来讲述一种常用的...
  • Xiejingfa
  • Xiejingfa
  • 2016-03-16 17:01:01
  • 1734

进程间通信(3) - 信号量

1. 前言 本文章中所有例子,基于rhel6.5。 2.信号量 信号量是一种用于提供不同进程间或一个进程间的不同线程间进行同步手段的原语,System V信号量在内核中维护。 二值信号量:其值只有0...
  • shltsh
  • shltsh
  • 2015-06-16 21:28:06
  • 759

进程间通信方式之信号量

信号量,又称信号灯,主要用于进程间以及同一进程不同线程间的同步手段,用来解决进程间的同步与互斥问题的一种进程之间通信机制,包括一个称为信号量的变量和在该变信号量下等待资源的进程等待队列,以及对信号量进...
  • Echo_Ana
  • Echo_Ana
  • 2016-10-28 16:02:31
  • 881

Linux程序设计学习笔记----System V进程间通信(信号量)

关于System V Unix System V,是Unix操作系统众多版本中的一支。它最初由AT&T开发,在1983年第一次发布,因此也被称为AT&T System V。一共发行了4个System ...
  • hu1020935219
  • hu1020935219
  • 2014-08-11 19:36:27
  • 2029

Linux进程间通信--共享内存与信号量

进程可以直接读写内存,不需要任何数据的复制。为了在多个进程间交换 信息,内核专门留出一块内存区,内存区可以由需要访问的进程将其映射 到自己的私有地址空间,进程直接读写这一内存区,而不需要进行数据 ...
  • manchestermi
  • manchestermi
  • 2015-11-30 23:14:55
  • 612
收藏助手
不良信息举报
您举报文章:进程间通信——信号量
举报原因:
原因补充:

(最多只允许输入30个字)