blob: 6ded950eb12d72a828901f558c39e4b3d0ffffa9 (
plain)
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
|
#include <stdint.h>
#include <string.h>
#include <stdlib.h>
#include <assert.h>
#ifndef PAGE_SIZE
#define PAGE_SIZE 4096
#endif
struct Page {
uint8_t *elements;
Page *next;
Page *prev;
uint16_t gap_start;
uint16_t gap_end;
uint16_t element_count;
Page() {
elements = new uint8_t[PAGE_SIZE];
gap_start = 0;
gap_end = PAGE_SIZE;
element_count = 0;
next = nullptr;
prev = nullptr;
}
~Page() {
if (prev) prev->next = next;
if (next) next->prev = prev;
delete[] elements;
}
void split() {
Page *front = new Page();
memcpy(front->elements, elements + PAGE_SIZE / 2, PAGE_SIZE / 2);
front->gap_start = PAGE_SIZE / 2;
front->gap_end = PAGE_SIZE;
front->element_count = PAGE_SIZE / 2;
gap_start = PAGE_SIZE / 2;
gap_end = PAGE_SIZE;
element_count = PAGE_SIZE / 2;
if (next) {
next->prev = front;
}
front->next = next;
front->prev = this;
next = front;
}
void copy_to(Page *dest) {
memcpy(dest->elements, elements, PAGE_SIZE);
dest->gap_start = gap_start;
dest->gap_end = gap_end;
dest->element_count = element_count;
}
void move_gap_forward() {
assert(gap_end < PAGE_SIZE);
elements[gap_start] = elements[gap_end];
gap_start++;
gap_end++;
}
void move_gap_backward() {
assert(gap_start > 0);
gap_end--;
gap_start--;
elements[gap_end] = elements[gap_start];
}
void push(uint8_t c) {
assert(element_count < PAGE_SIZE);
elements[gap_start] = c;
gap_start++;
element_count++;
}
void pop() {
assert(gap_start > 0);
gap_start--;
element_count--;
}
bool is_empty() {
return element_count == 0;
}
bool is_full() {
return gap_start == gap_end;
}
};
|