mgijsberti / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 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