Abstract:Motivated by applications in grid computing and project management, we study multiprocessor scheduling in scenarios where there is uncertainty in the successful execution of jobs when assigned to processors. We consider the problem of multiprocessor scheduling under uncertainty, in which we are given n unit-time jobs and m machines, a directed acyclic graph C giving the dependencies among the jobs, and for every job j and machine i, the probability p_{ij} of the successful completion of job j when scheduled on machine i in any given particular step. The goal of the problem is to find a schedule that minimizes the expected makespan, that is, the expected completion time of all the jobs.
The problem of multiprocessor scheduling under uncertainty was introduced by Malewicz and was shown to be NP-hard even when all the jobs are independent. In this paper, we present polynomial-time approximation algorithms for the problem, for special cases of the dag C. We obtain an O(log(n))-approximation for the case of independent jobs, an O(log(m)log(n)log(n+m)/loglog(n+m))-approximation when C is a collection of disjoint chains, an O(log(m)log^2(n))-approximation when C is a collection of directed out- or in-trees, and an O(log(m)log^2(n)log(n+m)/loglog(n+m))-approximation when C is a directed forest.
Distributed, Parallel, and Cluster Computing,Computational Complexity,Data Structures and Algorithms
What problem does this paper attempt to address?
This paper attempts to solve the problem of approximation algorithms for multi - processor scheduling in uncertain environments. Specifically, the research background and problem description are as follows:
### Research Background and Problem Description
**1. Introduction**:
The paper explores how to effectively perform multi - processor task scheduling in the presence of uncertainty. This uncertainty may come from fluctuations in task execution times, resource requirements, etc. Traditional scheduling algorithms usually assume that all parameters are deterministic, but in practical applications, these parameters often have a certain degree of randomness or uncertainty.
**2. Research Objectives**:
The author aims to design a multi - processor scheduling scheme that can provide high - efficiency and reliability in an uncertain environment. To this end, they propose several new approximation algorithms and analyze the performance guarantees of these algorithms. The main objectives are:
- **Minimize the worst - case completion time (makespan)**: That is, ensure that in all possible task execution scenarios, the maximum completion time of the system is as short as possible.
- **Maximize the probability of success**: Ensure that tasks can be successfully completed with a high probability within a given time.
### Main Contributions
**1. Proposed Algorithms**:
The author proposes the following approximation algorithms to solve the above problems:
- **Algorithm 1**: Applicable to cases where the number of tasks is small, with an approximation ratio of \(O(\log n)\), where \(n\) is the number of tasks.
\[
O(\log n)
\]
- **Algorithm 2**: Applicable to cases where both the number of tasks and the number of processors are large, with an approximation ratio of \(O(\log m\log n\log(n + m)/\log\log(n + m))\), where \(m\) is the number of processors and \(n\) is the number of tasks.
\[
O\left(\frac{\log m\log n\log(n + m)}{\log\log(n + m)}\right)
\]
- **Algorithm 3**: For specific types of task dependencies, with an approximation ratio of \(O(\log m\log^{2}n)\).
\[
O(\log m\log^{2}n)
\]
**2. Theoretical Analysis**:
The author demonstrates the performance of these algorithms under different conditions through strict mathematical proofs. In particular, they analyze the approximation ratios of the algorithms in the worst - case scenarios and verify the practical effects of the algorithms through experiments.
**3. Experimental Results**:
Through testing on multiple instances, the author verifies the effectiveness and robustness of the proposed algorithms in practical applications. The experimental results show that the new algorithms have significant advantages in dealing with uncertain task - scheduling problems.
### Related Work
The author also reviews the research achievements of predecessors on similar problems, points out the limitations of existing methods and the innovation points of this research. Through comparison, the superiority of the new algorithms in dealing with complex and uncertain environments is highlighted.
In summary, the main purpose of this paper is to address the challenges of multi - processor scheduling in uncertain environments, propose a series of effective approximation algorithms, and verify their performance through theoretical analysis and experiments.