Filters








342 Hits in 7.9 sec

KV-Cache: A Scalable High-Performance Web-Object Cache for Manycore

Daniel Waddington, Juan Colmenares, Jilong Kuang, Fengguang Song
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a3nli3qstregrmoic2abmnu3ea" style="color: black;">2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing</a> </i> &nbsp;
Latency and costs of Internet-based services are driving the proliferation of web-object caching.  ...  Our solution, based on TU Dresden's Fiasco.OC microkernel operating system, offers scalability and performance that significantly exceeds that of its Linuxbased counterpart.  ...  Out-of-the box Fiasco.OC supports both x86 (32 and 64 bit) as well as ARM platforms. For this work we have kept the kernel largely as-is.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ucc.2013.34">doi:10.1109/ucc.2013.34</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ucc/WaddingtonCKS13.html">dblp:conf/ucc/WaddingtonCKS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/inpww6lr4nhkbcgzrwmvmmospm">fatcat:inpww6lr4nhkbcgzrwmvmmospm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140104120753/http://cs.iupui.edu:80/~fgsong/publication/ucc13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/8c/8c8cbfef52ccfb306d5d0ad04d24d44c360c6535.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ucc.2013.34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

μRTZVisor: A Secure and Safe Real-Time Hypervisor

José Martins, João Alves, Jorge Cabral, Adriano Tavares, Sandro Pinto
<span title="2017-10-30">2017</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikdpfme5h5egvnwtvvtjrnntyy" style="color: black;">Electronics</a> </i> &nbsp;
an object-oriented approach.  ...  In this paper, we present µRTZVisor as a new TrustZone-assisted hypervisor that distinguishes itself from state-of-the-art TrustZone solutions by implementing a microkernel-like architecture while following  ...  The founding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics6040093">doi:10.3390/electronics6040093</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6h52bryx35chtdtajminydgoky">fatcat:6h52bryx35chtdtajminydgoky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725114230/https://res.mdpi.com/def5020025d192d6b85a57ecbcee0d1750e954b03bfb2b349257ec0c22cab33f61676a9dc41936dfbc87327e4615cc0bd7191c874db4482be465c2357a5ad083bef4b7e5d0cf6851e522d0cf000753e7b1c22ceb90932edac5ff15a09ec81bad44f602e793452b80f17c57d9b76bcf0643c789253a18ddda23ebed568e0718630addfe544856f67361dc36f6d228e1db0e14fa31b657484e7f4b25e1f4b7d0?filename=&amp;attachment=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/15/7b/157bd4346f0afc1704a31af7757b31487f94675c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics6040093"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Sharing and protection in a single-address-space operating system

Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska
<span title="1994-11-01">1994</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/th23p5ixr5d5joiuac47oiqstq" style="color: black;">ACM Transactions on Computer Systems</a> </i> &nbsp;
The prototype was initially implemented on a 32-bit system, the DECstation 5000 (MIPS R3000), and has now been ported to a 64-bit DEC Alpha-based system. 4.1 Use of the Mach Microkernel Building  ...  CONCLUSIONS We have described the Opal system, a single-address-space operating system targeted for 64-bit address space architectures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/195792.195795">doi:10.1145/195792.195795</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhjn7pyovzdzriqetsgqhagpzi">fatcat:hhjn7pyovzdzriqetsgqhagpzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810163143/http://zoo.cs.yale.edu/classes/cs422/2010/bib/chase94sharing.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/04/ae041f8e6228f0ccd8b01ffdeba150e63635c2c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/195792.195795"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A message-driven programming system for fine-grain multicomputers

Daniel Maskit, Stephen Taylor
<span title="">1994</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afve5b3tavbfzch46mdtazbqla" style="color: black;">Software, Practice &amp; Experience</a> </i> &nbsp;
IMPLEMENTATION TECHNIQUES This section describes the design and implementation of the programming system.  ...  The microkernel uses the hardware associative cache to keep track of what code is present at a single computer.  ...  function under an object-oriented paradigm, the address data type contains both a beginning absolute address of the data item, and a length of that item.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/spe.4380241005">doi:10.1002/spe.4380241005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ry3giwsbl5aprim4ft6lkywdve">fatcat:ry3giwsbl5aprim4ft6lkywdve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050125124106/http://www.cs.ubc.ca:80/local/reading/proceedings/spe91-95/spe/vol24/issue10/spe917.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/d6/5cd6bc638fa65c762c695133269bf0af54188fce.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/spe.4380241005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Lightweight shared objects in a 64-bit operating system

