Skip to content
Open access

SAP-LCLS: Converting Structural Slack Into Commit-Time Recovery Budget for Heterogeneous Loosely-Coupled Lockstep

2026 · IEEE Access · Vol 14, pp. 104374-104393 · 0 citations · 34 references
Computer Science

TL;DR

Results show that SAP-LCLS can jointly provide commit-path scalability, reduced recovery latency, and limited hardware overhead in cost-constrained automotive MCUs.

Abstract

Automotive functional-safety systems require high fault-detection and recovery capability under constrained core cost, but DCLS remains fail-silent on faults and TCLS requires the cost of a third physical core. This paper reuses the Hardware Security Module (HSM)-side auxiliary core available in modern automotive MCUs as a safety-execution resource and constructs heterogeneous LCLS; in our RTL platform, this role is implemented with SCR1. In such core pairs with different ISAs, microarchitectures, and performance characteristics, completion-time skew arises structurally. This paper proposes SAP-LCLS, which converts the Structural Slack induced by this performance asymmetry into a Preemptive Recovery Budget. The proposed Lockstep Management Unit (LMU) bounds commit-time decision latency to payload-length-independent $O(1)$ through streaming CRC signatures and accepts re-execution results without additional payload SRAM beyond the baseline DMR result window through a Signature-Preserving and Payload-Overwriting Policy. It also aborts unnecessary re-execution early on the normal path. If HSM/SCR1-side delay prevents primary 3-way evidence from being available by the latest safe decision point, the LMU permits a limited Temporal Dual Modular Redundancy (T-DMR) degraded commit only when the Leader first-run and re-execution signatures match. RTL evaluation under the stated single-task commit model and a single effective transient fault that propagates to a commit-target payload mismatch shows that SAP-LCLS on an Arm Cortex-M3/RISC-V SCR1 platform reduces normal-path decision latency by 13.1% on average and fault-recovery latency by 27.2% on average, with a maximum reduction of 43.4%, compared with the SW full-compare baseline. The core LMU control logic synthesizes to 23.1% of the area of a Cortex-M3-class core. These results show that SAP-LCLS can jointly provide commit-path scalability, reduced recovery latency, and limited hardware overhead in cost-constrained automotive MCUs.

Read PDF

Similar papers

Automated Generation of RISC-V Extensions with Formal Correctness Guarantees

Janus is presented, an LLM-assisted framework that synthe-sizes custom instructions integrated into the Ibex RISC-V core while keeping correctness outside the agent, demonstrating a practical path for using LLMs to explore ISA specialization without making the agent part of the trusted correctness boundary.

Elisavet Lydia Alvanaki, Jia-Kun Wang, Eugenio Muscinelli et al. · 0 citations
Preprint Aug 2026

Scalable AXI4 Transaction Monitoring for Mixed-Criticality SoCs: From Phase-Level Precision to ID-Level Efficiency

Mixed-criticality Systems-on-Chip (SoCs) with on-chip interconnects based on the AXI4 open standard protocol lack a protocol-level timeout mechanism, exposing systems to deadlocks and missed real-time deadlines when subordinate devices or managers fail or stall due to hardware faults, radiation-induced upsets, or softw...

Chaoqun Liang, Thomas Emanuel Benz, A. Ottaviano et al. · 0 citations
Preprint Sep 2026

SIMT-Aware Lockstep Verification and Functional-Coverage Closure Methodology for an Open-Source RISC-V GPGPU: A UVM 1.2 Environment

A UVM 1.2 environment and methodology that wraps a bus-master SIMT DUT with role-inverted agents, integrates Vortex's functional simulator (SimX) as a per-configuration golden model over DPI-C, and renders verdicts via two injection-qualified checkers.

Samuel Moussa, Steven Ibrahim, Ahmad Sudky et al. · 0 citations
Preprint Jul 2026

Analyzing RV32/RV64 Trade-offs for FreeRTOS Latency on 8-Stage RISC-V Soft Processors

The design and evaluation of FreeRTOS on custom 8-stage RV32/RV64 RISC-V soft processors with machine-mode CSRs, a CLINT timer, trap and exception control logic, and the required context-switch path are presented.

Hyun-Inn Kang, Geonwoo Yu, Jongwon Kim et al. · 0 citations
Aug 2026

PMDangNull: Preventing use-After-Free for Persistent Memory Applications

Use-After-Free (UAF) remains one of the most critical security threats affecting C/C++ programs. Moreover, the cross-restart persistence semantics of persistent memory (PM) programming models significantly broaden the UAF attack surface. Existing DRAM-based protection schemes lack crash consistency guarantees, whereas...

Yuquan Chi, Yinjin Fu, Yong-Gang Hu et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.