The stdio Library

The stdio.c​ and stdio.h​ files contains all system calls provided to user applications by the GIET-VM.

Processor protected registers

• int giet_procid()

This function returns the global processor identifier gpid, depending on (X,Y,L) where X,Y are the cluster coordinates, and L is the local processor index. The format is gpid = X<<Y_WIDTH + Y) * NB_PROCS_MAX) + L

• int giet_proctime()

This function returns the local processor time (number of cycles from reset.

• int giet_rand()

This function returns a pseudo-random value derived from both the processor cycle count and the processor index. This value is comprised between 0 & 65535.

Informations stored in the running task context

• int giet_proc_task_id();

This functions returns the local task index, identifying the task amongst all task running on the same processor.

• int giet_global_task_id()

This functions returns the global task id, unique in the system.

• int giet_thread_id()

This functions returns the thread index, identiying the task in a given vspace.