Add handler for running out of space on disk

SSoelvsten / adiar

An I/O-efficient implementation of (Binary) Decision Diagrams

https://ssoelvsten.github.io/adiar/

MIT License

24 stars 13 forks source link

Open SSoelvsten opened 3 years ago

SSoelvsten commented 3 years ago

TPIE handles possible errors by throwing exceptions, In the case of running out of space on the disk, we... )(depending on the exec_policy)

[ ] Rethrow it as an adiar::out_of_space_exception (which is just an alias for TPIE's exception to not create a breaking change?).
[ ] Return a null_ptr Decision Diagram (similar to CUDD) to silently propagate the error.
[ ] Pause and wait for the user (to allow investigating the machine's state).

SSoelvsten commented 9 months ago

In practice, this is more complicated. TPIE can throw two or three different exceptions when running out of disk space.