Hi Stefan, This isn't really a solution to your problem, but by tuning 'ulimit' in linux, you can increase the maximum number of opened files ...
http://tldp.org/LDP/solrhe/Securing-Optimizing-Linux-RH-Edition-v1.3/x4733.html i've successfully run 'ls' for hours once i set something like 'ulimit -n 100000' Philip On Tue, Sep 15, 2009 at 7:06 AM, Stefan Bucur <stefan.bucur at epfl.ch> wrote: > Greetings, > > I was trying to run KLEE on the "ls" utility, and in a certain point > KLEE crashed with an output like: > > KLEE: WARNING: unable to write output test case, losing it > KLEE: WARNING: error opening: test3-000075.time > 0 klee 0x08961b48 > > I modified KLEE to give more details regarding the cause of the error, > and it turned out to be that the errno is EMFILE - > too many open files. I adapted KLEE to avoid crashing by redirecting > the output to stderr instead of dereferencing a NULL file object, and > I ran "lsof" on it, while executing after the first error occured. The > results: > > klee 10269 ubuntu 155r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 156r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 157r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 158r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 159r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 160r REG 8,1 729 377494 > /etc/group > klee 10269 ubuntu 161r DIR 8,1 4096 589827 > /home/ubuntu > [.... more similar results, with the home directory open many many times > ...] > > ubuntu at domU-12-31-39-04-26-31:~$ lsof | grep klee | wc -l > 439 > > I also noticed that while KLEE does not crash anymore, no subsequent > test files could be written after the initial failure moment. Do you > have any idea where should I look in the code to fix the problem? > > Thank you very much, > Stefan > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090915/8f3555d6/attachment.html
