Atlas Runtime
recover.cpp File Reference
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <unistd.h>
#include <sys/mman.h>
#include <assert.h>
#include "util.hpp"
#include "atlas_alloc.h"
#include "pregion_mgr.hpp"
#include "pregion_configs.hpp"
#include "log_mgr.hpp"
#include "recover.hpp"
Include dependency graph for recover.cpp:

Functions

int main (int argc, char **argv)
 
void R_Initialize (const char *s)
 
void R_Finalize (const char *s)
 
LogStructureGetLogStructureHeader ()
 
void CreateRelToAcqMappings (LogStructure *lsp)
 
void AddToMap (LogEntry *acq_le, int tid)
 
void Replay (LogEntry *le)
 
LogEntryGetPrevLogEntry (LogEntry *le)
 
void Recover ()
 
void Recover (int tid)
 
void MarkReplayed (LogEntry *le)
 
bool isAlreadyReplayed (LogEntry *le)
 

Variables

Tid2Log first_log_tracker
 
Tid2Log last_log_tracker
 
MapR2A map_r2a
 
MapLog2Bool replayed_entries
 
MapInt2Bool done_threads
 
MapLog2Log prev_log_mapper
 
MapInterval mapped_prs
 
uint64_t replayed_count = 0
 

Function Documentation

void AddToMap ( LogEntry acq_le,
int  tid 
)
void CreateRelToAcqMappings ( LogStructure lsp)
LogStructure* GetLogStructureHeader ( )
LogEntry* GetPrevLogEntry ( LogEntry le)
bool isAlreadyReplayed ( LogEntry le)
int main ( int  argc,
char **  argv 
)
void MarkReplayed ( LogEntry le)
void R_Finalize ( const char *  s)
void R_Initialize ( const char *  s)
void Recover ( )
void Recover ( int  tid)
void Replay ( LogEntry le)

Variable Documentation

MapInt2Bool done_threads
Tid2Log first_log_tracker
Tid2Log last_log_tracker
MapR2A map_r2a
MapInterval mapped_prs
MapLog2Log prev_log_mapper
uint64_t replayed_count = 0
MapLog2Bool replayed_entries