def setMessageCopy(self, copy_method):
"""
Sets the type of message copying to use, this will have an impact on performance. It is made customizable as some more general techniques will be much slower.
:param copy_method: Either an ID of the option, or (recommended) a string specifying the method, see options below
.. glossary::
pickle
use the (c)pickle module
custom
define a custom 'copy' function in every message and use this
none
don't use any copying at all, unsafe though most other DEVS simulators only supply this
"""
if not isinstance(copy_method, int) and not isinstance(
copy_method, str):
raise DEVSException(
"Message copy method should be done using an integer or a string"
)
if isinstance(copy_method, str):
options = {"pickle": 0, "custom": 1, "none": 2}
try:
copy_method = options[copy_method]
except IndexError:
raise DEVSException("Message copy option %s not recognized" %
copy_method)
self.simulator.msg_copy = copy_method
def trace(self, model_name, time, port_name, vcd_state):
"""
Trace a VCD entry
:param model_name: name of the model
:param time: time at which transition happened
:param port_name: name of the port
:param vcd_state: state to trace on the specified port
"""
# Check if the signal is a valid binary signal
for i in range(len(vcd_state)):
if (i == 0):
if vcd_state[i] == 'b':
continue
else:
raise DEVSException(("Port %s in model does not carry " +
"a binary signal\n" +
"VCD exports require a binary signal," +
"not: ") % (port_name, model_name, vcd_state))
char = vcd_state[i]
if char not in ["0", "1", "E", "x"]:
raise DEVSException(("Port %s in model does not carry " +
"a binary signal\n" +
"VCD exports require a binary signal," +
"not: ") % (port_name, model_name, vcd_state))
# Find the identifier of this wire
for i in range(len(self.vcd_var_list)):
if (self.vcd_var_list[i].model_name == model_name and
self.vcd_var_list[i].port_name == port_name):
identifier = str(self.vcd_var_list[i].identifier)
break
# If the bit_size is not yet defined, define it now
if self.vcd_var_list[i].bit_size is None:
self.vcd_var_list[i].bit_size = len(vcd_state)-1
elif self.vcd_var_list[i].bit_size != len(vcd_state) - 1:
raise DEVSException("Wire has changing bitsize!\n" +
"You are probably not using bit encoding!")
# Now we have to convert between logisim and VCD notation
vcd_state = vcd_state.replace('x', 'z')
vcd_state = vcd_state.replace('E', 'x')
# identifier will be defined, otherwise the record was not in the list
if time > self.vcd_prevtime:
# Convert float to integer without losing precision
# ex. 5.0 --> 50, 5.5 --> 55
t = time[0]
vcd_time = int(str(int(floor(t))) +
str(int(t - floor(t)) * (len(str(t)) - 2)))
if (self.vcd_prevtime != vcd_time):
# The time has passed, so add a new VCD header
self.vcd_file.write(("#" + str(vcd_time) + "\n").encode())
self.vcd_prevtime = vcd_time
self.vcd_file.write((vcd_state + " " + identifier + "\n").encode())
def setStateSaving(self, state_saving):
"""
Sets the type of state saving to use, this will have a high impact on performance. It is made customizable as some more general techniques will be much slower, though necessary in certain models.
:param state_saving: Either an ID of the option, or (recommended) a string specifying the method, see options below.
.. glossary::
deepcopy
use the deepcopy module
pickle0
use the (c)pickle module with pickling protocol 0
pickleH
use the (c)pickle module with the highest available protocol
pickle
use the (c)pickle module
copy
use the copy module (only safe for flat states)
assign
simply assign states (only safe for primitive states)
none
equivalent to assign (only safe for primitive states)
custom
define a custom 'copy' function in every state and use this
"""
if not isinstance(state_saving, int) and not isinstance(
state_saving, str):
raise DEVSException(
"State saving should be done using an integer or a string")
if isinstance(state_saving, str):
options = {
"deepcopy": 0,
"pickle0": 1,
"pickleH": 2,
"pickle": 2,
"copy": 3,
"assign": 4,
"none": 4,
"custom": 5,
"marshal": 6
}
try:
state_saving = options[state_saving]
except IndexError:
raise DEVSException("State saving option %s not recognized" %
state_saving)
self.simulator.state_saving = state_saving
def setGVTInterval(self, gvt_int):
"""
Sets the interval in seconds between 2 GVT calculations. This is the time between the ending of the previous run and the start of the next run, to prevent overlapping calculations.
.. note:: Parameter should be at least 1 to prevent an overload of GVT calculations
:param gvt_int: interval in seconds (float or integer)
"""
if not isinstance(gvt_int, float) and not isinstance(gvt_int, int):
raise DEVSException("GVT interval should be an integer or a float")
if gvt_int < 1:
raise DEVSException(
"GVT interval should be larger than or equal to one")
self.simulator.gvt_interval = gvt_int
def dsUnscheduleModel(self, model):
"""
Dynamic Structure change: remove an existing model
:param model: the model to remove
"""
if isinstance(model, CoupledDEVS):
for m in model.component_set:
self.dsUnscheduleModel(m, False)
for port in model.IPorts:
self.dsRemovePort(port)
for port in model.OPorts:
self.dsRemovePort(port)
elif isinstance(model, AtomicDEVS):
self.model.component_set.remove(model)
self.model.models.remove(model)
# The model is removed, so remove it from the scheduler
self.model.scheduler.unschedule(model)
self.model_ids[model.model_id] = None
self.destinations[model.model_id] = None
self.model.local_model_ids.remove(model.model_id)
for port in model.IPorts:
self.dsRemovePort(port)
for port in model.OPorts:
self.dsRemovePort(port)
else:
raise DEVSException("Unknown model to schedule: %s" % model)
def checkInterrupt(self, current_time):
"""
Checks for whether an interrupt should happen at this time; if so, it also reschedules the next one.
This method must be called before the internal interrupt is fetched, as otherwise it will not be taken into account.
:param current_time: the current simulation time to check for interrupts
"""
if self.infile is not None:
# First check for if the scheduled message happened
if (self.next_scheduled - current_time) <= 0:
if self.backend.setInterrupt(self.file_event):
self.next_scheduled = float('inf')
self.file_event = None
# Now check for the next one
if self.next_scheduled == float('inf'):
# We don't have a scheduled event, so fetch one
line = self.infile.readline()
if line == "":
self.infile.close()
self.infile = None
else:
event = line.split(" ", 1)
if len(event) != 2:
raise DEVSException(
"Inproperly formatted input in file: %s" % event)
self.next_scheduled = float(event[0])
self.file_event = event[1][:-1]
def dsScheduleModel(self, model):
"""
Dynamic Structure change: create a new model
:param model: the model to add
"""
self.model.undoDirectConnect()
if isinstance(model, CoupledDEVS):
model.full_name = model.parent.full_name + "." + model.getModelName(
)
for m in model.component_set:
self.dsScheduleModel(m)
elif isinstance(model, AtomicDEVS):
model.model_id = len(self.model_ids)
model.full_name = model.parent.full_name + "." + model.getModelName(
)
model.location = self.name
self.model_ids.append(model)
self.destinations.append(model)
self.model.component_set.append(model)
self.model.models.append(model)
self.model.local_model_ids.add(model.model_id)
self.atomicInit(model, self.current_clock)
p = model.parent
model.select_hierarchy = [model]
while p != None:
model.select_hierarchy = [p] + model.select_hierarchy
p = p.parent
if model.time_next[0] == self.current_clock[0]:
# If scheduled for 'now', update the age manually
model.time_next = (model.time_next[0], self.current_clock[1])
# It is a new model, so add it to the scheduler too
self.model.scheduler.schedule(model)
else:
raise DEVSException("Unknown model to schedule: %s" % model)
def setTerminationTime(self, time):
"""
Sets the termination time for the simulation. Setting this will remove a previous termination time and condition.
:param time: time at which simulation should be halted
"""
if not isinstance(time, float) and not isinstance(time, int):
raise DEVSException(
"Simulation termination time should be either an integer or a float"
)
if time < 0:
raise DEVSException(
"Simulation termination time cannot be negative")
self.simulator.termination_condition = None
# Convert to float, as otherwise we would have to do this conversion implicitly at every iteration
self.simulator.termination_time = float(time)
def setActivityTrackingVisualisation(self, visualize, x=0, y=0):
"""
Set the simulation to visualize the results from activity tracking. An x and y parameter can be given to visualize it in a cell style.
:param visualize: whether or not to visualize it
:param x: the horizontal size of the grid (optional)
:param y: the vertical size of the grid (optional)
"""
if not isinstance(visualize, bool):
raise DEVSException(
"Activity Tracking visualisation requires a boolean")
if visualize and ((x > 0 and y <= 0) or (y > 0 and x <= 0)):
raise DEVSException(
"Activity Tracking cell view requires both a positive x and y parameter for the maximal size of the grid"
)
self.simulator.activity_visualisation = visualize
self.simulator.activity_tracking = visualize
self.simulator.x_size = int(x)
self.simulator.y_size = int(y)
def setClassicDEVS(self, classicDEVS=True):
"""
Use Classic DEVS instead of Parallel DEVS. This option does not affect the use of Dynamic Structure DEVS or realtime simulation. Not usable with distributed simulation.
:param classicDEVS: whether or not to use Classic DEVS
"""
if not local(self.simulator) and classicDEVS:
raise DEVSException(
"Classic DEVS simulations cannot be distributed!")
self.simulator.classicDEVS = classicDEVS
def setTerminationModel(self, model):
"""
Marks a specific AtomicDEVS model as being used in a termination condition. This is never needed in case no termination_condition is used. It will _force_ the model to run at the controller, ignoring the location that was provided in the model itself. Furthermore, it will prevent the model from migrating elsewhere.
:param model: an AtomicDEVS model that needs to run on the controller and shouldn't be allowed to migrate
"""
if self.simulator.setup:
raise DEVSException(
"Termination models cannot be changed after the first simulation was already ran!"
)
if isinstance(model, AtomicDEVS):
self.simulator.termination_models.add(model.model_id)
elif isinstance(model, int):
# A model_id in itself is passed, so just add this
self.simulator.termination_models.add(model)
else:
raise DEVSException(
"Only AtomicDEVS models can be used in termination conditions!"
)
def setVCD(self, filename):
"""
Sets the use of a VCD tracer.
Calling this function multiple times will register a tracer for each of them (thus output to multiple files is possible, though more inefficient than simply (manually) copying the file at the end).
:param filename: string representing the filename to write the trace to
"""
if not isinstance(filename, str):
raise DEVSException("VCD filename should be a string")
self.setCustomTracer("tracerVCD", "TracerVCD", [filename])
def local(sim):
"""
Test whether or not the simulation is done locally
:param sim: the simulator with the locations
:returns: bool -- whether or not the simulation is local
"""
if len(sim.locations) == 0:
raise DEVSException(
"There are no Atomic DEVS models present in your provided model")
return sim.server.size == 1
def setCheckpointing(self, name, checkpoint_interval):
"""
.. warning:: name parameter will be used as a filename, so avoid special characters
Sets the interval between 2 checkpoints in terms of GVT calculations. This option generates PDC files starting with 'name'. This is only possible when using MPI.
:param name: name to prepend to each checkpoint file
:param checkpoint_interval: number of GVT runs that are required to trigger a checkpoint. For example 3 means that a checkpoint will be created after each third GVT calculation
"""
if not isinstance(checkpoint_interval, int):
raise DEVSException("Checkpoint interval should be an integer")
if not isinstance(name, str):
raise DEVSException("Checkpoint name should be a string")
if checkpoint_interval < 1:
raise DEVSException(
"Checkpoint interval should be larger than or equal to one")
if self.simulator.realtime:
raise DEVSException(
"Checkpointing is not possible under realtime simulation")
self.simulator.checkpoint_interval = checkpoint_interval
self.simulator.checkpoint_name = name
def setActivityRelocatorBasicBoundary(self, swappiness):
"""
Sets the use of the *activity* relocator called *'Basic Boundary'*.
:param swappiness: how big the deviation from the average should be before scheduling relocations
"""
if swappiness < 1.0:
raise DEVSException(
"Basic Boundary Activity Relocator should have a swappiness >= 1.0"
)
self.setActivityRelocatorCustom("basicBoundaryRelocator",
"BasicBoundaryRelocator", swappiness)
def setRealTime(self, realtime=True, scale=1.0):
"""
Sets the use of realtime instead of 'as fast as possible'.
:param realtime: whether or not to use realtime simulation
:param scale: the scale for scaled real time, every delay will be multiplied with this number
"""
if not local(self.simulator):
raise DEVSException(
"Real time simulation is only possible in local simulation!")
self.simulator.realtime = realtime
self.simulator.realtime_scale = scale
def setVerbose(self, filename=None):
"""
Sets the use of a verbose tracer.
Calling this function multiple times will register a tracer for each of them (thus output to multiple files is possible, though more inefficient than simply (manually) copying the file at the end).
:param filename: string representing the filename to write the trace to, None means stdout
"""
if not isinstance(filename, str) and filename is not None:
raise DEVSException(
"Verbose filename should either be None or a string")
self.setCustomTracer("tracerVerbose", "TracerVerbose", [filename])
def setRealTimeInputFile(self, generator_file):
"""
Sets the realtime input file to use. If realtime is not yet set, this will auto-enable it.
:param generator_file: the file to use, should be a string, NOT a file handle. None is acceptable if no file should be used.
"""
if not self.simulator.realtime:
self.setRealTime(True)
if not isinstance(generator_file, str) and generator_file is not None:
raise DEVSException(
"Realtime generator should be a string or None")
self.simulator.generator_file = generator_file
def setSchedulerDiscreteTime(self, locations=None):
"""
Use a basic 'discrete time' style scheduler. If the model is scheduled, it has to be at the same time as all other scheduled models. It isn't really discrete time in the sense that it allows variable step sizes, only should ALL models agree on it.
:param locations: if it is an iterable, the scheduler will only be applied to these locations. If it is None, all nodes will be affected.
.. warning:: Only use in local simulation!
"""
if not local(self.simulator):
raise DEVSException(
"Do not use this scheduler for distributed simulation")
self.setSchedulerCustom("schedulerDT", "SchedulerDT", locations)
def setRealTimePorts(self, ports):
"""
Sets the dictionary of ports that can be used to put input on. If realtime is not yet set, this will auto-enable it.
:param ports: dictionary with strings as keys, ports as values
"""
if not self.simulator.realtime:
self.setRealTime(True)
if not isinstance(ports, dict):
raise DEVSException(
"Realtime input port references should be a dictionary")
self.simulator.realtime_port_references = ports
def setSchedulerCustom(self, filename, scheduler_name, locations=None):
"""
Use a custom scheduler
:param filename: filename of the file containing the scheduler class
:param scheduler_name: class name of the scheduler contained in the file
:param locations: if it is an iterable, the scheduler will only be applied to these locations. If it is None, all nodes will be affected.
"""
if not isinstance(filename, str):
raise DEVSException("Custom scheduler filename should be a string")
if not isinstance(scheduler_name, str):
raise DEVSException(
"Custom scheduler classname should be a string")
if locations is None:
# Set global scheduler, so overwrite all previous configs
self.simulator.scheduler_type = (filename, scheduler_name)
self.simulator.scheduler_locations = {}
else:
# Only for a subset of models, but keep the default scheduler
for location in locations:
self.simulator.scheduler_locations[location] = (filename,
scheduler_name)
def setCell(self,
x_size=None,
y_size=None,
cell_file="celltrace",
multifile=False):
"""
Sets the cell tracing flag of the simulation
:param cell: whether or not verbose output should be generated
:param x_size: the horizontal length of the grid
:param y_size: the vertical length of the grid
:param cell_file: the file to save the generated trace to
:param multifile: if True, each timestep will be save to a seperate file (nice for visualisations)
"""
if x_size is None or y_size is None:
raise DEVSException("Cell Tracing requires both an x and y size")
if x_size < 1 or y_size < 1:
raise DEVSException("Cell Tracing sizes should be positive")
self.setCustomTracer(
"tracerCell", "TracerCell",
[cell_file, int(x_size),
int(y_size), multifile])
def setListenPorts(self, port, function):
"""
Sets a listener on a DEVS port. When an event arrives at that output port, the provided function will be called with the bag (as if that function were the extTransition!).
Listening to ports is only allowed in realtime simulation! Remember to return from the calling function as soon as possible to minimize delays.
Only a single listener is supported per port.
:param port: the port to listen to, can be anything.
:param function: the function to call when the event arrives. It should take a single parameter (the event bag).
"""
if not self.simulator.realtime:
raise DEVSException("Need to be in realtime simulation")
self.simulator.listeners[port] = function
def setDSDEVS(self, dsdevs=True):
"""
Whether or not to enable Dynamic Structure DEVS simulation. If this is set to True, the modelTransition method will be called on all transitioned models.
If this is False, the modelTransition method will not be called, even if one is defined! Enabling this incurs a (slight) slowdown in the simulation,
due to the additional function calls and checks that have to be made. Currently only available in local simulation.
:param dsdevs: enable or not
"""
if local(self.simulator):
self.simulator.dsdevs = dsdevs
elif not dsdevs:
raise DEVSException(
"Dynamic Structure DEVS is currently only available in local simulation!"
)
def setRelocationDirective(self, time, model, destination):
"""
Creates a relocation directive, stating that a relocation of a certain model should happen at or after the specified time (depending on when the GVT progresses over this time).
If multiple directives exist for the same model, the one with the highest time will be executed.
:param time: time after which the relocation should happen
:param model: the model to relocate at the specified time. Can either be its ID, or an AtomicDEVS or CoupledDEVS model. Note that providing a CoupledDEVS model is simply a shortcut for relocating the COMPLETE subtree elsewhere, as this does not stop at kernel boundaries.
:param destination: the location to where the model should be moved
"""
if not isinstance(destination, int) and not isinstance(
destination, str):
raise DEVSException(
"Relocation directive destination should be an integer or string"
)
destination = int(destination)
if destination not in range(self.simulator.server.size):
raise DEVSException(
"Relocation directive got an unknown destination, got: %s, expected one of %s"
% (destination, range(self.simulator.server.size)))
from pypdevs.relocators.manualRelocator import ManualRelocator
if not isinstance(self.simulator.activity_relocator, ManualRelocator):
raise DEVSException(
"Relocation directives can only be set when using a manual relocator (the default)\nYou seem to have changed the relocator, so please revert it back by calling the 'setManualRelocator()' first!"
)
if isinstance(model, int):
self.simulator.activity_relocator.addDirective(
time=time, model=model, destination=destination)
elif isinstance(model, AtomicDEVS):
self.simulator.activity_relocator.addDirective(
time=time, model=model.model_id, destination=destination)
elif isinstance(model, CoupledDEVS):
for m in model.component_set:
self.simulator.setRelocationDirective(time, m, destination)
def setLocationCellMap(self, locationmap, x=0, y=0):
"""
Set the simulation to produce a nice Cell DEVS like output file of the current location. This file will be regenerated as soon as some relocations are processed.
:param locationmap: whether or not to generate this file
:param x: the horizontal size of the grid
:param y: the vertical size of the grid
"""
if locationmap and (x <= 0 or y <= 0):
raise DEVSException(
"Location cell view requires a positive x and y parameter for the maximal size of the grid"
)
self.simulator.location_cell_view = locationmap
self.simulator.x_size = int(x)
self.simulator.y_size = int(y)
def setLogging(self, destination, level):
"""
Sets the logging destination for the syslog server.
:param destination: A tuple/list containing an address, port pair defining the location of the syslog server. Set to None to prevent modification
:param level: the level at which logging should happen. This can either be a logging level from the logging module, or it can be a string specifying this level. Accepted strings are: 'debug', 'info', 'warning', 'warn', 'error', 'critical'
"""
if self.simulator.nested:
raise DEVSException(
"Logging in nested simulation is not allowed, the logging settings of the parent are used!"
)
if (not isinstance(self.destination, tuple)
and not isinstance(self.simulator.destination, list)
and (destination is not None)):
raise DEVSException(
"Logging destination should be a tuple or a list containing an IP addres, followed by a port address"
)
if isinstance(level, str):
import logging
# Convert to the correct location
level = level.lower()
loglevels = {
"debug": logging.DEBUG,
"info": logging.INFO,
"warning": logging.WARN,
"warn": logging.WARN,
"error": logging.ERROR,
"critical": logging.CRITICAL
}
try:
level = loglevels[level]
except IndexError:
raise DEVSException("Logging level %s not recognized" % level)
if destination is not None:
self.simulator.address = destination
self.simulator.loglevel = level
def setAllowLocalReinit(self, allowed=True):
"""
Allow a model to be reinitialized in local simulation.
This is not the case by default, as it would be required to save a copy of the model in memory during setup. Generating such a copy can be time consuming and the additional memory consumption could be unacceptable.
Distributed simulation is unaffected, since this always requires the creation of a copy.
If this is False and reinitialisation is done in a local simulation, an exception will be thrown.
.. warning:: The state that is accessible after the simulation will **NOT** be updated if this configuration parameter is used. If you want to have fully up to date states, you should also set the *setFetchAllAfterSimulation()* configuration parameter.
:param allowed: whether or not to allow reinitialization
"""
#TODO check whether or not simulation has already happened...
if not isinstance(allowed, bool):
raise DEVSException(
"The allow local reinit call requires a boolean as parameter")
self.simulator.allow_local_reinit = allowed
def setDrawModel(self,
draw_model=True,
output_file="model.dot",
hide_edge_labels=False):
"""
Whether or not to draw the model and its distribution before simulation starts.
:param draw_model: whether or not to draw the model
:param output_file: file to output to
:param hide_edge_labels: whether or not to hide the labels of the connections, this speeds up the model drawing and allows for reasonably sized diagrams
"""
if self.simulator.setup:
raise DEVSException(
"Model can only be drawn at the first simulation run due to the model being optimized before simulation"
)
self.simulator.draw_model = draw_model
self.simulator.draw_model_file = output_file
self.simulator.hide_edge_labels = hide_edge_labels
