NDLI: Detection of harmful schizophrenic statements in esterel

Content Provider	ACM Digital Library
Author	Kim, Seonggun Yun, Jeong-Han Choe, Kwang-Moo Kim, Chul-Joo Han, Taisook
Copyright Year	2013
Abstract	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.
Starting Page	1
Ending Page	23
Page Count	23
File Format	PDF
ISSN	15399087
e-ISSN	15583465
DOI	10.1145/2442116.2442130
Volume Number	12
Issue Number	3
Journal	ACM Transactions on Embedded Computing Systems (TECS)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-04-08
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Synchronous languages Static analysis
Content Type	Text
Resource Type	Article
Subject	Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Loops in esterel

Passive code in synchronous programs

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs

Multithreaded Reactive Programming—the Kiel Esterel Processor

A deterministic logical semantics for pure Esterel

Error Detector Placement for Soft Computing Applications

Detecting harmful data races through parallel verification

Evaluation of an Esterel-based hardware/software co-design flow

Detection of harmful schizophrenic statements in esterel

Similar Documents

Loops in esterel

Passive code in synchronous programs

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs

Multithreaded Reactive Programming—the Kiel Esterel Processor

A deterministic logical semantics for pure Esterel

Error Detector Placement for Soft Computing Applications

Detecting harmful data races through parallel verification

Evaluation of an Esterel-based hardware/software co-design flow

Detection of harmful schizophrenic statements in esterel