Package | Description |
---|---|
exploration.interfaces.oneDim |
package contains interfaces for a 1D design space exploration experiments.
|
exploration.interfaces.threeDim |
package contains interfaces for a 3D design space exploration experiments.
|
exploration.interfaces.twoDim |
package contains interfaces for a 2D design space exploration experiments.
|
solver |
package contains Z3 Specific code.
|
solver.distributedMemory.mapping |
package contains solver for mapping problem (partition + allocation + communication cost).
|
solver.distributedMemory.partitioning |
package contains solver for partitioning problem.
|
solver.distributedMemory.placement |
package contains solver for placement problem.
|
solver.distributedMemory.scheduling |
package contains solver for scheduling problem for a distributed memory architecture.
|
solver.sharedMemory.combinedSolver |
package contains solver for scheduling problem for a shared memory architecture.
|
solver.sharedMemory.combinedSolver.nonpipelined |
package contains solver for scheduling problem for a shared memory architecture for non-pipelined scheduling.
|
solver.sharedMemory.combinedSolver.pipelined |
package contains solver for scheduling problem for a
shared memory architecture for pipelined scheduling.
|
Modifier and Type | Interface and Description |
---|---|
interface |
BufferConstraints
Buffer size exploration
|
interface |
ClusterConstraints
Total number of clusters used for exploration
|
interface |
CommunicationCostConstraints
Total Communication cost used for exploration.
|
interface |
LatencyConstraints
Latency of the graph used for exploration.
|
interface |
MaxWorkLoadPerCluster
Max workload allocated to a cluster constraint for exploration.
|
interface |
PeriodConstraints
Period of the graph used for exploration.
|
interface |
WorkloadImbalanceConstraints
Maximum workload imbalance between the clusters.
|
Modifier and Type | Interface and Description |
---|---|
interface |
LatProcBuffConstraints
Interface to be implemented for 3-dim exploration of
Latency, Processors used and Total Communication Buffer Size.
|
interface |
MaxWrkLdCommCostClusterConstraints
Interface to be implemented for 3-dim exploration of
max workload per cluster, communication cost and number of clusters used.
|
interface |
WorkloadCommClusterConstraints
Interface to be implemented for 3-dim exploration of
Max workload imbalance between the clusters, communication cost and number of clusters used.
|
Modifier and Type | Interface and Description |
---|---|
interface |
LatBuffConstraints
Interface to be implemented for 2-dim exploration of
Latency and Total communication buffer size
|
interface |
LatProcConstraints
Interface to be implemented for 2-dim exploration of
Latency and Number of processors used
|
interface |
PeriodProcConstraints
Interface to be implemented for 2-dim exploration of
Period and Number of processors used
|
interface |
WrkLdCommCostConstraints
Interface to be implemented for 2-dim exploration of
Workload imbalance and total communication cost
|
Modifier and Type | Class and Description |
---|---|
class |
Z3Solver
Expose the Z3 Solver to our framework.
|
Modifier and Type | Class and Description |
---|---|
class |
MappingCommSolver
Combine solving of mapping and communication cost problem.
|
Modifier and Type | Class and Description |
---|---|
class |
GenericPartitionSolver
Generic partition solve which finds a solution with
workload assigned to a group, communication cost between the groups
and number of groups.
|
class |
PartitionSolverHSDF
An HSDF based partition solver for application graph.
|
class |
PartitionSolverSDF
An SDF based partition solver for application graph.
|
Modifier and Type | Class and Description |
---|---|
class |
GenericPlacementSolver
Generic placement solver which maps a group of SDF actors to
a cluster on target platform.
|
Modifier and Type | Class and Description |
---|---|
class |
ClusterMutExclNonPipelined
Cluster scheduling for distributed memory.
|
class |
ClusterMutExclPipelined |
Modifier and Type | Class and Description |
---|---|
class |
MutualExclusionSolver
Mutual exclusion solver parent class
|
Modifier and Type | Class and Description |
---|---|
class |
MatrixSolver
Matrix Solver is a SMT based solver which uses functions to solve
the scheduling problem.
|
class |
MutExNonPipelinedScheduling
Mutual Exclusion solver for non-pipelined scheduling problem
|
Modifier and Type | Class and Description |
---|---|
class |
MutExPipelinedScheduling
The pipelined problem is solved using this class by
a Mutual exclusion solver.
|
class |
UnfoldingScheduling
The pipelined problem is solved by unfolding the application graph by a number of
times and scheduling it.
|