超级会员免费看
该论文提出了一种针对网络功能的新型NIC驱动模型，旨在实现性能和简洁性的共存。研究发现，通过让缓冲区遵循单一逻辑路径，驱动程序可以高效重用包缓冲区。在Intel 82599网络卡上实现了550行代码的驱动，形式验证时间减少7倍，验证功能的吞吐量提高160%。在实际工作负载中，该驱动的性能优于尚未能形式验证的驱动，具有低变异性及资源利用率。
Authors:
Solal Pirelli and George Candea, EPFL
Abstract:
The advent of software network functions calls for stronger correctness guarantees and higher performance at every level of the stack. Current network stacks trade simplicity for performance and flexibility, especially in their driver model. We show that performance and simplicity can co-exist, at the cost of some flexibility, with a new NIC driver model tailored to network functions. The key idea behind our model is that the driver can efficiently reuse packet buffers because buffers follow a single logical path. We implement a driver for the Intel 82599 network card in 550 lines of code. By merely replacing the state-of-the-art driver with our driver, formal ve
订阅专栏 解锁全文
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
