package hack_parallel

You can search for identifiers within the package.

in-package search v0.2.0

Parallel and shared memory library

Install

Dune Dependency

github.com Readme Edit opam file Versions (3)

Authors

F

Facebook. Modifications by Rijnard van Tonder

Maintainers

R

Rijnard van Tonder <rvantonder@gmail.com>

Sources

1.0.0.tar.gz

sha256=4ebcdd0c0b23735228d13bbf401799174771a747a5aeb4f35b64dcfc68079e29

md5=26aff6c969020c1d2f588c574dc7d08a

doc/hack_parallel.procs/Worker/index.html

Module `Worker`

* Copyright (c) 2015, Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD-style license found in the * LICENSE file in the "hack" directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. *

exception Worker_exited_abnormally of int * Unix.process_status

exception Worker_oomed

Worker killed by Out Of Memory.

exception Worker_busy

Raise this exception when sending work to a worker that is already busy. * We should never be doing that, and this is an assertion error.

exception Worker_killed

Raise this exception when sending work to a worker that is already killed. * We should never be doing that, and this is an assertion error.

type send_job_failure =

| Worker_already_exited of Unix.process_status
| Other_send_job_failure of exn

exception Worker_failed_to_send_job of send_job_failure

type t

type 'a handle

type 'a entry

val register_entry_point : restore:('a -> unit) -> 'a entry

val make : 
  saved_state:'a ->
  entry:'a entry ->
  nbr_procs:int ->
  gc_control:Gc.control ->
  heap_handle:SharedMem.handle ->
  t list

Creates a pool of workers.

val call : t -> ('a -> 'b) -> 'a -> 'b handle

val get_result : 'a handle -> 'a

type 'a selected = {

readys : 'a handle list;
waiters : 'a handle list;

}

val select : 'a handle list -> 'a selected

val get_worker : 'a handle -> t

val killall : unit -> unit

val current_worker_id : unit -> int