Separate compilation and execution of imperative synchronous modules

Vecchie,; Talpin,; Schneider, David J.

doi:10.1109/date.2009.5090916

Cited by 3 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…3 In addition, modular compilation methods Vecchié et al 2009;] must consider the possibility of schizophrenia problems when a synchronous module is separately compiled in other imperative synchronous languages.…”

Section: Schizophrenia Problemsmentioning

confidence: 99%

Detection of harmful schizophrenic statements in esterel

Yun

Kim

et al. 2013

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

In imperative synchronous languages, a statement is called schizophrenic if it is executed more than once in a single clock. When a schizophrenic statement is translated into a circuit, the circuit can behave abnormally because of the multiple executions. To solve the problems caused by schizophrenic statements, compilers duplicate the statements to avoid multiple executions. Esterel is an imperative synchronous language. Schizophrenic statements in Esterel are considered to occur due to the instantaneous reentrance of local signal declarations or parallel statements. However, if the corresponding circuit of a schizophrenic statement behaves normally, it is harmless and thus curing is not necessary. In this paper, we identify the conditions under which a schizophrenic statement of the Esterel program must be cured during circuit translation. We also propose an algorithm to detect schizophrenic statements that have to be cured on the control flow graphs (CFGs) of source codes. Our algorithm detects all schizophrenic statements that have to be cured and results in fewer false alarms on the benchmark programs used in the previous work. It is simple and based on the CFG of a program, implying that it can be merged into existing compilers easily.

show abstract

Section: Schizophrenia Problemsmentioning

confidence: 99%

Detection of harmful schizophrenic statements in esterel

Yun

Kim

et al. 2013

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

show abstract

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech

Gretz

Grosch

Mendler

et al. 2020

2020 Forum for Specification and Design Languages (FDL)

View full text Add to dashboard Cite

Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech

Gretz¹,

Grosch

Mendler³

et al. 2024

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

Traditional imperative synchronous programming languages heavily rely on a strict separation between data memory and communication signals. Signals can be shared between computational units but cannot be overwritten within a synchronous reaction cycle. Memory can be destructively updated but cannot be shared between concurrent threads. This incoherence makes traditional imperative synchronous languages cumbersome for the programmer. The recent definition of sequentially constructive synchronous languages offers an improvement. It removes the separation between data memory and communication signals and unifies both through the notion of clock synchronized shared memory . However, it still depends on global causality analyses which precludes black-box procedural abstraction. This complicates reuse and composition of software components. This article shows how black-box procedural abstraction can be accommodated inside the sequentially constructive model of computation. We present the Sequentially Constructive Procedural Language ( SCoPL ) and its semantic theory of policy-constructive synchronous processes. SCoPL supports black-box procedural abstractions using policy interfaces to ensure that procedure calls are memory-safe, wait-free and their scheduling is determinate and causal. At the same time, a policy interface constrains the level of freedom for the implementation and subsequent refactoring of a procedure. As a result, policies enable separate compilation and composition of procedures. We present our extensions abstractly as a formal semantics for SCoPL and motivate it concretely in the context of the open-source, embedded, real-time language Blech .

show abstract

Separate compilation and execution of imperative synchronous modules

Cited by 3 publications

References 9 publications

Detection of harmful schizophrenic statements in esterel

Detection of harmful schizophrenic statements in esterel

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech

Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech

Contact Info

Product

Resources

About