Maintain hashes on master only
Description
We want an option to control whether every worker has its own hashmap or has to request the hash status from the master.
Environment
None
Activity
Show:
Jenkins Build Server
January 24, 2013, 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
Philipp Koerner
January 30, 2013, 9:53 AM
Works, but is slow.
Jenkins Build Server
January 30, 2013, 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
Jenkins Build Server
January 30, 2013, 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
February 14, 2013, 1:42 PM
