kill-l4 fails to kill a task started with run-l4
Christian Helmuth
ch12 at os.inf.tu-dresden.de
Wed Aug 3 15:34:49 CEST 2005
Hello,
On Wed, Aug 03, 2005 at 02:12:31PM +0200, Derick Swanepoel wrote:
> Hi all,
>
> I am using kill-l4 to try and kill a task started with run-l4, but it
> fails as follows:
>
> simplets| l4_ts_kill_recursive_component(): Kill 21.00 sent by 20.00 owner 20.00
> simplets| task_kill(): Kill 21.00 from 20.00 but owner is 20.00
> | l4ts_kill_task_recursive(): failed (server=8.00, ret=-11, exc 0)
>
> Any ideas?
IIRC simplets checks if the killing task was the creator of the task to be
killed and rejects the request if this is not true. "run-l4" was an
L4Linux process with task id 20. "kill-l4" is a new L4Linux process with
task id 20. The difference is the version field of the task id that is
incremented on each creation by the kernel (but not shown in the log).
Thatswhy "Kill 21.00 from 20.00 but owner is 20.00" (20.00 != 20.00) is true.
Sorry, but I don't know any workaround besides patching simplets.
--
Christian Helmuth
TU Dresden, Dept. of CS
Operating Systems Group
http://os.inf.tu-dresden.de/~ch12
More information about the l4-hackers
mailing list