K. O. A. L. A. : un coprocesseur microprogrammable pour l'interprétation de LISP

par Ingmar Vuong

Thèse de doctorat en Informatique

Sous la direction de Ion Filotti.

Soutenue en 1986

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .


  • Résumé

    Exécuter la forme originale du programme lisp possède un certain nombre d'avantages, que l'on ne retrouve pas dans un schéma d'exécution qui inclut une phase de compilation. Une étude analytique du problème est présentée, mettant en évidence les limites de l'interprétation par rapport à la compilation: interpréter lisp n'est pas intrinsèquement plus lent que d'exécuter du code compile lisp, le facteur variant entre 0. 5 et 2. Cette étude est suivie par la définition d'une architecture minimale permettant d'implémenter efficacement la partie critique de l'interprète lisp: l'évaluateur. Cette architecture est particulière dans la mesure où l'accent est mis non pas sur la partie opérative mais sur la partie contrôle. Ces concepts ont été mis en pratique par la construction d'une maquette composée de circuits lsi et msi. L'originalité de la version actuelle réside dans le fait qu'elle se présente sous la forme d'un coprocesseur du mc68000, offrant ainsi l'avantage de pouvoir être facilement installée dans tout microordinateur base sur le mc68000. Cette réalisation à faible cout s'est montrée capable d'interpréter les programmes lisp avec un facteur de ralentissement variant de un à deux par rapport à l'exécution directe de code compile lisp sur un mc68000

  • Titre traduit

    K. O. A. L. A. : a microprogrammable coprocessor for fast LISP interpretation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. pagination multiple [207] p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. en fin de chapitres

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1986)205
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.