作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] bddxxxcmd
时间Tue Jan 19 20:32:14 2010
首先，我觉得当 _refCount == 0 时不应该就将 BddNodeInt* delete 掉，
因为它还存在 Hash 跟 cache 里面。
当然你可以改变策略当 BddNodeInt* 被 delete 掉时就将它从 Hash 以及 Cache 抽掉
(其实不容易... 你可以想想看)
但是从 efficiency 的角度而言这样并不一定好，
因为很有可能虽然目前的 _refCount == 0，
但是它很可能还会被其他的 ite() cache 到或是 Hash 到。
一般而言，BDD 的 garbage collection 是等到有必要的时候才会被呼叫的，
像是当 memory usage too high 的时候，
这时候再将 cache 里面的 dead nodes 所对应的 Cache entries remove 掉，
再从 Hash 里面 go through 所有的 node 去 delete 掉 BddNodeInt*。
For more details, you can refer to the second reference paper, or
the last few lecture slides that we didn't cover.
※ 引述《dryman (dryman)》之铭言：
: testBdd中可以正确执行
: 结果在执行./bdd中发现bandcmd等会错误
: 看了一下程式码发现
: BAndCmd::exec(...)
: {
: ...
: BddNode ret = BddNode::_one;
: ...
: cout << ret << endl; // 检查-> 执行正确
: bddMgr -> forceAddBddNode(options[0], ret()); //加到_bddMap(string, size_t)
: return CMD_EXEC_DONE;
: }
: 然後ret就被呼叫destructor了(--refcount == 0)
: 连带的他原本指向的bddNodeInt也被delete......orz||||||
: 我原本设计是没人指到这个bddNodeInt就要delete它
: 不过看来我得让bddNodeInt留着（即使refcount == 0）
: 可是这样很有可能造成多个bddNodeInt变成无人问津的垃圾
: 因为本来就会有很多local variable 的 BddNode...
: 不delete不行啊
: 请问如何在不更改架构的情况下来解决这个问题？
: 如果_bddMap等里面存的是BddNode而非size_t就好了ˊˋ
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.224.41.91
1F：推 dryman:抽掉不容易..不过如果cache, hash里面新增东西就++refCount 01/19 21:08
2F：→ dryman:也是一种解决方式..更正cache用ref, hash要delete 01/19 21:08
3F：→ ric2k1:我还是觉得这样并不是很 engineering 的作法，garbage 01/19 21:46
4F：→ ric2k1:collection should not be called too often. It should be 01/19 21:47
5F：→ ric2k1:used as a last resort. 01/19 21:47
6F：推 a3785lexx:我也同意老师...虽然我没有作XD 但是如果太早砍掉 01/19 23:41
7F：→ a3785lexx:可能以後还会要用到的时候就用不到，就要花时间建他... 01/19 23:41