Atlas Runtime
|
#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"
Functions | |
int | main (int argc, char **argv) |
void | R_Initialize (const char *s) |
void | R_Finalize (const char *s) |
LogStructure * | GetLogStructureHeader () |
void | CreateRelToAcqMappings (LogStructure *lsp) |
void | AddToMap (LogEntry *acq_le, int tid) |
void | Replay (LogEntry *le) |
LogEntry * | GetPrevLogEntry (LogEntry *le) |
void | Recover () |
void | Recover (int tid) |
void | MarkReplayed (LogEntry *le) |
bool | isAlreadyReplayed (LogEntry *le) |
void AddToMap | ( | LogEntry * | acq_le, |
int | tid | ||
) |
void CreateRelToAcqMappings | ( | LogStructure * | lsp | ) |
LogStructure* GetLogStructureHeader | ( | ) |
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 | ) |
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 |