#include <cassert>
#include <cstdint>
#include <list>
#include <map>
#include <string>
#include <unordered_map>
#include <vector>
#include "base/cprintf.hh"
#include "base/trace.hh"
#include "base/types.hh"
#include "debug/MemChecker.hh"
#include "params/MemChecker.hh"
#include "sim/core.hh"
#include "sim/sim_object.hh"

Go to the source code of this file.

Classes
class	MemChecker
	MemChecker. More...

class	MemChecker::Transaction
	The Transaction class captures the lifetimes of read and write operations, and the values they consumed or produced respectively. More...

class	MemChecker::WriteCluster
	The WriteCluster class captures sets of writes where all writes are overlapping with at least one other write. More...

class	MemChecker::ByteTracker
	The ByteTracker keeps track of transactions for the same byte – all outstanding reads, the completed reads (and what they observed) and write clusters (see WriteCluster). More...

Classes