Kurt Wu
Kurt Wu
When reading from Armv8 system registers, like the physical counter of the Arm Generic Timer, the access sometimes need to be synchronised. The current implementation does not include the necessary...
It is desired that [RX UDP/TCP checksum checking is performed in hardware](https://github.com/au-ts/sddf/blob/0.6.0/examples/echo_server/include/lwip/lwipopts.h#L73-L81) and therefore software checking in lwip is disabled. However, this is not true for the current `meson` driver...
Under the SMP configuration, the reported kernel utilisation metric in the networking benchmark can be wrong, resulting in unsigned integer underflows (please check the SMP 4-core udp benchmark under the...
There seems to be a performance issue with clang 19.1.7 (or clang 18) compared with the newer clang 20.1.8 (or clang 21): with the following preliminary patch on top of...
This PR introduces concurrency testing of the single-producer single-consumer queue in the network subsystem using the [GenMC](https://github.com/MPI-SWS/genmc/tree/v0.13.0) model checker. This enables lightweight and reliable CI testing of the queue's concurrency....
## issue Arm CPUs before Cortex-A510 (or Armv9 in general) only have 32-bit counters for the PMU. Some events like [the number executed instructions](https://github.com/au-ts/sddf/blob/7bce94d833e588f5717000eedd3d407d400610ac/benchmark/benchmark.c#L43) can easily overflow the counter. However,...