Index of values

Aborts the computation

Aborts computation and quits.

Pointwise parallel application.

Same thing as apply but with aa function of arity 2, 3 or 4.

applyat n f₁ f₂ v applies function f₁ at process n and f₂ otherwise

Returns the array of command-line arguments

Returns the arguments from command line with implementation-specific arguments removed.

bcast_totex_gen partition paste root v broadcasts the value at process root of parallel vector v.

Specialized versions for lists, arrays, strings and values of any type (but this general version implies the marshalling of values and then the use of bcast_totex_string.

bsml_print print_element pid element prints the value of element at process pid using the printer print_element

BSP parameter g of the parallel machine.

BSP parameter l of the parallel machine.

Number p of processes in the parallel machine.

BSP parameter r of the parallel machine.

Function composition.

filtermap p f l applies f to each element of l which satifies the predicate p

Performs implementation-dependent finalization.

from_to n1 n2 = [n1;n1+1;...;n2]

Get the current parameters.

returns a parallel vector which contains, at each processor, the time elapsed between the calls to start_timing and stop_timing.

The order of the elements of the result list is the same as the order of the process numbers in the argument list.

get <x₀,...,x_p-1> <i₀,...,i_p-1> evaluates to <x_{i_0},...,x_{i_p-1}>.

Identity function

Performs implementation-dependent initialization.

Tests whether a value is considered as an empty message.

Parallel vector creation.

Modulo

Returns the number of processors in the parallel machine

parfun f <x₀,...,x_(p-1)> = <f x₀,...,f x_(p-1)>

Same thing as parfun but with a function of arity 2, 3 or 4.

parprint print v print the parallel vector v using the printer print, one line per process, each line beginning with the number of the process.

Returns the processor ID of the host processor

procs is the list of the process numbers

projection (dual of mkpar).

Global communication.

Each process holds an association liste of pairs (dst,v) where dst is the number of the process of destination and v the value to send.

Each process holds a pair (dst,v) where dst is the number of the process of destination and v the value to send.

Reads the parameters from the configuration file.

replicate x gives a parallel vector with the value x on each process.

safe_proj <v,...,v> = v, raises the exception Unsafe_proj otherwise

If op is an associative operation, scan_direct op <v₀,...,v_p-1> = <s₀,...,s_p-1> where s_i=opv_k.

Computes the same result than scan_direct but with communication cost: _{i (log p)*2*n*g+l}.

scan_wide par_scan seq_scan last_element map op vv is used to compute a parallel scan over a parallel vector of collections of values.

Specialized version of scan_wide using scan_direct as parallel scan.

Specialized version of scan_wide using scan_logp as parallel scan.

Specialized version for lists, arrays and strings respectively.

Shifts the values from processes to processes.

this is the parallel vector such as each process hold its number

totex <v₀,...,v_p-1> evaluates to <f₀,...,f_p-1> such as (f_i j)=v_j.

within_bounds n is true is n is between 0 and p-1, false otherwise.

Returns the clock