• Qu'est-ce que DynaMoW ?
• Limites et problèmes
• Démo
• Nouvelle architecture
• Autres changements
• En cours / à faire

• Une bibliothèque OCaml pour ...
• développer des applications web ...
• affichant dynamiquement des résultats de calculs mathématiques...
• en fonction des paramètres saisis par le lecteur des pages web...
• et en faisant appel à des logiciels de calcul symboliques (Maple, ...).

Dépendance envers Camlp4 dont l'avenir est incertain.

Utilisation de Apache et FastCgi

• lourdeur d'installation et administration, même pour des tests: configuration, redémarrage d'apache, ...
• lancement d'un CAS (Computer Algebra System) à chaque requête,
• difficulté pour tracer les requêtes liées au calcul d'une même page.

Faibles possibilités pour les paramètres saisis par l'utilisateur: pas de listes, ...

Application de test.

L'application passe son temps principalement à attendre lors d'opérations d'entrée/sortie:

• attente et lecture des requêtes HTTP, envoi des réponses,
• envoi de code au CAS, attente et lecture des résultats.

➩ contexte typique d'utilisation de la bibliothèque Lwt.

Objectif: une application = un exécutable embarquant un serveur web et gérant des bassins de sessions des CAS.

• facilité d'installation (un exécutable), de configuration (un seul fichier, format JSON),
• communication avec le navigateur via websockets,
• facilité pour tracer tout ce qui concerne une même page (= une même connexion),
• pas de relance d'un CAS à chaque requête.

Déroulement de la gestion d'une requête:

Remplacement de Camlp4 par un préprocesseur basé sur un lexeur (développé avec Sedlex) qui transforme des <foo<...>> en nœuds d'extension [%dmw.foo ...].

Développement d'un processeur ppx pour remplacer ces nœuds d'extension par du code généré. Exemple:

 <int< $(x) + $(y) >> 

est transformé par le préprocesseur en

[%dmw.int " "[%dmw.mlsymb x]" + "[%dmw.mlsymb y]" "]

puis le processeur ppx remplace les nœuds d'extension par du code généré:

CAS__.eval_int
    (String.concat ""
       [" "; snd (CAS__.cas_ref x); " + "; snd (CAS__.cas_ref y); " "])

Ici un appel au CAS demandant une évaluation d'une expression pour retourner un entier. L'expression envoyée au CAS contient les références à des symboles du CAS précédemment calculés dans la même session.

Dans le précédent DynaMoW: attente que toutes les sous-sections d'une section soient disponibles pour afficher et numéroter.

Maintenant, numérotation et renumérotation dynamique en fonction des suppressions et insertions dans le document. Gestion de la numérotation et des références aux équations, théorèmes, ... Envoi au navigateur client d'ordres de remplacement dans le DOM quand un compteur change de valeur.

Algorithme: chaînage entre les instances d'un compteur; le chaînage contient aussi des nœuds d'interface autour des "trous". Le document calculé dans le trou utilise ces interfaces pour insérer des instances de compteurs entre les nœuds interface d'entrée et de sortie ➩ toutes les instances restent chaînées et l'insertion d'une nouvelle instance provoque l'incrémentation des instances suivantes du même compteur et les ordres de mise à jour associées.

• Les paramètres des services sont définis avec un type mais aussi par la façon dont ils apparaissent dans les formulaires web; possibilité d'avoir des paramètres structurés (listes, ...); développement de combinateurs de paramètres (paires, listes, ...),
• Intégration continue: basée sur docker, avec plusieurs distributions Linux cibles,
• Terminer le portage de l'application ECS vers le nouveau DynaMoW et mettre en production,
• Ajouter la possibilité de cache pour les services, en mémoire ou sur disque,
• Porter l'application DDMF vers le nouveau DynaMow.