使用信号量进行PV操作，实现车辆的生成和消费

贰柒学开发

已于 2023-09-09 22:34:50 修改

阅读量155

点赞数

分类专栏：系统编程文章标签： c语言 linux ubuntu

于 2023-09-09 22:25:45 首次发布

本文链接：https://blog.csdn.net/m0_68865445/article/details/132782827

版权

系统编程专栏收录该内容

2 篇文章 1 订阅

订阅专栏

一、基本概念

system-V 的信号量非常类似于停车场的卡牌，想象一个有 N 个车位的停车场，每个车位是立体的可升降的，能停 n 辆车，那么我们可以用一个拥有 N 个信号量元素，每个信号量元素的初始值等于 n 的信号量来代表这个停车场的车位资源——某位车主要把他的 m辆车开进停车场，如果需要 1 个车位，那么必须对代表这个车位的信号量元素申请资源，如果 n 大于等于 m，则申请成功，否则不能把车开进去。

从这个比喻中得知：system-V 的信号量并不是单个的值，而是一组（事实上是一个数组）信号量元素构成的，当我们需要多个资源，比如多个车位时，可以同时向多个信号量元素申请。
信号量的 P、V 操作最核心的特征是：他们是原子性的，也就是说对信号量元素的值的增加和减少，系统保证在 CPU 的电气特性级别上不可分割，这跟整型数据的加减法有本质的区别。

二、常用的核心API

跟两外两种 system-V IPC 类型，都有创建 IPC 对象、获取对象 ID、对象操作和控制
等接口。

使用以上函数接口需要注意以下几点：
1，信号量操作结构体的定义如下：

struct sembuf
{
    unsigned short sem_num; /* 信号量元素序号（数组下标） */
    short sem_op; /* 操作参数 */
    short sem_flg; /* 操作选项 */
};

请注意：信号量元素的序号从 0 开始，实际上就是数组下标。

注意：
这是一个变参函数，根据 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 时使用 */
};

三、实现功能及代码

commom.h 模块

#ifndef _COMMOM_H_
#define _COMMOM_H_


#include <stdio.h>
#include <sys/ipc.h>
#include <string.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>
#include <sys/stat.h>
#include <sys/sem.h>


#define IPC_PATH        "./"    // 获取key值，指定IPC路径或者文件
#define IPC_MASK        1       // IPC标识
#define CAR_NUM         0       // 车辆初始数量
#define CAR_POOL_NUM    5       // 车位初始数量

#define CAR_MASK        0       // 车的标识
#define CAR_POOL_MASK   1       // 车位的标识



typedef struct car_sem_inf
{
    int sem_id;
    int car_num;
    int car_pool_num;
    
}CSI,* P_CSI;


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 时使用 */
};




//信号量初始化
P_CSI Car_Sem_Init();

//实时打印资源情况
int   Real_Time_Get_Sem_Value(P_CSI p_csi);

// PV操作
int Car_Sem_P_V_Ctrl(P_CSI p_csi,int sem_op,int sem_num);


#endif

shop_car.c 模块

#include "commom.h"


P_CSI Car_Sem_Init()
{
    P_CSI p_csi = (P_CSI)malloc(sizeof(CSI));
    if(p_csi == (P_CSI)NULL)
    {
        perror("malloc failed");
        return (P_CSI)-1;
    }

    memset(p_csi,0,sizeof(CSI));

    key_t key = ftok(IPC_PATH,IPC_MASK);
    if(key == -1)
    {
        perror("ftok failed ...");
        return (P_CSI)-1;
    }

    if((p_csi->sem_id = semget(key,2,IPC_CREAT|0666)) == -1)
    {
        perror("semget faield ...");
        return (P_CSI)-1;
    }
    else
    {
        printf(" X X 车行创建成功, id为: %d\n", p_csi->sem_id);
    }

    p_csi->car_num      = CAR_NUM;
    p_csi->car_pool_num = CAR_POOL_NUM;
    //设置车为0，车位为3  
    union semun sem_un;
    sem_un.val = p_csi->car_num;
    if(semctl(p_csi->sem_id, CAR_MASK, SETVAL, sem_un) == -1)
    {
        perror("semctl car failed");
        return (P_CSI)-1;
    } 

    sem_un.val = p_csi->car_pool_num;
    if(semctl(p_csi->sem_id, CAR_POOL_MASK, SETVAL, sem_un) == -1)
    {
        perror("semctl car pool failed");
        return (P_CSI)-1;
    }

    return p_csi;
}

