Public Member Functions | |
AlgorithmExact (TransactionSet gamma) | |
AlgorithmExact (AlgorithmExact toCopy) | |
void | checkAlgorithmCompatibility () throws IncompatibleDataException |
TransactionSet | gammaHpAndSelf (Task tau_ua) |
List< Task > | hpAndSelf (Transaction gamma_i, Task tau_ua) |
double | L_uav (Task tau_ua, NueTuple v) throws AbortedException |
double | R (Task tau_ua) throws AbortedException |
double | R_uav (Task tau_ua, NueTuple v, int p) throws AbortedException |
double | w_uav (Task tau_ua, NueTuple v, int p) throws AbortedException |
Static Public Member Functions | |
static void | main (String...args) throws IOException, AbortedException |
Protected Member Functions | |
double | L_uav_IterationStep (Task tau_ua, NueTuple v, double Lprevious) throws AbortedException |
int | p_L (Task tau_ua, NueTuple v) throws AbortedException |
double | R_InnerLoop (Task tau_ua, NueTuple v, double r) throws AbortedException |
double | W_uac (Task tau_ua, Task tau_uc, int p) |
double | w_uav_IterationStep (Task tau_ua, NueTuple v, int p, double w_uav_Last) throws AbortedException |
double | W_v (Task tau_ua, NueTuple v, double t) throws AbortedException |
Package Attributes | |
TransactionSet | gammaHp |
de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.AlgorithmExact | ( | TransactionSet | gamma | ) |
de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.AlgorithmExact | ( | AlgorithmExact | toCopy | ) |
void de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.checkAlgorithmCompatibility | ( | ) | throws IncompatibleDataException [virtual] |
TransactionSet de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.gammaHpAndSelf | ( | Task | tau_ua | ) |
Creates a TransactionSet of higher prior tasks, but includes task tau_ua
List<Task> de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.hpAndSelf | ( | Transaction | gamma_i, | |
Task | tau_ua | |||
) |
Like hp(), but includes task tau_ua if it is included in gamma_i
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.L_uav | ( | Task | tau_ua, | |
NueTuple | v | |||
) | throws AbortedException |
Eq. 5.15, outer part
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.L_uav_IterationStep | ( | Task | tau_ua, | |
NueTuple | v, | |||
double | Lprevious | |||
) | throws AbortedException [protected] |
Eq. 5.15, inner part
static void de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.main | ( | String... | args | ) | throws IOException, AbortedException [static] |
int de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.p_L | ( | Task | tau_ua, | |
NueTuple | v | |||
) | throws AbortedException [protected] |
Eq. 5.16
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.R | ( | Task | tau_ua | ) | throws AbortedException [virtual] |
Eq. 5.19, outer maximization loop
Implements de.fraunhofer.isst.axbench.timing.algorithms.AbstractAlgorithm.
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.R_InnerLoop | ( | Task | tau_ua, | |
NueTuple | v, | |||
double | r | |||
) | throws AbortedException [protected] |
Eq. 5.19, inner maximization loop, TODO re-join with R()
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.R_uav | ( | Task | tau_ua, | |
NueTuple | v, | |||
int | p | |||
) | throws AbortedException |
Eq. 5.18
Reimplemented in de.fraunhofer.isst.axbench.timing.algorithms.special.AlgorithmExactInfluencePattern.
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.W_uac | ( | Task | tau_ua, | |
Task | tau_uc, | |||
int | p | |||
) | [protected] |
Eq. 5.11
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.w_uav | ( | Task | tau_ua, | |
NueTuple | v, | |||
int | p | |||
) | throws AbortedException |
Eq. 5.17, outer part (iteration)
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.w_uav_IterationStep | ( | Task | tau_ua, | |
NueTuple | v, | |||
int | p, | |||
double | w_uav_Last | |||
) | throws AbortedException [protected] |
Eq. 5.17, inner part
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmExact.W_v | ( | Task | tau_ua, | |
NueTuple | v, | |||
double | t | |||
) | throws AbortedException [protected] |
Eq. 5.13