selectCid.c File Reference

#include "sc.h"

Functions
void	selectCid ()
	Computing the id of next thread to be dispatched.

---

Detailed Description

Auxiliary file for using SyncChart C macros. selectCid.c is a fragment of sc.c. It should be linked in by programs that do not need the main() function provided by sc.c, such as PCO.

See README.txt for general information. See LICENSE.txt for licensing information. For further information, see http://www.informatik.uni-kiel.de/rtsys/sc/ .

Author:

Reinhard v. Hanxleden, rvh@informatik.uni-kiel.de

---

Function Documentation

void selectCid

(

)

Computing the id of next thread to be dispatched.

Functions defined in sc.c.

Uses obvious algorithm, run time linear in position of highest bit. Note that there are also alternatives that run logarithmic to bit vector size. See eg http://graphics.stanford.edu/~seander/bithacks.html#IntegerLog . Which is actually faster depends on application.