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.

A Compile-Time Optimization Framework for Ada Rendezvous

Scheduling Optimization Techniques for FlexRay Using Constraint-Programming

Compilation approach for dynamically reconfigurable architecture based on grouped tasks

Efficient Rendezvous for Heterogeneous Interference in Cognitive Radio Networks

Nearly Optimal Asynchronous Blind Rendezvous Algorithm for Cognitive Radio Networks.

Where to Rendezvous?: Preferring Quiet Channels in Cognitive Radio Networks.

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

Transforming Ada Serving Tasks into Protected Objects

Combination Framework of Rendezvous Algorithm for Multi-Agent Systems with Limited Sensing Ranges

Asynchronous Rendezvous Analysis via Set-valued Consensus Theory

Distributed Optimization with Asynchronous Computation and Event-triggered Communication

Reliable Self-Stabilizing Communication for Quasi Rendezvous

Optimizing Logical Execution Time Model for Both Determinism and Low Latency

Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous

Efficient routing and message bounds for optimal parallel algorithms

Oodopt: A Semantics-Based Concurrency Control Framework for Fully-Replicated Architecture

A Message-Passing Approach to Decentralized Parallel Machine Scheduling

A Quality-Aware Rendezvous Framework for Cognitive Radio Networks

A Task-Level Ooo Framework for Heterogeneous Systems

An Efficient Protocol with Synchronization Accelerator for Multi-Processor Embedded Systems

An Application-Level Dependable Technique for Farmer-Worker Parallel Programs