Index of values

Reject computation; see java.util.concurrent.ThreadPoolExecutor.AbortPolicy.

acquire s p acquires p permits from semaphore s, blocking until they are available; see acquire(...).

acquire_uninterruptibly s p is similar to acquire s p, except that waiting thread cannot be interrupted; see acquireUninterruptibly(...).

Returns the number of active threads in this group (including children groups); see activeCount(...).

Returns the number of active groups in this group (including children groups); see activeGroupCount(...).

add_and_get a i d atomically adds d to the value at index i, and returns the new value.

add_and_get a d atomically adds d to the current value, and returns the new value.

add_and_get a i d atomically adds d to the value at index i, and returns the new value.

add_and_get a d atomically adds d to the current value, and returns the new value.

Synonym for Array.append.

Records that a party has arrived to the phaser without waiting for others, returns the phase number (negative if the phaser is terminated); see arrive(...).

Records that a party has arrived to the phaser and waits for others, returns the phase number (negative if the phaser is terminated); see arriveAndAwaitAdvance(...).

Records that a party has arrived to the phaser without waiting for others, deregisters a party, returns the phase number (negative if the phaser is terminated); see arriveAndDeregister(...).

attempt_mark a e m sets the mark to m if the current value is e.

attempt_stamp a e s sets the stamp to s if the current value is e.

Returns the number of available permits for the semaphore; see availablePermits(...).

Waits until all threads have reached the barrier; see await(...).

Waits until the coutdown reaches zero, without countingdown; see await(...).

Waits until either the condition is signal, or the current thread is interrupted; see await(...).

Waits for the phase number of the phaser to reach the passed value; see awaitAdvance(...).

Similar to Phaser.await_advance except that the thread can be interrupted; see awaitAdvanceInterruptibly(...).

await_advance_interruptibly_time p pn t u is similar to await_advance_interruptibly p pn, except that the current thread will at most wait for t (time value whose unit is u); see awaitAdvanceInterruptibly(...).

await_nanos c n is similar to await c, except that the current thread will at most wait for n nanoseconds.

Waits for pool termination, waiting at most wait for t (time value whose unit is u); see awaitTermination(...).

Same as ThreadPoolExecutor.await_termination.

Waits for pool termination, waiting at most wait for t (time value whose unit is u); see awaitTermination(...).

await_time b t u is similar to await b, except that the current thread will at most wait for t (time value whose unit is u); see await(...).

await_time c t u is similar to await c, except that the current thread will at most wait for t (time value whose unit is u); see await(...).

await_time c t u is similar to await c, except that the current thread will at most wait for t (time value whose unit is u).

Similar to await except that the thread cannot be interrupted; see awaitUninterruptibly(...).

await_until c d waits until the date d is reached.

Synonym for Array.blit.

bulk_register p n adds n unarrived parties to phaser p; see bulkRegister(...).

Run the computation in the calling thread; see java.util.concurrent.ThreadPoolExecutor.CallerRunsPolicy.

Same as Future.cancel.

cancel f i attemps to cancel future f, i indicating whether to interrupt the computation if already started.

The size of chunks for parallel computations.

combine operation, turning two values into one for a given key.

compare_and_set a er ur es us atomically sets the value of a to ur and stamp to us if the current value is er and the current stamp is es.

compare_and_set a i e u atomically sets the value of a at index i to u if the current value is e.

compare_and_set a e u atomically sets the value of a to u if the current value is e.

compare_and_set a er ur em um atomically sets the value of a to ur and mark to um if the current value is er and the current mark is em.

compare_and_set a i e u atomically sets the value of a at index i to u if the current value is e.

compare_and_set a e u atomically sets the value of a to u if the current value is e.

compare_and_set a i e u atomically sets the value of a at index i to u if the current value is e.

compare_and_set a e u atomically sets the value of a to u if the current value is e.

compare_and_set a e u atomically sets the value of a to u if the current value is e.

Ordering over keys.

