src/mem/mem_checker.hh

76      * The Serial type is used to be able to uniquely identify a transaction as
80     typedef uint64_t Serial;
82     static const Serial  SERIAL_INITIAL = 0; //!< Initial serial
109         Transaction(Serial _serial,
118         Serial serial; //!< Unique identifying serial
157         void startWrite(Serial serial, Tick _start, uint8_t data);
166         void completeWrite(Serial serial, Tick _complete);
173         void abortWrite(Serial serial);
185          * Map of Serial --> Transaction of all writes in cluster; contains
188         std::unordered_map<Serial, Transaction> writes;
225         void startRead(Serial serial, Tick start);
260         bool completeRead(Serial serial, Tick complete, uint8_t data);
271         void startWrite(Serial serial, Tick start, uint8_t data);
280         void completeWrite(Serial serial, Tick complete);
288         void abortWrite(Serial serial);
350          * Maintains a map of Serial -> Transaction for all outstanding reads.
355         std::map<Serial, Transaction> outstandingReads;
389      * @return Serial representing the unique identifier for this transaction.
391     Serial startRead(Tick start, Addr addr, size_t size);
401      * @return Serial representing the unique identifier for this transaction.
403     Serial startWrite(Tick start, Addr addr, size_t size, const uint8_t *data);
418     bool completeRead(Serial serial, Tick complete,
431     void completeWrite(Serial serial, Tick complete, Addr addr, size_t size);
441     void abortWrite(Serial serial, Addr addr, size_t size);
500     Serial nextSerial;
516 inline MemChecker::Serial
530 inline MemChecker::Serial
545 MemChecker::completeWrite(MemChecker::Serial serial, Tick complete,
558 MemChecker::abortWrite(MemChecker::Serial serial, Addr addr, size_t size)