int Real_Time_Get_Sem_Value(P_CSI p_csi)
{
    union semun sem_umn;


    printf("当前车行车辆信息如下：\n车辆数 : %d\t 车位数 : %d\n", 
                        p_csi->car_num, p_csi->car_pool_num);
    printf("=========================================\n");
    
    while(1)
    {

        //获取一次 
        if((p_csi->car_num = semctl(p_csi->sem_id, CAR_MASK, GETVAL)) == -1)
        {
            perror("semctl failed ... ");
            return -1;
        }

        if((p_csi->car_pool_num = semctl(p_csi->sem_id, CAR_POOL_MASK ,GETVAL)) == -1)
        {
            perror("semctl failed ... ");
            return -1;
        }


        //实时打印车辆信息和车位信息
        if(CAR_NUM != p_csi->car_num && 
                    CAR_POOL_NUM != p_csi->car_pool_num)        
        {
            printf("车辆数 : %d\t 车位数 : %d\n", 
                        p_csi->car_num, p_csi->car_pool_num);

             sleep(2);
        }



        // 没有车位了
        if(p_csi->car_num == CAR_POOL_NUM)
        {
            printf("没有车位了，车辆生产出来放不下，先休息会\n");
            sleep(2);
            continue;
        }


        // 没有车辆了
        if( p_csi->car_pool_num == CAR_POOL_NUM)
        {
            if(p_csi->car_num == CAR_NUM)
            printf("车辆数 : %d\t 车位数 : %d\n", 
                        p_csi->car_num, p_csi->car_pool_num);
            
            printf("没有车辆可以卖了，先休息会\n");
            sleep(2);
            continue;
        }
    }

    return 0;
}


int main()
{
    P_CSI p_csi = Car_Sem_Init();
    if(p_csi == (P_CSI) -1)
    {
        printf(" X X 车行创建失败！\n");
        return -1;
    }

    Real_Time_Get_Sem_Value(p_csi);

    return 0;
}

make_car.c 模块：

#include "commom.h"

/*产车  2秒 车+1  车位-1*/
int Car_Sem_P_V_Ctrl(P_CSI p_csi,int sem_op,int sem_num)
{
    struct sembuf sb[1];
    memset(sb,0,sizeof(sb));

    sb[0].sem_num = sem_num;
    sb[0].sem_op  = sem_op;
    sb[0].sem_flg = 0;

    if(semop(p_csi->sem_id, sb, 1) == -1)
    {
        printf("p_csi->sem_id: %d\n", p_csi->sem_id);
        perror("semop failed ...");
        return -1;
    }

    return 0;
}



int main(int argc, char * argv[])
{   

    CSI csi;

    memset(&csi,0,sizeof(csi));

    csi.sem_id = atoi(argv[1]);

    while(1)
    {
        Car_Sem_P_V_Ctrl(&csi, -1, 1);     // 车位-1
        Car_Sem_P_V_Ctrl(&csi,  1, 0);     // 车+1
        printf("我车行每 2s 生产了一辆新车, 车位减一...\n");
        sleep(2);
    }

    return 0;
}

sell_car.c模块：

#include "commom.h"

/*卖车  1秒 车-1  车位+1*/
int Car_Sem_P_V_Ctrl(P_CSI p_csi,int sem_op,int sem_num)
{
    struct sembuf sb[1];
    memset(sb,0,sizeof(sb));

    sb[0].sem_num = sem_num;
    sb[0].sem_op  = sem_op;
    sb[0].sem_flg = 0;

    // 对信号量进行 P/V 操作
    if(semop(p_csi->sem_id, sb, 1 ) == -1)
    {
        perror("semop failed ...");
        return -1;
    }

    return 0;
}

int main(int argc,char * argv[])
{   

    CSI csi;

    memset(&csi,0,sizeof(csi));

    csi.sem_id = atoi(argv[1]);

    while(1)
    {
        
        Car_Sem_P_V_Ctrl(&csi, -1, 0 );      // 车辆 -1
        Car_Sem_P_V_Ctrl(&csi,  1, 1 );      // 车位 +1

        printf("我车行每4s卖了一辆新车, 车位加一...\n");
        sleep(4);
        
    }

    return 0;
}

四、效果展示

五、补充

在虚拟机中如何查看信号量

erqi@erqi-ubuntu:$ ipcs -s

--------- 信号量数组 -----------
键        semid      拥有者  权限     nsems     
0x013304ef 3          erqi       666        2

删除信号量

erqi@erqi-ubuntu:$ ipcrm -s 3  // 可以通过 semid 删除 semid=3 的信号量
erqi@erqi-ubuntu:$ ipcrm -S 0x013304ef  // 可以通过 键 删除 semid=3 的信号量
erqi@erqi-ubuntu:$$ ipcs -s

--------- 信号量数组 -----------
键        semid      拥有者  权限     nsems