pretgroup / forec Goto Github PK

The pauses in the main thread do not have forec:scheduler:counter:start and forec:scheduler:counter:end blocks where the observed WCRT is tracked and printed out

Shared arrays are not yet supported by the compiler. The first step is to support the (coarse grained) sharing of the array variable. Second step is to support the (fine grained) sharing of array slices.

For debugging purposes, e.g., determining the state of shared variable values, a side-effect free, user-defined print function should be allowed to execute at the very end of each global tick.

User defined function could be called globalTickPrintf(...).

ForeC programs are compiled as standalone programs with no interface with its environment, i.e., the programmer has to manually implement reading and writing to external variables or I/O ports inside global ticks. This should be handled by the global tick scheduling routine, e.g., via interprocess communication over shared memory (sys/shm.h).

Compiler does not detect that state is shared among multiple threads.

#include <stdio.h>

int state = 0;
int* state_p1 = &state;
int* state_p2 = &state;

// Thread
thread hello(void) {
	*state_p1 = 5;
	printf("%d\n", *state_p1);
}

// Thread
thread world(void) {
	*state_p2 = 10;
	printf("%d\n", *state_p2);
}

// Function main: The entry point of the program.
int main(int argc, char **argv) {
	par(hello, world);
}