Implement a max queue size, if the queue becomes larger save sucessor states to disk. Maybe report sum of internal and external states to master or (better) a tuple of values.
Implement a new termination cycle that instructs the workers to externalize new states when maxstates reached (in queue) and collect them on termination.
Integrated in
ProB_TclTk_Windows #148
fixes and works on (Revision 12910)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/external.c
/trunk/prolog/extensions/zmq/external.h
/trunk/prolog/extensions/zmq/worker.c
Integrated in
ProB_TclTk_Linux #5410
(Revision 12920)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/external.c
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/queue.c
/trunk/prolog/extensions/zmq/queue.h
/trunk/prolog/extensions/zmq/worker.c
Integrated in
ProB_TclTk_Windows #150
(Revision 12920)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/external.c
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/queue.c
/trunk/prolog/extensions/zmq/queue.h
/trunk/prolog/extensions/zmq/worker.c
This already is implemented. Also, model checking is durable now anyway.