We are currently evaluating Linux machines here and we have problems, when
CUDD (the BDD library under VIS) is allocating more than about 1GB (in total).
The malloc returns a NULL pointer although the machines are all equiped with 2
GB RAM.
Thus is anybody using VIS with the CUDD backend successfully under Linux with
problems requiring significantly more than 1GB of RAM?
We are working with Linux companies on the problem (so it is probably no
trivial problem like wrong kernel configuration), but I am just curious if
there is somewhere a working setup.
Thank you.
Rainer.
-- Rainer Dorsch Abt. Rechnerarchitektur e-mail:rainer.dorsch@informatik.uni-stuttgart.de Uni Stuttgart Tel.: +49-711-7816-215 / Fax: +49-711-7816-288 Breitwiesenstr. 20-22 D-70565 Stuttgart
This archive was generated by hypermail 2b29 : Tue Sep 12 2000 - 09:34:21 MDT