Jeffrey S. Chase, Henry M. Levy, Edward D. Lazowska, Miche Baker-Harvey
<span title="1992-10-31">1992</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We describe facilities for object-based sharing of persistent data and services in Opal, an operating system we are developing for paged 64-bit architectures.  ...  The distinctive feature of Opal is that object sharing is supported in a runtime library, a,bove a single virtual address space that maps all primary and secondary storage in a local area network.  ...  Acknowledgements Ashutosh Tiwary reviewed early drafts and contributed greatly to the organization of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/141937.141969">doi:10.1145/141937.141969</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpd47q4sezhpvdbpr3pkjaq4ki">fatcat:jpd47q4sezhpvdbpr3pkjaq4ki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070114093502/http://www.cs.oberlin.edu:80/%7Ejdonalds/341/p397-chase.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/73/3c73ef5c1808c409cdee6635fe3f73877060c0b5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/141937.141969"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

LibrettOS

Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran
<span title="2020-03-17">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2mcxkgqmsbdxzowhpqmstti7ne" style="color: black;">Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments</a> </i> &nbsp;
We present LibrettOS, an OS design that fuses two paradigms to simultaneously address issues of isolation, performance, compatibility, failure recoverability, and run-time upgrades.  ...  To illustrate these design principles, we implemented a prototype of LibrettOS using rump kernels, allowing us to reuse existent, hardened NetBSD device drivers and a large ecosystem of POSIX/BSD-compatible  ...  The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the o cial policies or endorsements, either expressed or implied, of the ODNI  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3381052.3381316">doi:10.1145/3381052.3381316</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/vee/0001SR20.html">dblp:conf/vee/0001SR20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5wmkfqjnrbdmrdu4uxse4fjt74">fatcat:5wmkfqjnrbdmrdu4uxse4fjt74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321142106/https://arxiv.org/pdf/2002.08928v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3381052.3381316"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lightweight shared objects in a 64-bit operating system

Jeffrey S. Chase, Henry M. Levy, Edward D. Lazowska, Miche Baker-Harvey
<span title="">1992</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA &#39;92</a> </i> &nbsp;
We describe facilities for object-based sharing of persistent data and services in Opal, an operating system we are developing for paged 64-bit architectures.  ...  The distinctive feature of Opal is that object sharing is supported in a runtime library, a,bove a single virtual address space that maps all primary and secondary storage in a local area network.  ...  Acknowledgements Ashutosh Tiwary reviewed early drafts and contributed greatly to the organization of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/141936.141969">doi:10.1145/141936.141969</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/ChaseLLB92.html">dblp:conf/oopsla/ChaseLLB92</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/twpmgzvtbbcrxp7x7j5gahnypq">fatcat:twpmgzvtbbcrxp7x7j5gahnypq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070114093502/http://www.cs.oberlin.edu:80/%7Ejdonalds/341/p397-chase.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/73/3c73ef5c1808c409cdee6635fe3f73877060c0b5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/141936.141969"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Persistent shared object support in the Guide system

Daniel Hagimont, P.-Y. Chevalier, A. Freyssinet, S. Krakowiak, S. Lacourte, J. Mossière, X. Rousset de Pina
<span title="">1994</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA &#39;94</a> </i> &nbsp;
This paper gathers the lessons learned from our experience and compares the basic design choices with those in other distributed object-oriented systems.  ...  Since 1986, two prototypes have been implemented respectively on top of Unix (Guide-l) and Mach 3.0 (Guide-2).  ...  Riveill, and M. Santana contributed to the design and implement ation of the Guide environment, including the work described in this paper. We also would Iike to thank S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/191080.191106">doi:10.1145/191080.191106</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/HagimontCFKLMP94.html">dblp:conf/oopsla/HagimontCFKLMP94</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l5unnxdw5raj5j2emwpi5qc7ey">fatcat:l5unnxdw5raj5j2emwpi5qc7ey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809100906/http://sardes.inrialpes.fr/papers/files/94-Hagimont-OOPSLA.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/43/6e/436eeca2a4912839caf9c24ef50c5d150c78cdce.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/191080.191106"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Persistent shared object support in the Guide system

