mmtk 0.32.0

MMTk is a framework for the design and implementation of high-performance and portable memory managers.
Documentation 
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

// GITHUB-CI: MMTK_PLAN=all

use crate::memory_manager;
use crate::util::alloc::AllocatorInfo;
use crate::util::options::PlanSelector;
use crate::util::test_util::fixtures::*;
use crate::util::test_util::mock_vm::*;
use crate::AllocationSemantics;

#[test]
pub fn test_allocator_info() {
    with_mockvm(
        default_setup,
        || {
            let fixture = MMTKFixture::create();

            let selector = memory_manager::get_allocator_mapping(
                fixture.get_mmtk(),
                AllocationSemantics::Default,
            );
            let base_offset = crate::plan::Mutator::<MockVM>::get_allocator_base_offset(selector);
            let allocator_info = AllocatorInfo::new::<MockVM>(selector);

            match *fixture.get_mmtk().get_options().plan {
                PlanSelector::NoGC
                | PlanSelector::Immix
                | PlanSelector::SemiSpace
                | PlanSelector::GenCopy
                | PlanSelector::GenImmix
                | PlanSelector::MarkCompact
                | PlanSelector::Compressor
                | PlanSelector::ConcurrentImmix
                | PlanSelector::StickyImmix => {
                    // These plans all use bump pointer allocator.
                    let AllocatorInfo::BumpPointer {
                        bump_pointer_offset,
                    } = allocator_info
                    else {
                        panic!("Expected AllocatorInfo for a bump pointer allocator");
                    };
                    // In all of those plans, the first field at base offset is tls, and the second field is the BumpPointer struct.
                    assert_eq!(
                        base_offset + crate::util::constants::BYTES_IN_ADDRESS,
                        bump_pointer_offset
                    );
                }
                PlanSelector::MarkSweep => {
                    if cfg!(feature = "malloc_mark_sweep") {
                        // We provide no info for a malloc allocator
                        assert!(matches!(allocator_info, AllocatorInfo::None))
                    } else {
                        // We haven't implemented for a free list allocator
                        assert!(matches!(allocator_info, AllocatorInfo::Unimplemented))
                    }
                }
                // We provide no info for a large object allocator
                PlanSelector::PageProtect => assert!(matches!(allocator_info, AllocatorInfo::None)),
            }
        },
        no_cleanup,
    )
}