K-CSP: Component based development of kernel extensions

Concurrent Systems Engineering Series

Volumn 62, Issue , 2004, Pages 311-324

  Sputh, Bernhard ^a,b   Allen, Alastair R ^b  

^a DEPARTMENT OF ELECTRONICS AND COMPUTER ENGINEERING   (Singapore)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER NETWORKS; DATA ACQUISITION; ENCODING (SYMBOLS); MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

COMMUNICATING SEQUENTIAL PROCESSES (CSP); COMPONENT BASED PROGRAMMING (CBP); FUNCTION PARAMETERS; LINUX KERNEL;

COMPUTER OPERATING SYSTEMS;

EID: 4744373978     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (23)

1. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, August 1978.
2. Brad J. Cox and Andrew J. Novobilski. Object-Oriented Programming: An Evolutionary Approach. Addison-Wesley Pub Co, 2nd edition, May 1991. ISBN: 0201548348.
3. Alessandro Rubini and Jonathan Corbet. Linux Device Drivers: Second Edition, O'Reilly & Associates, Inc., 101 Morris Street, Sebastopol, CA 95472, 2nd edition, June 2001. 0-596-00008-1.
4. Grady Booch. Object Oriented analysis and design. Addison Wesley Longman Inc., One Jacob Way, Reading, Massachusetts 01867 USA, 1993.
5. Jun-ichiro Itoh and Yasuhiko Yokote. Concurrent object-oriented device driver programming in apertos operating system. Technical report, Sony Computer Science Laboratory, Keio University Department of Computer Science, August 1994.
6. Jun-ichiro Itoh, Yasuhiko Yokote, and Mario Tokoro. SCONE: Using concurrent objects for low-level operating system programming. Technical report, Sony Computer Science Laboratory, Keio University Department of Computer Science, March 1995.
7. Yasuhiko Yokote. The Apertos reflective operating system: The concept and its implementation. ACM SIGPLAN Notices, 27(10):414-434, 1992.
8. Jan Axelson. USB Complete: Everything you need to develop custom USB Peripherals. Lakeview Research, 2209 Winnebago, St. Madison, WI 53704 USA, 2nd edition, 1999. ISBN: 0-9650819-3-1.
9. Ju An Wang. Towards component-based software engineering. In Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference, pages 177-189. The Consortium for Computing in Small Colleges, 2000.
10. Desktop Java JavaBeans. Sun JavaBeans Website. http://java.sun.com/ products/javabeans/.
11. Microsoft COM technologies - information and resources for the component object model-based technologies. Website. http://www.microsoft.com/com/.
12. Enterprise JavaBeans specification, version 2.1. Specification published by SUN Microsystems, November 2003. Version 2.1, Final Release, http://Java.sun.com/products/ejb/docs.html.
13. CORBA Component Model, v3.0. Specification of the Object Management Group, June 2002. http://www.omg.org/technology/documents/formal/components.htm.
14. Les Hatton. Reexamining the fault density - component size connection. IEEE Software, 14(2):89-97, March/April 1997.
15. Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice Hall PTR, Upper Saddle River, NJ 07458, USA, 2nd edition, March 1988. ISBN: 0131103628.
16. The Linux kernel mailing list FAQ. Internet. http://www.tux.org/lkml/ #s15-3.
17. The Linux kernel archives. Internet, http://www.kernel.org/.
18. Communicating Sequential Processes for Java (JCSP). Internet, http://www.cs.kent.ac.uk/projects/ofa/jcsp/.
19. GCC home page - GNU project - Free Software Foundation (FSF). Internet, http://gcc.gnu.org/.
20. Hongjiu Lu. Elf: From the programmer's perspective. Technical report, NYNEX Science & Technology Inc., 500 Westchester Avenue, White Plains, NY 10604, USA, May 1995.
21. Bjarne Stroustrup. The C++ Programming Language. Addison Wesley Longman Inc., One Jacob Way, Reading, Massachusetts 01867 USA, special edition, March 2000.
22. Stephen G. Kochan. Programming in Objective-C. Sams Publishing, 800 East 96th Street, Indianapolis, Indiana 46240, USA, first edition, November 2003.
23. G. S. Stiles, V. Raju, and L. Rong. Automatic Conversion of CSP to CTJ, JCSP, and CCSP. In Jan F. Broenink and Gerald H. Hilderink, editors, Communicating Process Architectures 2003, pages 63-81, 2003.