au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

Add networking UIO driver #137

Open dreamliner787-9 opened 2 weeks ago

dreamliner787-9 commented 2 weeks ago

Supersedes #136.

This PR adds:

The basic idea is:

There are two issues to be aware of though:

TCP performance: Requested_Throughput,Receive_Throughput,Send_Throughput,Packet_Size,Minimum_RTT,Average_RTT,Maximum_RTT,Stdev_RTT,Median_RTT,Idle_Cycles,Total_Cycles 1000000000,145529249,145506692,1460,56336,63790,71432,1489.88,63770,0,0,0

UDP performance: Requested_Throughput,Receive_Throughput,Send_Throughput,Packet_Size,Minimum_RTT,Average_RTT,Maximum_RTT,Stdev_RTT,Median_RTT,Idle_Cycles,Total_Cycles 200000000,176977185,200000147,1472,6615,8719,10681,1077.98,9053,0,0,0

Note that this performance depends on an unmerged sDDF network queue library that has compiler barriers.