2002 · 14 citations · 11 references
ComputingComputer ScienceComputer SystemsAlgorithmsSchedulingStochastic ProcessesPreemptive SchedulingQueueing TheoryScheduling TheoryStochastic SchedulingTask ModelsTask SchedulingContinuous-time Markov ChainsContinuous-time Markov ProcessesFixed-point IterationMarkov-process ApproximationMultiprocessor SchedulingNon-preemptive Priority QueuesNon-preemptive Scheduling AnalysisPriority Scheduling
Presents a performance analysis of a heterogeneous multiprocessor system where tasks may arrive from Poisson sources as well as by spawning and probabilistic branching of other tasks. Non-preemptive priority scheduling is used between different tasks. Stochastic reward nets are used as the system model, and are solved analytically by generating the underlying continuous-time Markov chain. An approximation technique is used, that is based on fixed-point iteration to avoid the problem of a large underlying Markov chain. The iteration scheme works reasonably well, and the existence of a fixed point for the iterative scheme is guaranteed under certain conditions.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
11
SPNP: stochastic Petri net package
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi · 2003 · 548 citations