can server side get the thread id of client side?

Björn Döbel doebel at os.inf.tu-dresden.de
Fri Aug 28 09:40:17 CEST 2009


-----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.

Bjoern
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkqXieEACgkQP5ijxgQLUNn9YwCfRk1iYaXWGVqpsBUJ91QwI4St
orkAnRuYYSC8NRjohx4bJ2tpEd+iDowg
=Tslf
-----END PGP SIGNATURE-----




More information about the l4-hackers mailing list