Synchronous Reactive semantics preserving communication buffer sizing mechanisms and buffer indexing protocols are presented for both single-port and multi-port tasks. Because these protocols define buffer indices for writers and readers at task activation time, generally they require a kernel-level implementation. In this paper, we present portable implementations for applications with SR semantics under the OSEK OS standard, which has been widely used in automotive designs. To meet the one-alarm minimum requirement, an OSEK task called dispatcher is constructed to activate all other application tasks. For the CTDBP, the hook mechanism is used to gain atomicity of the termination code for lower-priority readers. Complexities in terms of run time, memory, and implementation are compared for different versions of implementations for the SR semantics preserving protocols.
An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protocols
Researchers may make free and open use of the UC Berkeley Library’s digitized public domain materials. However, some materials in our online collections may be protected by U.S. copyright law (Title 17, U.S.C.). Use or reproduction of materials protected by copyright beyond that allowed by fair use (Title 17, U.S.C. § 107) requires permission from the copyright owners. The use or reproduction of some materials may also be restricted by terms of University of California gift or purchase agreements, privacy and publicity rights, or trademark law. Responsibility for determining rights status and permissibility of any use or reproduction rests exclusively with the researcher. To learn more or make inquiries, please see our permissions policies (https://www.lib.berkeley.edu/about/permissions-policies).