blob: b197c321c1b62e63868495e416e639590207a6b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#ifndef __IFMO_DISTRIBUTED_CLASS_LAMPORT__H
#define __IFMO_DISTRIBUTED_CLASS_LAMPORT__H
#include "ipc.h"
extern timestamp_t gl_lamport_time;
timestamp_t get_lamport_time();
void lamport_message_handler( timestamp_t *lamport_time,
timestamp_t local_time);
void lamport_increase( timestamp_t *lamport_time );
void lamport_init( timestamp_t *lamport_time );
#endif
|