Logiciels du groupe programmation réactive du projet MIMOSA

`http://www.inria.fr/mimosa/rp`

Décembre 2001

Reactive-C

Reactive-C est un préprocesseur pour une programmation réactive en C. Reactive-C a été utilisé comme "assembleur réactif" pour implémenter plusieurs formalismes réactifs comme le langage synchrone SL, les scripts réactifs, ou la programmation par icobjs.

Site Web : http://www.inria.fr/mimosa/rp/ReactiveC

Contact :frederic.boussinot@sophia.inria.fr

Disponibilité : logiciel libre, développé dans un projet commun à l'Ecole des Mines de Paris (CMA) et à l'INRIA, soutenu par France-Télécom R&D.

Plate-forme : Unix

Téléchargement :

software	binary + sources + doc
Reactive-C compiler rcc-v3.1 + related softwares (NRP, SL, Reactive Objects, Reactive Scripts, Icobjs)	sunos4 (tar.gz file, 1.6 mb) solaris (tar.gz file, 1.6 m) linux (tar.gz file, 1.4 mb) dec-alpha (tar.gz file, 1.5 mb) hp (tar.gz file, 460 kb)

Implementation des Icobjs en Reactive-C :http://www.inria.fr/mimosa/rp/Icobjs/Tk.html

SugarCubes

SugarCubes est un ensemble de classes 100% Java pour une programmation réactive en Java. La programmation par icobjs et en particulier les WebIcobjs a été implémentée en Java avec les SugarCubes.

Site Web : http://www.inria.fr/mimosa/rp/SugarCubes

Contact :jean-ferdinand.susini@sophia.inria.fr

Disponibilité : logiciel libre, développé dans un projet commun à l'Ecole des Mines de Paris (CMA) et à l'INRIA, soutenu par France-Télécom R&D.

Plate-forme : Java

Téléchargement :

software	binary	sources	documentation
SugarCubes v1	scv1.zip (60 kb)	-	pdf paper (280kb)
SugarCubes v2	scv2.zip (110 kb)	srcv2.zip (33 kb)	pdf paper (84kb)
SugarCubes v3	scv3.jar (105Kb)	srcv3.jar (63Kb)

Junior

Junior est une API pour une programmation réactive en Java. Junior peut être vu comme le noyau des SugarCubes. Il possède plusieurs implémentations, dont certaines destinées à traiter un grand nombre de composants parallèles.

Site Web : http://www.inria.fr/mimosa/rp/Junior

Contact :frederic.boussinot@sophia.inria.fr

Disponibilité : logiciel libre, développé dans un projet commun à l'Ecole des Mines de Paris (CMA) et à l'INRIA, soutenu par France-Télécom R&D. Une implémentation particulière est développée par France-Télécom ; contact : laurent.hazard@francetelecom.com

Plate-forme : Java

Téléchargement :

software	binary	sources	documentation
Junior v2.1 (experimental)	Rewrite.jar (52 kb) Replace.jar (48 kb)	RewriteSrc.jar (50 kb) ReplaceSrc.jar (52 kb)	Jr API (pdf, 156kb)
Junior v2.0	Rewrite.jar (52 kb) Replace.jar (48 kb)	RewriteSrc.jar (50 kb) ReplaceSrc.jar (52 kb)	Jr API (pdf, 150kb) Research Paper (ps.gz, 164kb)

Une API étendue (appelée Jre) est disponible pour Junior v2.1:

software	binary	sources
Jre v2.1 (experimental)	Jre.jar (5 kb)	JreSrc.jar (3 kb)

Rejo

Rejo est un langage qui introduit des objets réactifs au dessus de Java. Rejo dispose de primitives pour la migration de code à travers le réseau. Les programmes Rejo sont compilé en Junior et exécutés sur une plate-forme dediée appelée ROS.

Site Web : http://www.inria.fr/mimosa/rp/ROS

Contact :raul.acosta_bermejo@sophia.inria.fr

Disponibilité : logiciel libre, développé dans un projet commun à l'Ecole des Mines de Paris (CMA), à l'INRIA et à l'Université de Provence, soutenu par France-Télécom R&D et par le CONACYT (Mexique).

Plate-forme : Java

Téléchargement :

software	binary+ sources	documentation
REJO/ROS v1	rosv1.tar.gz (800 kb)	Prog. Manual (word, 280kb)

FairThreads

Les fair threads sont des threads coopératifs exécutés par un ordonnanceur équitable qui leur donne un accès égal au processeur. Ils possèdent une sémantique formelle ainsi qu'une implémentation efficace. Les fair threads sont reliés à l'approche réactive (Junior).

Site Web : http://www.inria.fr/mimosa/rp/FairThreads

Contact :frederic.boussinot@sophia.inria.fr

Disponibilité : logiciel libre, développé dans un projet commun à l'Ecole des Mines de Paris (CMA), à l'INRIA et à l'Université de Provence, soutenu par France-Télécom R&D.

Plate-forme : Java

Téléchargement :

software	binary	sources	documentation
FairThreads v0.1	ftv1.jar (16 kb)	src_ftv1.jar (12 kb)	Java Fair Threads (html) Java Fair Threads (ps.gz, 141kb)