乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T06:45:18Z","timestamp":1725777918810},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,6]]},"DOI":"10.1145\/3591195.3595278","type":"proceedings-article","created":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T20:32:43Z","timestamp":1686083563000},"page":"111-123","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Picking a CHERI Allocator: Security and Performance Considerations"],"prefix":"10.1145","author":[{"given":"Jacob","family":"Bramley","sequence":"first","affiliation":[{"name":"Arm, UK"}]},{"given":"Dejice","family":"Jacob","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}]},{"given":"Andrei","family":"Lascu","sequence":"additional","affiliation":[{"name":"King\u2019s College London, UK"}]},{"given":"Jeremy","family":"Singer","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}]},{"given":"Laurence","family":"Tratt","sequence":"additional","affiliation":[{"name":"King\u2019s College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2023,6,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Hans-Juergen Boehm. 2014. An Artificial Garbage Collection Benchmark. https:\/\/www.hboehm.info\/gc\/gc_bench.html \t\t\t\t Hans-Juergen Boehm. 2014. An Artificial Garbage Collection Benchmark. https:\/\/www.hboehm.info\/gc\/gc_bench.html"},{"key":"e_1_3_2_1_2_1","volume-title":"Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala","author":"Davis Brooks","year":"2019","unstructured":"Brooks Davis , Robert N. M. Watson , Alexander Richardson , Peter G. Neumann , Simon W. Moore , John Baldwin , David Chisnall , James Clarke , Nathaniel Wesley Filardo , Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala , Robert M. Norton , Michael Roe , Peter Sewell, Stacey Son, and Jonathan Woodruff. 2019 . CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-Time Environment. In ASPLOS. 379\u2013393. Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, and Jonathan Woodruff. 2019. CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-Time Environment. In ASPLOS. 379\u2013393."},{"key":"e_1_3_2_1_3_1","unstructured":"Jason Evans. 2006. A scalable concurrent malloc(3) implementation for FreeBSD. In BSDCan. \t\t\t\t Jason Evans. 2006. A scalable concurrent malloc(3) implementation for FreeBSD. In BSDCan."},{"key":"e_1_3_2_1_4_1","unstructured":"Wolfram Gloger. 2006. ptmalloc. http:\/\/www.malloc.de\/en\/index.html \t\t\t\t Wolfram Gloger. 2006. ptmalloc. http:\/\/www.malloc.de\/en\/index.html"},{"key":"e_1_3_2_1_5_1","unstructured":"Doug Lea. 2000. A memory allocator. \t\t\t\t Doug Lea. 2000. A memory allocator."},{"key":"e_1_3_2_1_6_1","volume-title":"Mimalloc: Free List Sharding in Action. In APLAS. 244\u2013265.","author":"Leijen Daan","year":"2019","unstructured":"Daan Leijen , Benjamin Zorn , and Leonardo de Moura . 2019 . Mimalloc: Free List Sharding in Action. In APLAS. 244\u2013265. Daan Leijen, Benjamin Zorn, and Leonardo de Moura. 2019. Mimalloc: Free List Sharding in Action. In APLAS. 244\u2013265."},{"volume-title":"Capability-based computer systems","author":"Levy Henry M","key":"e_1_3_2_1_7_1","unstructured":"Henry M Levy . 1984. Capability-based computer systems . Digital Press . Henry M Levy. 1984. Capability-based computer systems. Digital Press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Paul Li\u00e9tar Theodore Butler Sylvan Clebsch Sophia Drossopoulou Juliana Franco Matthew J. Parkinson Alex Shamis Christoph M. Wintersteiger and David Chisnall. 2019. snmalloc: A Message Passing Allocator. In ISMM. 122\u2013135. \t\t\t\t Paul Li\u00e9tar Theodore Butler Sylvan Clebsch Sophia Drossopoulou Juliana Franco Matthew J. Parkinson Alex Shamis Christoph M. Wintersteiger and David Chisnall. 2019. snmalloc: A Message Passing Allocator. In ISMM. 122\u2013135.","DOI":"10.1145\/3315573.3329980"},{"key":"e_1_3_2_1_9_1","unstructured":"Arm Limited. 2021. Morello Platform Model Reference Guide. https:\/\/developer.arm.com\/documentation\/102225\/0200 \t\t\t\t Arm Limited. 2021. Morello Platform Model Reference Guide. https:\/\/developer.arm.com\/documentation\/102225\/0200"},{"key":"e_1_3_2_1_10_1","unstructured":"Arm Limited. 2022. Fast Models Reference Guide. https:\/\/developer.arm.com\/documentation\/100964\/1120 \t\t\t\t Arm Limited. 2022. Fast Models Reference Guide. https:\/\/developer.arm.com\/documentation\/100964\/1120"},{"key":"e_1_3_2_1_11_1","volume-title":"Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. Ph. D. Dissertation","author":"Miller Mark Samuel","year":"2006","unstructured":"Mark Samuel Miller . 2006 . Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. Ph. D. Dissertation . Johns Hopkins University . Mark Samuel Miller. 2006. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. Ph. D. Dissertation. Johns Hopkins University."},{"key":"e_1_3_2_1_12_1","unstructured":"Martin Richards. 1999. Bench. https:\/\/www.cl.cam.ac.uk\/ mr10\/Bench.html \t\t\t\t Martin Richards. 1999. Bench. https:\/\/www.cl.cam.ac.uk\/ mr10\/Bench.html"},{"key":"e_1_3_2_1_13_1","unstructured":"Robert N. M. Watson Ben Laurie and Alex Richardson. 2021. Assessing the Viability of an Open-Source CHERI Desktop Software. \t\t\t\t Robert N. M. Watson Ben Laurie and Alex Richardson. 2021. Assessing the Viability of an Open-Source CHERI Desktop Software."},{"key":"e_1_3_2_1_14_1","volume-title":"Neumann","author":"Watson Robert N. M.","year":"2019","unstructured":"Robert N. M. Watson , Simon W. Moore , Peter Sewell , and Peter G . Neumann . 2019 . An Introduction to CHERI. University of Cambridge . Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. Neumann. 2019. An Introduction to CHERI. University of Cambridge."},{"key":"e_1_3_2_1_15_1","volume-title":"Neumann","author":"Watson Robert N. M.","year":"2020","unstructured":"Robert N. M. Watson , Alexander Richardson , Brooks Davis , John Baldwin , David Chisnall , Jessica Clarke , Nathaniel Filardo , Simon W. Moore , Edward Napierala , Peter Sewell , and Peter G . Neumann . 2020 . CHERI C\/C++ Programming Guide. University of Cambridge . Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. Moore, Edward Napierala, Peter Sewell, and Peter G. Neumann. 2020. CHERI C\/C++ Programming Guide. University of Cambridge."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2914037"},{"key":"e_1_3_2_1_17_1","volume-title":"Jones","author":"Xia Hongyan","year":"2019","unstructured":"Hongyan Xia , Jonathan Woodruff , Sam Ainsworth , Nathaniel W. Filardo , Michael Roe , Alexander Richardson , Peter Rugg , Peter G. Neumann , Simon W. Moore , Robert N. M. Watson , and Timothy M . Jones . 2019 . CHERIvoke: Characterising Pointer Revocation Using CHERI Capabilities for Temporal Memory Safety. In MICRO. 545\u2013557. Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson, and Timothy M. Jones. 2019. CHERIvoke: Characterising Pointer Revocation Using CHERI Capabilities for Temporal Memory Safety. In MICRO. 545\u2013557."}],"event":{"name":"ISMM '23: 2023 ACM SIGPLAN International Symposium on Memory Management","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Orlando FL USA","acronym":"ISMM '23"},"container-title":["Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3591195.3595278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T20:34:07Z","timestamp":1686083647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591195.3595278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,6]]},"references-count":17,"alternative-id":["10.1145\/3591195.3595278","10.1145\/3591195"],"URL":"https:\/\/doi.org\/10.1145\/3591195.3595278","relation":{},"subject":[],"published":{"date-parts":[[2023,6,6]]},"assertion":[{"value":"2023-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}