A declarative language approach to device configuration

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2011, Pages 119-131

  Schüpbach, Adrian ^a   Baumann, Andrew ^a,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; HARDWARE BUG; HARDWARE CONFIGURATIONS; HARDWARE DEVICES; NEW APPROACHES; OPERATING SYSTEMS; PCI CONFIGURATION; REGISTER ACCESS; RUNTIME COSTS; SIMPLE ALGORITHM; TEST CASE;

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

COMPUTER PROGRAMMING LANGUAGES;

EID: 79953088263     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1950365.1950382     Document Type: Conference Paper

References (31)

1. Anderson, E., Hobbs, M., Keeton, K., Spence, S., Uysal, M., and Veitch, A. Hippodrome: Running circles around storage administration. In Proceedings of the 1st USENIX Conference on File and Storage Technologies (Berkeley, CA, USA, 2002), FAST '02, USENIX Association.
2. Apt, K. R., andWallace, M. G. Constraint Logic Programming using ECLiPSe. Cambridge University Press, 2007.
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. Transforming policies into mechanisms with Infokernel. In Proceedings of the 19th ACM Symposium on Operating System Principles (Oct. 2003), pp. 90-105. (Pubitemid 40929690)
4. Baldwin, J. H. Multiple passes of the FreeBSD device tree. In BSDCan Conference (May 2009).http://www.bsdcan.org/2009/schedule/attachments/83- article.pdf.
5. Baldwin, J. H. About hot-plugging support in FreeBSD. http://www.mavetju.org/mail/view-message.php?list=freebsd-arch&id=3106757, Feb.2010.
6. Barker, V. E., O'Connor, D. E., Bachant, J., and Soloway, E. Expert systems for configuration at digital: Xcon and beyond. Commun. ACM 32 (March 1989), 298-318.
7. The Barrelfish Research Operating System. http://www.barrelfish.org/, December 2010.
8. Baumann, A., Barham, P., Dagand, P.-E., Harris, T., Isaacs, R., Peter, S., Roscoe, T., Schüpbach, A., and Singhania, A. The multikernel: a new OS architecture for scalable multicore systems. In Proceedings of the 22nd ACM Symposium on Operating System Principles (Oct. 2009).
9. Budruk, R., Anderson, D., and Shanley, T. PCI Express System Architecture. Addison Wesley, 2004.
10. Dunham, S. N. Method for allocating system resources in a hierarchical bus structure, July 1998. US patent 5,778,197.
11. Gunawi, H. S., Rajimwale, A., Arpaci-Dusseau, A. C., and Arpaci- Dusseau, R. H. SQCK: A declarative file system checker. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (Dec. 2008).
12. Hewlett-Packard, Intel, Microsoft, Phoenix, Toshiba. Advanced Configuration and Power Interface Specification, Rev. 4.0a, Apr. 2010.http://www.acpi.info/.
13. Hovel, D. Using Prolog in Windows NT network configuration. In Proceedings of the Third Annual Conference on the Practical Applications of Prolog (1995).
14. The Importance of Implementing APIC-Based Interrupt Subsystems on Uniprocessor PCs. http://www.microsoft.com/whdc/archive/apic.mspx, January 2003.
15. Jaffar, J., and Lassez, J.-L. Constraint logic programming. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1987), pp. 111-119.
16. Kauer, B. ATARE: ACPI tables and regular expressions. Tech. Rep. TUD-FI09-09, TU Dresden, Faculty of Computer Science, Dresden, Germany, Aug. 2009.
17. 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. seL4: Formal verification of an OS kernel. In Proceedings of the 22nd ACM Symposium on Operating System Principles (Oct. 2009).
18. Livny, M., Basney, J., Raman, R., and Tannenbaum, T. Mechanisms for high throughput computing. SPEEDUP Journal 11, 1 (June 1997).
19. Mérillon, F., Réveillère, L., Consel, C.,Marlet, R., andMuller, G. Devil: an IDL for hardware programming. In Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation (2000), pp. 17-30.
20. Microsoft. PCI multi-level rebalance in Windows Vista. http://www.microsoft.com/whdc/archive/multilevel-rebal.mspx,Nov. 2003.
21. Microsoft. Firmware allocation of PCI device resources in Windows. http://www.microsoft.com/whdc/connect/PCI/pci-rsc.mspx,Oct. 2006.
22. Nightingale, E. B., Hodson, O., McIlroy, R., Hawblitzel, C., and Hunt, G. Helios: heterogeneous multiprocessing with satellite kernels. In Proceedings of the 22nd ACM Symposium on Operating System Principles (2009), pp. 221-234.
23. PCI-SIG. PCI Express Base 2.1 Specification, Mar. 2009. http://www.pcisig.com/.
24. Reis, L. P., and Oliveira, E. A constraint logic programming approach to examination scheduling. In Proceedings of the 10th Irish Conference on Artificial Intelligence and Cognitive Science (1999).
25. Rusling, D. A. The Linux kernel.http://tldp.org/LDP/tlk/tlk.html,1999.
26. Schüpbach, A., Peter, S., Baumann, A., Roscoe, T., Barham, P., Harris, T., and Isaacs, R. Embracing diversity in the Barrelfish manycore operating system. In Proceedings of the 1st Workshop on Managed Multi-Core Systems (June 2008).
27. Spear, M. F., Roeder, T., Hodson, O., Hunt, G. C., and Levi, S. Solving the starting problem: device drivers as self-describing artifacts. In Proceedings of the EuroSys Conference (2006), pp. 45-57. (Pubitemid 47485737)
28. Thain, D., Tannenbaum, T., and Livny, M. Distributed computing in practice: the Condor experience. Concurrency: Practice and Experience 17, 2-4 (2005), 323-356. (Pubitemid 40285781)
29. TJ. PCI dynamic resource allocation management. http://tjworld.net/wiki/ Linux/PCIDynamicResourceAllocationManagement, June 2008.
30. W3C. Resource description framework, Feb.2004.http://www.w3.org/RDF.
31. Weinsberg, Y., Dolev, D., Anker, T., Ben-Yehuda, M., andWyckoff, P. 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 (2008), pp. 179-188. (Pubitemid 351585405)