Compiling Esterel into sequential code
Embedded real-time software systems often need fine-grained parallelism and precise control over time, things typical real-time operating systems do not provide. The Esterel language has both, but Existing compilers produce slow code for large programs. This paper presents the first Esterel compiler...
Saved in:
| Published in: | 37th Design Automation Conference, 2000 pp. 322 - 327 |
|---|---|
| Main Author: | |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
New York, NY, USA
ACM
01.01.2000
|
| Series: | ACM Conferences |
| Subjects: | |
| ISBN: | 9781581131871, 1581131879 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Embedded real-time software systems often need fine-grained parallelism and precise control over time, things typical real-time operating systems do not provide. The Esterel language has both, but Existing compilers produce slow code for large programs.
This paper presents the first Esterel compiler able to produce small, fast code for large programs. It can produce code half the size and up to a hundred times faster than code from existing compilers. Esterel's semantics allow the compiler to statically schedule concurrency and synthesize code that efficiently and predictably simulates context switches. The main contribution is an algorithm that synthesizes an efficient sequential program from the concurrent control-flow graph used as an intermediate representation. These techniques could be applied to any language with fine-grained parallelism. |
|---|---|
| AbstractList | Embedded real-time software systems often need fine-grained parallelism and precise control over time, things typical real-time operating systems do not provide. The Esterel language has both, but Existing compilers produce slow code for large programs. This paper presents the first Esterel compiler able to produce small, fast code for large programs. It can produce code half the size and up to a hundred times faster than code from existing compilers. Esterel's semantics allow the compiler to statically schedule concurrency and synthesize code that efficiently and predictably simulates context switches. The main contribution is an algorithm that synthesizes an efficient sequential program from the concurrent control-flow graph used as an intermediate representation. These techniques could be applied to any language with fine-grained parallelism. Embedded real-time software systems often need fine-grained parallelism and precise control over time, things typical real-time operating systems do not provide. The Esterel language has both, but Existing compilers produce slow code for large programs. This paper presents the first Esterel compiler able to produce small, fast code for large programs. It can produce code half the size and up to a hundred times faster than code from existing compilers. Esterel's semantics allow the compiler to statically schedule concurrency and synthesize code that efficiently and predictably simulates context switches. The main contribution is an algorithm that synthesizes an efficient sequential program from the concurrent control-flow graph used as an intermediate representation. These techniques could be applied to any language with fine-grained parallelism. |
| Author | Edwards, Stephen A. |
| Author_xml | – sequence: 1 givenname: Stephen A. surname: Edwards fullname: Edwards, Stephen A. organization: Advanced Technology Group, Synopsys, 700 East Middlefield Road, Mountain View, California |
| BookMark | eNqNkDFPwzAUhC0BElAysmfqRIrfc5zYI4pKQarEArNlJy_I4MQlTv8_QWVg5JZbPp1O3zU7H-NIjN0C3wCU8l6IGjVulipRn7FM1wqkAhCgarhkWUoffEktUXF1xdZNHA4--PE936aZJgq5H-eYJ_o60jh7G_I2dnTDLnobEmW_vWJvj9vX5qnYv-yem4d9YQXiXNhKWenKnkNZ99S1VLlOWs0FVlKRrNGi7l3ptARwtpIOucYSSPeat0KjWLH1afcwxeVAms3gU0sh2JHiMRkBXAnAP6BtB-Ni_EwGuPkxYE4GzMnAAt79CzRu8tSLby2iW4w |
| ContentType | Conference Proceeding |
| Copyright | 2000 ACM |
| Copyright_xml | – notice: 2000 ACM |
| DBID | 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1145/337292.337429 |
| DatabaseName | Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| EndPage | 327 |
| Genre | Conference Paper |
| GroupedDBID | 6IE 6IH 6IK 6IL AAJGR AAVQY ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI IERZE OCL RIE RIL RIO 7SC 8FD AAWTH JQ2 L7M LHSKQ L~C L~D |
| ID | FETCH-LOGICAL-a322t-a68a5b4f0147fedce6bd5a9032658e572a29fb4b9511ba65b209241e9f90c3923 |
| ISBN | 9781581131871 1581131879 |
| ISICitedReferencesCount | 11 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000166739300061&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Fri Jul 11 12:10:40 EDT 2025 Wed Jan 31 06:47:06 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| License | Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org |
| LinkModel | OpenURL |
| MeetingName | DAC00: ACM/IEEE-CAS/EDAC Design Automation Conference |
| MergedId | FETCHMERGED-LOGICAL-a322t-a68a5b4f0147fedce6bd5a9032658e572a29fb4b9511ba65b209241e9f90c3923 |
| Notes | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
| OpenAccessLink | https://dl.acm.org/doi/pdf/10.1145/337292.337429 |
| PQID | 31083122 |
| PQPubID | 23500 |
| PageCount | 6 |
| ParticipantIDs | acm_books_10_1145_337292_337429 proquest_miscellaneous_31083122 acm_books_10_1145_337292_337429_brief |
| PublicationCentury | 2000 |
| PublicationDate | 2000-01-01 |
| PublicationDateYYYYMMDD | 2000-01-01 |
| PublicationDate_xml | – month: 01 year: 2000 text: 2000-01-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | New York, NY, USA |
| PublicationPlace_xml | – name: New York, NY, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | 37th Design Automation Conference, 2000 |
| PublicationYear | 2000 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssj0000752808 |
| Score | 1.7030027 |
| Snippet | Embedded real-time software systems often need fine-grained parallelism and precise control over time, things typical real-time operating systems do not... |
| SourceID | proquest acm |
| SourceType | Aggregation Database Publisher |
| StartPage | 322 |
| SubjectTerms | Applied computing -- Physical sciences and engineering -- Engineering Computer systems organization -- Embedded and cyber-physical systems Computer systems organization -- Embedded and cyber-physical systems -- Embedded systems Computer systems organization -- Real-time systems Hardware -- Electronic design automation -- Methodologies for EDA Hardware -- Integrated circuits -- Logic circuits -- Arithmetic and datapath circuits Hardware -- Integrated circuits -- Logic circuits -- Design modules and hierarchy Software and its engineering -- Software notations and tools -- Compilers Software and its engineering -- Software notations and tools -- General programming languages -- Language types Software and its engineering -- Software organization and properties -- Software system structures -- Embedded software Software and its engineering -- Software organization and properties -- Software system structures -- Real-time systems software |
| Title | Compiling Esterel into sequential code |
| URI | https://www.proquest.com/docview/31083122 |
| WOSCitedRecordID | wos000166739300061&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Pb9MwFLbYxIEbE0OMHyMH2AUFnNiO7SNCnThUZYdO6s2yE1v0QDqaFO3P573YSTuGNHHgklZRFLnfc9_7_OzvPULeSYgylfcidxBdc249za1ldV4XjQPzA0VvhpL5c7lYqNVKX6U-od3QTkC2rbq91Tf_1dRwD4yN0tl_MPf0UrgB38HocAWzw_UPRvzX4MNk_x28CJ7L-PB512-iNPFA2YegonLmcLKgV1gPwvQZFk7wWIgDSGk8Z92vhxoizTQFYqPn7uCQWMqIjtkDepA9GBeRhVBFAX_t2AolOTIW1cIpJrKo37_vbjlWpmC49Vd-hA-eshd3ylovvpnL6_ncLGer5cXNzxw7fuHOeGp_ckSOpKRReTdlx4DIlIoqVOKNo9OpQNc02rFiKhef7owAeUb9415sHQjD8ik53QOeXU12OiGPfPuMXEx4ZwnvDPHO9nhniPcpub6cLb98zVPDitwCXn1uK2WF4wGWnTLg8drKNcJqChRZKC9kaUsdHHfAagtnK-FKCsvfwuugaQ1ElT0nx-2m9S9IJkLgIRSSCcl46b2mXmJQU7ZqdMXpGXkLP9LgvOtMFJcLE2EwEYYz8v6BJ4zbrn2AN41AGXAtuF9kW7_ZdQaYv2JFWb588IlX5Ml-cr0mx_1259-Qx_Wvft1tzwfT_gbGkDnd |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=37th+Design+Automation+Conference%2C+2000&rft.atitle=Compiling+Esterel+into+sequential+code&rft.au=Edwards%2C+Stephen+A&rft.date=2000-01-01&rft.isbn=9781581131871&rft.spage=322&rft.epage=327&rft_id=info:doi/10.1145%2F337292.337429&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781581131871/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781581131871/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781581131871/sc.gif&client=summon&freeimage=true |