Iterates over the passed stream using pool threads to execute map operations over the various input values, and applies combine operation over values having identical keys as soon as they are available.

Synonym for Array.concat.

convert ~src ~dst x converts the value x from unit src to unit dst; see convert(...)

Synonym for Array.copy.

Decrements the count, and then waits for the countdown to reach zero; see countDown(...).

Synonym for Array.create.

Synonym for Array.create_matrix.

Returns the thread that is currently executing; see currentThread(...).

Time unit for days.

Atomically decrements the value at passed index, and returns the new value.

Atomically decrements the current value, and returns the new value.

Atomically decrements the value at passed index, and returns the new value.

Atomically decrements the current value, and returns the new value.

The default pool used for parallel computations, initialized with the number of available (logical) processors.

Destroys the passed group and all its children groups; see destroy(...).

Discard the oldest unstarted computation; see java.util.concurrent.ThreadPoolExecutor.DiscardOldestPolicy.

Discard the submitted computation; see java.util.concurrent.ThreadPoolExecutor.DiscardPolicy.

Acquires and returns all available permits from the semaphore, returning immediately; see drainPermits(...).

Enumerates (recursively by default) the groups in the group by storing them in the passed array, and returning the number of actually stored groups; see enumerate(...).

Enumerates (recursively by default) the threads in the group by storing them in the passed array, and returning the number of actually stored threads; see enumerate(...).

Waits for another thread to arrive at the same exchange point, and then swaps the values provided by the two threads; see exchange(...).

exchange_time e x t u is similar to exchange e x, except that the current thread will at most wait for t (time value whose unit is u); see exchange(...).

exists ~pool ~chunk_size f a returns true iff there is an element e of a such that f e = true.

Synonym for ParallelArray.sort.

Synonym for Array.fill.

find ~pool ~chunk_size f a returns an element e of a such that f e = true, raising Not_found if there is no such element in a.

find_all ~pool ~chunk_size f a returns all the elements of a that return true when applied to f, preserving the order of the elements in a.

Similar to ParallelArray.find, except that the index is returned.

Similar to Array.fold_left, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

Similar to Array.fold_right, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

for_all ~pool ~chunk_size f a returns true iff there is no element e of a such that f e = false.

Forces termination of the phaser, includind children phasers; see forceTermination(...).

Returns the value of the thread-local variable for the current thread; see get(...).

Same as Future.get.

Synonym for Array.get.

Waits for the computation to complete, and returns its result; see get(...).

Returns the current value and stamp.

Returns the value at passed index.

Returns the current value.

Returns the current value and mark.

Returns the value at passed index.

Returns the current value.

Returns the value at passed index.

Returns the current value.

Returns the current value.

Returns an estimate of the number of active threads in the pool; see getActiveCount(...).

Same as ThreadPoolExecutor.get_active_count.

Returns an estimate of the number of active threads in the pool; see getActiveThreadCount(...).

get_and_add a i d atomically adds d to the value at index i, and returns the previous value.

get_and_add a d atomically adds d to the current value, and returns the previous value.

get_and_add a i d atomically adds d to the value at index i, and returns the previous value.

get_and_add a d atomically adds d to the current value, and returns the previous value.

Atomically decrements the value at passed index, and returns the previous value.

Atomically decrements the current value, and returns the previous value.

Atomically decrements the value at passed index, and returns the previous value.

Atomically decrements the current value, and returns the previous value.

Atomically increments the value at passed index, and returns the previous value.

Atomically increments the current value, and returns the previous value.

Atomically increments the value at passed index, and returns the previous value.

Atomically increments the current value, and returns the previous value.

get_and_set a i x atomically sets the value of a at index i to x, and returns the previous value.

get_and_set a x atomically sets the value of a to x, and returns the previous value.

get_and_set a i x atomically sets the value of a at index i to x, and returns the previous value.

get_and_set a x atomically sets the value of a to x, and returns the previous value.

