NAME

ACE_RWLock_Invariants - RWLock Invariants

SYNOPSIS

#include <ace/Token_Invariants.h>

class ACE_RWLock_Invariants { public: ACE_RWLock_Invariants (void); int writer_acquired (void); int reader_acquired (void); void releasing (void); ACE_RWLock_Invariants (const ACE_RWLock_Invariants &rhs); void operator= (const ACE_RWLock_Invariants &rhs); void dump (void) const; private: int writers_; int readers_; };

DESCRIPTION

Allows applications to test that invariants are always satisfied. Can test mutexes and readers/writer locks. Does not test recursive acquisition.

Map_Manager operations.

ACE_RWLock_Invariants (const ACE_RWLock_Invariants &rhs);

void operator= (const ACE_RWLock_Invariants &rhs);

void dump (void) const;

AUTHOR

Tim Harrison (harrison@cs.wustl.edu)

INVARIANTS

1. Only one writer at a time. 2. If there is an owning writer, there are no owning readers.

LIBRARY

ace