NAME

ACE_Mutex_Invariants - Mutex Invariants

SYNOPSIS


#include <ace/Token_Invariants>


class ACE_Mutex_Invariants
{
  public:
    ACE_Mutex_Invariants (void);
    int acquired (void);
    void releasing (void);
    ACE_Mutex_Invariants (const ACE_Mutex_Invariants &rhs);
    void operator= (const ACE_Mutex_Invariants &rhs);
    void dump (void) const;
  private:
    int owners_;
};

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_Mutex_Invariants (const ACE_Mutex_Invariants &rhs);
void operator= (const ACE_Mutex_Invariants &rhs);
void dump (void) const;

AUTHOR

Tim Harrison (harrison@cs.wustl.edu)

INVARIANTS

1. Only one owner at a time.

LIBRARY

ace