VIS and Linux

From: Rainer Dorsch (rainer@rai16.informatik.uni-stuttgart.de)
Date: Tue Sep 12 2000 - 09:32:43 MDT

  • Next message: Tom Bienmueller: "Re: Windows NT4.0"

    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