A declarative language approach to device configuration

ACM Transactions on Computer Systems

Volumn 30, Issue 1, 2012, Pages

  Schüpbach, Adrian ^a   Baumann, Andrew ^b   Roscoe, Timothy ^a   Peter, Simon ^a  

^a ETH ZURICH   (Switzerland)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Constraint logic programming; Eclipse CLP; Hardware programming; PCI configuration

Indexed keywords

COMPLEX PROBLEMS; CONFIGURATION PARAMETERS; CONSTRAINT LOGIC PROGRAMMING; DECLARATIVE LANGUAGES; DECLARATIVE PROGRAMMING LANGUAGE; DEVICE CONFIGURATIONS; DEVICE DRIVER; ECLIPSE CLP; EFFICIENT ALGORITHM; HARDWARE BUG; HARDWARE CONFIGURATIONS; HARDWARE DEVICES; PCI CONFIGURATION; REGISTER ACCESS; RUNTIME COSTS; SIMPLE ALGORITHM; TEST CASE;

ALGORITHMS; COMPUTER OPERATING SYSTEMS; COMPUTER PERIPHERAL EQUIPMENT; HARDWARE; INTERFACES (COMPUTER); LOGIC PROGRAMMING; MICROCOMPUTERS;

C (PROGRAMMING LANGUAGE);

EID: 84859065928     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/2110356.2110361     Document Type: Conference Paper

References (36)

