search

fritzo / pomagma

An inference engine for extensional untyped λ-calculus
Other
17 stars 2 forks source link

pomagma explore dies with "OSError: Too many open files" #41

Open fritzo opened 9 years ago

fritzo commented 9 years ago 
$ pomagma explore skja
...
Cartographer 2678064k Replacing region queue
Cartographer 2678064k Filling region queue
removed 6 files from /home/fritz/fritzo/pomagma/data/blob
validating 2130 blobs
Cartographer 2678088k Inferring neg
removed 17 files from /home/fritz/fritzo/pomagma/data/blob
validating 2115 blobs
# cd /home/fritz/fritzo/pomagma

Traceback (most recent call last):
  File "/usr/lib/python2.7/runpy.py", line 162, in _run_module_as_main
    "__main__", fname, loader, pkg_name)
  File "/usr/lib/python2.7/runpy.py", line 72, in _run_code
    exec code in run_globals
  File "/home/fritz/fritzo/pomagma/src/workers.py", line 359, in 
    parsable()
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 185, in __call__
    self.dispatch(fun_or_argv)
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 178, in dispatch
    dispatch(argv)
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 126, in dispatch
    parser(*args, **kwargs)
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 63, in parser
    fun(*typed_args, **typed_kwargs)
  File "/home/fritz/fritzo/pomagma/src/workers.py", line 312, in cartographer_work
    if not worker.try_work():
  File "/home/fritz/fritzo/pomagma/src/workers.py", line 177, in try_work
    self.try_normalize() or
  File "/home/fritz/fritzo/pomagma/src/workers.py", line 198, in try_normalize
    self.replace_region_queue()
  File "/home/fritz/fritzo/pomagma/src/workers.py", line 248, in replace_region_queue
    self.log('Replacing region queue')
  File "/home/fritz/fritzo/pomagma/src/workers.py", line 162, in log
    rss = pomagma.util.get_rss(self.server.pid)
  File "pomagma/util/__init__.py", line 88, in get_rss
    return int(subprocess.check_output(['ps', '-o', 'rss=', str(pid)]))
  File "/usr/lib/python2.7/subprocess.py", line 566, in check_output
    process = Popen(stdout=PIPE, *popenargs, **kwargs)
  File "/usr/lib/python2.7/subprocess.py", line 710, in __init__
    errread, errwrite)
  File "/usr/lib/python2.7/subprocess.py", line 1215, in _execute_child
    errpipe_read, errpipe_write = self.pipe_cloexec()
  File "/usr/lib/python2.7/subprocess.py", line 1167, in pipe_cloexec
    r, w = os.pipe()
OSError: [Errno 24] Too many open files
Traceback (most recent call last):
  File "/usr/lib/python2.7/runpy.py", line 162, in _run_module_as_main
    "__main__", fname, loader, pkg_name)
  File "/usr/lib/python2.7/runpy.py", line 72, in _run_code
    exec code in run_globals
  File "/home/fritz/fritzo/pomagma/src/__main__.py", line 399, in 
    parsable()
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 185, in __call__
    self.dispatch(fun_or_argv)
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 178, in dispatch
    dispatch(argv)
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 126, in dispatch
    parser(*args, **kwargs)
  File "/home/fritz/.virtualenvs/pomagma/local/lib/python2.7/site-packages/parsable.py", line 63, in parser
    fun(*typed_args, **typed_kwargs)
  File "/home/fritz/fritzo/pomagma/src/__main__.py", line 145, in explore
    worker.wait()
  File "pomagma/workers.py", line 40, in wait
    ' '.join(self.args)])
AssertionError: forked command failed with exit code 1
/home/fritz/.virtualenvs/pomagma/bin/python -m pomagma.workers cartographer_work skja 16383 4