SSoelvsten / adiar

An I/O-efficient implementation of (Binary) Decision Diagrams
https://ssoelvsten.github.io/adiar/
MIT License
24 stars 13 forks source link

Memory usage of Reduce could be B larger than desired. #244

Closed SSoelvsten closed 2 years ago

SSoelvsten commented 2 years ago

The memory consumption of the two external_sorters in adiar/internal/reduce.h does not take the size of the tpie::file_stream<mapping> red1_mapping into account.

SSoelvsten commented 2 years ago

@AnnaBlume99 Did some experiments on the tpie::file_stream<T> (not using tpie::temp_file) and figured out that the memory usage (after writing one or more elements) is 8 bytes + B

SSoelvsten commented 2 years ago

I forgot to branch before pushing.