التفاصيل البيبلوغرافية
العنوان: |
Virtualizing Intermittent Computing |
المؤلفون: |
Durmaz, Caglar, Yildirim, Kasim Sinan, Kardas, Geylani |
سنة النشر: |
2021 |
المجموعة: |
Computer Science |
مصطلحات موضوعية: |
Computer Science - Programming Languages, Computer Science - Hardware Architecture |
الوصف: |
Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to programs that are hardware-dependent and not reusable. This paper aims at virtualizing intermittent computing to remedy these problems. We introduce PureVM, a virtual machine that abstracts a transiently powered computer, and PureLANG, a continuation-passing-style programming language to develop programs that run on PureVM. This virtualization, for the first time, paves the way for portable and reusable transiently-powered applications. |
نوع الوثيقة: |
Working Paper |
URL الوصول: |
http://arxiv.org/abs/2111.14249 |
رقم الانضمام: |
edsarx.2111.14249 |
قاعدة البيانات: |
arXiv |