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

Gliffy Diagrams

Activity

Show:

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

Integrated in

ProB_Tests_Linux_No_Parallel #17

Result = SUCCESS

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

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