HOKES/POKES: Light-Weight Resource Sharing

  • Herbert Bos
  • Bart Samwel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2855)


In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sharing. The solution consists of a host part, known as HOKES, and a network processor part, known as POKES. As common operating system concepts are considered to be too heavy-weight for this environment, we developed a system that pushes resource control all the way to the compiler. The HOKES/POKES architecture is described in detail and its implementation evaluated.


Forward Error Correction Garbage Collection Memory Block Object Code Garbage Collector 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AIM+02]
    Anagnostakis, K.G., Ioannidis, S., Miltchev, S., Ioannidis, J., Greenwald, M.B., Smith, J.M.: Efficient packet monitoring for network management. In: Proc. of NOMS 2002 (April 2002)Google Scholar
  2. [BCE+95]
    Bershad, B., Chambers, C., Eggers, S., Maeda, C., McNamee, D., Pardyak, P., Savage, S., Gun Sirer, E.: Protection is a software issue. In: HotOS-V (May 1995)Google Scholar
  3. [BFIK99]
    Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.: The KeyNote trust-management system version 2. NWG, RFC 2704 (September 1999)Google Scholar
  4. [BS02]
    Bos, H., Samwel, B.: Safe kernel programming in the OKE. In: Proceedings of OPENARCH 2002, New York, USA (June 2002)Google Scholar
  5. [Coo02]
    Intel Coorp. Internet exchange architecture: Programmable network processors for today’s modular networks. White Paper (2002)Google Scholar
  6. [EKO94]
    Engler, D., Kaashoek, F., O’Toole Jr., J.: The exokernel approach to extensibility. In: Proc. of USENIX OSDI, Monterey, Cal. (November 1994)Google Scholar
  7. [GMJ+02]
    Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: Proc. of PLDI 2002, Berlin, Germany (June 2002)Google Scholar
  8. [JMG+02]
    Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A safe dialect of C. In: Proc. of USENIX 2002 (June 2002)Google Scholar
  9. [LMB+96]
    Leslie, I., McAuley, D., Black, R., Roscoe, T., Barham, P., Evers, D., Fairbairns, R., Hyden, E.: The Design and Implementation of an Operating System to Support Distributed Multimedia Applications. JSAC 14(7) (September 1996)Google Scholar
  10. [Mic99]
    IBM Microelectronics. The network processor enabling technology for high-performance networking. White Paper (1999)Google Scholar
  11. [MJ93]
    McCanne, S., Jacobson, V.: The BSD Packet Filter: A new architecture for user-level packet capture. In: Proc. of USENIX, San Diego (January 1993)Google Scholar
  12. [NL96]
    Necula, G., Lee, P.: Safe kernel extensions without run-time checking. In: Proceedings of OSDI 1996, Seattle, Washington (October 1996)Google Scholar
  13. [PL03]
    Patel, P., Lepreau, J.: Hybrid resource control of active extensions. In: Proc. of OPENARCH 2003, San Francisco, CA (April 2003)Google Scholar
  14. [SCA01]
    SCAMPI Consortium. SCAMPI - A SCAlable Monitoring Platform for the Internet. Technical report, EU IST Research Project, Proposal Number: IST-2001-32404, Action Line IST-2001-IV.2.2 (April 2001)Google Scholar
  15. [SPB+02]
    Shalaby, N., Peterson, L., Bavier, A., Gottlieb, Y., Karlin, S., Nakao, A., Qie, X., Spalink, T., Wawrzoniak, M.: Extensible routers for active networks. In: DARPA AN Conference and Exposition (June 2002)Google Scholar
  16. [Win01]
    Wind River Systems MCL-DS-VAE-0111. VxWorks AE Datasheet (2001),
  17. [WLAG93]
    Wahbe, R., Lucco, S., Anderson, T.E., Graham, S.L.: Efficient softwarebased fault-isolation. In: SOSP 2003, December 1993, pp. 203–216 (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Herbert Bos
    • 1
  • Bart Samwel
    • 1
  1. 1.LIACSLeiden UniversityThe Netherlands

Personalised recommendations