get_and_set a i x atomically sets the value of a at index i to x, and returns the previous value.

get_and_set a x atomically sets the value of a to x, and returns the previous value.

get_and_set a x atomically sets the value of a to x, and returns the previous value.

Returns the number of registered parties that have arrived to the phaser; see getArrivedParties(...).

Returns the asynchronous mode of the pool; see getAsyncMode(...).

Returns an estimate of the number of completed computations in the pool; see getCompletedTaskCount(...).

Same as ThreadPoolExecutor.get_completed_task_count.

Tests whether periodic tasks should continue execution after shutdown; see getContinueExistingPeriodicTasksAfterShutdownPolicy(...).

Returns the core size of the pool; see getCorePoolSize(...).

Same as ThreadPoolExecutor.get_core_pool_size.

Returns the current count; see getCount(...).

Returns the remaining delay for the computation, in the passed time unit; see getDelay(...).

Tests whether delayed tasks should continue execution after shutdown; see getExecuteExistingDelayedTasksAfterShutdownPolicy(...).

Returns the thread identifier.

Returns the keep alive time for thread outside of the core; see getKeepAliveTime(...).

Same as ThreadPoolExecutor.get_keep_alive_time.

Returns the largest size reached by the pool; see getLargestPoolSize(...).

Same as ThreadPoolExecutor.get_largest_pool_size.

Returns the maximum priority of the group; see getMaxPriority(...).

Returns the maximum size of the pool; see getMaximumPoolSize(...).

Same as ThreadPoolExecutor.get_maximum_pool_size.

Returns the name of the group; see getName(...).

Returns the name of the thread; see getName(...).

Returns the number of threads currently waiting on the barrier; see getNumberWaiting(...).

Returns the parallelism of the pool; see getParallelism(...).

Returns the parent of the group, null if no such group exists; see getParent(...).

Returns the parent of the phaser; see getParent(...).

Returns the number of threads to be waited on the barrier; see getParties(...).

Returns the phase number; see getPhase(...).

Returns an estimate of the current pool size; see getPoolSize(...).

Same as ThreadPoolExecutor.get_pool_size.

Returns the number of threads that have started and not terminated in the pool; see getPoolSize(...).

Returns the priority of the thread; see getPriority(...).

Returns an estimate of the number of threads waiting on the semaphore to acquire permits; see getQueueLength(...).

Returns an estimate of the number of tasks submitted (but unstarted) to the pool; see getQueuedSubmissionCount(...).

Returns an estimate of the number of tasks currently queued in the pool; see getQueuedTaskCount(...).

Returns the current value.

Returns the current value.

Returns the number of registered parties; see getRegisteredParties(...).

Returns the policy for blocked computations; see getRejectedExecutionHandler(...).

Same as ThreadPoolExecutor.get_rejected_execution_handler.

Tests whether tasks should be removed when cancelled; see getRemoveOnCancelPolicy(...).

Returns the root that can be reached from the phaser by recursively visiting parents.

Returns an estimate of the number of threads in the pool; see getRunningThreadCount(...).

Returns the current stamp.

Returns the state of the thread; see getState(...).

Returns an estimate of the number of tasks stolen from one thread by another one in the pool; see getStealCount(...).

Returns an estimate of number of task that have been submitted for execution; see getTaskCount(...).

Same as ThreadPoolExecutor.get_task_count.

Returns the group of the thread, None if the thread has terminated its execution; see getThreadGroup(...).

Same as Future.get_time.

get_time f t u is similar to get f, except that the current thread will at most wait for t (time value whose unit is u); see get(...).

Returns the number of registered parties that have not yet arrived to the phaser; see getUnarrivedParties(...).

Tests whether there are submitted but unstarted tasks in the pool; see hasQueuedSubmissions(...).

Tests whether there are threads waiting on the semaphore to acquire permits; see hasQueuedThreads(...).

Time unit for hours.

Atomically increments the value at passed index, and returns the new value.

Atomically increments the current value, and returns the new value.

