]> gitweb.factorcode.org Git - factor.git/blob - vm/mark_bits.hpp
VM: Remove redundant #ifdef FACTOR_DEBUGs
[factor.git] / vm / mark_bits.hpp
1 namespace factor {
2
3 const int mark_bits_granularity = sizeof(cell) * 8;
4 const int mark_bits_mask = sizeof(cell) * 8 - 1;
5
6 template <typename Block> struct mark_bits {
7   cell size;
8   cell start;
9   cell bits_size;
10   cell* marked;
11   cell* forwarding;
12
13   void clear_mark_bits() { memset(marked, 0, bits_size * sizeof(cell)); }
14
15   void clear_forwarding() { memset(forwarding, 0, bits_size * sizeof(cell)); }
16
17   mark_bits(cell size, cell start)
18       : size(size),
19         start(start),
20         bits_size(size / data_alignment / mark_bits_granularity),
21         marked(new cell[bits_size]),
22         forwarding(new cell[bits_size]) {
23     clear_mark_bits();
24     clear_forwarding();
25   }
26
27   ~mark_bits() {
28     delete[] marked;
29     marked = NULL;
30     delete[] forwarding;
31     forwarding = NULL;
32   }
33
34   cell block_line(const Block* address) {
35     return (((cell) address - start) / data_alignment);
36   }
37
38   Block* line_block(cell line) {
39     return (Block*)(line * data_alignment + start);
40   }
41
42   std::pair<cell, cell> bitmap_deref(const Block* address) {
43     cell line_number = block_line(address);
44     cell word_index = (line_number / mark_bits_granularity);
45     cell word_shift = (line_number & mark_bits_mask);
46     return std::make_pair(word_index, word_shift);
47   }
48
49   bool bitmap_elt(cell* bits, const Block* address) {
50     std::pair<cell, cell> position = bitmap_deref(address);
51     return (bits[position.first] & ((cell) 1 << position.second)) != 0;
52   }
53
54   Block* next_block_after(const Block* block) {
55     return (Block*)((cell) block + block->size());
56   }
57
58   void set_bitmap_range(cell* bits, const Block* address) {
59     std::pair<cell, cell> start = bitmap_deref(address);
60     std::pair<cell, cell> end = bitmap_deref(next_block_after(address));
61
62     cell start_mask = ((cell) 1 << start.second) - 1;
63     cell end_mask = ((cell) 1 << end.second) - 1;
64
65     if (start.first == end.first)
66       bits[start.first] |= start_mask ^ end_mask;
67     else {
68       FACTOR_ASSERT(start.first < bits_size);
69       bits[start.first] |= ~start_mask;
70
71       for (cell index = start.first + 1; index < end.first; index++)
72         bits[index] = (cell) - 1;
73
74       if (end_mask != 0) {
75         FACTOR_ASSERT(end.first < bits_size);
76         bits[end.first] |= end_mask;
77       }
78     }
79   }
80
81   bool marked_p(const Block* address) { return bitmap_elt(marked, address); }
82
83   void set_marked_p(const Block* address) { set_bitmap_range(marked, address); }
84
85   /* The eventual destination of a block after compaction is just the number
86      of marked blocks before it. Live blocks must be marked on entry. */
87   void compute_forwarding() {
88     cell accum = 0;
89     for (cell index = 0; index < bits_size; index++) {
90       forwarding[index] = accum;
91       accum += popcount(marked[index]);
92     }
93   }
94
95   /* We have the popcount for every mark_bits_granularity entries; look
96      up and compute the rest */
97   Block* forward_block(const Block* original) {
98     FACTOR_ASSERT(marked_p(original));
99     std::pair<cell, cell> position = bitmap_deref(original);
100     cell offset = (cell) original & (data_alignment - 1);
101
102     cell approx_popcount = forwarding[position.first];
103     cell mask = ((cell) 1 << position.second) - 1;
104
105     cell new_line_number =
106         approx_popcount + popcount(marked[position.first] & mask);
107     Block* new_block = (Block*)((char*)line_block(new_line_number) + offset);
108     FACTOR_ASSERT(new_block <= original);
109     return new_block;
110   }
111
112   Block* next_unmarked_block_after(const Block* original) {
113     std::pair<cell, cell> position = bitmap_deref(original);
114     cell bit_index = position.second;
115
116     for (cell index = position.first; index < bits_size; index++) {
117       cell mask = ((fixnum) marked[index] >> bit_index);
118       if (~mask) {
119         /* Found an unmarked block on this page. Stop, it's hammer time */
120         cell clear_bit = rightmost_clear_bit(mask);
121         return line_block(index * mark_bits_granularity + bit_index +
122                           clear_bit);
123       } else {
124         /* No unmarked blocks on this page. Keep looking */
125         bit_index = 0;
126       }
127     }
128
129     /* No unmarked blocks were found */
130     return (Block*)(this->start + this->size);
131   }
132
133   Block* next_marked_block_after(const Block* original) {
134     std::pair<cell, cell> position = bitmap_deref(original);
135     cell bit_index = position.second;
136
137     for (cell index = position.first; index < bits_size; index++) {
138       cell mask = (marked[index] >> bit_index);
139       if (mask) {
140         /* Found an marked block on this page. Stop, it's hammer time */
141         cell set_bit = rightmost_set_bit(mask);
142         return line_block(index * mark_bits_granularity + bit_index + set_bit);
143       } else {
144         /* No marked blocks on this page. Keep looking */
145         bit_index = 0;
146       }
147     }
148
149     /* No marked blocks were found */
150     return (Block*)(this->start + this->size);
151   }
152
153   cell unmarked_block_size(Block* original) {
154     Block* next_marked = next_marked_block_after(original);
155     return ((char*)next_marked - (char*)original);
156   }
157 };
158
159 }