Un modèle de programmation et d'exécution plus simple et plus sûr pour les systèmes intermittents

La récolte d'énergie permet de créer des dispositifs et des applications novateurs sans batteries, mais le fonctionnement intermittent sous récolte d'énergie pose de nouveaux défis à la cohérence de la mémoire qui menacent de laisser les applications dans des états d'échec non accessibles en exécution continue. Cet article présente des modèles analytiques qui aident à raisonner sur l'intermittence. En utilisant ceux-ci, nous développons DINO (La Mort n'est pas une Option), un modèle de programmation et d'exécution qui simplifie la programmation pour les systèmes intermittents et garantit la cohérence des données volatiles et non volatiles malgré des interruptions presque constantes. DINO est le premier système à aborder ces problèmes de cohérence dans le contexte de l'exécution intermittente. Nous évaluons DINO sur trois plateformes matérielles de récolte d'énergie exécutant différentes applications. Les applications échouent et présentent des erreurs sans DINO, mais fonctionnent correctement avec le modeste surcoût d'exécution de 1,8 à 2,7× de DINO. DINO simplifie également considérablement la programmation, réduisant l'ensemble des transferts de contrôle liés à des échecs de 5 à 9×.