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
|
#include "pa2345.h"
#include "pa3.h"
#include "dist.h"
#include "lamport.h"
// TODO: remove global variable
int request_time;
char DR[MAX_X];
int request_cs(const void * self) {
my_info_t *me = (my_info_t *) self;
int replied = 0;
int msg_author = 0;
lamport_increase( &gl_lamport_time );
Message msg = {
.s_header = {
.s_magic = MESSAGE_MAGIC,
.s_payload_len = 0,
.s_type = CS_REQUEST,
.s_local_time = get_lamport_time()
}
};
send_multicast( me, &msg );
request_time = get_lamport_time();
while( replied < (me->dist_info->workers - 1) ) {
if( !receive_any( me, &msg ) ) {
lamport_message_handler( &gl_lamport_time, msg.s_header.s_local_time );
msg_author = me->msg_author;
switch( msg.s_header.s_type ) {
case CS_REQUEST:
if( request_time == -1 ||
msg.s_header.s_local_time < request_time ||
( msg.s_header.s_local_time == request_time && msg_author <
me->id ) ) {
lamport_increase( &gl_lamport_time );
msg.s_header.s_type = CS_REPLY;
msg.s_header.s_local_time = get_lamport_time();
send( me, msg_author, &msg );
} else {
DR[msg_author] = 1;
}
break;
case CS_REPLY:
replied++;
break;
case DONE:
me->dist_info->workers--;
break;
}
}
}
return 0;
}
int release_cs(const void * self) {
my_info_t *me = (my_info_t *) self;
request_time = -1;
int i;
Message msg = {
.s_header = {
.s_magic = MESSAGE_MAGIC,
.s_payload_len = 0,
.s_type = CS_RELEASE,
.s_local_time = 0
}
};
for( i = 1; i <= MAX_X; i++ ) {
if( !DR[i] ) continue;
lamport_increase( &gl_lamport_time );
msg.s_header.s_local_time = get_lamport_time();
send( me, i, &msg );
}
return 0;
}
|