content/mimiumの配列のGC.md

@@ -1,65 +0,0 @@
----
-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)
-	}
-  }
-}
-
-```