tac0S
Template Affectional Command Operating System
Classes
synch.h File Reference

Data structures for synchronizing threads. More...

#include "copyright.h"
#include "thread.h"
#include "list.h"

Go to the source code of this file.

Classes

class  Semaphore
 The following class defines a "semaphore" whose value is a non-negative integer. The semaphore has only two operations P() and V(): More...
 
class  Lock
 
class  Condition
 

Detailed Description

Data structures for synchronizing threads.

Author
Olivier Hureau, Hugo Feydel , Julien ALaimo
 Three kinds of synchronization are defined here: semaphores,
 locks, and condition variables.  The implementation for
 semaphores is given; for the latter two, only the procedure
 interface is given -- they are to be implemented as part of
 the first assignment.

 Note that all the synchronization objects take a "name" as
 part of the initialization.  This is solely for debugging purposes.

Copyright (c) 1992-1993 The Regents of the University of California. All rights reserved. See copyright.h for copyright notice and limitation synch.h – synchronization primitives.