search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
81 stars 25 forks source link

Rogue Processes Left During Parallel Model Checking #385

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Model checking processes may not be terminated when running model checking in 
parallel, leaving rogue processes.
When all currently running processes are supposedly terminated before model 
refinement, Java's ExecutorService does not always terminate McScM processes on 
thread interruption, leaving behind rogue processes with every model 
refinement, potentially freezing the system.
We need to modify the code so that model checking processes are destroyed when 
the thread is interrupted.

Original issue reported on code.google.com by bobyan...@gmail.com on 14 Aug 2014 at 11:43

GoogleCodeExporter commented 9 years ago

Original comment by bobyan...@gmail.com on 21 Aug 2014 at 2:12