[問題] Garbage collection

[eorlthexiv (伊歐)]

想請問一下清除_uniqueTable裡dead nodes的時機
應該是程式內部自己判斷(比方說cirbdd -all的中途?),還是說由使用者下指令來清除?
如果是後者,那不是每次清完都只剩下65個nodes了嗎
(64個supports+1個constant 1)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 220.137.69.81
推 ric2k1:嗯, 應該是你們自訂 new command (請說明).
→ ric2k1:至於 ref count, 比較合理的作法是 BddMgr 裏頭的
→ ric2k1:(上面那行寫錯, 更正如下行)
→ ric2k1:至於 ref count, 由於 BddMgr 裏頭的 _bddMap 與 _bddArr
→ ric2k1:存的是 size_t, 而非 BddNode, 所以 refCount 並沒有被加 1
→ ric2k1:這樣子 garbage collection 的確會 ignore these reference
→ ric2k1:當初 ref code 沒有想到... 現在來不及改了... 也許在你的
→ ric2k1:garbage collection command 裡面偷偷的宣告/copy一份local
→ ric2k1:BddNodes of _bddMap and _bddArr, garbage collection完
→ ric2k1:local BddNodes 消失後 refCount 就自動恢復回來了~~~
→ eorlthexiv:了解 謝謝教授
→ muxiv: 當初 ref code https://noxiv.com