#include "sc.h"
Functions | |
void | selectCid () |
Computing the id of next thread to be dispatched. | |
void | vec2names (char *prefix, char *suffix, bitvector ids, const char *names[]) |
Tracing routines. | |
int | main () |
The main program. |
See README.txt for general information. See LICENSE.txt for licensing information. For further information, see http://www.informatik.uni-kiel.de/rtsys/sc/ .
int main | ( | void | ) |
The main program.
Returns 0 iff outputs generated by program match reference trace
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.