-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathTransactionManager.hpp
More file actions
46 lines (42 loc) · 1.28 KB
/
TransactionManager.hpp
File metadata and controls
46 lines (42 loc) · 1.28 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#pragma once
#include <iostream>
#include <map>
#include <list>
#include <vector>
#include <deque>
#include <unordered_set>
#include "transaction.hpp"
#include "site.hpp"
#include "operation.hpp"
using namespace std;
class TransactionManager
{
private:
int time;
list<Operation> operations;
map<int, Transaction> transactionMap;
deque<pair<int, int>> waitingTransactionReads;
vector<Site> allSites;
map<int, vector<int>> failureHistory;
map<int, map<int, int>> transactionAccesses;
map<int, map<int, int>> conflicts;
unordered_set<int> transactionGraph;
public:
TransactionManager(const list<Operation> ops);
Operation currentOP;
void initSites();
void checkForConflict(map<int, map<int, int>> &transactionAccesses, map<int, map<int, int>> &conflicts, Operation op);
bool checkCycle(int tid);
bool hasRWCycle(int startNode);
void removeConflictEdges(int tid);
void beginTransaction(int tid, int beginTime);
void SiteFail(int siteID);
void SiteRecover(int siteID);
void transactionRead(int tid, int var, Operation op);
void transactionWrite(int tid, int var, int val, Operation op);
void transactionEnd(int tid, int endTime);
void addOperation(Operation op);
void endSimulation();
void dump();
void run();
};