65 lines
1.6 KiB
Markdown
65 lines
1.6 KiB
Markdown
---
|
||
date: 2024-09-22 21:15
|
||
---
|
||
|
||
Reference Countにする場合、Dropをどう実装するか
|
||
|
||
drop_array()、drop_closure()をプリミティブ命令として用意する？
|
||
|
||
プリミティブな値の配列ならそのまま開放してよし、オブジェクトを含む（配列の配列とか、クロージャの配列）なら再帰的にdropする必要あり
|
||
|
||
drop命令をどのタイミングで挿入するか
|
||
mirgenでletの生存期間を調べるしかない
|
||
bindsでArgumentの区別はされてるから、環境参照してArgument以外を全部dropする、みたいな感じでええのか
|
||
|
||
```rust
|
||
|
||
enum UpvalueKind{
|
||
Open{base_ptr:u64,offset:u64},
|
||
Closed(ObjectIdx)
|
||
}
|
||
struct Upvalue{
|
||
data:UpvalueKind,
|
||
ty: ObjType,
|
||
}
|
||
|
||
type SharedUpValue = Rc<RefCell<Upvalue>>
|
||
struct Closure{
|
||
pub fnproto_i: u64,
|
||
pub base_ptr: u64, //base pointer to current closure, to calculate open upvalue
|
||
pub is_closed: bool,
|
||
pub upvalues: Vec<SharedUpValue>,
|
||
pub state_storage:StateStorage,
|
||
}
|
||
struct Array{
|
||
pub d_size:TypeSize,
|
||
pub raw_data: Vec<RawVal>,
|
||
}
|
||
union HeapObject{
|
||
clousre: Closure,
|
||
array: Array,
|
||
primitive: Vec<RawVal>,
|
||
}
|
||
struct RcObject{
|
||
refcount:u64,
|
||
data: HeapObject
|
||
}
|
||
type = ObjectStorage=SlotMap<DefaultKey, RcObject>;
|
||
type = ObjectIdx = DefaultKey;
|
||
|
||
impl Machine{
|
||
...
|
||
fn drop_closure(&mut self, objectid:ObjectIdx){
|
||
let obj = self.get_object_mut(objectid);
|
||
obj.refcount-=1;
|
||
if obj.refcount==0{
|
||
let cls = unsafe{ &obj.data.closure };
|
||
cls.upvalue.iter().for_each(|upv|{
|
||
upv
|
||
})
|
||
self.object_storage.remove(objectid)
|
||
}
|
||
}
|
||
}
|
||
|
||
``` |