[SOS] temps réel

[serge rouveyrol]

David Decotigny wrote:

>Bonsoir,
>
>Selon Christophe Lucas <c.lucas at ifrance.com>:
>  
>
>>On Mon, 2004-09-20 at 22:07, Fabian Rami wrote:
>>    
>>
>>>Est-il possible de tranformer la base pour utiliser sos comme un système
>>>temps réel ?
>>>      
>>>
>
>Il y a 50000 definitions de "temps-reel". Pour moi quand on dit "temps-reel", je
>pense a la citation de Stankovic qui dit en gros "Real time computing systems
>are defined as those systems in which the correctness of the system depends not
>only on the logical result of computation, but also on the time at which the
>results are produced". Bref, pour moi ca veut dire que j'ai a la fois a prouver
>une correction fonctionnelle de mon systeme, mais aussi une correction
>temporelle (respect de contraintes temporelles telles que des echeances, une
>gigue d'activation mximale donnee, etc.).
>
>Ce qu'on peut dire c'est que, relativement a la definition precedente
>(la plus stricte il me semble), oui *pour l'instant* SOS pourrait, en l'etat,
>etre qualifie de "temps-reel". MAIS j'insiste sur le "*pour l'instant*". Car en
>effet, pour l'instant (ie article 3), tous les elements de l'OS s'executent en
>un temps deterministe puisqu'il n'y a que des operations en temps constant
>effectuees par le processeur une fois que physmem est initialisee.
>
>  
>
tant qu'on ne connait pas les specifications des primitives du noyau à 
implémenter  c'est un peu rapide de dire que SOS est temps reel
(les processus sont-ils créés avec une priorité, les  processus bloques 
dans la filed'attente d'un sémaphore si sémaphore il y a sont-ils
rangés dans l'ordre de leur priorité ...)


pourquoi ne pas donner au départ  les specifications des primitives du 
noyau à impléménter ?