org.protelis.vm.impl

Class AbstractExecutionContext

java.lang.Object

org.protelis.vm.impl.AbstractExecutionContext

All Implemented Interfaces:

ExecutionContext

public abstract class AbstractExecutionContext
extends java.lang.Object
implements ExecutionContext

Partial implementation of ExecutionContext, containing functionality expected to be shared between most implementations. Instantiations of Protelis should generally extend this class.

Field Summary

Fields

Modifier and Type	Field and Description
private TIntStack	callFrameSizes
private TByteList	callStack
private int	deferredExportSize
private ExecutionEnvironment	env
private int	exportsSize
private java.util.Map<Reference,?>	functions
private Stack	gamma
private static org.slf4j.Logger	L
private NetworkManager	nm
private java.lang.Number	previousRoundTime
private java.util.List<AbstractExecutionContext>	restrictedContexts
private java.util.Map<DeviceUID,java.util.Map<CodePath,java.lang.Object>>	theta
private java.util.Map<CodePath,java8.util.function.Supplier<?>>	tobeComputedBeforeSending
private java.util.Map<CodePath,java.lang.Object>	toSend

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractExecutionContext(ExecutionEnvironment execenv, NetworkManager netmgr) Create a new AbstractExecutionContext.

Method Summary

Modifier and Type	Method and Description
<T> Field	buildField(java8.util.function.Function<T,?> computeValue, T localValue) Builds a new Field, fetching data from all the aligned neighbors.
private <T,D> Field	buildField(java8.util.function.Function<T,?> computeValue, T localValue, java.util.Map<CodePath,D> destination, D toBeSent)
<T> Field	buildFieldDeferred(java8.util.function.Function<T,?> computeValue, T currentLocal, java8.util.function.Supplier<T> toBeSent) Builds a new Field, fetching data from all the aligned neighbors.
void	commit() Called just after the VM is executed, to finalize information of the execution for the environment.
void	commitRecursively() recursively commits on restricted contexts.
java.lang.Number	getDeltaTime()
ExecutionEnvironment	getExecutionEnvironment()
protected java.util.Map<Reference,?>	getFunctions() Support for first-class functions by returning the set of currently accessible functions.
protected NetworkManager	getNetworkManager() Accessor for abstract network interface.
java.lang.Object	getVariable(Reference name) Look up the value of a variable from the local environment.
protected abstract AbstractExecutionContext	instance() Produce a child execution context, for encapsulated evaluation of sub-programs.
void	newCallStackFrame(byte... id)
void	putMultipleVariables(java.util.Map<Reference,?> map) Pushes multiple variables.
void	putVariable(Reference name, java.lang.Object value, boolean canShadow)
AbstractExecutionContext	restrictDomain(Field f) Give a field, returns a new ExecutionContext whose domain is the same of the field one.
void	returnFromCallFrame() returns from the last frame.
void	setGloballyAvailableReferences(java.util.Map<Reference,?> knownFunctions) Used internally to support first-class functions by make the functions of a program accessible for reflection at runtime.
void	setup() Called just before the VM is executed, to enable and preparations needed in the environment.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.protelis.vm.ExecutionContext

getCurrentTime, getDeviceUID, nextRandomDouble

Field Detail

L

private static final org.slf4j.Logger L

callStack

private final TByteList callStack

callFrameSizes

private final TIntStack callFrameSizes

nm

private final NetworkManager nm

functions

private java.util.Map<Reference,?> functions

gamma

private Stack gamma

theta

private java.util.Map<DeviceUID,java.util.Map<CodePath,java.lang.Object>> theta

tobeComputedBeforeSending

private java.util.Map<CodePath,java8.util.function.Supplier<?>> tobeComputedBeforeSending

toSend

private java.util.Map<CodePath,java.lang.Object> toSend

restrictedContexts

private final java.util.List<AbstractExecutionContext> restrictedContexts

previousRoundTime

private java.lang.Number previousRoundTime

env

private final ExecutionEnvironment env

exportsSize

private int exportsSize

deferredExportSize

private int deferredExportSize

Constructor Detail

AbstractExecutionContext

protected AbstractExecutionContext(ExecutionEnvironment execenv,
                                   NetworkManager netmgr)

Create a new AbstractExecutionContext.

Parameters:

execenv - The execution environment

netmgr - Abstract network interface to be used

Method Detail

setGloballyAvailableReferences

public final void setGloballyAvailableReferences(java.util.Map<Reference,?> knownFunctions)

Description copied from interface: ExecutionContext

Used internally to support first-class functions by make the functions of a program accessible for reflection at runtime.

Specified by:

setGloballyAvailableReferences in interface ExecutionContext

Parameters:

knownFunctions - Collection of accessible functions, associating function name and value.

commit

public final void commit()

Description copied from interface: ExecutionContext

