Kernel Stack Overflows Elimination - Advanced Operating Systems and Kernel Applications - page 13

Fuchs, P., & Pemmasani, G. (2005). NdisWrapper .
Retrieved from http://ndiswrapper.sourceforge.
net/

Jouppi, N. P., & Wall, D. W. (1989). Available
Instruction Level Parallelism for Superscalar
and Superpipelined Machines. In Proc. Third
Conf. On Architectural Support for Programming
Languages and Operation System IEEE/ACM,
Boston, (pp. 82-272).

Gorman, M. (2004). Understanding The Linux
Virtual Memory Manager. Upper Saddle River,
NJ: Prentice Hall, Bruce Perens' Open Source
Series. Kogge, P. M. (1981). TheArchitecture of Pipelined

Computers. New-York: McGraw-Hill.

Hand, S. Warfield, A. Fraser, K. Kotsovinos E.
& Magenheimer, D. (2005). Are Virtual Machine
Monitors Microkernels Done Right? In Pro-
ceedings of the Tenth Workshop on Hot Topics
in Operating Systems (HotOS-X) , June 12-15,
Santa-Fe, NM.

Kuhn, B. (2004). The Linux real time interrupt
patch . Retrieved from http://linuxdevices.com/
articles/AT6105045931.html.

Leschke, T. (2004). Achieving speed and flex-
ibility by separating management from protec-
tion: embracing the Exokernel operating sys-
tem. Operating Systems Review , 38 (4), 5-19.
doi:10.1145/1031154.1031155

Hartig, H. Hohmuth, M. Liedtke, J. Schonberg, &
S. Wolter, J. (1997). The Performance of µ-Kernel-
Based Systems. In Proceedings of the sixteenth
ACM symposium on Operating systems principles ,
Saint Malo, France, (p.66-77).

Li, Z., Lu, S., Myagmar, S., & Zhou, Y. (2004).
CP-Miner: A Tool for Finding Copy-paste and
Related Bugs in Operating System Code. In The
6th Symposium on Operating Systems Design
and Implementation (OSDI '04) , San Francisco,
CA.

Intel Pentium Processor User's Manual. (1993).
Mt. Prospect, IL: Intel Corporation. IA-32 Intel
Architecture Software Developer's Manual ,
(2005). Volume 3: System Programming Guide.
Mt. Prospect, IL: Intel Corporation.

Liedtke, J. (1995). On Micro-Kernel Construction.
In Proceedings of the 15th ACM Symposium on
Operating System Principles . New York: ACM.

Itshak, M., & Wiseman, Y. (2008). AMSQM:
Adaptive Multiple SuperPage Queue Manage-
ment. In Proc. IEEE Conference on Information
Reuse and Integration (IEEE IRI-2008) , Las
Vegas, Nevada, (pp. 52-57).

Liedtke, J. (1996). Toward Real Microker-
nels. Communications of the ACM , 39 (9).
doi:10.1145/234215.234473

Jacob, B. (2002). Virtual Memory Systems and
TLB Structures. In Computer Engineering Hand-
book . Boca Raton, FL: CRC Press.

LINUX Pentiums using BYTE UNIX Benchmarks
(2005). Winston-Salem, NC: SilkRoad, Inc.

Love, R. (2003). Linux Kernel Development (1 st
Ed.). Sams.

Jiang, S., Chen, F., & Zhang, X. (2005). CLOCK-
Pro: an Effective Improvement of the CLOCK
Replacement. In Proceedings of 2005 USENIX
Annual Technical Conference , Anaheim, CA (pp.
323-336).

Lu, X., & Smith, S. F. (2006). A Microkernel
Virtual Machine: Building Security with Clear
Interfaces. ACM SIGPLAN Workshop on Pro-
gramming Languages and Analysis for Security ,
Ottawa, Canada, June 10, (pp. 47-56).