- m - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
-
- machinePeriodicity() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Generate constraints for machine periodicity of the schedule.
- main(String[]) - Static method in class experiments.distributedMemory.DesignFlowNonPipelined
-
Entry point method for design flow for non-pipelined scheduling.
- main(String[]) - Static method in class experiments.distributedMemory.DesignFlowPipelined
-
Entry point method for design flow for pipelined scheduling.
- main(String[]) - Static method in class experiments.others.GenerateAppXmlFromProfile
-
Entry point method to generate application XMl from profile XML
- main(String[]) - Static method in class experiments.others.ParseKalrayHardwareLog
-
- main(String[]) - Static method in class experiments.others.TryJulienMapping
-
Entry point for testing mapping constraints.
- main(String[]) - Static method in class experiments.others.TryListScheduling
-
Entry point for list scheduling algorithm.
- main(String[]) - Static method in class experiments.sharedMemory.oneDimension.SingleLatencyQuery
-
Entry point method for latency exploration for shared memory architecture
- main(String[]) - Static method in class experiments.sharedMemory.oneDimension.SinglePeriodQuery
-
Entry point method for period exploration for shared memory architecture
- main(String[]) - Static method in class experiments.sharedMemory.threeDimension.LatProcBuffExploration
-
Entry point method to perform a 3D exploration of
latency vs processors vs buffer-size for shared memory
- main(String[]) - Static method in class experiments.sharedMemory.twoDimension.LatProcExploration
-
Entry point method to perform Latency vs Processor used
exploration for shared memory architecture.
- main(String[]) - Static method in class experiments.sharedMemory.twoDimension.PeriodProcExploration
-
Entry point method to perform Period vs Processors exploration for a shared memory architecture.
- main(String[]) - Static method in class tests.TestCompiler
-
It will call some tests in this package to check if parts of compiler
are working fine.
- main(String[]) - Static method in class tests.TryApgan
-
Main function to test APGAN Algorithm
- main(String[]) - Static method in class tests.TryApplicationXML
-
Procedure to parse XML file and build a graph.
- main(String[]) - Static method in class tests.TryBellmanFord
-
- main(String[]) - Static method in class tests.TryExpression
-
This function creates some expressions and it checks
the results for addition, subtraction, division, multiplication
of these expressions.
- main(String[]) - Static method in class tests.TryFraction
-
This function creates some fractions and it checks
the results for division, multiplication
of these fractions.
- main(String[]) - Static method in class tests.TryGenerateSdfXml
-
This test parses an XML file and converts it into graph structure.
- main(String[]) - Static method in class tests.TryGraphClone
-
This test takes an example SDF graph and inserts a new actor between two actors.
- main(String[]) - Static method in class tests.TryLiveness
-
It constructs a sample SPDF graph and checks the liveness property
of it.
- main(String[]) - Static method in class tests.TryParsePlatformXML
-
Procedure to parse Platform XML file and build a model.
- main(String[]) - Static method in class tests.TryPrintGraph
-
Procedure to generate a dotGraph for simple application graph.
- main(String[]) - Static method in class tests.TrySafety
-
- main(String[]) - Static method in class tests.TrySolutions
-
- main(String[]) - Static method in class tests.TrySpdf
-
- main(String[]) - Static method in class tests.TryThroughput
-
Procedure to calculate the throughput of an application graph.
- main(String[]) - Static method in class tests.TryTransformSDFToHSDF
-
Procedure to convert SDF to HSDF graph and then we perform some simple
tests on the HSDF graph to check their rates, number of actors and repetition count.
- main(String[]) - Static method in class underDevelopment.TryQuasiStatic
-
- mapping - Variable in class designflow.DesignFlowSolution
-
Mapping solution
- mapping - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
-
- mapping - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnrolMapping
-
- MappingCommSolver - Class in solver.distributedMemory.mapping
-
Combine solving of mapping and communication cost problem.
- MappingCommSolver(Graph, Graph, Solutions, Platform) - Constructor for class solver.distributedMemory.mapping.MappingCommSolver
-
Build a mapping solver.
- markReachableNodes(Actor, Graph, Map<Actor, Integer>, int) - Method in class graphanalysis.Kosaraju
-
Recursively marks all nodes reachable from the given node by a DFS with
the current label.
- MatrixSolver - Class in solver.sharedMemory.combinedSolver.nonpipelined
-
Matrix Solver is a SMT based solver which uses functions to solve
the scheduling problem.
- MatrixSolver(Graph) - Constructor for class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Build a matrix solver object.
- MAX_DISTANCE - Variable in class graphanalysis.BellmanFord
-
Maximum distance in the graph.
- maxBufDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
SMT variable for maximum buffer usage per cluster of the application
- maxBufferId(String, String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for maximum buffer for channel connecting two actors.
- maxBufferId(String, String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for maximum buffer size for a channel.
- maxBufferPrefix - Static variable in class solver.SmtVariablePrefixes
-
Maximum buffer required for a channel.
- maxBufferSize - Variable in class graphanalysis.CalculateBounds
-
Maximum Latency to be used for a design space exploration.
- maxCpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for max CPU id for processor symmetry
- maxCpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- maxCpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for maximum processor index on which a task can run for processor symmetry constraints.
- maxCpuId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for maximum index of processor on which a task can run.
- maxCpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Get SMT variable for maximum processor index where task can be allocated
- maxCpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Get SMT variable for maximum processor index on which a task can run for processor symmetry constraints.
- maxCpuPrefix - Static variable in class solver.SmtVariablePrefixes
-
Maximum CPU a task can use.
- maxDistance - Variable in class solver.distributedMemory.mapping.MappingCommSolver
-
Maximum distance in the network on chip between two clusters
- maxFunctionDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
SMT function to calculate the maximum value among the two values
- maxFunctionPrefix - Static variable in class solver.SmtVariablePrefixes
-
Name for the max function
- maxLatency - Variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
An upper bound on latency for exploration.
- maxLatency - Variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
An upper bound on latency for exploration.
- maxLatency - Variable in class graphanalysis.CalculateBounds
-
Maximum Latency to be used for a design space exploration.
- maxLatencyScalingFactor - Variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
Latency scaling factor.
- maxLatencyScalingFactor - Variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
Latency scaling factor.
- maxLatencyScalingFactor - Variable in class input.CommandLineArgs
-
Latency scaling factor
- maxProcessors - Variable in class graphanalysis.CalculateBounds
-
Maximum Number of processors to be used for a design space exploration.
- maxWorkLoadOnCluster() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Calculate maximum workload on a cluster
- maxWorkloadOnClusterId() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Get SMT variable of maximum workload allocated to all clusters
- maxWorkloadOnClusterPrefix - Static variable in class solver.SmtVariablePrefixes
-
Maximum workload on a cluster
- MaxWorkLoadPerCluster - Interface in exploration.interfaces.oneDim
-
Max workload allocated to a cluster constraint for exploration.
- MaxWrkLdCommCostClusterConstraints - Interface in exploration.interfaces.threeDim
-
Interface to be implemented for 3-dim exploration of
max workload per cluster, communication cost and number of clusters used.
- MaxwrkloadCommClusterParams - Class in exploration.parameters.threeDimension
-
Maximum workload per cluster, communication cost, and number of clusters used exploration parameters.
- MaxwrkloadCommClusterParams(Graph, Solutions, int) - Constructor for class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
Initialize exploration parameters object.
- memories - Variable in class platform.model.Platform
-
All the memories of the platform.
- memory - Variable in class input.ParseHardwarePlatform
-
Scanned memory nodes from XML.
- memory - Variable in class platform.model.Cluster
-
Memories of the cluster.
- Memory - Class in platform.model
-
Represents a Memory component in the platform.
- Memory(String, int, long, int, int, int) - Constructor for class platform.model.Memory
-
Initializes the Memory component of the platform.
- memory - Variable in class platform.model.Processor
-
Memories of the processor
- mergeActorsWithEqualSolutions() - Method in class underDevelopment.QuasiStaticScheduling
-
- min(int, int) - Static method in class spdfcore.stanalys.DivisorSet
-
- minBufferSize - Variable in class graphanalysis.CalculateBounds
-
Minimum Buffer Size to be used for a design space exploration.
- minDistance - Variable in class solver.distributedMemory.mapping.MappingCommSolver
-
Minimum distance in the network on chip between two clusters
- minDistances - Variable in class platform.model.Platform
-
All the distances between processors or clusters of the platform.
- minLatency - Variable in class graphanalysis.CalculateBounds
-
Minimum Latency to be used for a design space exploration.
- minLatencyBound() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Lower bound on the latency.
- minLatencyBound() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- minLatencyBound() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Generate lower bound for latency of the schedule
- minLatencyBound() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Generate a lower bound on the latency.
- minLatencyForPeriodExpl - Variable in class input.CommandLineArgs
-
Use minimum latency for period exploration
- minPeriod - Variable in class graphanalysis.CalculateBounds
-
Minimum Period to be used for a design space exploration.
- minPeriodBound() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Generate a SMT constraint for lower bound on Period
Period >= (Sum exec.times) / (No of Processors)
- minPeriodBound() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Generate a lower bound on the period.
- minus(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- minus(double) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- minus(Point) - Method in class exploration.paretoExploration.gridexploration.Point
-
Subtract this point with another point p and
return a Point with new co-ordinates.
- minus(double) - Method in class exploration.paretoExploration.gridexploration.Point
-
Subtract a value from each dimension of this point
and return a new point with new co-ordinates.
- modelFile - Variable in class exploration.Explorer
-
File which contains models for every SAT point.
- modelFileName - Variable in class exploration.Explorer
-
Filename for models file.
- modelToGantt(Map<String, String>, String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Convert a SMT model to Gantt chart.
- modelToGantt(Map<String, String>, String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- modelToGantt(Map<String, String>, String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
-
Generate a Gantt chart from a model
- modelToMapping(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
Convert model obtained from SMT solver to a mapping solution.
- modelToPartition(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Sets a new partition in design flow solution
- modelToPartition(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
- modelToPartition(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
-
- modelToPartitionAwareGraph(Map<String, String>) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Convert a model to partition aware graph by inserting DMA actors.
- modelToPartitionAwareGraph(Map<String, String>) - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
Convert a solution model to partition aware graph.
- modelToPartitionAwareGraph(Map<String, String>) - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
-
Convert a model to partition aware graph by inserting DMA actors.
- modelToSchedule(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Generate a Schedule of design flow solution from the model obtained from the SMT solver.
- modelToSchedule(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- modifiedParameters - Variable in class spdfcore.stanalys.ParamComm
-
lookup from modifier actor to parameters
- Modifier - Class in spdfcore
-
Modifier - actor type that sets the parameter.
- Modifier() - Constructor for class spdfcore.Modifier
-
- modifierOfPeriodActor - Variable in class spdfcore.stanalys.ParamComm
-
lookup from period actor to the corresponding modifier
- modifiers - Variable in class spdfcore.Graph
-
Modifiers in the graph, required for SPDF graph
- moduloDistanceCalculation() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
This works only for Mesh platforms.
- multiClusterActors - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- multiplicityGraph - Variable in class underDevelopment.QuasiStaticScheduling
-
- multiply(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- multiply(double) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- multiply(Point) - Method in class exploration.paretoExploration.gridexploration.Point
-
Multiply this point with another point and return a
new point.
- multiply(double) - Method in class exploration.paretoExploration.gridexploration.Point
-
Multiply this point with a constant value and return a
new Point object.
- multiply(Expression, Expression) - Static method in class spdfcore.stanalys.Expression
-
Multiply two expressions
- multiply(Fraction, Fraction) - Static method in class spdfcore.stanalys.Fraction
-
Get the product of two fractions
- multiset - Variable in class spdfcore.stanalys.DivisorSet
-
- MutExNonPipelinedScheduling - Class in solver.sharedMemory.combinedSolver.nonpipelined
-
Mutual Exclusion solver for non-pipelined scheduling problem
- MutExNonPipelinedScheduling(Graph) - Constructor for class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
-
Build mutual exclusion solver object
- MutExNonPipelinedScheduling.LeftEdgeNonPipelined - Class in solver.sharedMemory.combinedSolver.nonpipelined
-
Left-edge scheduling for non-pipelined problem.
- MutExNonPipelinedScheduling.LeftEdgeNonPipelined() - Constructor for class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling.LeftEdgeNonPipelined
-
- MutExPipelinedScheduling - Class in solver.sharedMemory.combinedSolver.pipelined
-
The pipelined problem is solved using this class by
a Mutual exclusion solver.
- MutExPipelinedScheduling(Graph) - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Build a mutual exclusion pipelined solver
- MutExPipelinedScheduling.LeftEdgePipelined - Class in solver.sharedMemory.combinedSolver.pipelined
-
Class to generate variables and constraints for pipelined scheduling
using Left-edge algorithm.
- MutExPipelinedScheduling.LeftEdgePipelined() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.LeftEdgePipelined
-
- MutExPipelinedScheduling.OmegaAnalysis - Class in solver.sharedMemory.combinedSolver.pipelined
-
Class to generate variables and constraints for pipelined scheduling
using Omega Analysis.
- MutExPipelinedScheduling.OmegaAnalysis() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
- MutExPipelinedScheduling.PeriodSymmetry - Class in solver.sharedMemory.combinedSolver.pipelined
-
Class and methods to test Period symmetry constraints for Pipelined scheduling
- MutExPipelinedScheduling.PeriodSymmetry() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.PeriodSymmetry
-
- MutExPipelinedScheduling.TypeConstraints - Class in solver.sharedMemory.combinedSolver.pipelined
-
Class to test type constraints for pipelined scheduling.
- MutExPipelinedScheduling.TypeConstraints() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.TypeConstraints
-
- mutualExclusionGraphAnalysis - Variable in class input.CommandLineArgs
-
Mutual Exclusion
- mutualExclusionGraphAnalysis - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Use graph analysis to generate mutual exclusion
constraints.
- MutualExclusionSolver - Class in solver.sharedMemory.combinedSolver
-
Mutual exclusion solver parent class
- MutualExclusionSolver(Graph) - Constructor for class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Initialize the mutual exclusion solver
- MutualExclusionSolver.LeftEdge - Class in solver.sharedMemory.combinedSolver
-
Solve the scheduling problem by using Left-Edge instead of
mutual exclusion.
- MutualExclusionSolver.LeftEdge() - Constructor for class solver.sharedMemory.combinedSolver.MutualExclusionSolver.LeftEdge
-