Daniel Hagimont, P.-Y. Chevalier, A. Freyssinet, S. Krakowiak, S. Lacourte, J. Mossière, X. Rousset de Pina
<span title="1994-10-01">1994</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
This paper gathers the lessons learned from our experience and compares the basic design choices with those in other distributed object-oriented systems.  ...  Since 1986, two prototypes have been implemented respectively on top of Unix (Guide-l) and Mach 3.0 (Guide-2).  ...  Riveill, and M. Santana contributed to the design and implement ation of the Guide environment, including the work described in this paper. We also would Iike to thank S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/191081.191106">doi:10.1145/191081.191106</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vdsm7kv2o5fvzodptj6cw6vy4m">fatcat:vdsm7kv2o5fvzodptj6cw6vy4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809100906/http://sardes.inrialpes.fr/papers/files/94-Hagimont-OOPSLA.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/43/6e/436eeca2a4912839caf9c24ef50c5d150c78cdce.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/191081.191106"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Factored operating systems (fos)

David Wentzlaff, Anant Agarwal
<span title="2009-04-21">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i24hgue5erh4haqtfyyjvfijdu" style="color: black;">ACM SIGOPS Operating Systems Review</a> </i> &nbsp;
Contemporary operating systems have been designed to operate on a single core or small number of cores and hence are not well suited to manage and provide operating system services at such large scale.  ...  The next decade will afford us computer chips with 100's to 1,000's of cores on a single piece of silicon.  ...  Acknowledgments This work is funded by DARPA, Quanta Computing, Google, and the NSF. We thank Robert Morris and Frans Kaashoek for feedback on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1531793.1531805">doi:10.1145/1531793.1531805</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vdak4y4dt5cavlcqj7s7q4p3bu">fatcat:vdak4y4dt5cavlcqj7s7q4p3bu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151024195454/http://www.princeton.edu/~wentzlaf/documents/Wentzlaff.2009.OSR.fos.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/f3/7ff303e7c450aee82b6fff5cc64be54e5604da01.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1531793.1531805"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Boosting Inter-Process Communication with Architectural Support

Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan
<span title="2022-05-09">2022</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/th23p5ixr5d5joiuac47oiqstq" style="color: black;">ACM Transactions on Computer Systems</a> </i> &nbsp;
Previous software optimizations of IPC usually cannot bypass the kernel which is responsible for domain switching and message copying/remapping across different address spaces; hardware solutions like  ...  We have implemented a prototype of XPC based on the ARM AArch64 with Gem5 simulator and RISC-V architecture with FPGA boards.  ...  This work is supported by the National Natural Science Foundation of China (No. 62132014, 61925206, U19A2060), and the Program of Shanghai Academic/Technology Research Leader (No.19XD1401700).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3532861">doi:10.1145/3532861</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nuxfib6szrdixhlgyysbgt2xai">fatcat:nuxfib6szrdixhlgyysbgt2xai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220511071518/https://dl.acm.org/doi/pdf/10.1145/3532861" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/0a/850a978d41c4085d62cd2bc162ac969d31882c3e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3532861"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Linkage in the Nemesis single address space operating system

