2015-12-31 14:28:15 -05:00
|
|
|
#ifndef _SYNCHPROBS_H_
|
|
|
|
|
#define _SYNCHPROBS_H_
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
* Synchronization problem primitives.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
* whalemating.c.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
void whalemating_init(void);
|
|
|
|
|
void whalemating_cleanup(void);
|
2015-12-31 19:26:33 -05:00
|
|
|
void male(void);
|
|
|
|
|
void female(void);
|
|
|
|
|
void matchmaker(void);
|
2015-12-31 14:28:15 -05:00
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
* stoplight.c.
|
|
|
|
|
*/
|
|
|
|
|
|
2015-12-31 19:38:38 -05:00
|
|
|
void gostraight(uint32_t);
|
|
|
|
|
void turnleft(uint32_t);
|
|
|
|
|
void turnright(uint32_t);
|
2015-12-31 14:28:15 -05:00
|
|
|
void stoplight_init(void);
|
|
|
|
|
void stoplight_cleanup(void);
|
|
|
|
|
|
|
|
|
|
#endif /* _SYNCHPROBS_H_ */
|
