Package ru.ispras.microtesk.mmu.test.engine.memory
-
Class Summary Class Description Access Access
describes an execution path of a memory access instruction.AccessChooser AccessesIterator AccessesIterator
implements an iterator of memory accesses.AccessesIteratorExhaustive AccessesIteratorExhaustive
implements an exhaustive iterator of memory access skeletons, i.e.AccessesIteratorRandom AccessesIteratorRandom
implements a random iterator of memory access skeletons, i.e.AccessIterator AccessIterator
implements a DFS-based iterator of memory access paths.AccessIterator.Result AccessIterator.Result
represents an item returned byAccessIterator
.AccessPath AccessPath
represents an execution path of a memory access instruction.AccessPath.Builder AccessPath.Entry AddressDataGenerator AddressDataGenerator
randomly generates an address from a given memory region.AddressObject AddressObject
represents test data for a single memory access.BufferDependency BufferDependency
describes a dependency, i.e.BufferHazard BufferHazard
describes a buffer access hazard.BufferHazard.Instance BufferUnitedDependency BufferUnitedDependency
represents a united dependency.BufferUnitedHazard BufferUnitedHazard
represents a united buffer access hazard, which combines information on hazards for a single buffer access.CoverageExtractor DependencyIterator DependencyIterator
is a base iterator of dependencies between two memory accesses.DependencyIteratorExhaustive DependencyIteratorExhaustive
implements an exhaustive iterator of dependencies between two memory accesses.DependencyIteratorRandom DependencyIteratorRandom
implements a random iterator of dependencies between two memory accesses.EntryIdAllocator EntryIdAllocator
implements an allocator of entry identifiers (indices) for non-replaceable (non-transparent) buffers.EntryObject EntryObject
stores information about a buffer entry.EntryTracker EntryTracker
tracks entries to be written to a memory-mapped buffer.Graph Graph
represents a memory subsystem's control flow graph (CFG).Graph.Edge MemoryDataGenerator MemoryDataGenerator
implements a solver of memory-related constraints (hit, miss, etc.).MemoryEngine MemoryEngine
implements a test engine for memory management units (MMU).MemoryEngineUtils MemoryEngineUtils
implements utilities used in the memory engine.MemoryInitializerMaker MemoryInitializerMaker
implements the memory engine initializer maker.SymbolicExecutor SymbolicExecutor
implements a simple symbolic executor of memory access structures.SymbolicRestrictor SymbolicRestrictor
produces a constraint for a given memory access.SymbolicResult SymbolicExecutor
represents a result of symbolic execution.TrajectoryExtractor Given a memory subsystem specification and an abstraction (labeling) function,TrajectoryExtractor
extracts all possible trajectories (abstract paths).TrajectoryExtractor.Result TrajectoryExtractor.Result
represents a result ofTrajectoryExtractor
. -
Enum Summary Enum Description AccessesIterator.Mode AccessPath.Entry.Kind BufferHazard.Type GraphAbstraction GraphAbstraction
contains different abstractions for memory access path transitions.