Maintain hashes on master only
Description
Environment
None
Gliffy Diagrams
Activity
Show:

Jenkins Build Server February 14, 2013 at 1:42 PM

Jenkins Build Server January 30, 2013 at 1:29 PM
Integrated in
ProB_TclTk_Windows #146
(Revision 12904)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/worker.c

Jenkins Build Server January 30, 2013 at 11:06 AM
Integrated in
ProB_TclTk_Linux #5400
(Revision 12904)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/worker.c

Philipp Koerner January 30, 2013 at 9:53 AM
Works, but is slow.

Jenkins Build Server January 24, 2013 at 7:53 PM
Integrated in
ProB_TclTk_Windows #141
(Revision 12875)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/worker.c
Fixed
Details
Details
Assignee

Reporter

Priority
Created January 22, 2013 at 12:45 PM
Updated February 14, 2013 at 1:42 PM
Resolved January 30, 2013 at 9:53 AM
We want an option to control whether every worker has its own hashmap or has to request the hash status from the master.