Devil : An IDL for Hardware Programming

Abstract : To keep up with the frantic pace at which devices come out, drivers need to be quickly developed, debugged and tested. Although a driver is a critical system component, the driver development process has made little (if any) progress. The situation is particularly disastrous when considering the hardware operating code (i.e.,) the layer interacting with the device). Writing this code often relies on an inaccurate or incomplete device documentation and involves assembly-level operations. As a result, hardware operating code is tedious to write, prone to errors, and hard to debug and maintain. This paper presents a new approach to developing hardware operating code based on an Interface Definition Language (IDL) for hardware functionalities, named Devil. This IDL allows a high-level definition of the communication with a device. A compiler automatically checks the consistency of a Devil definition and generates efficient low-level code. Our contributions are as follows. We introduce an {\em expressive} language to specify hardware operating layers. This expressiveness is demonstrated by the wide variety of devices that we have already specified in Devil: mouse, sound, DMA, interrupt, Ethernet, video, and IDE disk controllers. The long-awaited notion of {\em robustness} for hardware operating code is made possible by the Devil compiler which checks safety critical properties. An experimental study comparing hardware operating code in C to that generated from Devil demonstrates that writing a Devil specification is up to 5.9 times less prone to errors than writing C code, with minor (if any) loss in performance.
Type de document :
Rapport
[Research Report] RR-3977, INRIA. 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00072670
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:32:53
Dernière modification le : vendredi 6 avril 2018 - 13:42:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:17:36

Fichiers

Identifiants

  • HAL Id : inria-00072670, version 1

Collections

Citation

Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller. Devil : An IDL for Hardware Programming. [Research Report] RR-3977, INRIA. 2000. 〈inria-00072670〉

Partager

Métriques

Consultations de la notice

337

Téléchargements de fichiers

267