Atomically increments the value at passed index, and returns the new value.

Atomically increments the current value, and returns the new value.

Similar to Array.init, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

Interrupts all thread in the group (including children groups); see interrupt(...).

Interrupts the thread; see interrupt(...).

Tests whether the current thread has been interrupted, and sets its interrupted status to false; see interrupted(...).

invoke_all p l submits all functions from l to pool p, and then waits for the completion of all functions.

Same as ThreadPoolExecutor.invoke_all.

invoke_all_time p l t u is similar to invoke_all p l, except that the current thread will at most wait for t (time value whose unit is u).

Same as ThreadPoolExecutor.invoke_all_time.

invoke_any p l submits all function from l to pool p, and then waits for the completion of a function.

Same as ThreadPoolExecutor.invoke_any.

invoke_any_time p l t u is similar to invoke_any p l, except that the current thread will at most wait for t (time value whose unit is u).

Same as ThreadPoolExecutor.invoke_any_time.

Tests whether the thread has started and not terminated; see isAlive(...).

Tests whether the barrier is broken.

Same as Future.is_cancelled.

Tests whether the task was cancelled before completion; see isCancelled(...).

Tests whether the group is a daemon one; see isDaemon(...).

Tests whether the thread is a daemon one; see isDaemon(...).

Tests whether the group has been destroyed; see isDestroyed(...).

Same as Future.is_done.

Tests whether the computation is completed; see isDone(...).

Tests whether the semaphore uses a fair policy; see isFair(...).

Tests whether the thread has been interrupted; see isInterrupted(...).

Returns the current mark.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_not_null obj returns false iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

is_null obj returns true iff obj is equal to null.

Tests whether all threads in the pool are idle; see isQuiescent(...).

Tests whether the pool has been shutdown; see isShutdown(...).

Same as ThreadPoolExecutor.is_shutdown.

Tests whether the pool has been shutdown; see isShutdown(...).

Tests whether the pool has been terminated; see isTerminated(...).

Same as ThreadPoolExecutor.is_terminated.

Tests whether the phaser has been terminated; see isTerminated(...).

Tests whether shutdown is completed (including all tasks); see isTerminated(...).

Tests whether the pool is in the process of terminating; see isTerminating(...).

Same as ThreadPoolExecutor.is_terminating.

Tests whether the pool is in the process shutdowning; see isTerminating(...).

Similar to Array.iter, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

Similar to Array.iteri, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

Waits for the termination of the passed thread; see join(...).

join_time t m is similar to join t, except that the current thread will at most wait for m milliseconds; see join(...).

join_time t m n is similar to join t, except that the current thread will at most wait for m milliseconds plus n nanoseconds; see join(...).

lazy_set a i x eventually sets the value of a at index i to x.

lazy_set a x eventually sets the value of a to x.

lazy_set a i x eventually sets the value of a at index i to x.

lazy_set a x eventually sets the value of a to x.

lazy_set a i x eventually sets the value of a at index i to x.

lazy_set a x eventually sets the value of a to x.

lazy_set a x eventually sets the value of a to x.

Synonym for Array.length.

Returns the length of the array.

Returns the length of the array.

Returns the length of the array.

Acquires the lock.

Similar to Lock.lock, except that some other thread may interrupt the current thread while blocked; see lockInterruptibly(...).

make core_pool_size:cps max_pool_size:mps kat u reh returns a new thread pool with: cps as its core pool size (number of threads kept in the pool, even if idle);, mps as its maximum pool size (maximum number of threads in the pool);, kat keep alive time (how long to keep alive idle threads not in the core);, u time unit for kat;, reh policy for blocked computations.

Returns a new thread-local variable whose initial value in each thread is the passed value; see ThreadLocal(...) and initialValue(...).

Returns a new group with optional parent, and name; see ThreadGroup(...).

make g n f x returns a new thread in group g with name n.

