![]() |
The ROme OpTimistic Simulator
3.0.0
A General-Purpose Multithreaded Parallel/Distributed Simulation Platform
|
The checkpointable memory context assigned to a single LP. More...
#include <buddy.h>
Public Member Functions | |
| dyn_array (struct mm_log { array_count_t ref_i;struct mm_checkpoint *c;}) logs | |
| The array of checkpoints. | |
Data Fields | |
| uint_fast32_t | used_mem |
| The count of allocated bytes. | |
| uint_least8_t | longest [(1U<<(17U - 6U+1))] |
| The checkpointed binary tree representing the buddy system. | |
| unsigned char | base_mem [1U<< 17U] |
| The memory buffer served to the model. | |
| uint_fast32_t | dirty_mem |
| The bytes count of the memory dirtied by writes. | |
| block_bitmap | dirty [bitmap_required_size((1<<(17U - 2 *6U+1))+(1<<(17U - 6U)))] |
| Keeps track of memory blocks which have been dirtied by a write. | |