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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <pthread.h>
#include <semaphore.h>
#include <assert.h>
enum thrd_ids {
AGENT_A = 0,
AGENT_B,
AGENT_C,
SMOKER_T,
SMOKER_P,
SMOKER_M,
THRD_MAX
};
static pthread_t thrds[THRD_MAX];
enum sem_ids {
AGENTSEM = 0,
TOBACCO,
PAPER,
MATCH,
SEM_MAX
};
static sem_t sems[SEM_MAX];
static void *agenta_thread(void *args)
{
while (1) {
sem_wait(&sems[AGENTSEM]);
sem_post(&sems[TOBACCO]);
sem_post(&sems[PAPER]);
printf("AGENT_A: +1 TOBACCO , +1 PAPER\n");
}
return NULL;
}
static void *agentb_thread(void *args)
{
while (1) {
sem_wait(&sems[AGENTSEM]);
sem_post(&sems[PAPER]);
sem_post(&sems[MATCH]);
printf("AGENT_B: +1 PAPER, +1 MATCH\n");
}
return NULL;
}
static void *agentc_thread(void *args)
{
while (1) {
sem_wait(&sems[AGENTSEM]);
sem_post(&sems[TOBACCO]);
sem_post(&sems[MATCH]);
printf("AGENT_C: +1 TOBACCO, +1 MATCH\n");
}
return NULL;
}
static void *smokerm_thread(void *args)
{
while (1) {
sem_wait(&sems[TOBACCO]);
sem_wait(&sems[PAPER]);
sem_post(&sems[AGENTSEM]);
printf("SMOKER_M: +1 PAPER , \n");
}
return NULL;
}
static void *smokert_thread(void *args)
{
while (1) {
sem_wait(&sems[PAPER]);
sem_wait(&sems[MATCH]);
sem_post(&sems[AGENTSEM]);
printf("SMOKER_T\n");
}
return NULL;
}
static void *smokerp_thread(void *args)
{
while (1) {
sem_wait(&sems[TOBACCO]);
sem_wait(&sems[MATCH]);
sem_post(&sems[AGENTSEM]);
printf("SMOKER_P\n");
}
return NULL;
}
int
main(int argc, char *argv[])
{
int i;
for (i = 0; i < SEM_MAX; i++) {
assert( sem_init(&sems[i], 0, 0) == 0 );
}
assert( pthread_create(&thrds[AGENT_A], NULL, agenta_thread, NULL) == 0 );
assert( pthread_create(&thrds[AGENT_B], NULL, agentb_thread, NULL) == 0 );
assert( pthread_create(&thrds[AGENT_C], NULL, agentc_thread, NULL) == 0 );
assert( pthread_create(&thrds[SMOKER_M], NULL, smokerm_thread, NULL) == 0 );
assert( pthread_create(&thrds[SMOKER_T], NULL, smokert_thread, NULL) == 0 );
assert( pthread_create(&thrds[SMOKER_P], NULL, smokerp_thread, NULL) == 0 );
while (1) {
sleep( random() % 5 );
sem_post(&sems[AGENTSEM]);
}
return 0;
}
|