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