adiar icon indicating copy to clipboard operation
adiar copied to clipboard

Use TPIE allocation inside of 'std::shared_pointer'

Open SSoelvsten opened this issue 3 years ago • 1 comments

Currently, all structs and files constructed with Adiar are not counted as part of the memory usage inside of TPIE. That is not a big problem, as they take up so little space, but we should attempt to be better at counting the real memory usage of ours.

We may want to look into whether we can use tpie_new and tpie_delete. In TPIE they already provide a wrapper for the unique pointer with make_unique where the tpie_delete is already automatically added with tpie_deleter. We should be able to repeat the same for a shared pointer.

In fact, if we can get it to work, then we might as well create a Pull Request to TPIE too.

SSoelvsten avatar Dec 01 '21 08:12 SSoelvsten

Other BDD packages like Sylvan only counts the memory usage of the unique node table and the memoisation tables; yet, LACE also takes up space and it has a few other things too. That is, our current way of accounting for memory is akin to Sylvan's.

SSoelvsten avatar Sep 11 '23 15:09 SSoelvsten