-
Notifications
You must be signed in to change notification settings - Fork 0
/
sanity.c
82 lines (63 loc) · 1.34 KB
/
sanity.c
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
#include "uthread.h"
#include "user.h"
#define N 100 // buffer size;
int mutex;
struct counting_semaphore* empty;
struct counting_semaphore* full;
int in=0;
int out=0;
int arr[100];
void
producer(void* arg)
{
for(int i = 1; i<1004; i++){
down(empty);
bsem_down(mutex);
arr[in]=i;
in=(in+1)%N;
bsem_up(mutex);
up(full);
}
}
void
consumer(void* arg) {
int item;
while(1){
down(full);
bsem_down(mutex);
item = arr[out];
arr[out]=-1;
out=(out+1)%N;
if(item > 1000){
bsem_up(mutex);
up(empty);
break;
}
bsem_up(mutex);
up(empty);
//printf(1,"Thread %d going to sleep for %d ticks.\n",uthread_self(),item);
uthread_sleep(item);
printf(1,"Thread %d slept for %d ticks.\n",uthread_self(),item);
}
}
int
main(int argc, char *argv[]){
int consumers[3];
uthread_init();
mutex = bsem_alloc();
empty = csem_alloc(N);
full = csem_alloc(0);
for(int i = 0; i<3; i++){
consumers[i] = uthread_create(consumer,0);
}
int prod = uthread_create(producer,0);
uthread_join(prod);
for(int i = 0; i<3; i++){
uthread_join(consumers[i]);
}
bsem_free(mutex);
csem_free(empty);
csem_free(full);
printf(1,"end of Sanity\n");
uthread_exit();
}