make ~fair:f p returns a new semaphore with p permits, f indicating whether a fair ordering policy is requested (defaulting to false); see Semaphore(...).

make core_pool_size:cps reh returns a new thread pool with: cps as its core pool size (number of threads kept in the pool, even if idle);, reh policy for blocked computations.

make ~parent:p ~parties:n returns a new phaser with parent p (defaulting to null), and number of parties n (defaulting to 0l); see Phaser(...).

Synonym for Array.make.

make parallelism:p async returns a new thread pool with parallelism p (target number of active threads in pool).

Returns a new completion service based on the passed thread pool; see ExecutorCompletionService(...).

Returns a new exchanger; see Exchanger(...).

make n returns a barrier waiting for n threads; see CyclicBarrier(...).

make n returns a countdown latch waiting for n threads; see CountDownLatch(...).

Returns a new container holding the passed value, with the passed stamp.

Returns a new container holding an array of passed length.

Returns a new container holding the passed value.

Returns a new container holding the passed value, with the passed mark.

Returns a new container holding an array of passed length.

Returns a new container holding the passed value.

Returns a new container holding an array of passed length.

Returns a new container holding the passed value.

Returns a new container holding the passed value.

Synonym for Array.make_matrix.

Returns a new read/write lock, whose read and write locks are reentrant, the parameter indicates whether a fair ordering policy is requested (defaulting to false); see ReentrantReadWriteLock(...).

Returns a new reentrant lock, the parameter indicates whether a fair ordering policy is requested (defaulting to false); see ReentrantLock(...).

Similar to Array.map, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

map operation, turning an input value into a list of key/value couples.

Similar to Array.mapi, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

The maximum priority for a thread; see java.lang.Thread#MAX_PRIORITY.

mem ~pool ~chunk_size x a returns true iff there is an element e of a such that e = x.

memq ~pool ~chunk_size x a returns true iff there is an element e of a such that e == x.

Time unit for microseconds.

Time unit for milliseconds.

The minimum priority for a thread; see java.lang.Thread#MIN_PRIORITY.

Time unit for minutes.

Time unit for nanoseconds.

Returns a new condition associated with the passed lock; see newCondition(...).

