- calcParetoPoints() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Calculate Pareto points from the list of SAT and UNSAT points
- calculateActorPrecedences(Channel) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Generate a list of precedences between the producer and consumer task instances.
- calculateActorPrecedences(Channel) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- CalculateBounds - Class in graphanalysis
-
Calculate maximum and minimum bounds on the graph.
- CalculateBounds(Graph, Graph, Solutions) - Constructor for class graphanalysis.CalculateBounds
-
Initialize the bounds calculation object.
- CalculateBounds(Graph, Solutions) - Constructor for class graphanalysis.CalculateBounds
-
Initialize the bounds calculation object.
- calculateBuffer(Map<String, String>) - Method in class graphanalysis.scheduling.ListScheduling
-
Calculate the buffer size for the schedule
- calculateEnableTimes() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Calculate enable times of the tasks
- calculateJoin(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- calculateMeet(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- calculateMinDistances() - Method in class platform.model.Platform
-
Calculate the minimum distances between the clusters.
- calculateMulticlusterActorChannels() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- calculateReadyActors(int) - Method in class graphanalysis.scheduling.ListScheduling
-
Calculate ready actors
- calculateRectangles() - Method in class output.GanttChart
-
Calculate the rectangles in the Gantt chart.
- calculateSchedMatrixIndexVar() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
- calculateSchedMatrixNonIndexVar(int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
- calculateSchedMatrixNonIndexVar() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
- calculateStronglyConnectedComponents() - Method in class graphanalysis.Kosaraju
-
Find strongly connected components.
- calculateThroughput(Graph) - Method in class graphanalysis.throughput.Throughput
-
Calculates throughput of the graph.
- calculateThroughput() - Method in class graphanalysis.throughput.ThroughputMcm
-
Calculates the throughput using MCM.
- calculateWorkImbalance(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Calculate workload imbalance depending on number of clusters used.
- calculateWorkImbalance(int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Calculate workload imbalance for all the clusters.
- calculateXMax() - Method in class output.GanttChart
-
Calculate the maximum value for the X-axis of the Gantt chart.
- capPeriodCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
Generate SMT constraints for capX variables based on period.
- capPredCalculations() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
Generate SMT constraints to calculate the values of capX, capPred variables.
- capPredXId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable capX predicted of a task.
- capPredXId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable capX predicted of an actor instance
- capPredXPrefix - Static variable in class solver.SmtVariablePrefixes
-
Cap Pred X variable for Omega Analysis.
- capPrimeCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
Generate SMT constraints for calculating xPrime variables
depending on capX variables.
- capVarDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT cap variables for Omega analysis
- capVariableCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
Generate SMT constraints for calculating capX and capY variables depending on
xPrime and yPrime of the tasks.
- capXId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable capX of a task.
- capXId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable capX of an actor instance
- capXPrefix - Static variable in class solver.SmtVariablePrefixes
-
Cap X variable for Omega Analysis.
- capYId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable capY of a task
- capYId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable capY of an actor instance
- capYPrefix - Static variable in class solver.SmtVariablePrefixes
-
Cap Y variable for Omega Analysis.
- ch - Variable in class graphanalysis.throughput.Throughput.TransitionSystem.State
-
- Channel - Class in spdfcore
-
FIFO channel: an edge in the SPDF or SDF graph.
- Channel() - Constructor for class spdfcore.Channel
-
- Channel.Link - Class in spdfcore
-
A link between a channel and an actor what is usually called a port.
- Channel.Link() - Constructor for class spdfcore.Channel.Link
-
- channelName - Variable in class spdfcore.Channel
-
Name of the channel.
- channels - Variable in class spdfcore.Graph
-
Channels of the graph
- chartGeneration(String, int) - Method in class output.GanttChart
-
Generate the Gantt chart.
- check(Solver, int) - Method in class solver.Z3Context
-
Assert a SMT Query in the Solver.
- check(Graph) - Method in class spdfcore.stanalys.LivenessAcyclic
-
check the liveness (in this version - whether the graph is acyclic)
- check(ParamComm, Solutions) - Method in class spdfcore.stanalys.Safety
-
check parameter modification safety according to the safety criterion;
this ensures that the graph has a periodic schedule.
- checkForNegativeWeightCycles() - Method in class graphanalysis.BellmanFord
-
Check for Negative weight cycles.
- checkGenerators() - Method in class exploration.paretoExploration.distanceexploration.Knee
-
- checkIfExplorationGranularityReached() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Check if the granularity of the exploration has reached for each dimension.
- checkIfSatOrUnsat(Point) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Check if the point falls in SAT or UNSAT known area.
- checkInconsistency(InconsistencyProof) - Static method in class tests.TrySolutions
-
- checkResults(Solutions.Data) - Method in class spdfcore.stanalys.Solutions
-
Look for rate inconsistency
- checkSat(int) - Method in interface exploration.interfaces.SolverFunctions
-
Perform a SMT query if the problem is
satisfiable or not.
- checkSat(int) - Method in class solver.Z3Solver
-
- checkSolutions(Graph, Solutions) - Static method in class tests.TrySolutions
-
- clear() - Method in class input.ParseHardwarePlatform.PlatformProp
-
- clear() - Method in class spdfcore.stanalys.GraphExpressions
-
clear all the port rates
- clear() - Method in class spdfcore.stanalys.Solutions
-
Clear all the solutions
- clockStep() - Method in class graphanalysis.throughput.Throughput.TransitionSystem
-
- clone(Throughput.TransitionSystem.State) - Method in class graphanalysis.throughput.Throughput.TransitionSystem.State
-
- clone(Graph) - Method in class spdfcore.Graph
-
- clone() - Method in class spdfcore.stanalys.DivisorSet
-
- cloneId() - Method in class spdfcore.Id
-
- cloneList(List<Integer>) - Method in class exploration.oneDimensionExploration.BinarySearchOneDim
-
Create a new instance of the list.
- clonePath(List<Actor>) - Method in class graphanalysis.DepthFirstSearch
-
Clone a path
- close() - Method in class logger.ConsoleLogger
-
When closing the console, also close the log file.
- cluster - Variable in class input.ParseHardwarePlatform.DmaInfo
-
- cluster - Variable in class input.ParseHardwarePlatform.MemoryInfo
-
- cluster - Variable in class input.ParseHardwarePlatform.ProcessorInfo
-
- Cluster - Class in platform.model
-
Represents a cluster in the platform.
- Cluster(String, int, int, int, int, int, int) - Constructor for class platform.model.Cluster
-
Initialize the cluster component of the platform model.
- cluster - Variable in class platform.model.DmaEngine
-
Cluster to which the DMA engine belongs
- cluster - Variable in class platform.model.Memory
-
Clusters which can access this memory.
- cluster - Variable in class platform.model.Processor
-
Cluster to which this processor belongs to.
- clusterAllocatedWorkId(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Get workload allocated to a specific cluster SMT variable
- clusterAllocatedWorkId(int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Get SMT variable of workload allocated on a cluster
- clusterBufferId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for buffer usage for a cluster
- clusterBufferPrefix - Static variable in class solver.SmtVariablePrefixes
-
Communication Buffer used in a cluster
- clusterConstraint - Variable in class input.CommandLineArgs
-
Number of clusters to be used
- ClusterConstraints - Interface in exploration.interfaces.oneDim
-
Total number of clusters used for exploration
- clusterDmaStartTimePrecedences() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Generate special precedence constraints for start times of DMA actors.
- clusterDmaStartTimePrecedences() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- clusterId - Variable in class platform.kalray.ParseExecutionLog.LogRecord
-
- clusterIdLocation - Variable in class platform.kalray.ParseExecutionLog
-
Position where the cluster id is located in the log file String.
- clusterImbalanceId(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Get workload imbalance for a cluster SMT variable
- clusterImbalanceId(int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Get SMT variable of workload imbalance on a cluster
- ClusterMutExclNonPipelined - Class in solver.distributedMemory.scheduling
-
Cluster scheduling for distributed memory.
- ClusterMutExclNonPipelined(Graph, Graph, Solutions, Graph, Graph, Solutions, Platform, String, SchedulingConstraints) - Constructor for class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Initialize a Cluster scheduler based on mutual exclusion.
- ClusterMutExclNonPipelined.OptimizeSchedule - Class in solver.distributedMemory.scheduling
-
Schedule optimizer to improve latency and processor usage.
- ClusterMutExclNonPipelined.OptimizeSchedule() - Constructor for class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
-
Build a new schedule optimizer object
- ClusterMutExclPipelined - Class in solver.distributedMemory.scheduling
-
- ClusterMutExclPipelined(Graph, Graph, Solutions, Graph, Graph, Solutions, Platform, SchedulingConstraints) - Constructor for class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- clusters - Variable in class input.ParseHardwarePlatform
-
Scanned cluster nodes from XML.
- clusters - Variable in class platform.model.Platform
-
All the Clusters of the platform.
- clusterTaskAllocationId(String, int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Get SMT variable of an actor instance allocated to a cluster
- clusterTaskAllocationId(String) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Get SMT variable of an actor allocated to a cluster
- clusterTaskPrefix - Static variable in class solver.SmtVariablePrefixes
-
Cluster to which the task is allocated.
- clusterTaskWorkAllocation() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
Calculate the workload allocated per group.
- clusterTaskWorkAllocation() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
-
- clusterToGroupMap - Variable in class designflow.DesignFlowSolution.Mapping
-
Map of group assigned to a cluster.
- clusterUtilizationMap - Variable in class designflow.DesignFlowSolution.Schedule
-
Map containing utilized processors inside a cluster
- clusterWorkAllocationPrefix - Static variable in class solver.SmtVariablePrefixes
-
Amount of work allocated to a cluster.
- collapseChannelInGraph(Channel) - Method in class graphanalysis.scheduling.Apgan
-
Collapse a selected channel in the graph.
- collapseChannelInGraph(Channel) - Method in class underDevelopment.QuasiStaticScheduling
-
- collapsedLeftActor - Variable in class graphanalysis.scheduling.Apgan
-
Internal variables of the algorithm
- collapsedRightActor - Variable in class graphanalysis.scheduling.Apgan
-
Internal variables of the algorithm
- collectParamters(Stack<Actor>) - Method in class underDevelopment.QuasiStaticScheduling
-
- color - Variable in class graphanalysis.GraphFindCycles
-
Color assigned to the actor.
- color - Variable in class output.GanttChart.Record
-
Color assigned to the task
- colorBook - Variable in class output.GanttChart
-
Colors mapped to tasks.
- CommandLineArgs - Class in input
-
Process command line arguments for the experiments.
- CommandLineArgs(String[]) - Constructor for class input.CommandLineArgs
-
Initialize the command line parser object
- CommandLineArgs.SolverType - Enum in input
-
Pipelined Scheduling Solvers : UNFOLDING_SOLVER -- PERIOD_LOCALITY
Non-Pipelined Scheduling Solvers : MATRIX_SOLVER -- MUTUAL_EXCLUSION
- CommandLineArgs.SolverType() - Constructor for enum input.CommandLineArgs.SolverType
-
- commCostBetweenGroups(int, int) - Method in class designflow.DesignFlowSolution.Partition
-
Get communication cost between two groups equal to amount of
data transfer between them.
- commCostId(String) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Get SMT variable of communication cost for a channel in application graph
- commCostId(int, int) - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
Get SMT variable for communication cost between two groups
- CommCostParams - Class in exploration.parameters.oneDimension
-
Exploration Parameters for minimizing the communication cost.
- CommCostParams(Graph, Solutions, Platform) - Constructor for class exploration.parameters.oneDimension.CommCostParams
-
Initialize exploration parameters object.
- commCostPrefix - Static variable in class solver.SmtVariablePrefixes
-
Communication Cost for a channel
- commCpuMap - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
-
Communication tasks mapped to the same DMA engines
- commLink(Channel, int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Communication distance of a channel SMT variable
- communicatingActorsBetweenGroups(int, int) - Method in class designflow.DesignFlowSolution.Partition
-
Get a list of communicating actors between two groups.
- CommunicationCostConstraints - Interface in exploration.interfaces.oneDim
-
Total Communication cost used for exploration.
- communicationCosts() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
Calculate the communication cost for every channel depending on
producer and consumer of channel allocated to same or different
group.
- communicationCosts() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
-
- communicationLinksAllocation() - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
A constraint specifying : depending on clusters where producer and consumer of channel is allocated the
distance between them will be calculated
- compareByStrategy(ListScheduling.Strategy, Actor, Actor) - Method in class graphanalysis.scheduling.ListScheduling
-
This functions supports the comparator to select an actor
between multiple ready actors.
- compareTo(Schedule) - Method in class graphanalysis.scheduling.Schedule
-
Compare two schedules.
- compareTo(GanttChart.Record) - Method in class output.GanttChart.Record
-
Compare record with another record.
- compareTo(ParseExecutionLog.LogRecord) - Method in class platform.kalray.ParseExecutionLog.LogRecord
-
- compute(LeftEdgeModelToSchedule.Model, int, int) - Static method in class graphanalysis.scheduling.LeftEdgeModelToSchedule
-
- computeRandomStrategy() - Method in class graphanalysis.scheduling.ListScheduling
-
- computeThroughput(int) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
-
- connectedComponents - Variable in class graphanalysis.throughput.ThroughputMcm
-
Calculate strongly connected components in the graph
- connectSourcesToUsers(Solutions) - Method in class spdfcore.stanalys.ParamComm
-
Connect the period nodes to the users to model the propagation
of parameters to the users at every period.
- console - Variable in class logger.ConsoleLogger
-
Default Console output stream.
- ConsoleLogger - Class in logger
-
This class will duplicate the console output to the log file specified by the file name.
- ConsoleLogger(String) - Constructor for class logger.ConsoleLogger
-
We have to just create an object of this class and pass the filename
where the log should be written.
- consRateId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for a consumption rate on a channel.
- constraintNames - Variable in class exploration.ExplorationParameters
-
Name of the constraints for each dimension.
- constructActorWrappers() - Method in class underDevelopment.QuasiStaticScheduling
-
- constructGraph(int, int, String[][], String[][]) - Method in class tests.TestBase
-
Construct an SPDF graph.
- constructReachability(Graph) - Method in class graphanalysis.scheduling.Apgan
-
Construct Reachability matrix of the input graph
This algorithm comes from the book -
Essential Java for Scientists and Engineers
page no.
- constructScheduleTreeFromPostfix(String) - Method in class graphanalysis.scheduling.Schedule
-
Construct the Schedule Tree from the PostFix Schedule
expression.
- consumptionRatePrefix - Static variable in class solver.SmtVariablePrefixes
-
Rate of consuming tokens on a channel for an actor.
- contains(Actor) - Method in class spdfcore.stanalys.Solutions
-
Check if the solutions contain an actor
- containsLowestPoint() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
If the exploration happens such that the point (0,0) returns a SAT value,
then there is no need in exploring other points, because it will anyways
dominate all the other points.
- contextStatements - Variable in class solver.Z3Solver
-
We save all the assertions on this stack.
- convertSDFtoHSDF(Graph) - Method in class graphanalysis.TransformSDFtoHSDF
-
Convert SDF to HSDF graph with all rates equal to 1.
- convertSDFtoHSDFWithUniqueChannels(Graph) - Method in class graphanalysis.TransformSDFtoHSDF
-
Convert SDF to HSDF graph with unique channels.
- convertStacktoSchedule(Stack<String>) - Method in class underDevelopment.QuasiStaticScheduling
-
- coordinates - Variable in class exploration.paretoExploration.distanceexploration.Point
-
- coordinates - Variable in class exploration.paretoExploration.gridexploration.Point
-
Co-ordinates of the point
- copy(Solutions) - Method in class spdfcore.stanalys.Solutions
-
- countActors() - Method in class spdfcore.Graph
-
Get number of actors in the graph
- countChannels() - Method in class spdfcore.Graph
-
Get number of channels in the graph
- cpuDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
SMT variables for allocated processor of all the tasks.
- cpuDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- cpuDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
SMT variables for processor allocation of the tasks
- cpuDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
SMT variables for allocate processor of the task
- cpuDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
SMT variables for processor allocated to the tasks.
- cpuId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for processor allocated of an actor instance
- cpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for processor allocated of an actor instance
- cpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- cpuId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for processor allocated to a task.
- cpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for processor allocated to an actor instance
- cpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Get the SMT variable for processor allocated to an actor instance
- cpuId(String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Get the SMT variable for processor allocated to a task
- cpuId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Get SMT variable for processor allocated to a task.
- cpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Get SMT variable for processor allocated to an actor instance
- cpuPrefix - Static variable in class solver.SmtVariablePrefixes
-
Processor to which a task is allocated.
- createNewLink(Graph, String, Actor, Port, int, Actor) - Method in class graphanalysis.scheduling.Apgan
-
Create a new link between two actors.
- createNewLink(Graph, Actor, Port, Actor, Channel) - Method in class underDevelopment.QuasiStaticScheduling
-
- ctx - Variable in class solver.Z3Context
-
Z3 Context.
- currentOmegaActor - Variable in class graphanalysis.scheduling.Apgan
-
Internal variables of the algorithm
- currentState - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
-
- cycle - Variable in class spdfcore.stanalys.InconsistencyProof
-
- cycleActor - Variable in class spdfcore.stanalys.LivenessAcyclic.Data
-
- cycleComplete - Variable in class spdfcore.stanalys.LivenessAcyclic.Data
-
- cycles - Variable in class graphanalysis.GraphFindCycles
-
List of cycles in the graph.