Implementing synchronous reactive components upon multiprocessor platforms
Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption asserts that actions (such as the execution of code) occur instantaneously; however, physical platforms obviously do not possess this property. Thi...
Gespeichert in:
| Veröffentlicht in: | Journal of systems architecture Jg. 116; S. 102027 |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier B.V
01.06.2021
|
| Schlagworte: | |
| ISSN: | 1383-7621, 1873-6165 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption asserts that actions (such as the execution of code) occur instantaneously; however, physical platforms obviously do not possess this property. This paper considers a scheduling problem that arises when one seeks to implement programs that are written under the synchrony assumption upon actual multiprocessor platforms, and proposes algorithms for solving this problem exactly and approximately. |
|---|---|
| AbstractList | Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption asserts that actions (such as the execution of code) occur instantaneously; however, physical platforms obviously do not possess this property. This paper considers a scheduling problem that arises when one seeks to implement programs that are written under the synchrony assumption upon actual multiprocessor platforms, and proposes algorithms for solving this problem exactly and approximately. |
| ArticleNumber | 102027 |
| Author | Baruah, Sanjoy |
| Author_xml | – sequence: 1 givenname: Sanjoy orcidid: 0000-0002-4541-3445 surname: Baruah fullname: Baruah, Sanjoy email: baruah@wustl.edu organization: Washington University in Saint Louis, United States of America |
| BookMark | eNqFkE1LAzEQhoNUsFX_gYf9A1szyW7S9SBI8aNS8KLnsJ2d1ZTdZEnSQv-9W-rJg57mZeB5h3lmbOK8I8ZugM-Bg7rdzuMh1gHnggsYV-PQZ2wKCy1zBaqcjFkuZK6VgAs2i3HLOS9LEFP2uuqHjnpyybrPLB4cfgXv_C5mgWpMdk8Z-n4Y77kUs90Ysn7XJTsEjxSjD9nQ1an1oY9X7Lytu0jXP_OSfTw9vi9f8vXb82r5sM5RcpXyggsCaDVVlVaVkgJJcAKxKTfQFCi0FGWFKAugZgOlrqBVDQheNZLjQrfykhWnXgw-xkCtGYLt63AwwM3Rh9makw9z9GFOPkbs7heGNtXJepdCbbv_4PsTTONje0vBRLTkkBobCJNpvP274BvvVoIW |
| CitedBy_id | crossref_primary_10_1016_j_sysarc_2024_103069 crossref_primary_10_1016_j_sysarc_2022_102437 |
| Cites_doi | 10.1109/ISORC49007.2020.00014 10.1145/1347375.1347389 10.1287/opre.26.1.22 10.1145/321738.321743 10.1016/0272-6963(82)90020-1 10.1109/5.97297 10.1016/S0022-0000(75)80008-0 10.1145/368996.369025 10.1137/0117039 10.1109/JPROC.2002.805826 |
| ContentType | Journal Article |
| Copyright | 2021 Elsevier B.V. |
| Copyright_xml | – notice: 2021 Elsevier B.V. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.sysarc.2021.102027 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-6165 |
| ExternalDocumentID | 10_1016_j_sysarc_2021_102027 S1383762121000308 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABFRF ABJNI ABMAC ABXDB ABYKQ ACDAQ ACGFO ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD ADTZH AEBSH AECPX AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BKOMP BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF HZ~ IHE J1W JJJVA KOM M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SST SSV SSZ T5K TAE TN5 U5U UHS ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c306t-402e11f7e99769632ce20e12b5b1d4c273259cc341edb15791f6d1209d30c87f3 |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000663315100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1383-7621 |
| IngestDate | Tue Nov 18 22:32:41 EST 2025 Sat Nov 29 07:02:59 EST 2025 Fri Feb 23 02:43:51 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Multiprocessor scheduling Integer Linear Program Deadlines Approximation algorithm Synchronous programming |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c306t-402e11f7e99769632ce20e12b5b1d4c273259cc341edb15791f6d1209d30c87f3 |
| ORCID | 0000-0002-4541-3445 |
| ParticipantIDs | crossref_primary_10_1016_j_sysarc_2021_102027 crossref_citationtrail_10_1016_j_sysarc_2021_102027 elsevier_sciencedirect_doi_10_1016_j_sysarc_2021_102027 |
| PublicationCentury | 2000 |
| PublicationDate | June 2021 2021-06-00 |
| PublicationDateYYYYMMDD | 2021-06-01 |
| PublicationDate_xml | – month: 06 year: 2021 text: June 2021 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of systems architecture |
| PublicationYear | 2021 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Kahn (b18) 1962; 5 Graham (b13) 1969; 17 Benveniste, Berry (b5) 1991; 79 Karp (b16) 1972 Alur (b9) 2015 Ullman (b12) 1975; 10 Baker, Dan (b17) 2009 Benveniste, Caspi, Edwards, Halbwachs, Le Guernic, de Simone (b10) 2003; 91 Halbwachs (b7) 1993 Baker, Bertrand (b19) 1982; 3 Mok (b4) 1983 Liu, Layland (b3) 1973; 20 Berry (b8) 2000 Lee, Stephen, Wirthlin (b6) 2003; 2 Harel, Pnueli (b2) 1985 Svensson (b15) 2010 Sanjoy Baruah, The efficient multiprocessor implementation of synchronous reactive components, in: 23rd IEEE International Symposium on Real-Time Distributed Computing, ISORC 2020, 2020. Lenstra, Rinnooy Kan (b14) 1978; 26 Wilhelm, Jakob, Andreas, Niklas, Stephan, Whalley, Guillem, Christian, Reinhold, Tulika, Frank, Isabelle, Peter, Jan, Per (b11) 2008; 7 Graham (10.1016/j.sysarc.2021.102027_b13) 1969; 17 Liu (10.1016/j.sysarc.2021.102027_b3) 1973; 20 Kahn (10.1016/j.sysarc.2021.102027_b18) 1962; 5 Baker (10.1016/j.sysarc.2021.102027_b19) 1982; 3 Karp (10.1016/j.sysarc.2021.102027_b16) 1972 Lee (10.1016/j.sysarc.2021.102027_b6) 2003; 2 Berry (10.1016/j.sysarc.2021.102027_b8) 2000 Halbwachs (10.1016/j.sysarc.2021.102027_b7) 1993 Alur (10.1016/j.sysarc.2021.102027_b9) 2015 Baker (10.1016/j.sysarc.2021.102027_b17) 2009 Lenstra (10.1016/j.sysarc.2021.102027_b14) 1978; 26 Benveniste (10.1016/j.sysarc.2021.102027_b5) 1991; 79 Mok (10.1016/j.sysarc.2021.102027_b4) 1983 10.1016/j.sysarc.2021.102027_b1 Harel (10.1016/j.sysarc.2021.102027_b2) 1985 Svensson (10.1016/j.sysarc.2021.102027_b15) 2010 Wilhelm (10.1016/j.sysarc.2021.102027_b11) 2008; 7 Ullman (10.1016/j.sysarc.2021.102027_b12) 1975; 10 Benveniste (10.1016/j.sysarc.2021.102027_b10) 2003; 91 |
| References_xml | – start-page: 477 year: 1985 end-page: 498 ident: b2 article-title: On the development of reactive systems publication-title: Logics and Models of Concurrent Systems – year: 2015 ident: b9 article-title: Principles of Cyber-Physical Systems – volume: 20 start-page: 46 year: 1973 end-page: 61 ident: b3 article-title: Scheduling algorithms for multiprogramming in a hard real-time environment publication-title: J. ACM – volume: 10 start-page: 384 year: 1975 end-page: 393 ident: b12 article-title: NP-complete scheduling problems publication-title: J. Comput. System Sci. – volume: 79 start-page: 1270 year: 1991 end-page: 1282 ident: b5 article-title: The synchronous approach to reactive and real-time systems publication-title: Proc. IEEE – volume: 7 start-page: 36.1 year: 2008 end-page: 36.53 ident: b11 article-title: The worst-case execution-time problem – overview of methods and survey of tools publication-title: ACM Trans Embedded Comput. Syst. – year: 1983 ident: b4 article-title: Fundamental design problems of distributed systems for the hard-real-time environment – year: 2000 ident: b8 article-title: The esterel v5 language primer: version v5_91 – start-page: 745 year: 2010 end-page: 754 ident: b15 article-title: Conditional hardness of precedence constrained scheduling on identical machines publication-title: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC ’10 – volume: 5 start-page: 558 year: 1962 end-page: 562 ident: b18 article-title: Topological sorting of large networks publication-title: Commun. ACM – volume: 2 year: 2003 ident: b6 article-title: Actor-oriented design of embedded hardware and software systems publication-title: J. Circuits Syst. Comput. – start-page: 85 year: 1972 end-page: 103 ident: b16 article-title: Reducibility among combinatorial problems publication-title: Complexity of Computer Computations – volume: 3 start-page: 37 year: 1982 end-page: 42 ident: b19 article-title: A dynamic priority rule for scheduling against due-dates publication-title: J. Oper. Manage. – year: 2009 ident: b17 article-title: Principles of Sequencing and Scheduling – volume: 91 start-page: 64 year: 2003 end-page: 83 ident: b10 article-title: The synchronous languages 12 years later publication-title: Proc. IEEE – volume: 26 start-page: 22 year: 1978 end-page: 35 ident: b14 article-title: Complexity of scheduling under precedence constraints publication-title: Oper. Res. – volume: 17 start-page: 416 year: 1969 end-page: 429 ident: b13 article-title: Bounds on multiprocessor timing anomalies publication-title: SIAM J. Appl. Math. – reference: Sanjoy Baruah, The efficient multiprocessor implementation of synchronous reactive components, in: 23rd IEEE International Symposium on Real-Time Distributed Computing, ISORC 2020, 2020. – year: 1993 ident: b7 article-title: Synchronous Programming of Reactive Systems – ident: 10.1016/j.sysarc.2021.102027_b1 doi: 10.1109/ISORC49007.2020.00014 – volume: 7 start-page: 36.1 issue: 3 year: 2008 ident: 10.1016/j.sysarc.2021.102027_b11 article-title: The worst-case execution-time problem – overview of methods and survey of tools publication-title: ACM Trans Embedded Comput. Syst. doi: 10.1145/1347375.1347389 – start-page: 745 year: 2010 ident: 10.1016/j.sysarc.2021.102027_b15 article-title: Conditional hardness of precedence constrained scheduling on identical machines – volume: 26 start-page: 22 issue: 1 year: 1978 ident: 10.1016/j.sysarc.2021.102027_b14 article-title: Complexity of scheduling under precedence constraints publication-title: Oper. Res. doi: 10.1287/opre.26.1.22 – volume: 20 start-page: 46 issue: 1 year: 1973 ident: 10.1016/j.sysarc.2021.102027_b3 article-title: Scheduling algorithms for multiprogramming in a hard real-time environment publication-title: J. ACM doi: 10.1145/321738.321743 – volume: 3 start-page: 37 year: 1982 ident: 10.1016/j.sysarc.2021.102027_b19 article-title: A dynamic priority rule for scheduling against due-dates publication-title: J. Oper. Manage. doi: 10.1016/0272-6963(82)90020-1 – volume: 79 start-page: 1270 issue: 9 year: 1991 ident: 10.1016/j.sysarc.2021.102027_b5 article-title: The synchronous approach to reactive and real-time systems publication-title: Proc. IEEE doi: 10.1109/5.97297 – volume: 10 start-page: 384 issue: 3 year: 1975 ident: 10.1016/j.sysarc.2021.102027_b12 article-title: NP-complete scheduling problems publication-title: J. Comput. System Sci. doi: 10.1016/S0022-0000(75)80008-0 – volume: 5 start-page: 558 year: 1962 ident: 10.1016/j.sysarc.2021.102027_b18 article-title: Topological sorting of large networks publication-title: Commun. ACM doi: 10.1145/368996.369025 – start-page: 477 year: 1985 ident: 10.1016/j.sysarc.2021.102027_b2 article-title: On the development of reactive systems – year: 2000 ident: 10.1016/j.sysarc.2021.102027_b8 – start-page: 85 year: 1972 ident: 10.1016/j.sysarc.2021.102027_b16 article-title: Reducibility among combinatorial problems – volume: 17 start-page: 416 year: 1969 ident: 10.1016/j.sysarc.2021.102027_b13 article-title: Bounds on multiprocessor timing anomalies publication-title: SIAM J. Appl. Math. doi: 10.1137/0117039 – year: 1983 ident: 10.1016/j.sysarc.2021.102027_b4 – year: 2015 ident: 10.1016/j.sysarc.2021.102027_b9 – year: 1993 ident: 10.1016/j.sysarc.2021.102027_b7 – volume: 91 start-page: 64 issue: 1 year: 2003 ident: 10.1016/j.sysarc.2021.102027_b10 article-title: The synchronous languages 12 years later publication-title: Proc. IEEE doi: 10.1109/JPROC.2002.805826 – year: 2009 ident: 10.1016/j.sysarc.2021.102027_b17 – volume: 2 year: 2003 ident: 10.1016/j.sysarc.2021.102027_b6 article-title: Actor-oriented design of embedded hardware and software systems publication-title: J. Circuits Syst. Comput. |
| SSID | ssj0005512 |
| Score | 2.2491522 |
| Snippet | Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 102027 |
| SubjectTerms | Approximation algorithm Deadlines Integer Linear Program Multiprocessor scheduling Synchronous programming |
| Title | Implementing synchronous reactive components upon multiprocessor platforms |
| URI | https://dx.doi.org/10.1016/j.sysarc.2021.102027 |
| Volume | 116 |
| WOSCitedRecordID | wos000663315100004&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 | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-6165 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005512 issn: 1383-7621 databaseCode: AIEXJ dateStart: 19960101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LS8QwEA6-Dl58i29y8CaVpjVNexRZUQ8iuMLeSpuk6CLdZbcru__eSabtVtc3eCklNE2YLx2-mc6DkGOWcB2EfuKA7sucs8xNnSTi0kkDFWouU-Uq1zabELe3YacT3ZUN74a2nYDI83A8jvr_CjWMAdgmdfYXcNcvhQG4B9DhCrDD9UfA23q_NgjIeAomuTTlb02gK9BDq9xsGHkvt6ltI7gpgwoxY6A3MI2lC0Nlh58QVyz-PDxp_oOYOkQHo-QRXc15tzdpOhW8RvATerpmsl2scgRr1gHlic9pHAuFD-Yn9nuoNSqmT85oZ3QUdE9hn7DFU7OwKR3hYnWAd3Wv781yZjWPYVWdebLoCR6B9l08v251bqaRPBx_alfbqzIkbRjf7FofM5AGq2ivkZVSqvQcYVwnczrfIKtVqw1aat5NctNElTZQpRWqdIoqNajSt6jSGtUt8nDZal9cOWUbDEeCPVcYC18zlgkdAXUEfelJ7bmaeSlPmTqTwD_BhJUS6IhWKeMiYlmgTEq08l0ZiszfJgs5rL9DaCA94G9KKJO_wV2ZsCwLdOSlAXyfPBO7xK9EE8uyRrxpVfIcV8GA3RgFGhuBxijQXeLUs_pYI-Wb50Ul9bjkecjfYjgoX87c-_PMfbI8PecHZKEYjPQhWZIvxdNwcFSeqFdLw3zh |
| linkProvider | Elsevier |
| 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%3Ajournal&rft.genre=article&rft.atitle=Implementing+synchronous+reactive+components+upon+multiprocessor+platforms&rft.jtitle=Journal+of+systems+architecture&rft.au=Baruah%2C+Sanjoy&rft.date=2021-06-01&rft.pub=Elsevier+B.V&rft.issn=1383-7621&rft.eissn=1873-6165&rft.volume=116&rft_id=info:doi/10.1016%2Fj.sysarc.2021.102027&rft.externalDocID=S1383762121000308 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1383-7621&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1383-7621&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1383-7621&client=summon |