Re: Will L4_Ipc loses from ThreadID by occurring pagefault while its writeback?

Hello Jan Stoess,

Thank you for your responce and fixing.
That error is suppressed.


After former mail, I had tried to use kernel debugger,
and saw that exeption fram contain correct data while pagefaulting
before writeback. I couldnt find way of verifing register content in
kernel debugger, but this show Entering phase to exeption handling is
working correctly.


That error occured while calling L4_AssociateInterrupt, as you see.
But I didn't know what means L4's "--- "KD# kpf" ---" message, and
thought it is just debugging information. But now I'm thinking that is
fatal, because I saw

# define enter_kdebug(x)		do { } while (true)

in kernel/src/generic/debug.h.

L4 also raised "--- "KD# kpf" ---" error when calling
L4_AssociateInterrupt from roottask. I had overlooked it and thought
that L4 did not map all of kernel code when making new space, because
it had not raised futher problem.


Thank you again.

--
Nakamura Kazutaka