Abstract:The performance of time-predictable systems can be improved in multi-core processors using parallel programming models (e.g., OpenMP). However, schedulability analysis of parallel applications is a big challenge due to their sophisticated structure. The common drawbacks of current task-to-thread mapping approaches in OpenMP are that they (i) utilize a global queue in the mapping process, which may increase contention, (ii) do not apply heuristic techniques, which may reduce the predictability and performance of the system, and (iii) use basic analytical techniques, which may cause notable pessimism in the temporal conditions. Accordingly, this paper proposes a task-to-thread mapping method in multi-core processors based on the OpenMP framework. The mapping process is carried out through two phases: allocation and dispatching . Each thread has an allocation queue in order to minimize contention, and the allocation and dispatching processes are performed using several heuristic algorithms to enhance predictability. In the allocation phase, each task-part from the OpenMP DAG is allocated to one of the allocation queues, which includes both sibling and child task-parts. A suitable thread (i.e., allocation queue) is selected using one of the suggested heuristic allocation algorithms. In the dispatching phase, when a thread is idle, a task-part is selected from its allocation queue using one of the suggested heuristic dispatching algorithms and then dispatched to and executed by the thread. The performance of the proposed method is evaluated under different conditions (e.g., varying the number of tasks and the number of threads) in terms of application response time and overhead of the mapping process. The simulation results show that the proposed method surpasses the other methods, especially in the scenario that includes overhead of the mapping. In addition, a prototype implementation of the main heuristics is evaluated using two kernels from real-world applications, showing that the methods work better than LLVM's default scheduler in most of the configurations.

Modelling and Analysis of Real-Time Systems on Multi-Core Processors

An Improved Formalization Analysis Approach to Determine Schedulability of Global Multiprocessor Scheduling Based on Symbolic Safety Analysis and Statistical Model Checking in Smartphone Systems

On-line Scheduling of Multi-Core Processor Tasks with Virtualization.

Schedulability Analysis for MultiCore Global Scheduling with Model Checking

Tasks mapping in multi-core based system: hybrid ACO&GA approach

Improving Computation Efficiency of Schedulability of Transaction-Based Task Model for Distributed Real-Time Embedded Systems.

Schedulability Analysis for Timed Automata with Tasks

Scheduling on Homogeneous Multi-Core System

Computing Exact WCRT for Typed DAG Tasks on Heterogeneous Multi-Core Processors

Minimizing Bank Conflict Delay for Real-Time Embedded Multicore Systems via Bank Mapping.

Verifying multi-core scheduling systems under cache warm-up overheads

Approximation algorithms for scheduling on multi-core processor with shared speedup resources

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

Energy-aware task migration for multiprocessor real-time systems

Time-Predictable Task-to-Thread Mapping in Multi-Core Processors

Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks

Performance evaluation based on task division and scheduling in heterogeneous multi-core systems

Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches

An Automatic Task Partition Method For Multi-Core System

Task Migration for Energy Saving in Real-Time Multiprocessor Systems

A Formal Model For Real-Time Parallel Computation