sc.c File Reference

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

Detailed Description

Main file for using SyncChart C macros

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

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.


Generated on Sun Mar 14 19:46:12 2010 for SC by  doxygen 1.5.7.1