1. ANDERSON, E., HOBBS, M., KEETON, K., SPENCE, S., UYSAL, M., AND VEITCH, A. 2002. Hippodrome: Running circles around storage administration. In Proceedings of the 1st USENIX Conference on File and Storage Technologies (FAST'02). USENIX Association, Berkeley, CA.
2. APT, K. R. AND WALLACE, M. G. 2007. Constraint Logic Programming Using ECLiPSe. Cambridge University Press.
3. ARPACI-DUSSEAU, A. C., ARPACI-DUSSEAU, R. H., BURNETT, N. C., DENEHY, T. E., ENGLE, T. J., GUNAWI, H. S., NUGENT, J. A., AND POPOVICI, F. I. 2003. Transforming policies into mechanisms with Infokernel. In Proceedings of the 19th ACM Symposium on Operating System Principles. 90-105. (Pubitemid 40929690)
4. BALDWIN, J. H. 2009. Multiple passes of the FreeBSD device tree. In Proceedings of the BSDCan Conference. http://www.bsdcan.org/2009/schedule/ attachments/83-article.pdf.
5. BALDWIN, J. H. 2010. About hot-plugging support in FreeBSD. http://www.mavetju.org/mail/view-message.php?list=freebsd-arch&id=3106757.
6. BARKER, V. E., O'CONNOR, D. E., BACHANT, J., AND SOLOWAY, E. 1989. Expert systems for configuration at digital: Xcon and beyond. Comm. ACM 32, 298-318.
7. BARRELFISH TEAM. 2010. The Barrelfish research operating system. http://www.barrelfish.org/.
8. BAUMANN, A., BARHAM, P.,DAGAND, P.-E., HARRIS, T., ISAACS, R., PETER, S., ROSCOE, T., SCHÜPBACH, A., AND SINGHANIA, A. 2009. The multikernel: A new OS architecture for scalable multicore systems. In Proceedings of the 22nd ACM Symposium on Operating System Principles.
9. BUDRUK, R., ANDERSON, D., AND SHANLEY, T. 2004. PCI Express System Architecture. Addison Wesley.
10. CONWAY, P. AND HUGHES, B. 2007. The AMD Opteron northbridge architecture. IEEE Micro 27, 2, 10-21.
11. DE MOURA, L. AND BJØRNER, N. 2008. Z3: An Efficient SMT Solver. In Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
12. DIAZ, D. 2011. Gnu prolog. http://www.gprolog.org/.
13. DUNHAM, S. N. 1998. Method for allocating system resources in a hierarchical bus structure. US patent 5,778,197.
14. GUNAWI, H. S., RAJIMWALE, A., ARPACI-DUSSEAU, A. C., AND ARPACI-DUSSEAU, R. H. 2008. SQCK: A declarative file system checker. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation.
15. HEWLETT-PACKARD, INTEL, MICROSOFT, PHOENIX, TOSHIBA. 2010. Advanced configuration and power interface specification, rev. 4.0a. http://www.acpi. info/.
16. HOVEL, D. 1995. Using Prolog in Windows NT network configuration. In Proceedings of the 3rd Annual Conference on the Practical Applications of Prolog.
17. JAFFAR, J. AND LASSEZ, J.-L. 1987. Constraint logic programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'87). 111-119.
18. KAUER, B. 2009. ATARE: ACPI tables and regular expressions. Tech. rep. TUD-FI09-09, Faculty of Computer Science, TU Dresden, Dresden, Germany.
19. KLEIN, G., ELPHINSTONE, K., HEISER, G., ANDRONICK, J., COCK, D., DERRIN, P., ELKADUWE, D., ENGELHARDT, K., KOLANSKI, R., NORRISH, M., SEWELL, T., TUCH, H., AND WINWOOD, S. 2009. seL4: Formal verification of an OS kernel. In Proceedings of the 22nd ACM Symposium on Operating System Principles.
20. LIVNY, M., BASNEY, J., RAMAN, R., AND TANNENBAUM, T. 1997. Mechanisms for high throughput computing. SPEEDUP J. 11, 1.
21. MÉRILLON, F., RÉVEILLÉRE, L., CONSEL, C.,MARLET, R., AND MULLER, G. 2000. Devil: An IDL for hardware programming. In Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation. 17-30.
22. MICROSOFT. 2003a. The importance of implementing APIC-based interrupt subsystems on uniprocessor PCs. http://www.microsoft.com/whdc/archive/apic.mspx.
23. MICROSOFT. 2003b. PCI multi-level rebalance in Windows Vista. http://www.microsoft.com/whdc/archive/multilevel-rebal.mspx.
24. MICROSOFT. 2006. Firmware allocation of PCI device resources in Windows. http://www.microsoft.com/whdc/connect/PCI/pci-rsc.mspx.
25. MOCHEL, P. 2005. The sysfs filesystem. In Proceedings of the Annual Linux Symposium.
26. NIGHTINGALE, E. B., HODSON, O.,MCILROY, R., HAWBLITZEL, C., AND HUNT, G. 2009. Helios: heterogeneous multiprocessing with satellite kernels. In Proceedings of the 22nd ACM Symposium on Operating System Principles. 221-234.
27. PCI-SIG 2009. PCI express base 2.1 specification. PCI-SIG. http://www.pcisig.com/.
28. REIS, L. P. AND OLIVEIRA, E. 1999. A constraint logic programming approach to examination scheduling. In Proceedings of the 10th Irish Conference on Artificial Intelligence and Cognitive Science.
29. RUSLING, D. A. 1999. The Linux kernel. http://tldp.org/LDP/tlk/tlk.html.
30. SCHÜPBACH, A., PETER, S., BAUMANN, A., ROSCOE, T., BARHAM, P., HARRIS, T., AND ISAACS, R. 2008. Embracing diversity in the Barrelfish manycore operating system. In Proceedings of the 1st Workshop on Managed Multi-Core Systems.
31. SOLOMON, D. A., RUSSINOVICH, M. E., AND IONESCU, A. 2009. Windows internals: Including Windows Server 2008 and Windows Vista 5th Ed. Microsoft Press, Chapter 4.
32. SPEAR, M. F., ROEDER, T., HODSON, O., HUNT, G. C., AND LEVI, S. 2006. Solving the starting problem: device drivers as self-describing artifacts. In Proceedings of the EuroSys Conference. 45-57. (Pubitemid 47485737)
33. THAIN, D., TANNENBAUM, T., AND LIVNY, M. 2005. Distributed computing in practice: the Condor experience. Concurrency: Pract. Exper. 17, 2-4, 323-356. (Pubitemid 40285781)
34. TJWORLD. 2008. PCI dynamic resource allocation management. http://tjworld.net/wiki/Linux/PCIDynamicResourceAllocationManagement.
35. W3C. 2004. Resource description framework. http://www.w3.org/RDF.
36. WEINSBERG, Y., DOLEV, D., ANKER, T., BEN-YEHUDA, M., AND WYCKOFF, P. 2008. Tapping into the fountain of CPUs: On operating system support for programmable devices. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. 179-188. (Pubitemid 351585405)