4 citations · 14 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DC2021
Efficient Linearizability Checking for Actor-based Systems
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Recent demand for distributed software had led to a surge in popularity in actor-based frameworks. However, even with the stylized message passing model of actors, writing correct…
cs.OS2021★ 4 cited
BPF for storage: an exokernel-inspired approach
Yu Jian Wu, Hongyi Wang, Yuhong Zhong +4
The overhead of the kernel storage path accounts for half of the access latency for new NVMe storage devices. We explore using BPF to reduce this overhead, by injecting user-define…