A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem

The Task Graph Cost-Optimal Scheduling Problem consists in scheduling a certain number of interdependent tasks onto a set of heterogeneous processors (characterized by idle and running rates per time unit), minimizing the cost of the entire process. This paper provides a novel formulation for this scheduling puzzle, in which an optimal solution is computed through a sequence of Binate Covering Problems, hinged within a Bounded Model Checking paradigm. In this approach, each covering instance, providing a min-cost trace for a given schedule depth, can be solved with several strategies, resorting to Minimum-Cost Satisfiability solvers or Pseudo-Boolean Optimization tools. Unfortunately, all direct resolution methods show very low efficiency and scalability. As a consequence, we introduce a specialized method to solve the same sequence of problems, based on a traditional all-solution SAT solver. This approach follows the "circuit cofactoring" strategy, as it exploits a powerful technique to capture a large set of solutions for any new SAT counter-example. The overall method is completed with a branch-and-bound heuristic which evaluates lower and upper bounds of the schedule length, to reduce the state space that has to be visited. Our results show that the proposed strategy significantly improves the blind binate covering schema, and it outperforms general purpose state-of-the-art tool

Survey on Combinatorial Register Allocation and Instruction Scheduling

Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler. In the last three decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these two tasks. Combinatorial optimization approaches can deliver optimal solutions according to a model, can precisely capture trade-offs between conflicting decisions, and are more flexible at the expense of increased compilation time. This paper provides an exhaustive literature review and a classification of combinatorial optimization approaches to register allocation and instruction scheduling, with a focus on the techniques that are most applied in this context: integer programming, constraint programming, partitioned Boolean quadratic programming, and enumeration. Researchers in compilers and combinatorial optimization can benefit from identifying developments, trends, and challenges in the area; compiler practitioners may discern opportunities and grasp the potential benefit of applying combinatorial optimization

Joint scheduling of jobs and preventive maintenance operations in the flowshop sequencing problem: A resolution with sequential and integrated strategies.

International audienceUsually, scheduling of maintenance operations and production sequencing are dealt with separately in the literature and, therefore, also in the industry. Given that maintenance affects available production time and elapsed production time affects the probability of machine failure, this interdependency seems to be overlooked in the literature. This paper presents a comparative study on joint production and preventive maintenance scheduling strategies regarding flowshop problems. The sequential strategy which consists of two steps: first scheduling the production jobs then inserting maintenance operations, taking the production schedule as a strong constraint. The integrated one which consists of simultaneously scheduling both maintenance and production activities based on a common representation of these two activities. For each strategy, a constructive heuristic and two meta-heuristics are proposed: NEH heuristic, Genetic algorithm and Taboo search. The goal is to optimize an objective function which takes into account both production and maintenance criteria. The proposed heuristics have been applied to non-standard test problems which represent joint production and maintenance benchmark flowshop scheduling problems taken from Benbouzid et al. (2003). A comparison of the solutions yielded by the heuristics developed in this paper with the heuristic solutions given by Taillard (1993) is undertaken with respect to the minimization of performance loss after maintenance insertion. The comparison shows that the proposed integrated GAs are clearly superior to all the analyzed algorithms

Proposition of New Genetic Operator for Solving Joint Production and Maintenance Scheduling : Application to the Flow Shop Problem.

International audienceGenetic algorithms are used in scheduling leading to efficient heuristic methods for large sized problems. The efficiency of a GA based heuristic is closely related to the quality of the used GA scheme and the GA operators: mutation, selection and crossover. In this paper, we propose a Joint Genetic Algorithm (JGA), for joint production and maintenance scheduling problem in permutation flowshop, in which different genetic joint operators are used. We also proposed a joint structure to represent an individual in with two fields: the first one for production data and the second one for maintenance data. We used different Taillard benchmarks to compare the performances of JGA with each proposed operator

Overcommitment in Cloud Services -- Bin packing with Chance Constraints

This paper considers a traditional problem of resource allocation, scheduling jobs on machines. One such recent application is cloud computing, where jobs arrive in an online fashion with capacity requirements and need to be immediately scheduled on physical machines in data centers. It is often observed that the requested capacities are not fully utilized, hence offering an opportunity to employ an overcommitment policy, i.e., selling resources beyond capacity. Setting the right overcommitment level can induce a significant cost reduction for the cloud provider, while only inducing a very low risk of violating capacity constraints. We introduce and study a model that quantifies the value of overcommitment by modeling the problem as a bin packing with chance constraints. We then propose an alternative formulation that transforms each chance constraint into a submodular function. We show that our model captures the risk pooling effect and can guide scheduling and overcommitment decisions. We also develop a family of online algorithms that are intuitive, easy to implement and provide a constant factor guarantee from optimal. Finally, we calibrate our model using realistic workload data, and test our approach in a practical setting. Our analysis and experiments illustrate the benefit of overcommitment in cloud services, and suggest a cost reduction of 1.5% to 17% depending on the provider's risk tolerance

Planning and scheduling research at NASA Ames Research Center

Planning and scheduling is the area of artificial intelligence research that focuses on the determination of a series of operations to achieve some set of (possibly) interacting goals and the placement of those operations in a timeline that allows them to be accomplished given available resources. Work in this area at the NASA Ames Research Center ranging from basic research in constrain-based reasoning and machine learning, to the development of efficient scheduling tools, to the application of such tools to complex agency problems is described

An application of a cocitation-analysis method to find further research possibilities on the area of scheduling problems

In this article we will give firstly a classification scheme of scheduling problems and their solving methods. The main aspects under examination are the following: machine and secondary resources, constraints, objective functions, uncertainty, mathematical models and adapted solution methods. In a second part, based on this scheme, we will examine a corpus of 60 main articles (1015 citation links were recorded in total) in scheduling literature from 1977 to 2009. The main purpose is to discover the underlying themes within the literature and to examine how they have evolved. To identify documents likely to be closely related, we are going to use the cocitation-based method of Greene et al. (2008). Our aim is to build a base of articles in order to extract the much developed research themes and find the less examined ones as well, and then try to discuss the reasons of the poorly investigation of some areas