1use super::page::{Page, PageType, HEADER_SIZE, PAGE_SIZE};
30
31pub const FREE_IDS_PER_TRUNK: usize = (PAGE_SIZE - HEADER_SIZE - 8) / 4;
33
34const NEXT_TRUNK_OFFSET: usize = HEADER_SIZE;
36
37const COUNT_OFFSET: usize = HEADER_SIZE + 4;
39
40const PAGE_IDS_OFFSET: usize = HEADER_SIZE + 8;
42
43#[derive(Debug, Clone)]
45pub enum FreeListError {
46 Empty,
48 Corrupted(String),
50 InvalidTrunk(u32),
52}
53
54impl std::fmt::Display for FreeListError {
55 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
56 match self {
57 Self::Empty => write!(f, "Freelist is empty"),
58 Self::Corrupted(msg) => write!(f, "Freelist corrupted: {}", msg),
59 Self::InvalidTrunk(id) => write!(f, "Invalid trunk page: {}", id),
60 }
61 }
62}
63
64impl std::error::Error for FreeListError {}
65
66#[derive(Debug)]
71pub struct FreeList {
72 trunk_head: u32,
74 free_pages: Vec<u32>,
76 total_free: u32,
78 dirty: bool,
80}
81
82impl FreeList {
83 pub fn new() -> Self {
85 Self {
86 trunk_head: 0,
87 free_pages: Vec::new(),
88 total_free: 0,
89 dirty: false,
90 }
91 }
92
93 pub fn from_header(trunk_head: u32, total_free: u32) -> Self {
95 Self {
96 trunk_head,
97 free_pages: Vec::new(),
98 total_free,
99 dirty: false,
100 }
101 }
102
103 pub fn trunk_head(&self) -> u32 {
105 self.trunk_head
106 }
107
108 pub fn total_free(&self) -> u32 {
110 self.total_free
111 }
112
113 pub fn is_empty(&self) -> bool {
115 self.free_pages.is_empty() && self.trunk_head == 0
116 }
117
118 pub fn is_dirty(&self) -> bool {
120 self.dirty
121 }
122
123 pub fn mark_clean(&mut self) {
125 self.dirty = false;
126 }
127
128 pub fn allocate(&mut self) -> Option<u32> {
132 if let Some(page_id) = self.free_pages.pop() {
134 self.total_free = self.total_free.saturating_sub(1);
135 self.dirty = true;
136 return Some(page_id);
137 }
138
139 None
142 }
143
144 pub fn free(&mut self, page_id: u32) {
146 self.free_pages.push(page_id);
147 self.total_free += 1;
148 self.dirty = true;
149 }
150
151 pub fn free_batch(&mut self, page_ids: &[u32]) {
153 self.free_pages.extend_from_slice(page_ids);
154 self.total_free += page_ids.len() as u32;
155 self.dirty = true;
156 }
157
158 pub fn in_memory_count(&self) -> usize {
160 self.free_pages.len()
161 }
162
163 pub fn load_from_trunk(&mut self, trunk: &Page) -> Result<Option<u32>, FreeListError> {
165 if trunk
167 .page_type()
168 .map_err(|_| FreeListError::InvalidTrunk(trunk.page_id()))?
169 != PageType::FreelistTrunk
170 {
171 return Err(FreeListError::InvalidTrunk(trunk.page_id()));
172 }
173
174 let data = trunk.as_bytes();
175
176 let next_trunk = u32::from_le_bytes([
178 data[NEXT_TRUNK_OFFSET],
179 data[NEXT_TRUNK_OFFSET + 1],
180 data[NEXT_TRUNK_OFFSET + 2],
181 data[NEXT_TRUNK_OFFSET + 3],
182 ]);
183
184 let count = u32::from_le_bytes([
186 data[COUNT_OFFSET],
187 data[COUNT_OFFSET + 1],
188 data[COUNT_OFFSET + 2],
189 data[COUNT_OFFSET + 3],
190 ]) as usize;
191
192 if count > FREE_IDS_PER_TRUNK {
193 return Err(FreeListError::Corrupted(format!(
194 "Trunk has {} entries, max is {}",
195 count, FREE_IDS_PER_TRUNK
196 )));
197 }
198
199 self.free_pages.push(trunk.page_id());
200
201 for i in 0..count {
203 let offset = PAGE_IDS_OFFSET + i * 4;
204 let page_id = u32::from_le_bytes([
205 data[offset],
206 data[offset + 1],
207 data[offset + 2],
208 data[offset + 3],
209 ]);
210 self.free_pages.push(page_id);
211 }
212 self.total_free = self
215 .total_free
216 .saturating_add(1)
217 .max(self.free_pages.len() as u32);
218 self.dirty = true;
219
220 self.trunk_head = next_trunk;
222
223 Ok(if next_trunk != 0 {
224 Some(next_trunk)
225 } else {
226 None
227 })
228 }
229
230 pub fn create_trunk(&mut self, trunk_page_id: u32, next_trunk: u32) -> Page {
235 let mut trunk = Page::new(PageType::FreelistTrunk, trunk_page_id);
236 let data = trunk.as_bytes_mut();
237
238 data[NEXT_TRUNK_OFFSET..NEXT_TRUNK_OFFSET + 4].copy_from_slice(&next_trunk.to_le_bytes());
240
241 let count = self.free_pages.len().min(FREE_IDS_PER_TRUNK);
243
244 data[COUNT_OFFSET..COUNT_OFFSET + 4].copy_from_slice(&(count as u32).to_le_bytes());
246
247 for i in 0..count {
249 let page_id = self.free_pages.pop().unwrap();
250 let offset = PAGE_IDS_OFFSET + i * 4;
251 data[offset..offset + 4].copy_from_slice(&page_id.to_le_bytes());
252 }
253
254 trunk.update_checksum();
255 self.dirty = true;
256
257 trunk
258 }
259
260 pub fn flush_to_trunks(
265 &mut self,
266 threshold: usize,
267 mut allocate_page: impl FnMut() -> u32,
268 ) -> Vec<Page> {
269 let mut trunks = Vec::new();
270
271 while self.free_pages.len() > threshold {
272 let trunk_page_id = if let Some(id) = self.free_pages.pop() {
275 self.total_free = self.total_free.saturating_sub(1);
276 id
277 } else {
278 allocate_page()
279 };
280
281 let trunk = self.create_trunk(trunk_page_id, self.trunk_head);
283 self.trunk_head = trunk_page_id;
284
285 trunks.push(trunk);
286 }
287
288 trunks
289 }
290
291 pub fn merge_all_trunks(
295 &mut self,
296 load_page: impl Fn(u32) -> Option<Page>,
297 ) -> Result<Vec<u32>, FreeListError> {
298 let mut reclaimed_trunks = Vec::new();
299
300 while self.trunk_head != 0 {
301 let trunk_id = self.trunk_head;
302 let trunk = load_page(trunk_id).ok_or(FreeListError::InvalidTrunk(trunk_id))?;
303
304 self.load_from_trunk(&trunk)?;
305 reclaimed_trunks.push(trunk_id);
306 }
307
308 Ok(reclaimed_trunks)
309 }
310}
311
312impl Default for FreeList {
313 fn default() -> Self {
314 Self::new()
315 }
316}
317
318#[cfg(test)]
319mod tests {
320 use super::*;
321
322 #[test]
323 fn trunk_publication_does_not_extend_a_file_with_free_pages() {
324 let mut list = FreeList::new();
325 list.free_batch(&[100, 101, 102]);
326 let trunks = list.flush_to_trunks(0, || panic!("must reuse a free page"));
327 assert_eq!(trunks.len(), 1);
328 assert_eq!(trunks[0].page_id(), 102);
329 let mut loaded = FreeList::new();
330 loaded.load_from_trunk(&trunks[0]).expect("load trunk");
331 let mut pages = Vec::new();
332 while let Some(id) = loaded.allocate() {
333 pages.push(id);
334 }
335 pages.sort_unstable();
336 assert_eq!(pages, [100, 101, 102]);
337 }
338
339 #[test]
340 fn test_freelist_basic() {
341 let mut fl = FreeList::new();
342
343 assert!(fl.is_empty());
344 assert_eq!(fl.total_free(), 0);
345
346 fl.free(10);
348 fl.free(20);
349 fl.free(30);
350
351 assert!(!fl.is_empty());
352 assert_eq!(fl.total_free(), 3);
353
354 assert_eq!(fl.allocate(), Some(30));
356 assert_eq!(fl.allocate(), Some(20));
357 assert_eq!(fl.allocate(), Some(10));
358 assert_eq!(fl.allocate(), None);
359
360 assert!(fl.is_empty());
361 }
362
363 #[test]
364 fn test_freelist_batch() {
365 let mut fl = FreeList::new();
366
367 fl.free_batch(&[1, 2, 3, 4, 5]);
368 assert_eq!(fl.total_free(), 5);
369 assert_eq!(fl.in_memory_count(), 5);
370 }
371
372 #[test]
373 fn test_freelist_dirty() {
374 let mut fl = FreeList::new();
375
376 assert!(!fl.is_dirty());
377
378 fl.free(1);
379 assert!(fl.is_dirty());
380
381 fl.mark_clean();
382 assert!(!fl.is_dirty());
383
384 fl.allocate();
385 assert!(fl.is_dirty());
386 }
387
388 #[test]
389 fn test_trunk_page_creation() {
390 let mut fl = FreeList::new();
391
392 for i in 0..100 {
394 fl.free(i);
395 }
396
397 let trunk = fl.create_trunk(999, 0);
399
400 assert_eq!(trunk.page_type().unwrap(), PageType::FreelistTrunk);
401 assert_eq!(trunk.page_id(), 999);
402
403 assert!(fl.in_memory_count() < 100);
405 }
406
407 #[test]
408 fn test_trunk_page_load() {
409 let mut fl = FreeList::new();
410
411 for i in 0..50 {
413 fl.free(i);
414 }
415
416 let trunk = fl.create_trunk(999, 0);
417 let pages_in_trunk = 50 - fl.in_memory_count();
418
419 fl.free_pages.clear();
421
422 fl.load_from_trunk(&trunk).unwrap();
424
425 assert_eq!(fl.in_memory_count(), pages_in_trunk + 1);
426 }
427
428 #[test]
429 fn test_trunk_page_reuse() {
430 let mut original = FreeList::new();
431
432 for i in 0..8 {
433 original.free(i);
434 }
435
436 let trunk = original.create_trunk(999, 0);
437
438 let mut fl = FreeList::new();
439 fl.load_from_trunk(&trunk).unwrap();
440
441 let mut ids = Vec::new();
442 while let Some(id) = fl.allocate() {
443 ids.push(id);
444 }
445
446 assert!(ids.contains(&999));
447 }
448
449 #[test]
450 fn test_trunk_chain() {
451 let mut fl = FreeList::new();
452
453 for i in 0..2000 {
455 fl.free(i);
456 }
457
458 let mut next_trunk_id = 10000u32;
460 let trunks = fl.flush_to_trunks(100, || {
461 let id = next_trunk_id;
462 next_trunk_id += 1;
463 id
464 });
465
466 assert!(!trunks.is_empty());
467 assert!(fl.in_memory_count() <= 100);
468 }
469
470 #[test]
471 fn test_free_ids_per_trunk() {
472 assert_eq!(FREE_IDS_PER_TRUNK, 4086);
475 assert_eq!(FREE_IDS_PER_TRUNK, 4086);
476 }
477
478 #[test]
479 fn consuming_a_trunk_does_not_count_its_free_ids_twice() {
480 let mut list = FreeList::new();
481 list.free_batch(&[100, 101, 102, 103]);
482 let trunk = list.flush_to_trunks(0, || panic!("must reuse a free page"));
483 assert_eq!(trunk.len(), 1);
484 assert_eq!(list.total_free(), 3);
485 list.load_from_trunk(&trunk[0]).expect("load own trunk");
486 assert_eq!(
487 list.total_free(),
488 4,
489 "only the consumed trunk becomes newly free"
490 );
491 let ids: Vec<_> = std::iter::from_fn(|| list.allocate()).collect();
492 assert_eq!(ids.len(), 4);
493 assert_eq!(list.total_free(), 0);
494
495 let mut reopened = FreeList::from_header(trunk[0].page_id(), 0);
496 reopened
497 .load_from_trunk(&trunk[0])
498 .expect("learn reopened IDs");
499 assert_eq!(reopened.total_free(), 4);
500 }
501
502 #[test]
503 fn merging_trunks_counts_known_and_reopened_ids_once() {
504 for reopen in [false, true] {
505 let mut list = FreeList::new();
506 let ids: Vec<_> = (100..9100).collect();
507 list.free_batch(&ids);
508 let trunks = list.flush_to_trunks(0, || panic!("must reuse free pages"));
509 if reopen {
510 list = FreeList::from_header(list.trunk_head(), 0);
511 }
512 list.merge_all_trunks(|id| trunks.iter().find(|page| page.page_id() == id).cloned())
513 .expect("merge all trunks");
514 assert_eq!(list.total_free(), ids.len() as u32);
515 let allocated: std::collections::BTreeSet<_> =
516 std::iter::from_fn(|| list.allocate()).collect();
517 assert_eq!(allocated, ids.into_iter().collect());
518 assert_eq!(list.total_free(), 0);
519 }
520 }
521}