Hi Pirmin,

On Thu, Jan 16, 2025 at 10:34:40AM +0100, Pirmin Duss via users wrote:
> Hello Genodians
> 
> Since we rolled out the update to 24.11 we see the above message about once
> or twicw a day in the logs of our testing pipeline.
> 
> It happens on different hardware (Up-Xtreme and imx8mp_iot_gate in the last
> two days) and in different run scripts. The run scripts range from a fairly
> simple TPM run script to complicated run scripts that test the resilience of
> the operating system to stopping/starting of whole subsystems and reboots.
> 
> Currently we don't have a case where this happens reproducible. It could be
> related to https://github.com/genodelabs/genode/issues/5382 but also
> something completely different.

Unfortunately, above message - although quite alerting - does not
provide much information about the reason of the exception inside the
kernel. It might be an MMU-fault or a system-call triggered by the
kernel. The latter was actually the case in issue 5382 you have
referred to. As a potential consequence of C++ exception handling in
the C++ support library a kernel call was triggered.
We're on the way to remove all C++ exception out of core and the base
library. If this is finally the case, we can build/link base-hw's core,
which implicitely is the kernel image, without C++ exception support,
and thereby can guarantee its (system call inside kernel) absence.
Nonetheless, after looking at the remaining throws, we are almost sure
there is no C++ exception left in the kernel context of base-hw.

To make it short: I don't think its related to above issue.

> 
> How could we narrow down the issue and gather logs to identify the cause of
> it?

You need some more information about the kernel context, which
triggered the recursive kernel entry. I was already planning to
provide code to do so at the end of last year, but was busy otherwise.
Now, I've opened an issue:

  https://github.com/genodelabs/genode/issues/5425

to document further progress about it. I'm up to approach this very
soon.

Regards
Stefan

> 
> Kind regards,
> Pirmin
> 
> 
> _______________________________________________
> users mailing list -- users@lists.genode.org
> To unsubscribe send an email to users-le...@lists.genode.org
> Archived at 
> https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/QVZMT2HRTDBSQRAZGIN5KUQPSHTEXAPM/
_______________________________________________
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-le...@lists.genode.org
Archived at 
https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/MQKUJLZ5ARZZLKDZORPI63S7DKGHYDIK/

Reply via email to