AvailRuntime

An immutable state object that can atomically replace the current state in activeDiversionQueue via a compare-and-set (with retries).

A HookType describes an abstract missing behavior in the virtual machine, where an actual hook will have to be constructed to hold an A_Function within each separate AvailRuntime.

Add the specified module to the runtime.

Add a seal to the method associated with the given method name.

Add a semantic restriction to the method associated with the given method name.

Answer a Set of all A_Fibers that have not yet retired. Retired fibers will be garbage collected when there are no remaining references.

Allocate the next interpreter index in [0..maxInterpreters) thread-safely.

Assert that we're currently inside a safe point. This should only be checked while running a safe point task (good) or an interpreter task (should fail).

Block the current Thread until there are no fibers that can run. If nothing outside the VM is actively creating and running new fibers, this is a permanent state. After this method returns, there will be no more AvailTasks added to the executor.

Answer this runtime's CallbackSystem.

Attempt to write the newValue into the newFiberHandler, but only if it currently contains oldValue. Answer whether it wos successful. If it was not successful due to the oldValue not being the current value, make no change and answer false.

Destroy all data structures used by this AvailRuntime. Also disassociate it from the current Thread's local storage.

Schedule the specified task for eventual execution. The implementation is free to run the task immediately or delay its execution arbitrarily. The task is guaranteed to execute on an AvailThread.

Schedule the specified task for eventual execution. The implementation is free to run the task immediately or delay its execution arbitrarily. The task is guaranteed to execute on an Avail thread.

Extract the current A_Function for the given hook from this runtime.

Answer the function to invoke whenever a variable with write reactors is written when write tracing is not enabled.

Does the runtime define a module with the specified name?

Perform an integrity check on the parser data structures. Report the findings to System.out.

Answer the function to invoke whenever a method send fails for a definitional reason.

Answer my current A_Map of A_Modules. It's always Mutability.SHARED for safety.

Look up the given Java class name, and create a suitable Java POJO A_Type. Capture the classParameters, since the Avail POJO mechanism doesn't erase generics.

Look up the given Java class name, and create a suitable Java raw POJO for this raw Java class. The raw class does not capture type parameters.

Answer the module with the specified name.

Answer the Avail module roots.

Add the specified fiber to this runtime.

Unbind the specified definition from the runtime system.

Remove a grammatical restriction from the method associated with the given method name.

Unbind the specified macro from the runtime system.

Remove a seal from the method associated with the given method name.

Remove a semantic restriction from the method associated with the given method name.

Answer the function to invoke whenever the value produced by a method send disagrees with the type expected.

Schedule resumption of the specified fiber following suspension by a failedprimitive. This method is an entry point.

Schedule resumption of the specified fiber following suspension due to an interrupt. This method is an entry point.

Schedule resumption of the specified fiber following suspension by a successfulprimitive. This method is an entry point.

If the fiber was PAUSED by a debugger, transition it immediately into the UNPAUSING state, and cause an AvailTask to be queued and eventually executed to resume running it.

Schedule the specified fiber to run the given function. This function is invoked via the HookType.BASE_FRAME hook. The fiber must be in the unstarted state. This Kotlin method is an entry point for driving Avail externally.

Set the given hook's function for this runtime.

Set the runtime's default text interface.

Stringify a list of Avail, using the HookType.STRINGIFICATION hook associated with the specified runtime. Stringification will run in parallel, with each value being processed by its own new fiber. If stringification fails for a value for any reason, then the built-in mechanism, available via AvailObject.toString will be used for that value. Invoke the specified continuation with the resulting list, preserving the original order.

Stringify an AvailObject, using the HookType.STRINGIFICATION hook in the specified AvailRuntime. Stringification will run in a new fiber. If stringification fails for any reason, then the built-in mechanism, available via AvailObject.toString will be used. Invoke the specified continuation with the result.

Answer the runtime's default text interface.

Answer the function to invoke whenever an unassigned variable is read.

Remove the specified module from this runtime. The module's code should already have been removed via A_Module.removeFrom.

Remove the specified fiber from this runtime. This should be done explicitly when a fiber retires, although the fact that allFibers wraps a WeakHashMap ensures that fibers that are no longer referenced will still be cleaned up at some point.

Request that the specified action be executed when interpreter tasks are allowed to run. If there are any postponed safe-point tasks, that means we're either in or waiting for a safe-point to be reached, so don't start another interpreter task – queue it instead.

Request that the specified action be executed at the next safe-point. No interpreter tasks are running at a safe-point.

A call-out to allow tools like debuggers to intercept breakpoints. Only one breakpoint handler can be active for this runtime. The function will be invoked from within a safe point.

The class loader that should be used to locate and load Java classes.

The number of clock ticks since this runtime was created.

The ThreadPoolExecutor for running tasks and fibers of this AvailRuntime.

The collection of hooks for this runtime.

The IOSystem for this runtime.

The module name resolver that this runtime should use to resolve unqualified module names.

A call-out invoked when a new fiber is created and scheduled for the first time. This mechanism is used to capture new fibers in a debugger's list of fibers.

The lock that protects the runtime data structures against dangerous concurrent access.

Determine whether any safe-point tasks have been queued for later.

The timer that managed scheduled tasks for this runtime. The timer thread is not an Avail thread, and therefore cannot directly execute fibers. It may, however, schedule fiber-related tasks.