{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:44:24Z","timestamp":1740894264430,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201229"},{"type":"electronic","value":"9783540398646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39864-6_23","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T01:42:19Z","timestamp":1294364539000},"page":"277-289","source":"Crossref","is-referenced-by-count":5,"title":["User-Level Management of Kernel Memory"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Haeberlen","sequence":"first","affiliation":[]},{"given":"Kevin","family":"Elphinstone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/106972.106984","volume-title":"Proc. 4th ASPLOS","author":"A.W. Appel","year":"1991","unstructured":"Appel, A.W., Li, K.: Virtual memory primitives for user programs. In: Proc. 4th ASPLOS, pp. 96\u2013107. ACM Press, New York (1991)"},{"key":"23_CR2","unstructured":"Banga, G., Druschel, P., Mogul, J.C.: Resource containers: a new facility for resource management in server systems. In: Proc. 3rd OSDI, February 1999, pp. 45\u201358 (1999)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Bershad, B.N., et al.: SPIN: an extensible microkernel for application-specific operating system services. In: Proc. 6th ACM SIGOPS European Workshop, pp. 68\u201371 (1994)","DOI":"10.1145\/504390.504408"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Cheriton, D.R., Duda, K.J.: A caching model of operating system kernel functionality. In: Proc. 1st OSDI, November 1994, pp. 179\u2013193 (1994)","DOI":"10.1145\/504390.504414"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Cheriton, D.R., Duda, K.J.: Logged virtual memory. In: Proc. 15th ACM SOSP, December 1995, pp. 26\u201338 (1995)","DOI":"10.1145\/224056.224060"},{"key":"23_CR6","unstructured":"Endo, Y., Gwertzman, J., Seltzer, M., Small, C., Smith, K.A., Tang, D.: VINO: The 1994 fall harvest. Technical Report TR-34- 94, Harvard Computer Center for Research in Computing Technology (1994)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Gupta, S.K., Frans Kaashoek, M.: AVM: Applicationlevel virtual memory. In: Proc. 5th HotOS, May 1995, pp. 72\u201377 (1995)","DOI":"10.1109\/HOTOS.1995.513458"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Gefflaut, A., et al.: The SawMill multiserver approach. In: 9th SIGOPS European Workshop, Kolding, Denmark (September 2000)","DOI":"10.1145\/566726.566751"},{"key":"23_CR9","unstructured":"Hand, S.M.: Self-paging in the Nemesis operating system. In: Proc. 3rd OSDI, February 1999, pp. 73\u201386. USENIX Association (1999)"},{"key":"23_CR10","volume-title":"Proc. 16th ACM SOSP","author":"H. H\u00e4rtig","year":"1997","unstructured":"H\u00e4rtig, H., Hohmuth, M., Liedtke, J., Sch\u00f6nberg, S., Wolter, J.: The performance of \u03bc-kernel-based systems. In: Proc. 16th ACM SOSP. ACM, New York (1997)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Harty, K., Cheriton, D.R.: Application-controlled physical memory using external page-cache management. In: Proc. 5th ASPLOS, October 1992, pp. 187\u2013197 (1992)","DOI":"10.1145\/143365.143511"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Heiser, G., Elphinstone, K., Vochteloo, J., Russell, S., Liedtke, J.: The Mungi single-address-space operating system. Software Practice and Experience\u00a028(9) (July 1998)","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/75372.75374","volume":"17","author":"J.P. Kearns","year":"1989","unstructured":"Kearns, J.P., DeFazio, S.: Diversity in database reference behaviour. Performance Evaluation Review\u00a017(1), 11\u201319 (1989)","journal-title":"Performance Evaluation Review"},{"issue":"4","key":"23_CR14","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/138873.138876","volume":"10","author":"R.E. Kessler","year":"1992","unstructured":"Kessler, R.E., Hill, M.D.: Page placement algorithms for large real-indexed caches. ACM TOCS\u00a010(4), 338\u2013359 (1992)","journal-title":"ACM TOCS"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/165854.165867","volume-title":"Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications","author":"K. Krueger","year":"1993","unstructured":"Krueger, K., Loftesness, D., Vahdat, A., Anderson, T.: Tools for the development of application-specific virtual memory management. In: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pp. 48\u201364. ACM Press, New York (1993)"},{"key":"23_CR16","first-page":"237","volume-title":"Proc. 15th ACM SOSP","author":"J. Liedtke","year":"1995","unstructured":"Liedtke, J.: On \u03bc-kernel construction. In: Proc. 15th ACM SOSP, pp. 237\u2013250. ACM Press, New York (1995)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Liedtke, J.: Toward real microkernels. Communications of the ACM\u00a039(9) (September 1996)","DOI":"10.1145\/234215.234473"},{"key":"23_CR18","unstructured":"Liedtke, J., Islam, N., Jaeger, T.: Preventing denial-of-service attacks on a \u03bc-kernel for WebOSes. In: Proc. 6th HotOS (May 1997)"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Liedtke, J., Wenske, H.: Lazy process switching. In: Proc. 8th HotOS, May 2001, pp. 15\u201318 (2001)","DOI":"10.1109\/HOTOS.2001.990055"},{"key":"23_CR20","unstructured":"McNamee, D., Armstrong, K.: Extending the Mach external pager interface to accommodate user-level page replacement policies. Technical Report TR-90-09-05, Department of Computer Science and Engineering, University of Washington (1990)"},{"key":"23_CR21","unstructured":"Mehnert, F., Hohmuth, M., H\u00e4rtig, H.: Cost and benefit of separate address spaces in real-time operating systems. In: Proc. 23rd Real-Time Systems Symposium (December 2002)"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Rashid, R., et al.: Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures. IEEE Transactions on Computers\u00a037(8) (August 1988)","DOI":"10.1109\/12.2242"},{"key":"23_CR23","unstructured":"Reumann, J., Mehra, A., Shin, K.G., Kandlur, D.: Virtual services: A new abstraction for server consolidation. In: Proc. of the 2000 USENIX ATC (June 2000)"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Satyanarayanan, M., Mashburn, H.H., Kumar, P., Steere, D.C., Kistler, J.J.: Lightweight recoverable virtual memory. ACM TOCS\u00a012(1) (February 1994)","DOI":"10.1145\/174613.174615"},{"key":"23_CR25","unstructured":"Shapiro, J.S., Farber, D.J., Smith, J.M.: State caching in the EROS kernel. In: Proc. 7th Intl. Workshop on Persistent Object Systems, pp. 88\u2013100 (1996)"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Shapiro, J.S., Smith, J.M., Farber, D.J.: EROS: a fast capability system. In: Proc. 17th ACM SOSP, December 1999, pp. 170\u2013185 (1999)","DOI":"10.1145\/319151.319163"},{"key":"23_CR27","unstructured":"Spatscheck, O., Peterson, L.L.: Defending against denial of service attacks in Scout. In: Proc. 3rd OSDI, February 1999, pp. 59\u201372 (1999)"},{"issue":"7","key":"23_CR28","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/358699.358703","volume":"24","author":"M. Stonebraker","year":"1981","unstructured":"Stonebraker, M.: Operating system support for database management. Communications of the ACM\u00a024(7), 412\u2013418 (1981)","journal-title":"Communications of the ACM"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Tullmann, P., Lepreau, J., Ford, B., Hibler, M.: User-level checkpointing through exportable kernel state. In: Proc. 5th Intl. Workshop on Object Orientation in Operating Systems, Seattle, WA (October 1996)","DOI":"10.1109\/IWOOOS.1996.557874"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Systems Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39864-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T13:41:39Z","timestamp":1740836499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39864-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201229","9783540398646"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39864-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}