Determinant Struct Reference

Struct to store the determinant of a particular message. More...

#include <ckcausalmlog.h>

Collaboration diagram for Determinant:

[legend]

Data Fields
CkObjID	sender
CkObjID	receiver
MCount	SN
MCount	TN

---

Detailed Description

Struct to store the determinant of a particular message.

The determinant remembers all the necessary information for a message to be replayed in the same order as in the execution prior the failure.

Definition at line 34 of file ckcausalmlog.h.

---

Field Documentation

CkObjID Determinant::sender

Definition at line 36 of file ckcausalmlog.h.

Referenced by _storeDeterminantsHandler(), addBufferedDeterminant(), isSameDet(), printDet(), and processReceivedDet().

CkObjID Determinant::receiver

Definition at line 38 of file ckcausalmlog.h.

Referenced by _storeDeterminantsHandler(), addBufferedDeterminant(), isSameDet(), and printDet().

MCount Determinant::SN

Definition at line 40 of file ckcausalmlog.h.

Referenced by _storeDeterminantsHandler(), addBufferedDeterminant(), isSameDet(), printDet(), and processReceivedDet().

MCount Determinant::TN

Definition at line 42 of file ckcausalmlog.h.

Referenced by _storeDeterminantsHandler(), addBufferedDeterminant(), isSameDet(), populateDeterminantTable(), printDet(), and processReceivedDet().

---

The documentation for this struct was generated from the following file:

• ck-core/ckcausalmlog.h