Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-02-16 | mem: Fix initial value problem with MemChecker | Stephan Diestelhorst | |
In highly loaded cases, reads might actually overlap with writes to the initial memory state. The mem checker needs to detect such cases and permit the read reading either from the writes (what it is doing now) or read from the initial, unknown value. This patch adds this logic. | |||
2014-12-23 | mem: Add MemChecker and MemCheckerMonitor | Marco Elver | |
This patch adds the MemChecker and MemCheckerMonitor classes. While MemChecker can be integrated anywhere in the system and is independent, the most convenient usage is through the MemCheckerMonitor -- this however, puts limitations on where the MemChecker is able to observe read/write transactions. |