Search papers, labs, and topics across Lattice.
This paper tackles the Maximum Parallel Execution (MPE) problem for series-parallel task graphs in safety-critical embedded control systems, where timely completion of control cycles is essential. By formulating MPE as a weighted clique-partitioning problem and introducing a Lagrangian-based Iterative Heuristic (LIH), the authors achieve significant efficiency gains, matching the exact optimum in 91.25% of cases while maintaining a minimal average runtime of 18.19 ms. The approach is validated through a practical case study involving the optimization of PLC ladder-logic programs, demonstrating its applicability in real-world scenarios.
Achieving near-optimal parallel execution in safety-critical systems could drastically reduce control cycle times and enhance performance.
Safety-critical embedded control programs must complete each control cycle within a bounded period. Sequential execution on conventional processors can become a bottleneck when the dependency structure of the program contains subtasks that could be executed concurrently. This paper studies the Maximum Parallel Execution (MPE) problem for series-parallel task graphs under a staged batching model: compatible tasks inside one batch execute in parallel, while the selected batches are launched sequentially in a topological order that preserves precedence. We formulate MPE as a weighted clique-partitioning problem that minimizes the sum of batch execution times, with each batch cost determined by its slowest task. To solve this problem efficiently, we propose a Lagrangian-based Iterative Heuristic (LIH). LIH constructs a pricing-filtered restricted pool of feasible candidate batches from singleton columns and random greedy clique generation. It then applies Lagrangian pricing to guide column selection and uses a repair procedure to recover a legal clique partition. Experiments against a weighted mixed-graph-coloring branch-and-bound baseline and a randomized greedy baseline show that LIH matches the exact optimum in 91.25% of comparable instances, with an average gap of 0.073% and an average runtime of 18.19 ms. In the largest exact-reference node setting, the exact baseline requires hundreds of seconds on average, whereas LIH remains below 50 ms. We further present an end-to-end PLC ladder-logic case study in which PLCOpen-style programs are converted to MPE graphs, optimized by LIH, translated into FPGA-oriented HDL, and simulated against the original PLC scan execution.
