hi all,
3. Re: can server side get the thread id of client side?
(Bj?rn D?bel)
Message: 3
Date: Fri, 28 Aug 2009 09:40:17 +0200
From: Bj?rn D?bel <doebel@os.inf.tu-dresden.de>
To: L4 Hackers <l4-hackers@os.inf.tu-dresden.de>
Subject: Re: can server side get the thread id of client side?
Message-ID: <4A9789E1.7080503@os.inf.tu-dresden.de>
Content-Type: text/plain; charset=ISO-8859-1
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
> I know that the client side can get the server's thread_id throw name
> service. I want to ask can the server side get the client's task_id or
> thread_id?
> or must the client side send the thread_id to server?
your server will call either l4_ipc_wait() or l4_ipc_reply_and_wait() in
order to receive the message from the client. In both cases there is a
src parameter which will contain the client's thread ID after the system
call returns.