Török Edwin

Results 67 comments of Török Edwin

I found some eBPF userspace DWARF stacktrace code, they may not work out of the box, but might be possible to tweak them to work with OCaml 5 (gdb can...

> When `lbr` isn’t available, one can also set up an opam switch with frame pointer support and use `--call-graph fp`. I haven't actually realised that Fedora has already enabled...

It might be possible to recover one register by using the '%gs' register instead of r14 to store the domain pointer? https://www.kernel.org/doc/html/next/x86/x86_64/fsgs.html Although that is Linux specific (and CPU and...

Perhaps as a first step allow the `+fp` variant to install both with and without FP variants of the runtime, so the user can choose which applications to compile with...

Thanks those issues contain an extensive discussion of the topic, I'll try to suggest some documentation. Perhaps this should be something to solve at the domainslib level in the first...

I tried SPIN_WAIT in the caller, and didn't notice a significant improvement (btw if this really is a spin loop then another optimization might be to avoid the function call...

The raw doc in the mil looks like this: ``` (** [Random.int bound] returns a random integer between 0 (inclusive) and [bound] (exclusive). [bound] must be greater than 0 and...