Module Rpc_parallel.Parallel_managed

This module is primarily meant for backwards compatibility with code that used earlier versions of Rpc_parallel. Please consider using the Parallel.Make() functor instead as the semantics are more transparent and intuitive.

This functor keeps cached connections to workers and dispatches on these connections. The semantics of reconnect are not currently well-defined. If you expect connections to drop or want multiple connections to the same worker, using Parallel.Make() is probably the better choice. If you are only holding one connection to each spawned worker, using this functor might require less code.