SAM function SAM-Memory-write()
SAM_Memory_write - Mark a region of memory as written
#include <sam.h> void SAM_Memory_write(SAM_t sam, void *addr);
The SAM_Memory_write() function flashes back all the workers that have speculatively read the region of memory in which the address addr is contained. This function shall only be called from the main execution thread.
 Return value
None, assumes correct input parameters.
Example 3 A - Executing speculatively and flashing back a worker thread (inefficient version)
Example 3 B - Executing speculatively and flashing back a worker thread (efficient version)
Example 4 - Executing speculatively, flashing back, and speculative writing
Example 5 - Using multiple protected memory regions within the same SAM context