Multiversion Concurrency Control on Intermittent Systems

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

4 Scopus Citations
View graph of relations

Author(s)

Related Research Unit(s)

Detail(s)

Original languageEnglish
Title of host publicationProceedings of the 2019 International Conference on Computer-Aided Design (ICCAD)
PublisherIEEE
ISBN (Electronic)978-1-7281-2350-9
Publication statusPublished - Nov 2019

Publication series

NameIEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Volume2019-November
ISSN (Print)1092-3152

Conference

Title38th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2019
PlaceUnited States
CityWestin Westminster
Period4 - 7 November 2019

Abstract

Concurrency control allows multiple tasks that share data objects to be concurrently executed in a serializable order, thus significantly improving computation progress. However, to accumulate forward progress on energy-harvesting intermittent systems while achieving data consistency across power cycles, existing approaches based on the checkpointing paradigm typically require system suspension at runtime. The runtime overheads incurred by suspension will be more manifest when more tasks are suspended and resumed during checkpointing, offsetting the computation progress improved by concurrent task execution. This paper presents a multiversion concurrency control design, which enables concurrent task execution without system suspension during checkpointing, while maintaining the serializability of task execution and ensuring data consistency after system recovery. We integrated our design into FreeRTOS running on a Texas Instruments device. Experimental results show that, at the very best, our design can double computation progress by reducing the runtime overheads incurred by system checkpointing, especially when tasks are executed with high concurrency.

Research Area(s)

  • Concurrency control, Data consistency, Intermittent systems, Serializability, System recovery

Citation Format(s)

Multiversion Concurrency Control on Intermittent Systems. / Chen, Wei-Ming; Chen, Yi-Ting; Hsiu, Pi-Cheng; Kuo, Tei-Wei.

Proceedings of the 2019 International Conference on Computer-Aided Design (ICCAD) . IEEE, 2019. 8942154 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; Vol. 2019-November).

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review