REVIEW 4 major objections 6 minor 27 references
Dryas: A Reprogrammable Engine for High-Speed Interconnect Tracing and Analysis
T0 review · 4 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Dryas claims that a small, runtime-reprogrammable NFA overlay can trace and filter a 30 GiB/s cache-coherent interconnect at line rate using only a few percent of the FPGA's logic, and can swap filters in under a second without stopping…
desk verdict Dryas is a credible, genuinely useful FPGA tracing engine with a new overlay-NFA design, but its headline claims about line rate and sub-second reconfiguration are supported only by synthesis numbers and untimed assumptions, so the paper should be accepted conditionally after the authors measure what they assert. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the rings-of-cliques (RoC) overlay graph: a static, parameterized network of state transition elements (STEs) defined by clique size, ring length, ring count, and neighbor-ring count, which at synthesis time trades off the number of NFA states against the connectivity available for transitions. Each STE implements one state of a homogeneous NFA and is runtime-configurable through its input-decoding lookup tables, its start/accept registers, and the enabled links to neighboring STEs, so a new filter is loaded by shifting a configuration bitstream through the overlay rather than by rebuilding the FPGA design. The input decoding computes arbitrary logic functions on the small set of predicates extracted from message headers, and a separate integer-program formulation maps NFA states to STEs, with the mapping solved by a standard IP solver.
What would settle it
Measure the end-to-end reconfiguration time on the test platform — from issuing a new filter over PCIe to the moment the new NFA is active — including the integer-program mapping time, for the largest filter described (the 7-state, fan-in-6 cache-miss classifier with 24 or 32 substreams); if that time reaches one second or more, the sub-second reconfiguration claim fails. A complementary test is to toggle filters repeatedly while the interconnect is running at full rate and check that no message is dropped or stalled during the switch.
Extended reading notes
Core claim
Dryas claims that a non-deterministic finite automaton (NFA) built from runtime-configurable state transition elements (STEs), wired in a static rings-of-cliques overlay graph on an FPGA, can filter a 30 GiB/s cache-coherent interconnect at full line rate while consuming only a few percent of the device's logic. The engine works by reducing each incoming or outgoing message to a small set of predicates over its header (type, virtual channel, opcode, address, direction), feeding those predicates to the NFA, and emitting only messages that trigger an accepting state. Because the STEs' lookup tables, start/accept registers, and inter-STE routing are all runtime-configurable, a new filter can be loaded in under a second by shifting a configuration bitstream through the overlay, with no FPGA re-synthesis and no interruption to the running application. The paper demonstrates this on a real coherent CPU-FPGA system with two uses: measuring cross-socket memory latency at the protocol layer, and classifying cache misses into compulsory, capacity/conflict, and coherence misses per cache line.
Load-bearing premise
The claim that filters can be swapped in under a second rests on the unmeasured assumption that the integer-program mapping from a filter's NFA to the rings-of-cliques overlay completes in well under a second for every practical filter size and connectivity.
Editorial extensions
If this is right
- Dryas can be deployed alongside a large FPGA application and still trace the interconnect at full rate, since a 600-state configuration uses under 2.2% of the LUTs and 3.7% of the flip-flops of the target device.
- Filters can be changed in under a second at runtime, without reprogramming the FPGA or stopping the running application, enabling interactive debugging of a live system.
- The same overlay engine can be specialized to different protocol layers or different interconnects by changing only the synthesis-time predicate extraction, leaving the NFA engine itself protocol-agnostic.
- In the evaluated scenarios Dryas reduces trace volume by a factor of over 10^5 (1.2 TiB of raw blocks down to a manageable filtered trace), cutting post-processing time correspondingly.
- Because the overlay can be replicated or de-multiplexed onto substreams, Dryas can track per-cache-line state independently, as used to classify compulsory, capacity/conflict, and coherence misses.
Reading between the lines
- The 'under a second' reconfiguration claim is only as strong as the integer-program solver that maps an NFA onto the overlay; the paper does not report this mapping time, so a full filter-swap time budget for larger filters remains an open measurement (the weakest point of the paper).
- The predicate-extraction front end is the only protocol-specific part, so the same overlay engine could plausibly filter other high-speed serial links (PCIe, CXL, Ethernet) by changing the header-reduction logic; this is an extension the paper does not itself demonstrate.
- The engine's ability to observe interleaved substreams suggests a natural next use as a live coherence-protocol verifier, flagging protocol violations or deadlock conditions the moment they occur, rather than only filtering known patterns offline.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents Dryas, an FPGA overlay-based engine for tracing and filtering messages on Enzian's 30 GiB/s cache-coherent ECI interconnect. The engine extracts protocol-specific predicates from message headers, feeds them into a runtime-reconfigurable NFA built from state transition elements (STEs) arranged in a rings-of-cliques overlay graph, and emits only messages that lead to accepting states. The authors claim line-rate filtering on their test system, sub-second filter reconfiguration without stopping the application, and low resource usage. The evaluation reports synthesis-based resource scaling for various overlay sizes, then demonstrates two use cases: cross-socket memory latency analysis at block and VC layers, and cache-miss classification of a binary-tree workload using multiple CL-partitioned substreams.
Significance. If the headline claims hold, Dryas would be a genuinely useful open-source tool for live debugging and analysis of high-speed cache-coherent interconnects, with a rare combination of low hardware overhead, complex pattern matching, and runtime reconfigurability. The paper has several strengths: the rings-of-cliques overlay is a clear and parametrizable design; the mapping problem is honestly formulated as an NP-complete subgraph isomorphism and solved via standard IP solvers without fitted parameters; the two use cases are nontrivial and produce plausible traces; and the claimed resource usage is small enough to coexist with real applications. However, the two most important claims—sustained 30 GiB/s line rate and sub-second end-to-end reconfiguration—are never directly measured. The paper therefore, as written, provides a convincing architecture description but not a convincing experimental validation of its central performance promises.
major comments (4)
- [§5.1, Abstract, §1] The claim that Dryas filters data at 30 GiB/s line rate is not supported by direct measurement. Section 5.1 reports only synthesis resource usage (LUTs and FFs) and timing-closure of maximal configurations; Sections 5.2 and 5.3 show traces but report no achieved throughput, no input-versus-output message counts, no dropped-message counters, and no comparison showing that filtering preserves all messages that should be preserved. Please add an explicit line-rate experiment (for example, count blocks/messages at the input and at the filter output over a sustained run, and report equality or loss rates) or weaken the abstract and introduction to claim only that the design is intended for line rate.
- [§3.1, Abstract, §1] The sub-second reconfiguration claim rests on the IP-based subgraph mapping completing quickly, but no mapping time is ever reported. Section 3.1 states that 'mapping can easily be performed as a standard IP formulation,' but Section 5 never times the IP solve, the CFGLUT5 configuration shifting, or the register updates for any of the filters used in the evaluation. Since the abstract and introduction promise filter changes 'in less than a second,' please provide end-to-end reconfiguration measurements for realistic filters and overlay sizes, and report the solver used and the observed solve times.
- [§5.2] The latency analysis reports averages of 0.135 μs at the VC layer and 5.2 μs at the block layer, and infers a '40x difference' and congestion effects, but no variance, distribution, sample count, or measurement method is given. Averages without spread are insufficient to support the conclusion that most of the latency is due to FPGA VC-layer serialization. Please report the latency distributions (e.g., percentiles or histograms) and the number of request-response pairs used.
- [§5.2, §5.3] No false-negative or false-positive rate is reported for the filter engine. For a tool whose purpose is to find rare and transient events, silent message loss would invalidate both use cases. The paper shows that the filter reduces trace volume by over 10^5 in Section 5.2, but that reduction is not evidence that no interesting messages were dropped. Please quantify filter accuracy—for example, by comparing filtered output against a full trace in a short experiment, or by injecting known marker messages and confirming they are always emitted.
minor comments (6)
- [§5.1] The sentence 'Dryas has a fixed base cost of Dryas accounts for about 20k LUTs and 29k FFs' is grammatically broken and should be rewritten.
- [§5.1, Figure 8] In the text describing Figure 8, the phrases 'increasing' and 'increasing' are missing the RoC parameter symbols (C, L, R, or N) that are being varied; please insert the actual parameter names.
- [§3.2] In the final paragraph of Section 3.2, the substream count appears as an empty symbol in phrases like 'activations are received' and 'some of the signals are now -bit buses'; the symbol (likely K) is missing.
- [§2.1] There are typos in Section 2.1: 'indentified' should be 'identified', and in Section 1 'gigabyes' should be 'gigabytes'.
- [§5.3] The overlay is synthesized to trace 32 substreams, while the stated requirement is 24 substreams for the 24 CLs of the binary search tree; please explain the choice of 32 (e.g., power-of-two alignment) and confirm that the 8 unused substreams are disabled.
- [Abstract and §5.2] The paper says Dryas is open source, but no repository URL or artifact availability statement is provided; please add one.
Circularity Check
No circularity found: Dryas reports measured synthesis resource usage and protocol trace examples, with self-citations only as domain grounding.
full rationale
The paper makes no derived numerical predictions or fitted parameters that could be circular. Its central claims are (a) an STE-overlay NFA filter can be mapped and reconfigured at runtime, (b) resource usage scales linearly with overlay parameters, and (c) two example filters extract protocol-level traces. Each claim is supported by either synthesis resource counts (Section 5.1), FPGA trace examples (Sections 5.2 and 5.3), or a standard NFA/hNFA construction (Sections 2.2 and 3.2). The hNFA-to-STE mapping uses the well-known NP-complete subgraph mapping problem; invoking standard IP solvers is an implementation choice, not a prediction derived from its own outputs. The self-citations to prior Enzian/ECI work ([6], [17], [21]) supply the protocol headers and semantics being traced; they are domain grounding rather than load-bearing circular justification, and no uniqueness theorem or ansatz is smuggled in through those citations. The unmeasured end-to-end reconfiguration time and the absence of measured drop-free line-rate throughput are evidentiary gaps, not definitional circularity. Accordingly no circular step rises to the standard of Eq. X = Eq. Y by construction or a fitted parameter renamed as a prediction.
Assumptions & free parameters
assumptions (5)
- standard math Any NFA can be converted to a homogeneous NFA by duplicating states
- domain assumption The 'valid input' signal reliably indicates cycles that should affect state, so a state deactivates only when valid input arrives but no transition matches
- domain assumption The CFGLUT5 primitive implements an arbitrary 5-bit lookup and can be reconfigured at runtime as described
- domain assumption ECI block and VC header semantics are as defined in prior self-cited work
- domain assumption Subgraph mapping is solved correctly by an IP solver, and the rings-of-cliques graph can embed the required hNFAs
invented entities (1)
-
Rings-of-cliques (RoC) overlay graph
independent evidence
Cite this review
Pith. "Pith review of Dryas: A Reprogrammable Engine for High-Speed Interconnect Tracing and Analysis." pith.science (2026). https://pith.science/paper/I6EUXVBB
@misc{pith2026260812934,
author = {Pith},
title = {Pith review of: Dryas: A Reprogrammable Engine for High-Speed Interconnect Tracing and Analysis},
year = {2026},
howpublished = {\url{https://pith.science/paper/I6EUXVBB}},
note = {Machine review of arXiv:2608.12934}
}
read the original abstract
The proliferation of heterogeneous components in modern computing systems has been accompanied by new higher bandwidth and lower latency interconnects. These interfaces and protocols are enormously complex and the process of developing, debugging, and analyzing FPGA-based implementations requires significant engineering work. Moreover, once a functional implementation is completed, optimization of the controller and associated software requires processing potentially hundreds of gigabytes of trace data. In this paper, we present Dryas, an open source tool for analyzing such an interconnect. We developed our tool, using minimal hardware resources, alongside an FPGA implementation of a very high speed, low latency (30~GiB/s, 200~ns) interconnect. With our run-time reprogrammable overlay engine we can inspect this interconnect to find rare, complex, or transient events even at full operation. This filtering engine is based on non-deterministic finite automata (NFAs), efficiently implemented using state transition elements (STEs), allowing us to trace events at a cache-line granularity. Moreover we can change the filters in less than a second, without reprogramming the FPGA or interfering with the running application. This data enables not only debugging the implementation of the interconnect itself, but analyzing the behavior of accelerated applications. We examine the mathematical basis for using NFAs and describe their implementation on a real coherent CPU-FPGA research platform. We then evaluate the scalability of Dryas for various size NFAs, followed by two different use cases: debugging FPGA implementation of the interconnect and analyzing cache behavior.
Figures
Figures from the paper (6 more)
Reference graph
Works this paper leans on
-
[1]
Tackling Hardware /Software co-design from a database perspective
Gustavo Alonso, Timothy Roscoe, David Cock, Muh- sen Owaida, Kaan Kara, Dario Korolija, Zeke Wang, et al. “Tackling Hardware /Software co-design from a database perspective”. In: Proceedings of the 6th bien- nial Conference on Innovative Data Systems Research (CIDR), Amsterdam, Netherlands, January 2020.2020
arXiv 2020
-
[2]
Alveo U200 and U250 Data Center Accelerator Cards Data Sheet. v.1.3.1. https://www.xilinx.com/products/ boards - and - kits / alveo / u250 . html. Xilinx. May 2020
work page 2020
-
[3]
Alveo U280 Data Center Accelerator Card Data Sheet. v.1.3. https://www.xilinx.com/products/boards- and-kits/alveo/u280.html. Xilinx. May 2020
work page 2020
-
[4]
Cache Coherent Inter- connect for Accelerators (CCIX)
CCIX Consortium and others. Cache Coherent Inter- connect for Accelerators (CCIX). http://www.ccixconsortium. com. Jan. 2019
work page 2019
-
[5]
In-Depth Anal- ysis on Microarchitectures of Modern Heterogeneous CPU-FPGA Platforms
Y oung-Kyu Choi, Jason Cong, Zhenman Fang, Y uchen Hao, Glenn Reinman, and Peng Wei. “In-Depth Anal- ysis on Microarchitectures of Modern Heterogeneous CPU-FPGA Platforms”. In: ACM Trans. Reconfigurable Technol. Syst. 12.1 (Feb. 2019). issn: 1936-7406. doi: 10.1145/3294054 . url: https://doi.org/10.1145/ 3294054
-
[6]
Enzian: an open, general, CPU /FPGA platform for systems software research
David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Mart- senko, Reto Achermann, Gustavo Alonso, and Tim- othy Roscoe. “Enzian: an open, general, CPU /FPGA platform for systems software research”. In: Proceed- ings of the 27th ACM International Conference on Ar...
work page 2022
-
[7]
Louise Helen Crockett, Ross Elliot, Martin Enderwitz, and Robert Stewart. The Zynq Book: Embedded Pro- cessing with the Arm Cortex-A9 on the Xilinx Zynq- 7000 All Programmable SoC . Strathclyde Academic Media, 2014
work page 2014
-
[8]
CXL Consortium. Compute Express Link . https : / / www.computeexpresslink.org/. May 2020
work page 2020
Show all 27 references
-
[9]
An E fficient and Scalable Semi- conductor Architecture for Parallel Automata Process- ing
P . Dlugosch, D. Brown, P . Glendenning, M. Leven- thal, and H. Noyes. “An E fficient and Scalable Semi- conductor Architecture for Parallel Automata Process- ing”. In: IEEE Transactions on Parallel and Distributed Systems 25.12 (2014), pp. 3088–3098. doi: 10.1109/ TPDS.2014.8
2014
-
[10]
HARE: Hard- ware accelerator for regular expressions
V aibhav Gogte, Aasheesh Kolli, Michael J Cafarella, Loris D’Antoni, and Thomas F Wenisch. “HARE: Hard- ware accelerator for regular expressions”. In: 2016 49th Annual IEEE /ACM International Symposium on Mi- croarchitecture (MICRO). IEEE. 2016, pp. 1–12
2016
-
[11]
Gurobi Optimizer Refer- ence Manual
LLC Gurobi Optimization. Gurobi Optimizer Refer- ence Manual. 2021. url: http://www.gurobi.com
2021
-
[12]
Run- time parameterizable regular expression operators for databases
Zsolt István, David Sidler, and Gustavo Alonso. “Run- time parameterizable regular expression operators for databases”. In: 2016 IEEE 24th Annual International Symposium on Field-Programmable Custom Comput- ing Machines (FCCM). IEEE. 2016, pp. 204–211
2016
-
[13]
An Overlay Architecture for Pattern Matching
Rasha Karakchi, Charles Daniels, and Jason Bakos. “An Overlay Architecture for Pattern Matching”. In: 2019 IEEE 30th International Conference on Application- specific Systems, Architectures and Processors (ASAP). V ol. 2160. IEEE. 2019, pp. 165–172
2019
-
[14]
A dynamically reconfigurable automata pro- cessor overlay
Rasha Karakchi, Lothrop O Richards, and Jason D Bakos. “A dynamically reconfigurable automata pro- cessor overlay”. In: 2017 International Conference on Reconfigurable Computing and FPGAs (ReConFig) . IEEE. 2017, pp. 1–8
2017
-
[15]
A high throughput string matching architecture for intrusion detection and pre- vention
Lin Tan and T. Sherwood. “A high throughput string matching architecture for intrusion detection and pre- vention”. In: 32nd International Symposium on Com- puter Architecture (ISCA’05). 2005, pp. 112–122. doi: 10.1109/ISCA.2005.5
2005 doi
-
[16]
The Common Optimization In- terface for Operations Research: Promoting open-source software in the operations research community
R. Lougee-Heimer. “The Common Optimization In- terface for Operations Research: Promoting open-source software in the operations research community”. In: IBM Journal of Research and Development47.1 (2003), pp. 57–66. doi: 10.1147/rd.471.0057. Manuel Bröchin, Tom Kuchler, Micha...
2003 doi
-
[17]
Tools for Cache Coherence Protocol Inter- operability
J. Meier. “Tools for Cache Coherence Protocol Inter- operability”. Masters thesis, ETH Zürich. MA thesis. ETH Zürich, Mar. 2020
2020
-
[18]
Mellanox Innova™-2 FlexOpen Programmable SmartNIC
Mellanox. Mellanox Innova™-2 FlexOpen Programmable SmartNIC. https://www.mellanox.com/files/doc- 2020/pb-innova-2-flex.pdf . 2020
2020
-
[19]
Streams on wires: a query compiler for FPGAs
Rene Mueller, Jens Teubner, and Gustavo Alonso. “Streams on wires: a query compiler for FPGAs”. In: Proceed- ings of the VLDB Endowment 2.1 (2009), pp. 229– 240
2009
-
[20]
Flexible query processor on FPGAs
Mohammadreza Najafi, Mohammad Sadoghi, and Hans- Arno Jacobsen. “Flexible query processor on FPGAs”. In: Proceedings of the VLDB Endowment 6.12 (2013), pp. 1310–1313
2013
-
[21]
CCKit: An open-source toolkit for cache coherent accelera- tors
Abishek Ramdas, David Cock, Michael Giardino, Dario Korolija, Anastasiia Ruzhanskaia, Daniel Schwyn, Adam Turowski, Gustavo Alonso, and Timothy Roscoe. “CCKit: An open-source toolkit for cache coherent accelera- tors”. In: ACM Trans. Comput. Syst. 43.3 (Sept. 2025). issn: 0734...
2025 doi
-
[22]
Efficient event processing through reconfigurable hardware for algo- rithmic trading
Mohammad Sadoghi, Martin Labrecque, Harsh Singh, Warren Shum, and Hans-Arno Jacobsen. “Efficient event processing through reconfigurable hardware for algo- rithmic trading”. In: Proceedings of the VLDB Endow- ment 3.1-2 (2010), pp. 1525–1528
2010
-
[23]
Hawk: Hardware support for unstructured log processing
Prateek Tandon, Faissal M Sleiman, Michael J Cafarella, and Thomas F Wenisch. “Hawk: Hardware support for unstructured log processing”. In: 2016 IEEE 32nd In- ternational Conference on Data Engineering (ICDE) . IEEE. 2016, pp. 469–480
2016
-
[24]
Skele- ton automata for FPGAs: reconfiguring without recon- structing
Jens Teubner, Louis Woods, and Chongling Nie. “Skele- ton automata for FPGAs: reconfiguring without recon- structing”. In: Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data. 2012, pp. 229–240
2012
-
[25]
UltraScale Architecture Configurable Logic Block - UG574. v1.5. Xilinx. Xilinx, Feb. 2017
2017
-
[26]
1.2, 52 pp.(Oct
V arious.Interlaken Protocol Definition: A Joint Spec- ification of Cortina Systems and Cisco Systems, Rev. 1.2, 52 pp.(Oct. 7, 2008) . http://interlakenalliance. com/wp- content/uploads/2019/12/Interlaken_ Protocol_Definition_v1.2.pdf. Accessed: 2021-09-
2008
-
[27]
Com- plex event detection at wire speed with FPGAs
Louis Woods, Jens Teubner, and Gustavo Alonso. “Com- plex event detection at wire speed with FPGAs”. In: Proceedings of the VLDB Endowment 3.1-2 (2010), pp. 660–669
2010
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.