CENTEANES : Vers des applications serverless correctes par construction – CENTEANES

Un des fardeaux du cloud est la gestion des ressources, qu'elles soient serveurs, VMs ou bien conteneurs. Le serverless promet de simplifier ceci. Dans ce nouveau paradigme, l'unité de calcul est la fonction. Chaque fonction est déployée et gérée par une plate-forme, de type function-as-a-service, qui l'exécute sur demande et à l'échelle. Ainsi, grâce au serverless, le programmeur libéré de l'infrastructure peut se focaliser sur le code applicatif.

Bien malencontreusement le serverless reste encore difficile à utiliser de nos jours. D'abord, sa nature répartie rend complexe les tests et le débogage. De plus, il est sans état, chaque invocation de fonction démarrant de sa propre copie. Pour pallier ceci, les fonctions accèdent à des services de stockage distant, qui sont donc soumis à des appels concurrents et parallèles. Les fonctions peuvent aussi être appelées par événement, et non plus séquentiellement comme à l'accoutumée. Enfin, chaque fonction peut être ré-exécutée (une à plusieurs fois) par la plate-forme en cas de faute. Toutes ces contraintes créent de multiples difficultés aux programmeurs d'applications.

Le projet Centeanes a pour but de faciliter l'utilisation du serverless grâce à de nouveaux outils. Ces outils permettent la programmation et l'exécution d'applications serverless vérifiées. En détail, nous proposons un canevas théorique pour comprendre le serverless, en particulier la composition de fonctions et la tolérance aux fautes. Ce canevas est mis en œuvre dans un runtime léger, où les effets de bord ainsi que la localité du calcul sont pris en compte. Nous introduisons aussi un outil pour la programmation et la vérification d'applications serverless exécutant dans ce runtime. Les développements précédents sont validés à partir d'applications et de benchmarks cloud et edge. En particulier, des applications de niveau industriel programmées au-dessus d'Eclipse Zenoh sont vérifiées.