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
|
// https://en.wikipedia.org/wiki/Dining_philosophers_problem
#include <stdio.h>
#include <time.h>
#include <stc/crand.h>
#include <stc/coroutine.h>
// Define the number of philosophers and forks
enum {
num_philosophers = 5,
num_forks = num_philosophers,
};
struct Philosopher {
int id;
cco_timer tm;
cco_sem* left_fork;
cco_sem* right_fork;
int cco_state; // required
};
struct Dining {
// Define semaphores for the forks
cco_sem forks[num_forks];
struct Philosopher ph[num_philosophers];
int cco_state; // required
};
// Philosopher coroutine
int philosopher(struct Philosopher* p)
{
double duration;
cco_routine(p) {
while (1) {
duration = 1.0 + crandf()*2.0;
printf("Philosopher %d is thinking for %.0f minutes...\n", p->id, duration*10);
cco_timer_await(&p->tm, duration);
printf("Philosopher %d is hungry...\n", p->id);
cco_sem_await(p->left_fork);
cco_sem_await(p->right_fork);
duration = 0.5 + crandf();
printf("Philosopher %d is eating for %.0f minutes...\n", p->id, duration*10);
cco_timer_await(&p->tm, duration);
cco_sem_release(p->left_fork);
cco_sem_release(p->right_fork);
}
cco_cleanup:
printf("Philosopher %d finished\n", p->id);
}
return 0;
}
// Dining coroutine
int dining(struct Dining* d)
{
cco_routine(d) {
for (int i = 0; i < num_forks; ++i)
cco_sem_set(&d->forks[i], 1); // all forks available
for (int i = 0; i < num_philosophers; ++i) {
cco_reset(&d->ph[i]);
d->ph[i].id = i + 1;
d->ph[i].left_fork = &d->forks[i];
d->ph[i].right_fork = &d->forks[(i + 1) % num_forks];
}
while (1) {
// per-"frame" logic resume each philosopher
for (int i = 0; i < num_philosophers; ++i) {
philosopher(&d->ph[i]);
}
cco_yield(); // suspend, return control back to main
}
cco_cleanup:
for (int i = 0; i < num_philosophers; ++i) {
cco_stop(&d->ph[i]);
philosopher(&d->ph[i]);
}
puts("Dining finished");
}
return 0;
}
int main(void)
{
struct Dining dine;
cco_reset(&dine);
int n=0;
cco_timer tm = cco_timer_from(15.0); // seconds
csrand((uint64_t)time(NULL));
while (!cco_done(&dine)) {
if (cco_timer_expired(&tm))
cco_stop(&dine);
dining(&dine); // resume
cco_sleep(0.001);
++n;
}
printf("n=%d\n", n);
}
|