Called just after the VM is executed, to finalize information of the execution for the environment.

Specified by:

commit in interface ExecutionContext

commitRecursively

public final void commitRecursively()

recursively commits on restricted contexts.

setup

public final void setup()

Description copied from interface: ExecutionContext

Called just before the VM is executed, to enable and preparations needed in the environment.

Specified by:

setup in interface ExecutionContext

newCallStackFrame

public final void newCallStackFrame(byte... id)

Specified by:

newCallStackFrame in interface ExecutionContext

Parameters:

id - stack frame type

returnFromCallFrame

public final void returnFromCallFrame()

Description copied from interface: ExecutionContext

returns from the last frame.

Specified by:

returnFromCallFrame in interface ExecutionContext

putVariable

public final void putVariable(Reference name,
                              java.lang.Object value,
                              boolean canShadow)

Specified by:

putVariable in interface ExecutionContext

Parameters:

name - variable reference

value - variable value

canShadow - if no other variable with the same name exists, this parameter is irrelevant. Otherwise, if true, the previous variable will be shadowed. If false, the variable will be overridden (with possible side effects upon return) instead.

putMultipleVariables

public final void putMultipleVariables(java.util.Map<Reference,?> map)

Description copied from interface: ExecutionContext

Pushes multiple variables.

Specified by:

putMultipleVariables in interface ExecutionContext

Parameters:

map - the variables to push

instance

protected abstract AbstractExecutionContext instance()

Produce a child execution context, for encapsulated evaluation of sub-programs.

Returns:

Child execution context

restrictDomain

public final AbstractExecutionContext restrictDomain(Field f)

Description copied from interface: ExecutionContext

Give a field, returns a new ExecutionContext whose domain is the same of the field one.

Specified by:

restrictDomain in interface ExecutionContext

Parameters:

f - the field

Returns:

the restricted domain

buildField

public final <T> Field buildField(java8.util.function.Function<T,?> computeValue,
                                  T localValue)

Description copied from interface: ExecutionContext

Builds a new Field, fetching data from all the aligned neighbors. A neighbor is considered to be aligned it it has reached the exact same CodePath. The field will always contain at least one value, namely the value of the local device.

Specified by:

buildField in interface ExecutionContext

Type Parameters:

T - the type of the input

Parameters:

computeValue - a function that will be applied to localValue and the equivalents shared from neighbors in the process of constructing this field: the field consists of the values returned from applying computeValue to each of device's value

localValue - the local value for this field

Returns:

a new Field containing the local device value and the values for any of the aligned neighbors

buildFieldDeferred

public final <T> Field buildFieldDeferred(java8.util.function.Function<T,?> computeValue,
                                          T currentLocal,
                                          java8.util.function.Supplier<T> toBeSent)

Description copied from interface: ExecutionContext

Builds a new Field, fetching data from all the aligned neighbors. A neighbor is considered to be aligned it it has reached the exact same CodePath. The field will always contain at least one value, namely the value of the local device. The deferred version does not immediately schedule the local value for being sent away. Rather, it schedules the provided Supplier to be executed at the end of the round for obtaining the value to be shared. This function is the base upon which the ShareCall is built.

Specified by:

buildFieldDeferred in interface ExecutionContext

Type Parameters:

T - the type of the input

Parameters:

computeValue - a function that will be applied to localValue and the equivalents shared from neighbors in the process of constructing this field: the field consists of the values returned from applying computeValue to each of device's value

currentLocal - the value to be used as local for this field

toBeSent - a Supplier which will be used to compute the local value for this field that will get exported at the end of the round

Returns:

a new Field containing the local device value and the values for any of the aligned neighbors

buildField

private <T,D> Field buildField(java8.util.function.Function<T,?> computeValue,
                               T localValue,
                               java.util.Map<CodePath,D> destination,
                               D toBeSent)

getVariable

public final java.lang.Object getVariable(Reference name)

Description copied from interface: ExecutionContext

Look up the value of a variable from the local environment.

Specified by:

getVariable in interface ExecutionContext

Parameters:

name - The variable to be looked up

Returns:

Value of the variable, or null if it cannot be found.

getNetworkManager

protected final NetworkManager getNetworkManager()

Accessor for abstract network interface.

Returns:

Current abstract network interface

getFunctions

protected final java.util.Map<Reference,?> getFunctions()

Support for first-class functions by returning the set of currently accessible functions.

Returns:

Map from function name to function objects

getDeltaTime

public java.lang.Number getDeltaTime()

Specified by:

getDeltaTime in interface ExecutionContext

Returns:

the current time, relative to last round

getExecutionEnvironment

public final ExecutionEnvironment getExecutionEnvironment()

Specified by:

getExecutionEnvironment in interface ExecutionContext

Returns:

The current ExecutionEnvironment