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

Integrated in

ProB_Tests_Linux_No_Parallel #17

Result = SUCCESS

Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major