Timothy Roscoe
<span title="1994-10-01">1994</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i24hgue5erh4haqtfyyjvfijdu" style="color: black;">ACM SIGOPS Operating Systems Review</a> </i> &nbsp;
Some of the confusion about 64-bit address spaces is due to the almost pervasive use of UNIX and UNIXlike operating systems (such as Mach, Chorus and Amoeba) and languages with poor enforcement of abstraction  ...  T i m o t h y R o s c o e C o m p u t e r L a b o r a t o r y , U n i v e r s i t y of C a m b r i d g e M a y 9, 1994 Abstract The recent interest in single address space operating systems has resulted  ...  We have presented a system which provides efficient, rich sharing of text and data within a machine and provides a nice computational model which is quite natural to programmers used to an object based  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/191525.191537">doi:10.1145/191525.191537</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/624bootrl5fuvncsd57b73qo2u">fatcat:624bootrl5fuvncsd57b73qo2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921235936/http://people.inf.ethz.ch/troscoe/pubs/p48-roscoe.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6b/69/6b6947bf60a1fd6c25fafd8d53aa6e0dcf11f8fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/191525.191537"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

Robert N.M. Watson, Jonathan Woodruff, Peter G. Neumann, Simon W. Moore, Jonathan Anderson, David Chisnall, Nirav Dave, Brooks Davis, Khilan Gudka, Ben Laurie, Steven J. Murdoch, Robert Norton (+3 others)
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/inod5dqjxfdj3bnjykkklcg7d4" style="color: black;">2015 IEEE Symposium on Security and Privacy</a> </i> &nbsp;
Prototyped as an extension to the open-source 64-bit BERI RISC FPGA softcore processor, FreeBSD operating system, and LLVM compiler, we demonstrate multiple orders-of-magnitude improvement in scalability  ...  We describe how CHERI capabilities can also underpin a hardware-software object-capability model for application compartmentalization that can mitigate broader classes of attack.  ...  ., deemphasizing the MMU to implement a single-address-space capability model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sp.2015.9">doi:10.1109/sp.2015.9</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sp/WatsonWNMACDDGL15.html">dblp:conf/sp/WatsonWNMACDDGL15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gd6ypvyzlzhwzp4a6xfwb537zi">fatcat:gd6ypvyzlzhwzp4a6xfwb537zi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150520035930/http://www.ieee-security.org/TC/SP2015/papers/6949a020.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/3b/ea3bad08b37e5275cd16d220a2f4497871795df4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sp.2015.9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Supporting mixed-datatype matrix multiplication within the BLIS framework [article]

Field G. Van Zee, Devangi N. Parikh, Robert A. van de Geijn
<span title="2019-05-02">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Support for all combinations of matrix operands stored in either the real or complex domain is mapped out by enumerating the cases and describing an implementation approach for each.  ...  The mixed-datatype implementation confirms that combinatoric intractability is avoided, with the framework relying on only two assembly microkernels to implement 128 datatype combinations.  ...  We only need to add an additional parameter, or designate additional bits within the info property, to support the computation precision (labeled in Figure 2 as precAB).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1901.06015v2">arXiv:1901.06015v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vnvwpiy7avah7acpjkv4pcebci">fatcat:vnvwpiy7avah7acpjkv4pcebci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930024039/https://arxiv.org/pdf/1901.06015v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d7/1a/d71af0a039eab169b84832e3d1c9595d926d0a70.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1901.06015v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

OS Verification- A Survey as a Source of Future Challenges

Kushal Anjaria, Arun Mishra
<span title="2015-08-31">2015</span> <i title="Academy and Industry Research Collaboration Center (AIRCC)"> International Journal of Computer Science &amp; Engineering Survey </i> &nbsp;
Formal verification of an operating system kernel manifests absence of errors in the kernel and establishes trust in it.  ...  This paper evaluates various projects on operating system kernel verification and presents indepth survey of them.  ...  The design allowed application layers to efficiently execute instructions, with object-oriented capabilitybased addressing directly to the hardware, although it appeared at a much higher level of abstraction  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5121/ijcses.2015.6401">doi:10.5121/ijcses.2015.6401</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kmf3kdtarja7fduluaq5qxx4we">fatcat:kmf3kdtarja7fduluaq5qxx4we</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180604141031/http://www.airccse.org/journal/ijcses/papers/6415ijcses01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/0b/580b09516c6af38a40513b2db43e36835793dda0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5121/ijcses.2015.6401"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 342 results