{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:40:16Z","timestamp":1740840016873,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"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_26","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T01:42:19Z","timestamp":1294364539000},"page":"320-336","source":"Crossref","is-referenced-by-count":6,"title":["Legba: Fast Hardware Support for Fine-Grained Protection"],"prefix":"10.1007","author":[{"given":"Adam","family":"Wiggins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Winwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harvey","family":"Tuch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Dean, D., Felten, E.W.: Secure mobile code: Where do we go from here? In: DARPA Workshop on Foundations for Secure Mobile Code, Monterey, CA, USA (March 1997)"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/355616.364017","volume":"17","author":"W. Wulf","year":"1974","unstructured":"Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., Pollack, F.: HYDRA: The kernel of a multiprocessor operating system. Comm. ACM\u00a017, 337\u2013345 (1974)","journal-title":"Comm. ACM"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M.E., Becker, D., Chambers, C., Eggers, S.: Extensibility, safety and performance in the SPIN operating system. In: Proc. 15th ACM SOSP, Copper Mountain, CO, USA, December 1995, pp. 267\u2013284 (1995)","DOI":"10.1145\/224056.224077"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Seltzer, M.I., Endo, Y., Small, C., Smith, K.A.: Dealing with disaster: Surviving misbehaved kernel extensions. In: Proc. 2nd USENIX OSDI, November 1996, pp. 213\u2013228 (1996)","DOI":"10.1145\/238721.238779"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Frans Kaashoek, M., O\u2019Toole Jr., J.: Exokernel: An operating system architecture for application-level resource management. In: Proc. 15th ACM SOSP, Copper Mountain, CO, USA, December 1995, pp. 251\u2013266 (1995)","DOI":"10.1145\/224057.224076"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Candea, G., Fox, A.: Recursive restartability: Turning the reboot sledgehammer into a scalpel. In: Proc. 8th HotOS, pp. 125\u2013130 (2001)","DOI":"10.1109\/HOTOS.2001.990072"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Swift, M.M., Marting, S., Levy, H.M., Eggers, S.G.: Nooks: An architecture for reliable device drivers. In: Proc. 10th SIGOPS European WS, St Emilion, France, September 2002, pp. 101\u2013107 (2002)","DOI":"10.1145\/1133373.1133393"},{"key":"26_CR8","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley\/ACM Press, Essex, England (1997)"},{"key":"26_CR9","unstructured":"The component object model specification. Technical report, Microsoft Corporation and Digital Equipment Corporation (1995), http:\/\/www.microsoft.com"},{"key":"26_CR10","unstructured":"Corba components. TC Document orbos\/99-02-05, Object Management Group (March 1999), ftp:\/\/ftp.omg.org\/pub\/docs\/orbos\/99-02-05.pdf"},{"key":"26_CR11","unstructured":"Jaeger, T., Liedtke, J., Islam, N.: Operating system protection for finegrained programs. In: Proc. 7th USENIX Security Symp., San Antonio, Tx, USA, January 1998, pp. 143\u2013157 (1998)"},{"key":"26_CR12","unstructured":"Hawblitzel, C., Chang, C.-C., Czajkowski, G., Hu, D., von Eicken, T.: Implementing multiple protection domains in Java. In: Proc. 1998 USENIX Techn. Conf., New Orleans, USA, June 1998, pp. 259\u2013270 (1998)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Golm, M., Klein\u00f6der, J., Bellosa, F.: Beyond address spaces: Flexibility, performance, protection, and resource management in the type-safe JX operating system. In: Proc. 8th HotOS, Schlo\u00df Elmau, Germany, May 2001, pp. 3\u20138 (2001)","DOI":"10.1109\/HOTOS.2001.990053"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Bershad, B.N., Savage, S., Pardak, P., Becker, D., Fiuczynski, M., Sirer, E.G.: Protection is a software issue. In: Proc. 5th HotOS, Orkas Island, WA, USA (May 1995)","DOI":"10.1109\/HOTOS.1995.513456"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Dayn\u00e8s, L., Czajkowski, G.: Lightweight flexible isolation for language-based extensible systems. In: Proc. 28nd VLDB Conf., Hong Kong, China (2002)","DOI":"10.1016\/B978-155860869-6\/50069-X"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Liedtke, J., Elphinstone, K., Sch\u00f6nberg, S., H\u00e4rtig, H., Heiser, G., Islam, N., Jaeger, T.: Achieved IPC performance (still the foundation for extensibility). In: Proc. 6th HotOS, Cape Cod, MA, USA, May 1997, pp. 28\u201331 (1997)","DOI":"10.1109\/HOTOS.1997.595177"},{"key":"26_CR17","unstructured":"Shinagawa, T., Kono, K., Masuda, T.: Exploiting segmentation mechanism for protecting against malicious mobile code. Technical Report 00-02, Dept. of Information Science, University of Tokyo (May 2000)"},{"key":"26_CR18","doi-asserted-by":"crossref","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, St. Malo, France, October 1997, pp. 66\u201377 (1997)","DOI":"10.1145\/269005.266660"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Whitaker, A., Shaw, M., Gribble, S.D.: Scale and performance in the Denali isolation kernel. In: Proc. 5th USENIX OSDI, Boston, MA, USA (December 2002)","DOI":"10.1145\/1060289.1060308"},{"key":"26_CR20","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/361011.361067","volume":"17","author":"J.H. Saltzer","year":"1974","unstructured":"Saltzer, J.H.: Protection and the control of information sharing in Multics. Comm. ACM\u00a017, 388\u2013402 (1974)","journal-title":"Comm. ACM"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Bershad, B.N., Anderson, T.E., Lazowska, E.D., Levy, H.M.: Lightweight remote procedure call. In: Proc. 12th ACM SOSP, December 1989, pp. 102\u2013113 (1989)","DOI":"10.1145\/74850.74861"},{"key":"26_CR22","volume-title":"Proc. 19th ISCA","author":"M. Talluri","year":"1992","unstructured":"Talluri, M., Kong, S., Hill, M.D., Patterson, D.A.: Tradeoffs in supporting two page sizes. In: Proc. 19th ISCA. ACM, New York (1992)"},{"key":"26_CR23","volume-title":"Proc. 19th ISCA","author":"J. Bradley Chen","year":"1992","unstructured":"Bradley Chen, J., Borg, A., Jouppi, N.P.: A simulation based study of TLB performance. In: Proc. 19th ISCA, ACM Press, New York (1992)"},{"key":"26_CR24","first-page":"39","volume-title":"Proc. 20th ISCA","author":"J. Huck","year":"1993","unstructured":"Huck, J., Hays, J.: Architectural support for translation table management in large address space machines. In: Proc. 20th ISCA, pp. 39\u201350. ACM, New York (1993)"},{"key":"26_CR25","unstructured":"Talluri, M.: Use of Superpages and Subblocking in the Address Translation Hierarchy. Phd thesis, University of Wisconsin-Madison Computer Sciences (1995) Technical Report #1277"},{"key":"26_CR26","doi-asserted-by":"crossref","unstructured":"Kandiraju, G.B., Sivasubramaniam, A.: Characterizing the d-TLB behavior of SPEC CPU2000 benchmarks. In: Proc. ACM SIGMETRICS (2002)","DOI":"10.1145\/511334.511351"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Talluri, M., Hill, M.D.: Surpassing the TLB performance of superpages with less operating system support. In: Proc. 6th ASPLOS, San Jose, CA, USA, pp. 171\u2013182 (1994)","DOI":"10.1145\/195473.195531"},{"key":"26_CR28","first-page":"26","volume":"23","author":"P.J. Teller","year":"1990","unstructured":"Teller, P.J.: Translation-lookaside buffer consistency. Trans. Computers\u00a023, 26\u201336 (1990)","journal-title":"Trans. Computers"},{"key":"26_CR29","doi-asserted-by":"crossref","unstructured":"Qiu, X., Dubois, M.: Options for dynamic address translation in COMAs. In: Proc. 25th ISCA, pp. 214\u2013225 (1998)","DOI":"10.1145\/279361.279390"},{"key":"26_CR30","unstructured":"Qiu, X., Dubois, M.: Towards virtually-addressed memory hierarchies. In: HPCA, January 2001, pp. 51\u201362 (2001)"},{"key":"26_CR31","doi-asserted-by":"crossref","unstructured":"Wood, D.A., Eggers, S.J., Gibson, G., Hill, M.D., Pendleton, J.M., Ritchie, S.A., Taylor, G.S., Katz, R.H., Patterson, D.A.: An in-cache address translation mechanism. In: Proc. 13th ISCA, pp. 358\u2013365 (1986)","DOI":"10.1145\/17356.17398"},{"key":"26_CR32","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1109\/12.926161","volume":"50","author":"B. Jacob","year":"2001","unstructured":"Jacob, B., Mudge, T.: Uniprocessor virtual memory without TLBs. Trans. Computers\u00a050, 482\u2013499 (2001)","journal-title":"Trans. Computers"},{"issue":"1","key":"26_CR33","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.19825","volume":"22","author":"R.B. Lee","year":"1989","unstructured":"Lee, R.B.: Precision architecture. IEEE Comp.\u00a022(1), 78\u201391 (1989)","journal-title":"IEEE Comp."},{"key":"26_CR34","unstructured":"Intel Corp. Itanium Architecture Software Developer\u2019s Manual (February 2000), http:\/\/developer.intel.com\/design\/itanium\/family"},{"key":"26_CR35","unstructured":"Chapman, M., Wienand, I., Heiser, G.: Itanium page tables and TLB. Technical Report UNSW-CSE-TR-0307, School Comp. Sci. & Engin., University NSW, Sydney 2052, Australia (May 2003)"},{"key":"26_CR36","doi-asserted-by":"crossref","unstructured":"Koldinger, E.J., Chase, J.S., Eggers, S.J.: Architectural support for single address- space operating systems. In: Proc. 5th ASPLOS, pp. 175\u2013186 (1992)","DOI":"10.1145\/143371.143508"},{"key":"26_CR37","doi-asserted-by":"crossref","unstructured":"Witchel, E., Cates, J., Asanovi\u0107, K.: Mondrian memory protection. In: Proc. 10th ASPLOS (October 2002)","DOI":"10.1145\/605397.605429"},{"key":"26_CR38","unstructured":"Intel Corp. IA-32 Architecture Software Developer\u2019s Manual (2002), http:\/\/developer.intel.com\/design\/pentium4\/manuals"},{"key":"26_CR39","doi-asserted-by":"crossref","unstructured":"Chiueh, T.-c., Venkitachalam, G., Pradhan, P.: Integrating segmentation and paging protection for safe, efficient and transparent software extensions. In: Proc. 17th ACM SOSP, Kiawah Island, SC, USA, pp. 140\u2013153 (December 1999)","DOI":"10.1145\/319151.319161"},{"key":"26_CR40","doi-asserted-by":"crossref","unstructured":"Berstis, V.: Security and protection in the IBM System\/38. In: Proc. 7th Symp. Comp. Arch., May 1980, pp. 245\u2013250. ACM\/IEEE (1980)","DOI":"10.1145\/800053.801932"},{"key":"26_CR41","unstructured":"Skousen, A.C., Miller, D.: Resource access and protection in the Sombrero protection model, software protection data structures and hardware range protection lookaside buffer. Technical Report TR-95-013, Computer Science and Engineering Department, Arizona State University (May 1996)"},{"key":"26_CR42","doi-asserted-by":"crossref","unstructured":"Jacob, B., Mudge, T.: Software-managed address translation. In: Proc. 3rd HPCA, pp. 156\u2013167 (1997)","DOI":"10.1109\/HPCA.1997.569652"},{"key":"26_CR43","first-page":"330","volume-title":"Proceedings of the thirtieth annual IEEE\/ACM international symposium on Microarchitecture","author":"C. Lee","year":"1997","unstructured":"Lee, C., Potkonjak, M., Mangione-Smith, W.H.: Mediabench: a tool for evaluating and synthesizing multimedia and communicatons systems. In: Proceedings of the thirtieth annual IEEE\/ACM international symposium on Microarchitecture, pp. 330\u2013335. IEEE Computer Society Press, Los Alamitos (1997)"},{"volume-title":"Advanced RISC Machines Architecture Reference Manual","year":"1995","key":"26_CR44","unstructured":"Jagger, D. (ed.): Advanced RISC Machines Architecture Reference Manual. Prentice Hall, Englewood Cliffs (1995)"},{"issue":"2","key":"26_CR45","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/2.982917","volume":"35","author":"T. Austin","year":"2002","unstructured":"Austin, T., Larson, E., Ernst, D.: SimpleScalar: an infrastructure for computer system modeling. IEEE Computer\u00a035(2), 59\u201367 (2002)","journal-title":"IEEE Computer"},{"issue":"5","key":"26_CR46","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/4.509850","volume":"31","author":"S.J.E. Wilton","year":"1996","unstructured":"Wilton, S.J.E., Jouppi, N.P.: CACTI: An enhanced cache access and cycle time model. IEEE Journal of Solid-State Circuits\u00a031(5), 677\u2013688 (1996)","journal-title":"IEEE Journal of Solid-State Circuits"}],"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_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T13:42:03Z","timestamp":1740836523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39864-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201229","9783540398646"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39864-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}