Changeset 160 for soft/giet_vm/libs/barrier.c

Timestamp:

Jun 12, 2012, 4:21:27 PM (12 years ago)

Author:

karaoui

Message:

giet-vm new version

File:

• soft/giet_vm/libs/barrier.c (modified) (1 diff)

soft/giet_vm/libs/barrier.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// The barrier.c and barrier.h files are part of the GIET nano-kernel.
+// These barrier.c and barrier.h files are part of the GIET nano-kernel.
 // This user-level library provides a synchronisation service between several
 // tasks sharing the same address space in a parallel multi-tasks application.
-//
-// The barrier_init(), and the barrier_wait() functions do not require a syscall.
-// The barrier itself must have been allocated in a non cacheable segment,
-// if the platform does not provide hardwate cache coherence.
-//
-// ALL barriers must be defined in the mapping_info data structure, 
-// to be initialised by the GIET in the boot phase.
-// The vobj_get_vbase() system call (defined in stdio.c and stdio.h files)
-// can be used to get the virtual base address of the barrier from it's name.
+// Neither the barrier_init(), nor the barrier_wait() function require a syscall.
+// The barrier itself must have been allocated in a shared data segment.
 ///////////////////////////////////////////////////////////////////////////////////
-
-#include <barrier.h>
 
 ///////////////////////////////////////////////////////////////////////////////////