-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLazy.cpp
More file actions
218 lines (194 loc) · 5.31 KB
/
Lazy.cpp
File metadata and controls
218 lines (194 loc) · 5.31 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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
/** @file Lazy.cpp
* @author Daniel Zainzinger and Noah Bruns
* @date 2.6.2020
*
* @brief TODO
*/
#include <iostream>
using namespace std;
#include "Lazy.hpp"
#include "key.hpp"
#include "node.hpp"
#include <assert.h>
#include <omp.h>
#include <stdint.h>
#include "benchmark.hpp"
/**
* @brief Constructor for the datastructure
*/
template <class T> Lazy<T>::Lazy() {
head = new nodeLazy<T>(0, INT32_MIN);
head->next = new nodeLazy<T>(0, INT32_MAX);
}
/**
* @brief Destructor for the datastructure
*/
template <class T> Lazy<T>::~Lazy() {
while (head != NULL) {
nodeLazy<T> *oldHead = head;
head = head->next;
delete oldHead;
}
}
/**
* @brief Function which adds one item from the datastructure
*
* @param[in] item item, which should be add to the datastructure
* @param[out] benchMark a struct, which stores information for benchmarking
* @return true, if it was succeccfully added, false otherwise
*/
template <class T> bool Lazy<T>::add(T item,sub_benchMark_t *benchMark) {
Window_t<nodeLazy<T>> w;
try {
w = find(item,benchMark);
int32_t key = key_calc<T>(item);
// Item already in the set
if (key == w.curr->key) {
unlock(w);
return false;
}
// Add item to the set
nodeLazy<T> *n = new nodeLazy<T>(item);
n->next = w.curr;
w.pred->next = n;
assert(w.pred->key < n->key);
assert(n->key < w.curr->key);
unlock(w);
return true;
}
// Exception handling
catch (exception &e) {
cerr << "Error during add: " << item << std::endl;
cerr << "Standard exception: " << e.what() << endl;
return false;
} catch (...) {
cerr << "Error during add: " << item << std::endl;
return false;
}
}
/**
* @brief Function which removes one item from the datastructure
*
* @param[in] item item, which should be removed from the datastructure
* @param[out] benchMark a struct, which stores information for benchmarking
* @return true, if it was succeccfully removed, false otherwise
*/
template <class T> bool Lazy<T>::remove(T item, sub_benchMark_t *benchMark) {
Window_t<nodeLazy<T>> w;
try {
w = find(item,benchMark);
int32_t key = key_calc<T>(item);
if (key != w.curr->key) {
unlock(w);
return false;
}
w.curr->marked = true;
w.pred->next = w.curr->next;
unlock(w);
return true;
}
// Exception handling
catch (exception &e) {
unlock(w);
cerr << "Error during remove: " << item << std::endl;
cerr << "Standard exception: " << e.what() << endl;
return false;
} catch (...) {
unlock(w);
cerr << "Error during remove: " << item << std::endl;
return false;
}
}
/**
* @brief Function which checks if the item is in the datastructure
*
* @param[in] item item for check if it is included
* @param[out] benchMark a struct, which stores information for benchmarking
* @return true, if item is in the datastructure, false otherwise
*/
template <class T> bool Lazy<T>::contains(T item, sub_benchMark_t *benchMark) {
int32_t key = key_calc(item);
try {
nodeLazy<T> *n = head;
while(n->key < key) {n = n->next;}
return n->key == key && !n->marked;
}
// Exception handling
catch (exception &e) {
cerr << "Error during contain: " << item << std::endl;
cerr << "Standard exception: " << e.what() << endl;
return false;
} catch (...) {
cerr << "Error during contain: " << item << std::endl;
return false;
}
}
/**
* @brief Function which returns a window, where the key is of the first element is smaller than the key of the item,
* and the second key bigger or equal.
*
* @param[in] item item, from which the key is calculated to search the window
* @param[out] benchMark a struct, which stores information for benchmarking
*/
template <class T> Window_t<nodeLazy<T>> Lazy<T>::find(T item, sub_benchMark_t *benchMark) {
nodeLazy<T> *pred, *curr;
std::chrono::_V2::system_clock::time_point resetTime;
bool reset=false;
int32_t key = key_calc(item);
while (true) {
pred = head;
curr = pred->next;
while (curr->key < key)
{
pred = curr;
curr = curr->next;
}
if(reset==true){
auto finishTime = chrono::high_resolution_clock::now();
chrono::duration<double> elapsed = finishTime - resetTime;
uint32_t mus = chrono::duration_cast<chrono::microseconds>(elapsed).count();
benchMark->lostTime+=mus;
reset=false;
}
Window_t<nodeLazy<T>> w{pred, curr};
lock(w);
assert(w.pred->key <= key);
assert(w.curr->key >= key);
if (validate(w) == true) {
return w;
} else { // not reachable
unlock(w);
benchMark->goToStart+=1;
resetTime = chrono::high_resolution_clock::now();
reset=true;
}
}
}
/**
* @brief Function which checks if the window w is still reachable from the head
*
* @param[in] w window, which includes two nodes
* @return true, if both nodes are still reachable from the head, otherwise false
*/
template <class T> bool Lazy<T>::validate(Window_t<nodeLazy<T>> w) {
return !w.pred->marked && !w.curr->marked && w.pred->next == w.curr;
}
/**
* @brief Function locks the window
*
* @param[in] w window, which includes two nodes
*/
template <class T> void Lazy<T>::lock(Window_t<nodeLazy<T>> w) {
w.pred->lock();
w.curr->lock();
}
/**
* @brief Function unlock the window
*
* @param[in] w window, which includes two nodes
*/
template <class T> void Lazy<T>::unlock(Window_t<nodeLazy<T>> w) {
w.pred->unlock();
w.curr->unlock();
}
template class Lazy<int>;