|
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 |