utcb_watch.h File Reference

Watch threads using the ring-buffer in their UTCB. More...

Go to the source code of this file.

Defines

#define L4CPU_RESERVE_UTCB_NAME_LEN   32

Functions

int l4cpu_reserve_utcb_watch_init (int polltime)
 Initialize watching threads using the utcb rings.
int l4cpu_reserve_utcb_watch_add (l4_threadid_t thread, l4cpu_reserve_utcb_t *utcb, const char *name, unsigned maxtime, int ts_count)
 Add a thread to the watched threads.
int l4cpu_reserve_utcb_watch_del (const l4cpu_reserve_utcb_t *utcb)
 Stop watching of a thread.


Detailed Description

Watch threads using the ring-buffer in their UTCB.

Date:
01/12/2005
Author:
Jork Loeser <jork.loeser@inf.tu-dresden.de>
Using a special Fiasco extension, scheduling events of threads will be written into the UTCBs of those threads. Using an additional polling thread, the data will be collected and written into rt_mon histogramms.

Definition in file utcb_watch.h.


Define Documentation

#define L4CPU_RESERVE_UTCB_NAME_LEN   32

Definition at line 24 of file utcb_watch.h.

Referenced by l4cpu_reserve_utcb_watch_add(), and watch_add_utcb_do().


Function Documentation

int l4cpu_reserve_utcb_watch_add ( l4_threadid_t  thread,
l4cpu_reserve_utcb_t utcb,
const char *  name,
unsigned  maxtime,
int  ts_count 
)

Add a thread to the watched threads.

Parameters:
thread thread to be watched
utcb pointer to the utcb of that thread
name name of the thread/watch entity
ts_count maximum number of timeslices to watch (incl. the be-timeslice)
Return values:
0 OK, error else

Definition at line 70 of file utcb_watch.c.

References L4CPU_RESERVE_UTCB_NAME_LEN, watch_arg_t::maxtime, watch_arg_t::name, watch_arg_t::thread, watch_arg_t::ts_count, watch_arg_t::utcb, WATCH_CMD_ADD, and watch_thread_id.

int l4cpu_reserve_utcb_watch_del ( const l4cpu_reserve_utcb_t utcb  ) 

Stop watching of a thread.

Parameters:
thread thread that is not to be watched any longer
Return values:
0 OK, error else

Definition at line 95 of file utcb_watch.c.

References WATCH_CMD_DEL, and watch_thread_id.

int l4cpu_reserve_utcb_watch_init ( int  polltime  ) 

Initialize watching threads using the utcb rings.

Parameters:
poll_interval poll interval, in microseconds
Return values:
0 OK, error else

Definition at line 108 of file utcb_watch.c.

References watch_thread(), and watch_thread_id.


CPU reservation server Reference Manual, written by Jork Loeser  © 2004