Zobrazeno 1 - 10
of 148
pro vyhledávání: '"ROSCOE, TIMOTHY"'
Conventional wisdom holds that an efficient interface between an OS running on a CPU and a high-bandwidth I/O device should be based on Direct Memory Access (DMA), descriptor rings, and interrupts: DMA offloads transfers from the CPU, descriptor ring
Externí odkaz:
http://arxiv.org/abs/2409.08141
Autor:
Ramdas, Abishek, Giardino, Michael, Shi, Runbin, Turowski, Adam, Cock, David, Alonso, Gustavo, Roscoe, Timothy
Unlike other accelerators, FPGAs are capable of supporting cache coherency, thereby turning them into a more powerful architectural option than just a peripheral accelerator. However, most existing deployments of FPGAs are either non-cache coherent o
Externí odkaz:
http://arxiv.org/abs/2208.07124
Almost all modern hardware, from phone SoCs to high-end servers with accelerators, contain memory translation and protection hardware like IOMMUs, firewalls, and lookup tables which make it impossible to reason about, and enforce protection and isola
Externí odkaz:
http://arxiv.org/abs/2009.02737
We present CleanQ, a high-performance operating-system interface for descriptor-based data transfer with rigorous formal semantics, based on a simple, formally-verified notion of ownership transfer, with a fast reference implementation. CleanQ aims t
Externí odkaz:
http://arxiv.org/abs/1911.08773
Autor:
Gerber, Simon, Zellweger, Gerd, Achermann, Reto, Hoffmann, Moritz, Kourtis, Kornilios, Roscoe, Timothy, Milojicic, Dejan
In this paper, we rethink how an OS supports virtual memory. Classical VM is an opaque abstraction of RAM, backed by demand paging. However, most systems today (from phones to data-centers) do not page, and indeed may require the performance benefits
Externí odkaz:
http://arxiv.org/abs/1911.08367
Multi-socket machines with 1-100 TBs of physical memory are becoming prevalent. Applications running on multi-socket machines suffer non-uniform bandwidth and latency when accessing physical memory. Decades of research have focused on data allocation
Externí odkaz:
http://arxiv.org/abs/1910.05398
We present a new least-privilege-based model of addressing on which to base memory management functionality in an OS for modern computers like phones or server-based accelerators. Existing software assumptions do not account for heterogeneous cores w
Externí odkaz:
http://arxiv.org/abs/1908.08707
Current systems for data-parallel, incremental processing and view maintenance over high-rate streams isolate the execution of independent queries. This creates unwanted redundancy and overhead in the presence of concurrent incrementally maintained q
Externí odkaz:
http://arxiv.org/abs/1812.02639
Autor:
Hoffmann, Moritz, Lattuada, Andrea, McSherry, Frank, Kalavri, Vasiliki, Liagouris, John, Roscoe, Timothy
We design and implement Megaphone, a data migration mechanism for stateful distributed dataflow engines with latency objectives. When compared to existing migration mechanisms, Megaphone has the following differentiating characteristics: (i) migratio
Externí odkaz:
http://arxiv.org/abs/1812.01371
Autor:
Dimitrova, Desislava, Liagouris, John, Wicki, Sebastian, Hoffmann, Moritz, Kalavri, Vasiliki, Roscoe, Timothy
Routing controllers must react quickly to failures, reconfigurations and workload or policy changes, to ensure service performance and cost-efficient network operation. We propose a general execution model which views routing as an incremental data-p
Externí odkaz:
http://arxiv.org/abs/1808.06893