Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Efficient intermittent computing with differential checkpointing
Lahore University of Management Sciences, Pakistan .
RISE - Research Institutes of Sweden, ICT, SICS.
Lahore University of Management Sciences, Pakistan .
Lahore University of Management Sciences, Pakistan .
Visa övriga samt affilieringar
2019 (Engelska)Ingår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery , 2019, s. 70-81Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Embedded devices running on ambient energy perform computations intermittently, depending upon energy availability. System support ensures forward progress of programs through state checkpointing in non-volatile memory. Checkpointing is, however, expensive in energy and adds to execution times. To reduce this overhead, we present DICE, a system design that efficiently achieves differential checkpointing in intermittent computing. Distinctive traits of DICE are its software-only nature and its ability to only operate in volatile main memory to determine differentials. DICE works with arbitrary programs using automatic code instrumentation, thus requiring no programmer intervention, and can be integrated with both reactive (Hibernus) or proactive (MementOS, HarvOS) checkpointing systems. By reducing the cost of checkpoints, performance markedly improves. For example, using DICE, Hibernus requires one order of magnitude shorter time to complete a fixed workload in real-world settings.

Ort, förlag, år, upplaga, sidor
Association for Computing Machinery , 2019. s. 70-81
Nyckelord [en]
Differential checkpointing, Intermittent computing, Transiently powered computers, Cost reduction, Digital storage, Program compilers, Automatic codes, Check pointing, Embedded device, Energy availability, Non-volatile memory, Real world setting, System supports, Embedded systems
Nationell ämneskategori
Naturvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-40823DOI: 10.1145/3316482.3326357Scopus ID: 2-s2.0-85070981444ISBN: 9781450367240 (tryckt)OAI: oai:DiVA.org:ri-40823DiVA, id: diva2:1372650
Konferens
20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019
Tillgänglig från: 2019-11-25 Skapad: 2019-11-25 Senast uppdaterad: 2023-05-25Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Mottola, Luca

Sök vidare i DiVA

Av författaren/redaktören
Mottola, Luca
Av organisationen
SICS
Naturvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 72 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf