Question sur le profil Ravenscar
Jérôme Hugues <[email protected]>
| Newsgroups | gmane.comp.lang.ada.france |
|---|---|
| Message-ID | <[email protected]> |
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 ? 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) _______________________________________________ Site WWW de l'association Ada-France: http://www.ada-france.org/ [email protected] http://www.ada-france.org/mailman/listinfo/ada-france