Mateusz
Mateusz
I confirm the issue, same holds with `riscv_u_mode_rand_test`. In Spike, the check is performed in `riscv/mmu.cc`: ```c } else if (PTE_TABLE(pte)) { // is not leaf if (pte & (PTE_D...
oh, good to know, thank you! for sure will check it out.
cc @baiobelfer
i think that the i found the behavior difference varying on `direct_io` switch state. with `direct_io = False`, even if user-defined `read()` returns `N` bytes always, the framework traces number...
Speaking about documentation: it is mentioned in `direct_io` section: ``` This option disables the use of page cache (file content cache) in the kernel for this filesystem. This has several...
let me elaborate on my proposal, as it seems that there is a misunderstanding here: i propose changes in libbpf's loader, not in the user library. user can use whatever...
thank you for clear respone, appreciate :+1:
i'm working on a proprietary library that i cannot share unfortunately, but i can tell that we compile it using GCC14. the code that i execute looks as follows: ```py...
for completeness i slightly modified the code above to show total bytes allocated, not number of objects (again, grouped by object type): ```py a = defaultdict(lambda: 0) for x in...
nope, since i upgraded my PC with more RAM and i no longer have OOM, i stopped investigating the issue (only spent some time to provide you more data)