Re: Question sur le profil Ravenscar

On Fri, 2009-10-02 at 17:03 +0200, Jérôme Hugues wrote:
> Je profite du changement de bureau pour prendre le rôle d'inquisiteur ;)
> 
> Ada2005 définit le profil Ravenscar. ada-auth.org rassemble les  
> minutes des discussions de la génèse de ce profil.
> 
> En le relisant, je suis tombé la dessus ( http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ais/ai-00249.txt?rev=1.16 
>   )
> 
> !ACATS test
> An ACATS test should be created for this pragma.
> 
> N'y a t il donc aucun test ?

Je n'ai pas trouvé de "ravenscar" dans les dernieres
mises a jour ACATS :

http://www.ada-auth.org/acats.html

> Question subsidiaire, est ce qu un compilateur validant les tests  
> ACATS de Ada 95 l annexe temps réel (donc D), donc qui valide a priori  
> les aspects liés à Task_Dispatching_Policy et Locking_Policy valide la  
> partie comportementale de Ravenscar , privé de pragma Detect_Blocking ?
> 
> Mon probleme derriere tout cela est de savoir si RTEMS est compatible  
> Ravenscar ou si on risque de tomber sur un os par la suite ..
> (dans l hypothese ou il passe les ACATS)

Les tests ACATS de l'annexe D ne sont pas inclus dans la testsuite
GCC, il faut que quelqu'un teste (il suffit de creer recopier les
fichiers cxd d'ACATS dans gcc/testsuite/ada/acats/tests/cxd/).

Laurent



_______________________________________________
Site WWW de l'association Ada-France: http://www.ada-france.org/
[email protected]
http://www.ada-france.org/mailman/listinfo/ada-france