Adaptive Task-Based Intermittent Computing System With Parallel State Backup
Energy harvesting promises to power billions of Internet of Things devices without being restricted by battery life. Since the energy harvester generally outputs weak and unstable energy, the system may suffer frequent and unpredictable power failures, thus falling into cyclically reboots without fo...
Uloženo v:
| Vydáno v: | IEEE transactions on computer-aided design of integrated circuits and systems Ročník 42; číslo 6; s. 1798 - 1809 |
|---|---|
| Hlavní autoři: | , , , , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York
IEEE
01.06.2023
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Témata: | |
| ISSN: | 0278-0070, 1937-4151 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Energy harvesting promises to power billions of Internet of Things devices without being restricted by battery life. Since the energy harvester generally outputs weak and unstable energy, the system may suffer frequent and unpredictable power failures, thus falling into cyclically reboots without forward progress. The task-based intermittent computing system which periodically backs up system states into nonvolatile memory (NVM) is proposed to solve the nonprogress problem, with the nontrivial cost of frequent backups. How to reduce the backup overhead becomes a major research problem for intermittent computing. This article, for the first time, proposes to parallelize state backup and program execution with asynchronous direct memory access (DMA) to hide the backup latency into the program's execution. But, straightforwardly executing the state backup and the program in parallel may cause an inconsistent system state. In specific, the system state may be modified by the program during backup, and therefore may be backed up incorrectly and further cause the system to deliver an incorrect computation result. We make a deep analysis on the system behavior and observe that, although the system state may be backed up incorrectly, the incorrect backup will be covered by the subsequent correct backups soon as the backup operations are performed frequently. In addition, only a small part of variables among all the program states may cause incorrect computation result. So, in this article, we aggressively allow incorrect backups to occur and propose a backup error detection method and a fault-tolerant backup management to guarantee the correctness of the system's execution. To augment the parallel backup method, an adaptive execution method is further proposed to reduce the number of backups and balance the ratio between task execution time and backup latency. We design a run-time system to implement the proposed approach, and experimental results conducted on an STM32F7-based platform show that the proposed method can achieve a <inline-formula> <tex-math notation="LaTeX">2.6\times </tex-math></inline-formula> average speedup. |
|---|---|
| AbstractList | Energy harvesting promises to power billions of Internet of Things devices without being restricted by battery life. Since the energy harvester generally outputs weak and unstable energy, the system may suffer frequent and unpredictable power failures, thus falling into cyclically reboots without forward progress. The task-based intermittent computing system which periodically backs up system states into nonvolatile memory (NVM) is proposed to solve the nonprogress problem, with the nontrivial cost of frequent backups. How to reduce the backup overhead becomes a major research problem for intermittent computing. This article, for the first time, proposes to parallelize state backup and program execution with asynchronous direct memory access (DMA) to hide the backup latency into the program’s execution. But, straightforwardly executing the state backup and the program in parallel may cause an inconsistent system state. In specific, the system state may be modified by the program during backup, and therefore may be backed up incorrectly and further cause the system to deliver an incorrect computation result. We make a deep analysis on the system behavior and observe that, although the system state may be backed up incorrectly, the incorrect backup will be covered by the subsequent correct backups soon as the backup operations are performed frequently. In addition, only a small part of variables among all the program states may cause incorrect computation result. So, in this article, we aggressively allow incorrect backups to occur and propose a backup error detection method and a fault-tolerant backup management to guarantee the correctness of the system’s execution. To augment the parallel backup method, an adaptive execution method is further proposed to reduce the number of backups and balance the ratio between task execution time and backup latency. We design a run-time system to implement the proposed approach, and experimental results conducted on an STM32F7-based platform show that the proposed method can achieve a [Formula Omitted] average speedup. Energy harvesting promises to power billions of Internet of Things devices without being restricted by battery life. Since the energy harvester generally outputs weak and unstable energy, the system may suffer frequent and unpredictable power failures, thus falling into cyclically reboots without forward progress. The task-based intermittent computing system which periodically backs up system states into nonvolatile memory (NVM) is proposed to solve the nonprogress problem, with the nontrivial cost of frequent backups. How to reduce the backup overhead becomes a major research problem for intermittent computing. This article, for the first time, proposes to parallelize state backup and program execution with asynchronous direct memory access (DMA) to hide the backup latency into the program's execution. But, straightforwardly executing the state backup and the program in parallel may cause an inconsistent system state. In specific, the system state may be modified by the program during backup, and therefore may be backed up incorrectly and further cause the system to deliver an incorrect computation result. We make a deep analysis on the system behavior and observe that, although the system state may be backed up incorrectly, the incorrect backup will be covered by the subsequent correct backups soon as the backup operations are performed frequently. In addition, only a small part of variables among all the program states may cause incorrect computation result. So, in this article, we aggressively allow incorrect backups to occur and propose a backup error detection method and a fault-tolerant backup management to guarantee the correctness of the system's execution. To augment the parallel backup method, an adaptive execution method is further proposed to reduce the number of backups and balance the ratio between task execution time and backup latency. We design a run-time system to implement the proposed approach, and experimental results conducted on an STM32F7-based platform show that the proposed method can achieve a <inline-formula> <tex-math notation="LaTeX">2.6\times </tex-math></inline-formula> average speedup. |
| Author | Zhang, Wei Zhang, Qianling Lv, Mingsong Chen, Qiulin Zhou, Zimeng Guan, Nan Ju, Lei Liu, Songran |
| Author_xml | – sequence: 1 givenname: Wei orcidid: 0000-0003-2615-2603 surname: Zhang fullname: Zhang, Wei organization: Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, and the School of Cyber Science and Technology, Shandong University, Qingdao, China – sequence: 2 givenname: Qianling surname: Zhang fullname: Zhang, Qianling organization: Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, and the School of Cyber Science and Technology, Shandong University, Qingdao, China – sequence: 3 givenname: Mingsong surname: Lv fullname: Lv, Mingsong organization: Department of Computing, The Hong Kong Polytechnic University, Hong Kong, China – sequence: 4 givenname: Songran orcidid: 0000-0002-9234-5799 surname: Liu fullname: Liu, Songran organization: School of Computer Science and Engineering, Northeastern University, Shenyang, China – sequence: 5 givenname: Zimeng orcidid: 0000-0002-6683-3991 surname: Zhou fullname: Zhou, Zimeng organization: Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, and the School of Cyber Science and Technology, Shandong University, Qingdao, China – sequence: 6 givenname: Qiulin surname: Chen fullname: Chen, Qiulin organization: Huawei Technologies Company Ltd., Central Software Institute, Shenzhen, China – sequence: 7 givenname: Nan orcidid: 0000-0003-3775-911X surname: Guan fullname: Guan, Nan organization: Department of Computing, City University of Hong Kong, Hong Kong, China – sequence: 8 givenname: Lei orcidid: 0000-0001-6186-5399 surname: Ju fullname: Ju, Lei email: julei@sdu.edu.cn organization: School of Cyber Science and Technology, Shandong University, Qingdao, China |
| BookMark | eNp9kMtKAzEUQIMo2FY_QNwMuJ6ax0wzWbb1VSgodMBlSDM3mnZeJhmhf-8MLS5cuLqbc-69nDE6r5saELoheEoIFvf5cv4wpZjSKaOEiUycoRERjMcJSck5GmHKsxhjji_R2PsdxiRJqRih9bxQbbDfEOXK7-OF8lBEqzqAq2wIUIdo2VRtF2z9EW0OPkAVvdvwGb0pp8oSymgTVIBoofS-a6_QhVGlh-vTnKD86TFfvsTr1-fVcr6ONRUsxFpxSpXiBiAjWqVEJyBgVmTGYEUMFYDplmyxgZQXSaKAbwtssDaDwTiboLvj2tY1Xx34IHdN5-r-oqQZSWdZQinrKX6ktGu8d2Cktv2vtqmDU7aUBMuhnBzKyaGcPJXrTfLHbJ2tlDv869weHQsAv7wQZMawYD-PfXxq |
| CODEN | ITCSDI |
| CitedBy_id | crossref_primary_10_1109_TCAD_2024_3406942 crossref_primary_10_1142_S0218126625503116 |
| Cites_doi | 10.1145/3178372.3179525 10.1145/3373376.3378476 10.1016/j.sse.2016.07.006 10.1145/3385412.3385998 10.1109/VLSID.2014.63 10.1145/3314221.3314613 10.1145/2983990.2983995 10.1145/3453483.3454081 10.1145/3352460.3358277 10.1145/1950365.1950386 10.1109/TCAD.2020.2999913 10.1109/RTAS.2019.00035 10.1109/TCAD.2020.3012214 10.1145/3360285 10.1109/TCAD.2016.2547919 10.1145/3352460.3358279 10.1145/3428231 10.1145/3055031.3055082 10.1109/HPCA.2015.7056060 10.1145/3133920 10.23919/DATE51398.2021.9473945 10.1145/3314221.3314583 10.1145/3316781.3317816 10.1109/MICRO.2018.00055 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023 |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| DOI | 10.1109/TCAD.2022.3213989 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications 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 | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1937-4151 |
| EndPage | 1809 |
| ExternalDocumentID | 10_1109_TCAD_2022_3213989 9916309 |
| Genre | orig-research |
| GrantInformation_xml | – fundername: Taishan Scholars Program – fundername: Fund from the Key Laboratory of Dependable Service Computing in Cyber Physical Society, China grantid: CPSDSC202208 – fundername: CCF-Huawei Populus Grove Fund – fundername: Shandong Provincial Natural Science Foundation grantid: ZR2022QF003; ZR2021QF019 funderid: 10.13039/501100007129 – fundername: Natural Science Foundation of China grantid: 92064008; 62102230 funderid: 10.13039/501100001809 – fundername: Qilu Young Scholar Program of Shandong University funderid: 10.13039/100009108 |
| GroupedDBID | --Z -~X 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD HZ~ H~9 IBMZZ ICLAB IFIPE IFJZH IPLJI JAVBF LAI M43 O9- OCL P2P PZZ RIA RIE RNS TN5 VH1 VJK AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c293t-ca722aa7fee81ca51c4e9e6d8ff0a1f29e02b1b0fe57d44ae7bd0f0cf7fee373 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001008200900006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0278-0070 |
| IngestDate | Mon Jun 30 08:35:31 EDT 2025 Tue Nov 18 21:38:28 EST 2025 Sat Nov 29 03:31:51 EST 2025 Wed Aug 27 02:50:44 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c293t-ca722aa7fee81ca51c4e9e6d8ff0a1f29e02b1b0fe57d44ae7bd0f0cf7fee373 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0003-2615-2603 0000-0003-3775-911X 0000-0001-6186-5399 0000-0002-9234-5799 0000-0002-6683-3991 |
| PQID | 2815684223 |
| PQPubID | 85470 |
| PageCount | 12 |
| ParticipantIDs | proquest_journals_2815684223 crossref_citationtrail_10_1109_TCAD_2022_3213989 crossref_primary_10_1109_TCAD_2022_3213989 ieee_primary_9916309 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-06-01 |
| PublicationDateYYYYMMDD | 2023-06-01 |
| PublicationDate_xml | – month: 06 year: 2023 text: 2023-06-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on computer-aided design of integrated circuits and systems |
| PublicationTitleAbbrev | TCAD |
| PublicationYear | 2023 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref13 ref12 ref15 ref14 ref30 yildirim (ref3) 2018 ref11 ref2 ref17 ref16 ref19 ref18 (ref28) 2009 ref24 ref23 ref26 ref25 ref20 ref22 ref21 van der woude (ref8) 2016 ref27 ref29 ref7 (ref1) 2020 ref9 ref4 ref5 maeng (ref6) 2018 lucia (ref10) 2017 |
| References_xml | – ident: ref27 doi: 10.1145/3178372.3179525 – start-page: 1 year: 2017 ident: ref10 article-title: Intermittent computing: Challenges and opportunities publication-title: Proc Summit Adv Program Languages SNAPL – ident: ref22 doi: 10.1145/3373376.3378476 – ident: ref30 doi: 10.1016/j.sse.2016.07.006 – start-page: 1 year: 2018 ident: ref6 article-title: Adaptive dynamic checkpointing for safe efficient intermittent computing publication-title: Proc USENIX Symp on Operating System Design and Implementation – ident: ref24 doi: 10.1145/3385412.3385998 – start-page: 1 year: 2016 ident: ref8 article-title: Intermittent computation without hardware support or programmer intervention publication-title: Proc USENIX Symp on Operating System Design and Implementation – ident: ref19 doi: 10.1109/VLSID.2014.63 – ident: ref14 doi: 10.1145/3314221.3314613 – ident: ref17 doi: 10.1145/2983990.2983995 – start-page: 41 year: 2018 ident: ref3 article-title: InK: Reactive kernel for tiny batteryless sensors publication-title: Proc ACM Conf Embedded Netw Sens Syst – ident: ref15 doi: 10.1145/3453483.3454081 – ident: ref2 doi: 10.1145/3352460.3358277 – ident: ref18 doi: 10.1145/1950365.1950386 – ident: ref20 doi: 10.1109/TCAD.2020.2999913 – year: 2020 ident: ref1 publication-title: State of the IoT 2018 Number of IoT devices now at 7B-Market accelerating – ident: ref23 doi: 10.1109/RTAS.2019.00035 – ident: ref4 doi: 10.1109/TCAD.2020.3012214 – ident: ref5 doi: 10.1145/3360285 – ident: ref13 doi: 10.1109/TCAD.2016.2547919 – ident: ref12 doi: 10.1145/3352460.3358279 – ident: ref26 doi: 10.1145/3428231 – ident: ref25 doi: 10.1145/3055031.3055082 – ident: ref11 doi: 10.1109/HPCA.2015.7056060 – ident: ref7 doi: 10.1145/3133920 – ident: ref9 doi: 10.23919/DATE51398.2021.9473945 – ident: ref16 doi: 10.1145/3314221.3314583 – year: 2009 ident: ref28 publication-title: MSP430 User Guide – ident: ref21 doi: 10.1145/3316781.3317816 – ident: ref29 doi: 10.1109/MICRO.2018.00055 |
| SSID | ssj0014529 |
| Score | 2.3995187 |
| Snippet | Energy harvesting promises to power billions of Internet of Things devices without being restricted by battery life. Since the energy harvester generally... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1798 |
| SubjectTerms | Adaptation models Adaptive execution Adaptive systems asynchronous direct memory access (DMA) Back up systems Backups Batteries Computational modeling Computer memory Energy consumption Energy harvesting Error correction Error detection Fault tolerance intermittent computing Internet of Things Nonvolatile memory Power failures Run time (computers) State (computer science) state backup Task analysis |
| Title | Adaptive Task-Based Intermittent Computing System With Parallel State Backup |
| URI | https://ieeexplore.ieee.org/document/9916309 https://www.proquest.com/docview/2815684223 |
| Volume | 42 |
| WOSCitedRecordID | wos001008200900006&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: PRVIEE databaseName: IEEE Electronic Library customDbUrl: eissn: 1937-4151 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0014529 issn: 0278-0070 databaseCode: RIE dateStart: 19820101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEJ4g8aAHX2hE0fTgybjQ7Ra6ewQj8WAIh03ktul220hAILD4--10lw2JxsTbHmaS7vQxM53O9wE8MMVF4CublkRKetxubU-mIsVemQx7GbXflY5sQoxG4WQSjWvwVPXCaK3d4zPdxk9Xy8-WaotXZR2MZQLs1jsQolf0alUVAywguvsURIy167isYPo06sT2p2wmyFg7YDbgQUb3PR_kSFV-nMTOvQxP_zewMzgpw0jSL-b9HGp6cQHHe-CCDXjrZ3KFhxmJ5WbmDay7yoi7APyc5jZSzknB6GCFSYFbTt6n-QcZyzXyq8yJi0PJQKrZdnUJ8fAlfn71Su4ET1kHnntKCsakFEbr0Fey6yuuI93LQmOo9A2LNGWpn1KjuyLjXGqRZtRQZVAjEMEV1BfLhb4GIkQoA9G1yWza41YhMpQHKeOGG2kCrptAd8ZMVIkrjvQW88TlFzRK0P4J2j8p7d-Ex0plVYBq_CXcQINXgqWtm9DazVhSbrtNwhD7JuQ25Ln5XesWjpAvvnjr1YJ6vt7qOzhUX_l0s753K-obg4fJOg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8MwDLYmQAIOvBHjmQMnRLc0TZf2OBDTEGPiUAluVZomYhqMaev4_cRpVyGBkLj1YEup87Adx98HcMkUF4GvbFoSK-lxu7U9mYkMe2Vy7GXUfigd2YQYDqOXl_ipAdd1L4zW2j0-0y38dLX8_EMt8KqsjbFMgN16qyHnjJbdWnXNAEuI7kYFMWPtSq5qmD6N24n9LZsLMtYKmA15kNP9mxdytCo_zmLnYHrb_xvaDmxVgSTpljO_Cw092YPNb_CC-zDo5nKKxxlJ5Hzs3ViHlRN3Bfg-KmysXJCS08EKkxK5nDyPilfyJGfIsPJGXCRKbqQaL6YHkPTuktu-V7EneMq68MJTUjAmpTBaR76Soa-4jnUnj4yh0jcs1pRlfkaNDkXOudQiy6mhyqBGIIJDWJl8TPQRECEiGYjQprNZh1uF2FAeZIwbbqQJuG4CXRozVRWyOBJcvKUuw6BxivZP0f5pZf8mXNUq0xJW4y_hfTR4LVjZugmnyxlLq403Txmi30TcBj3Hv2tdwHo_eRykg_vhwwlsIHt8-fLrFFaK2UKfwZr6LEbz2blbXV8lHsyB |
| 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=Adaptive+Task-Based+Intermittent+Computing+System+With+Parallel+State+Backup&rft.jtitle=IEEE+transactions+on+computer-aided+design+of+integrated+circuits+and+systems&rft.au=Zhang%2C+Wei&rft.au=Zhang%2C+Qianling&rft.au=Lv%2C+Mingsong&rft.au=Liu%2C+Songran&rft.date=2023-06-01&rft.issn=0278-0070&rft.eissn=1937-4151&rft.volume=42&rft.issue=6&rft.spage=1798&rft.epage=1809&rft_id=info:doi/10.1109%2FTCAD.2022.3213989&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TCAD_2022_3213989 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0278-0070&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0278-0070&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0278-0070&client=summon |