linux网络编程之System V 信号量（三）：基于生产者-消费者模型实现先进先出的共享内存段

最新推荐文章于 2023-09-02 13:01:35 发布

s1mba

最新推荐文章于 2023-09-02 13:01:35 发布

阅读量6.7k

点赞数 4

分类专栏： linux 环境网络编程文章标签：生产者消费者模型共享内存信号量

本文链接：https://blog.csdn.net/jnu_simba/article/details/9103059

版权

本文介绍了如何使用System V信号量解决生产者-消费者问题，通过建立先进先出的共享内存段实现数据的同步和互斥。详细讲解了信号量sem_full、sem_empty和sem_mutex的作用，并提供了shmfifo_init、shmfifo_put、shmfifo_get和shmfifo_destroy等函数的实现。示例展示了生产者发送数据到共享内存，消费者按顺序读取并显示数据的过程，验证了FIFO的正确性。

摘要由CSDN通过智能技术生成

生产者消费者问题：该问题描述了两个共享固定大小缓冲区的进程——即所谓的“生产者”和“消费者”——在实际运行时会发生的问题。生产者的主要作用是生成一定量的数据放到缓冲区中，然后重复此过程。与此同时，消费者也在缓冲区消耗这些数据。该问题的关键就是要保证生产者不会在缓冲区满时加入数据，消费者也不会在缓冲区中空时消耗数据。

我们可以用信号量解决生产者消费者问题，如下图：

定义3个信号量，sem_full 和 sem_empty 用于生产者进程和消费者进程之间同步，即缓冲区为空才能生产，缓冲区不为空才能消费。由于共享同一块缓冲区，在生产一个产品过程中不能生产/消费产品，在消费一个产品的过程中不能生产/消费产品，故再使用一个 sem_mutex 信号量来约束行为，即进程间互斥。

下面基于生产者消费者模型，来实现一个先进先出的共享内存段：

如上图所示，定义两个结构体，shmhead 是共享内存段的头部，保存了块大小，块数，读写索引。shmfifo 保存了共享内存头部的指针，有效负载的起始地址，创建的共享内存段的shmid，以及3个信号量集的semid。

下面来封装几个函数：

    C++ Code  
 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89