-
Notifications
You must be signed in to change notification settings - Fork 0
/
k-memrange.hh
194 lines (174 loc) · 5.31 KB
/
k-memrange.hh
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
#ifndef CHICKADEE_K_MEMRANGE_HH
#define CHICKADEE_K_MEMRANGE_HH
#include "types.h"
template <unsigned maxsize> class memrangeset;
// `memrangeset` stores type information for a range of memory addresses.
// Chickadee uses it to remember which physical addresses are reserved or
// occupied by the kernel.
class memrange {
public:
inline int type() const; // type of range
inline uintptr_t first() const; // first address in range
inline uintptr_t last() const; // one past last address in range
private:
uintptr_t addr_;
int type_;
template <unsigned maxsize> friend class memrangeset;
};
template <unsigned maxsize>
class memrangeset {
public:
// initialize range mapping [0, `limit`) to type 0
inline memrangeset(uintptr_t limit);
// return `limit`
inline uintptr_t limit() const;
// return number of ranges
inline unsigned size() const;
// return pointer to first range
inline const memrange* begin() const;
// return pointer to range bound
inline const memrange* end() const;
// return range containing `addr`, or `end()`
const memrange* find(uintptr_t addr) const;
// return type for `addr`. Requires `0 <= addr < limit()`
int type(uintptr_t addr) const;
// set type of address range [`first`, `last`) to `type`.
// Requires `0 <= first <= last <= limit()`. Returns true iff
// assignment succeeded.
bool set(uintptr_t first, uintptr_t last, int type);
// print contents to log
void log_print(const char* prefix = "") const;
// validate correctness of data structure
void validate() const;
private:
unsigned n_;
memrange r_[maxsize + 1];
void split(unsigned i, uintptr_t addr);
};
inline int memrange::type() const {
return type_;
}
inline uintptr_t memrange::first() const {
return addr_;
}
inline uintptr_t memrange::last() const {
return this[1].addr_;
}
template <unsigned maxsize>
inline memrangeset<maxsize>::memrangeset(uintptr_t limit)
: n_(1) {
r_[0].addr_ = 0;
r_[0].type_ = 0;
r_[1].addr_ = limit;
}
template <unsigned maxsize>
inline uintptr_t memrangeset<maxsize>::limit() const {
return r_[n_].addr_;
}
template <unsigned maxsize>
inline unsigned memrangeset<maxsize>::size() const {
return n_;
}
template <unsigned maxsize>
inline const memrange* memrangeset<maxsize>::begin() const {
return &r_[0];
}
template <unsigned maxsize>
inline const memrange* memrangeset<maxsize>::end() const {
return &r_[n_];
}
template <unsigned maxsize>
inline const memrange* memrangeset<maxsize>::find(uintptr_t addr) const {
unsigned i = 0;
while (i < n_ && addr >= r_[i + 1].addr_) {
++i;
}
return &r_[i];
}
template <unsigned maxsize>
inline int memrangeset<maxsize>::type(uintptr_t addr) const {
auto r = find(addr);
assert(r != end());
return r->type();
}
template <unsigned maxsize>
void memrangeset<maxsize>::split(unsigned i, uintptr_t addr) {
assert(i < n_ && n_ + 1 <= maxsize);
assert(r_[i].addr_ < addr && r_[i + 1].addr_ > addr);
memmove(&r_[i + 2], &r_[i + 1], (n_ - i) * sizeof(memrange));
r_[i + 1].addr_ = addr;
r_[i + 1].type_ = r_[i].type_;
++n_;
}
template <unsigned maxsize>
bool memrangeset<maxsize>::set(uintptr_t first, uintptr_t last, int type) {
assert(first <= last && last <= r_[n_].addr_);
if (first == last) {
return true;
}
// find lower bound of insertion position for range
unsigned i = 0;
while (first >= r_[i + 1].addr_) {
++i;
}
assert(i < n_ && first >= r_[i].addr_ && first < r_[i + 1].addr_);
// try consolidating range
if (first == r_[i].addr_ && i > 0 && r_[i - 1].type_ == type) {
--i;
}
if (r_[i].type_ == type) {
first = r_[i].addr_;
}
// find upper bound of insertion position for range
unsigned j = i;
while (j < n_ && last >= r_[j + 1].addr_) {
++j;
}
assert(j <= n_ && last >= r_[j].addr_
&& (j == n_ || last < r_[j + 1].addr_));
if (j < n_ && r_[j].type_ == type) {
++j;
last = r_[j].addr_;
} else if (j > i && first == r_[i].addr_) {
r_[j].addr_ = last;
}
// split range at left and right
if (n_ + (first != r_[i].addr_) + (last != r_[j].addr_) > maxsize) {
return false;
}
if (first != r_[i].addr_) {
split(i, first);
++i;
++j;
}
if (last != r_[j].addr_) {
split(j, last);
++j;
}
// assign new range
assert(r_[i].addr_ == first && r_[j].addr_ == last);
r_[i].type_ = type;
if (i + 1 < j) {
memmove(&r_[i + 1], &r_[j], (n_ + 1 - j) * sizeof(memrange));
n_ -= j - (i + 1);
}
return true;
}
template <unsigned maxsize>
void memrangeset<maxsize>::validate() const {
assert(n_ > 0 && n_ <= maxsize);
assert(r_[0].addr_ == 0);
for (unsigned i = 0; i < n_; ++i) {
assert(r_[i].addr_ < r_[i + 1].addr_);
assert(i == 0 || r_[i].type_ != r_[i - 1].type_);
}
}
template <unsigned maxsize>
void memrangeset<maxsize>::log_print(const char* prefix) const {
void log_printf(const char* format, ...) __attribute__((noinline));
for (unsigned i = 0; i < n_; ++i) {
log_printf("%s[%u]: [%p,%p)=%d\n",
prefix, i, r_[i].first(), r_[i].last(), r_[i].type());
}
}
#endif