The normal (i.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

The null value.

Synonym for Array.of_list.

parent_of p c tests whether p is an ancestor of c; see parentOf(...).

Returns (and removes from the service) a completed task if any, or returns None; see poll(...).

poll_time s t u is similar to pool s, except that the current thread will at most wait for t (time value whose unit is u); see poll(...).

The pool to be used for parallel computations.

Returns the read lock of the read/write lock; see readLock(...).

reduce operation, folding over all key/value couple in order to produce the final result.

Builds a value of type ref, that can then only be accessed during a transaction.

Adds a new unarrived party to the phaser, and returns the current phase number; see register(...).

release s p releases p permits from semaphore s; see release(...).

Removes the value of the thread-local variable for the current thread.

Resets the barrier to its original state.

run ~retries f executes the function f inside a newly-created transaction.

Akin to STM.run, but with a smaller overhead due to the fact that the transaction is guaranteed to only read values.

schedule p f x t u is similar to submit p f x, except that the evaluation of f x with start after t (time value whose unit is u).

schedule_at_fixed_rate p f x t d u is similar to schedule p f x t u, except that f x will be re-evaluated at t + d, t + 2 * d, etc.

schedule_with_fixed_delay p f x t d u is similar to schedule p f x t u, except that f x will be repeatedly re-evaluated, respecting a delay of d between the end of one execution and the beginning of the next one.

Time unit for seconds.

Modifies the value of the thread-local variable for the current thread; see set(...).

Synonym for Array.set.

set a x s sets the value of a to x, and the stamp to s.

set a i x sets the value of a at index i to x.

set a x sets the value of a to x.

set a x m sets the value of a to x, and the mark to m.

set a i x sets the value of a at index i to x.

set a x sets the value of a to x.

set a i x sets the value of a at index i to x.

set a x sets the value of a to x.

set a x sets the value of a to x.

Changes whether periodic tasks should continue execution after shutdown; see setContinueExistingPeriodicTasksAfterShutdownPolicy(...).

Changes the core size of the pool (number of threads kept in the pool, even if idle); see setCorePoolSize(...).

Same as ThreadPoolExecutor.set_core_pool_size.

Sets the daemon status of the group.

Changes the daemon status of the thread; see setDaemon(...).

changes whether delayed tasks should continue execution after shutdown; see setExecuteExistingDelayedTasksAfterShutdownPolicy(...).

Changes the keep alive time (how long to keep alive idle threads not in the core); see setKeepAliveTime(...).

Same as ThreadPoolExecutor.set_keep_alive_time.

Sets the maximum priority of the group; see setMaxPriority(...).

Changes the maximum pool size (maximum number of threads in the pool); see setMaximumPoolSize(...).

Same as ThreadPoolExecutor.set_maximum_pool_size.

Changes the name of the thread; see setName(...).

Changes the priority of the thread; see setPriority(...).

Changes the policy for blocked computations; see setRejectedExecutionHandler(...).

Same as ThreadPoolExecutor.set_rejected_execution_handler.

Changes whether tasks should be removed when cancelled.

Begins a shutdown, executing all submitted tasks, but refusing new tasks; see shutdown(...).

Same as ThreadPoolExecutor.shutdown.

Begins a shutdown, executing all submitted tasks, but refusing new tasks; see shutdown(...).

Begins a shhutdown by cancelling all submitted tasks, and cancelling running tasks; see shutdownNow(...).

Same as ThreadPoolExecutor.shutdown_now.

Shutdowns default_pool.

Begins a shhutdown by cancelling all submitted tasks, and cancelling running tasks; see shutdownNow(...).

Signals the condition, unblocking one waiting thread; see signal(...).

Signals the condition, unblocking all waiting threads; see signalAll(...).

sleep m waits for m milliseconds; see sleep(...).

sleep m n waits for m milliseconds plus n nanoseconds; see sleep(...).

Similar to Array.sort, except that computations are done in parallel; pool indicates the thread pool to use (defaulting to default_pool), while chunk_size indicates the size of each chunk to be allocated to a thread.

split pool fork join f x computes f x by leveraging multiple threads from pool.

split_array pool fork join f x is similar to split pool fork join f x, except that the fork function can generate more than two sub-computations.

split_list pool fork join f x is similar to split pool fork join f x, except that the fork function can generate more than two sub-computations.

Synonym for ParallelArray.sort.

Starts the execution of the thread; see start(...).

Synonym for Array.sub.

submit p f x submits to p and returns a future computing f x.

Same as ThreadPoolExecutor.submit.

Same as ThreadPoolExecutor.submit.

Waits for a task to complete, and returns it; see take(...).

Synonym for Array.to_list.

try_acquire s p is similar to acquire s p, except the function always returns immediately returning true if acquisition was successful; see tryAcquire(...).

try_acquire_time s p t u is similar to try_acquire s p, except that the current thread will at most wait for t (time value whose unit is u); see tryAcquire(...).

Acquires the lock if available, returning true.

try_lock_time l t u is similar to lock_interruptibly l, except that the current thread will at most wait for t (time value whose unit is u).

Releases the lock; see unlock(...).

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

unwrap obj unwraps the option obj into a bare reference: Some x is mapped to x;, None is mapped to null.

Similar to AtomicStampedReference.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicReferenceArray.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicReference.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicMarkableReference.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicInt64Array.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicInt64.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicInt32Array.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicInt32.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

Similar to AtomicBool.compare_and_set, with a weak semantics: may be faster on some platforms, but does not provide ordering guarantees.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

wrap obj wraps the reference obj into an option type: Some x if obj is not null;, None if obj is null.

Returns the write lock of the read/write lock; see writeLock(...).

Indicates that the current thread wants to yield its use of a processor; see yield(...).