pr47 0.1.4-CHARLIE

A semi-experimental programming language. Still working in progress.
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

pub mod default_alloc;
pub mod no_gc_alloc;

use xjbutil::flex::FlexArray;

use crate::data::Value;
use crate::vm::al31f::stack::Stack;

pub type AllocPin = FlexArray<bool, Value>;

/// Abstract memory manager of `AL31F` engine
pub trait Alloc: 'static + Send + Sync {
    /// Add one stack to `Alloc` management
    unsafe fn add_stack(&mut self, stack: *const Stack);

    /// Remove one stack from `Alloc` management
    unsafe fn remove_stack(&mut self, stack: *const Stack);

    /// Make the object denoted by `data` pointer managed
    unsafe fn add_managed(&mut self, data: Value);

    /// Mark the object denoted by `data` as useful when it gets added into some container. This
    /// method is used by tri-color GC.
    unsafe fn mark_object(&mut self, data: Value);

    /// Pin the object denoted by `data` pointer, thus it is scanned every turn. This effect
    /// lasts until the `non_flex` part of `AllocPin` is cleared.
    ///
    /// This "pin" is irrelevant with `std::pin`.
    unsafe fn pin_objects(&mut self, pinned: &[Value]) -> *mut bool;

    /// Perform garbage collection
    unsafe fn collect(&mut self);

    /// Allow or disallow garbage collection
    fn set_gc_allowed(&mut self, allowed: bool);
}