NAME

ACE_RWLock_Invariants - RWLock Invariants

SYNOPSIS


#include <ace/Token_Invariants>


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 readers_;
    int writers_;
};

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