English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present CleanQ, a high-performance operating-system interface fordescriptor-based data transfer with rigorous formal semantics, based on asimple, formally-verified notion of ownership transfer, with a fast referenceimplementation. CleanQ aims to replace the current proliferation of similar,but subtly diverse, and loosely specified, descriptor-based interfaces in OSkernels and device drivers. CleanQ has strict semantics that not only clarifyboth the implementation of the interface for different hardware devices andsoftware usecases, but also enable composition of modules as in moreheavyweight frameworks like Unix streams. We motivate CleanQ by showing thatloose specifications derived from implementation lead to security andcorrectness bugs in production systems that a clean, formal, andeasilyunderstandable abstraction helps eliminate. We further demonstrate byexperiment that there is negligible performance cost for a clean design: weshow overheads in the tens of cycles for operations, and comparable end-to-endperformance to the highly-tuned Virtio and DPDK implementations on Linux.

CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer