Probabilistic Models for the Execution Time in Stochastic Scheduling

The execution time of programs is a key element in many areas of computer science, mainly those where achieving good performance (e.g., scheduling in cloud computing) or a predictable one (e.g., meeting deadlines in embedded systems) is the objective. Despite being random variables, execution times are most often treated as deterministic in the literature, with few works taking advantage of their randomness; even in those, the underlying distributions are assumed as being normal or uniform for no particular reason. In this work we investigate these distributions in various machines and algorithms. A mathematical problem arises when dealing with samples whose populational minimum is unknown, so a significant portion of this monograph is dedicated to such problem. We propose several different effective or computationally cheap ways to overcome the problem, which also apply to execution times. These methods are tested experimentally, and results point to the superiority of our proposed inference methods. We demonstrate the existence of execution time distributions with long tails, and also conclude that two particular probability distributions were the most suitable for modelling all execution times. While we do not discuss direct applications to stochastic scheduling, we hope to promote the usage of probabilistic execution times to yield better results in, for example, task scheduling.

READ FULL TEXT

page 1

page 11

page 23

page 31

page 40

page 41

research
08/22/2023

Resource Allocation in Cloud Computing Using Genetic Algorithm and Neural Network

Cloud computing is one of the most used distributed systems for data pro...
research
07/30/2020

New approach to MPI program execution time prediction

The problem of MPI programs execution time prediction on a certain set o...
research
06/05/2020

Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications

We present a framework for scheduling multifunction serverless applicati...
research
09/06/2018

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints

Automated software verification of concurrent programs is challenging be...
research
03/08/2017

Parallel Implementation of Efficient Search Schemes for the Inference of Cancer Progression Models

The emergence and development of cancer is a consequence of the accumula...
research
06/15/2021

Time-free solution to independent set problem using P systems with active membranes

Membrane computing is a branch of natural computingwhich abstracts fromt...
research
11/25/2022

strategFTO: Untimed control for timed opacity

We introduce a prototype tool strategFTO addressing the verification of ...

Please sign up or login with your details

Forgot password? Click here to reset