Open SSoelvsten opened 1 month ago
We may as well set this up to be the basis for our own file_manager (for #199 , #679 , #678 , and so on). In fact, we may want to flip the problem on its head - leave TPIE to place unnamed temporary files (sorter, priority queue, and arc-based results) in its temporary folder while we create a second temporary folder for all of Adiar's temporary BDDs and ZDDs.
Tasks
On the Grendel cluster, we have created a head-ache for the sysadmins by creating 175.000 concurrent files in the temporary folder (presumably model checking a system of about 20.000+ transitions). We ought to change (sub)directory every 10.000 files.
Tasks
0
,1
,2
, ... in the giventmp_path
.