[ada-france] Dissolution, reprise ?

[Claude Kaiser]

Une idée pour des réunions thématiques
c'est très programmation, mais..

J'ai pu constater qu'on utilisait peu ou mal les énormes atouts de Ada
pour la gestion de la concurrence
(tant les objets protégés, que le rendez-vous, et les uns et les autres  
avec le requeue).
j'ai vu passer parfois des demandes d'information sur ce sujet,
c'est qu'il y a une curiosité ou un besoin.

Quelques séances sur ce thème, sous forme de présentations d'exemples  
un peu originaux,
qu'on ne trouve pas dans le manuel ou les livres sur le langage
(à part des éléments, anciens, dans celui de Burns-Wellings,  et un peu  
dans celui de Zaffalon )
séances comportant une discussion autour des exemples et algorithmes
permettraient de montrer la puissance de Ada,
de constater qu'il fait bien mieux que C# ou Java (plus simple, plus  
fiable, mieux quoi!)

Ce serait des séances autour de la programmation, pas du génie  
"logiciel" ou autre
Il ne s'agit pas de faire de gros programmes avec des fonctionnalités  
géniales
mais de regarder quelques programmes complexes par le fait de la  
concurrence des tâches.
C'est regarder un aspect élégant du langage surtout si on se place à un  
niveau d'abstraction suffisant.
Il faut accepter de chercher et trouver un aspect esthétique à la  
programmation
(c'est peut-être ringard, mais c'était et c'est encore l'avis de D  
Knuth)

J'ai plein de tels exemples (un peu académiques, certes, mais  
significatifs) dans mon ex-cours ACCOV
Cours de cycle B du CNAM : la programmation concurrente et sa validation
       http://deptinfo.cnam.fr/Enseignement/CycleSpecialisation/ACCOV/

essentiellement pour analyser la fiabilité des algorithmes de  
concurrence
(absence d'interblocage)
et j'ai, en dehors de ce cours, des archives avec plein d'exemples de  
programmes
avec validation par l'outil QUASAR
avec des simulations pour comparer des variantes

voir aussi l'article paru dans
ACM SIGAda Ada Letters
Volume XXVI ,  Issue 2  (August 2006)
http://portal.acm.org/
http://portal.acm.org/citation.cfm? 
id=1165678.1165681&coll=portal&dl=ACM&idx=1165678&part=periodical&WantTy 
pe=periodical&title=ACM%20SIGAda%20Ada%20Letters&CFID=18752449&CFTOKEN=2 
7402784

S'il y a des amateurs, je pourrais faire quelques séances sur ce sujet.
Qu'on me précise le niveau, le besoin
(je précise, c'est de la concurrence entre tâches, pas des  
entrées-sorties ou du réseau)
Je pense qu'il faudrait commencer avec des tâches sur un seul site (pas  
de répartition)
et voir celle-ci après,
selon la philosophie de Ada qui fait de la répartition par  
post-partitionnement

Claude Kaiser

Le 18 oct. 06, à 21:09, Fabrice Kordon a écrit :
>
> Il ne s'agit surtout pas de se limiter aux tâches dévolues à une
> association loi 1901. Au contraire, ce qui manque à Ada-France ces
> dernières années, c'est du souffle. Ce n'est pas faute d'imagination
> pour les membres du bureau mais faute de temps. On peut relancer des
> réunions thématiques (il n'y en a pas eu depuis probablement 5 ans)
> et toute idée est la bienvenue.
>
> Bref, il y a plein de choses à faire...
>
> Fabrice
> -- 
> ----------------------------------------------------------------------- 
> ---
> Fabrice Kordon		Laboratoire d'Informatique de Paris 6/MoVe
> Tel: +33 1 44 27 88 20	Université Pierre & Marie Curie
> Fax: +33 1 44 27 87 71	4 place Jussieu, 75252 Paris Cedex 05
> http://www-src.lip6.fr/~Fabrice.Kordon
> _______________________________________________
> Site WWW de l'association Ada-France: http://www.ada-france.org/
> Ada-France at ada-france.org
> http://www.ada-france.org/mailman/listinfo/ada-france
>