/*
 * marker.h
 *
 * Simulation of Chandy-Lamport algorithm
 *
 * This file is a part of Distributed Systems term thesis
 * Department KIV, ZCU Plzen
 * Author: Martin Sloup, msloup@students.zcu.cz
 */

#ifndef MARKER_H_
#define MARKER_H_

extern void marker_start_marking();
extern void marker_start();
extern void marker_begin();
extern void marker_end();
extern bool marker_is_marked();
extern bool marker_is_marked_channel(int c);
extern void marker_add_amount(long amount);
extern void marker_handle(int s, bool source);

extern long global_amount;

#endif /* MARKER_H_ */