Abstract:The Logical Execution Time (LET) programming model has recently received considerable attention, particularly because of its timing and dataflow determinism. In LET, task computation appears always to take the same amount of time (called the task's LET interval), and the task reads (resp. writes) at the beginning (resp. end) of the interval. Compared to other communication mechanisms, such as implicit communication and Dynamic Buffer Protocol (DBP), LET performs worse on many metrics, such as end-to-end latency (including reaction time and data age) and time disparity jitter. Compared with the default LET setting, the flexible LET (fLET) model shrinks the LET interval while still guaranteeing schedulability by introducing the virtual offset to defer the read operation and using the virtual deadline to move up the write operation. Therefore, fLET has the potential to significantly improve the end-to-end timing performance while keeping the benefits of deterministic behavior on timing and dataflow. To fully realize the potential of fLET, we consider the problem of optimizing the assignments of its virtual offsets and deadlines. We propose new abstractions to describe the task communication pattern and new optimization algorithms to explore the solution space efficiently. The algorithms leverage the linearizability of communication patterns and utilize symbolic operations to achieve efficient optimization while providing a theoretical guarantee. The framework supports optimizing multiple performance metrics and guarantees bounded suboptimality when optimizing end-to-end latency. Experimental results show that our optimization algorithms improve upon the default LET and its existing extensions and significantly outperform implicit communication and DBP in terms of various metrics, such as end-to-end latency, time disparity, and its jitter.

Exploiting Aperiodic Server to Improve Aperiodic Responsiveness for LET-Based Real-Time Systems

Clockwerk: A Predictable and Efficient Extension of Logical Execution Time Model.

DCW: A Reactive and Predictable Programming Framework for LET-Based Distributed Real-Time Systems

Clockwork: Scheduling Cloud Requests in Mobile Applications

An Efficient Fault-Tolerant Scheduling Algorithm for Periodic Real-Time Tasks in Heterogeneous Platforms

Time-sharing Parallel Applications Through Performance-Targeted Feedback-Controlled Real-Time Scheduling.

A Time-Aware Programming Framework for Constructing Predictable Real-Time Systems.

A New Slack Reclaiming Algorithm for Real-time Systems

A Predictable Servant-Based Execution Model for Safety-Critical Systems

Tickwerk: Design of a LET-Based SoC for Temporal Programming

Survey of Weakly-Hard Real Time Schedule Theory and Its Application

Scheduling Non-Periodic Tasks Using Sporadic Server in AUTOSAR Operating System

Real-time Performance Evaluation of Urgent Aperiodic Messages in FF Communication and Its Improvement

Optimizing Logical Execution Time Model for Both Determinism and Low Latency

WBSP: A Novel Synchronization Mechanism for Architecture Parallel Simulation.

End-to-end performance control for aperiodic tasks in distributed real-time embedded systems

An Adaptive Dynamic Request Scheduling Model for Multi-socket, Multi-core Web Servers

Enhanced Harmonic Partitioned Scheduling of Periodic Real-Time Tasks Based on Slack Analysis

External Timed I/O Semantics Preserving Utilization Optimization for LET-Based Effect Chain

PAStime: Progress-aware Scheduling for Time-critical Computing

Supporting Predictable Servant-Based Execution Model on Multicore Platforms