---
name: "ACE_Mutex_Invariants"
section: "3"
platform: "linux"
package: "libace-doc"
version: "5.0.7-4"
release: "Debian 2.2 (Potato)"
platforms: ["linux"]
url: "https://new.carta.tech/ACE_Mutex_Invariants"
---

# ACE\_Mutex\_Invariants(3)

Mutex Invariants

## NAME

ACE\_Mutex\_Invariants -  Mutex Invariants

## SYNOPSIS

```
#include <ace/Token_Invariants.h>
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);
```

Copy construction.

```
void operator= (const ACE_Mutex_Invariants &rhs);
```

Copy.

```
void dump (void) const;
```

Dump the state of the class.

## AUTHOR

Tim Harrison (harrison@cs.wustl.edu)

## INVARIANTS

1\. Only one owner at a time.

## LIBRARY

ace