Hi Frank,
I assume that you use the event-server, don't you?
Yes.
Which task exits? The task which allocated the dataspace or the other?
The dataspace is setup by a third task which setup the initial structures inside the dataspace. This task serves as a server that grants access to the dataspace when the other tasks requests the dataspace id from the server and maps it into their own VM space. They all get Read and Write access.
The initial task (owner) is still running and working after I halt the task which caused the page fault.
My task that page faults is a L4Linux server and my virtual NIC (kernel module) was accessing the shared dataspace. As previously discussed, I use emul_l4rm.c to map the dataspace into the kernel VM space and this has been running for weeks without a glitch. Until now when another L4 tasks, which also shares the dataspace, died.
Thanks for your help! Leon