FL-system’s Intelligent Cache

• Cet article pr´esente une application de techniques issues du g´enie logiciel `a la mod´elisation d’environnements virtuels. Ces derniers, d`es lors qu’ils sont complexes, constituent des masses de donn´ees particuli`erement volumineuses et, de ce fait, difficiles `a manipuler. De plus, les descriptions exhaustives de ces environnements, c’est-`a-dire explicites, sont peu ´evolutives. Pour r´esoudre ces probl`emes, il existe des m´ethodes bas´ees sur des syst`emes de r´e´ecriture permettant de d´ecrire de fac¸on g´en´erique les objets de l’environnement. Chaque objet est ainsi d´ecrit par un axiome qui est r´e´ecrit lors de la g´en´eration de l’environnement. Lors de cette phase, il est fr´equent de retrouver deux s´equences de r´e´ecriture aboutissant `a un mˆeme objet. Il est alors possible d’utiliser un m´ecanisme tel que le cache afin d’am´eliorer les performances en profitant des calculs d´ej`a effectu´es. Cependant, se contenter de mettre en correspondance les noms et param`etres des axiomes n’est pas suffisant pour ´etablir l’ensemble des r´e´ecritures identiques. En effet, les r´e´ecritures d’un mˆeme axiome avec des param`etres effectifs diff´erents peuvent aboutir au mˆeme objet. Le syst`eme propos´e dans cet article effectue une analyse dynamique des r´e´ecritures afin d’am´eliorer les performances du cache en d´etectant de tels cas. La premi`ere partie de cet article pr´esente le syst`eme de r´e´ecriture, la seconde l’analyse utilis´ee, et la derni`ere le m´ecanisme propos´e.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Nyckelord

R´ealit´e virtuelle - Syst`emes de r´e´ecriture -

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)