Changeset 159 for soft

Timestamp:

May 19, 2012, 2:21:52 PM (13 years ago)

Author:

alain

Message:

Introducing the spin_locks / modifying the MWMR channels and the barriers

Location:

soft/giet_vm/libs

Files:

• barrier.c (modified) (1 diff)
• mwmr.c (deleted)
• mwmr.h (deleted)
• mwmr_channel.c (added)
• mwmr_channel.h (added)
• spin_lock.c (added)
• spin_lock.h (added)

soft/giet_vm/libs/barrier.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// These barrier.c and barrier.h files are part of the GIET nano-kernel.
+// The 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.
-// Neither the barrier_init(), nor the barrier_wait() function require a syscall.
-// The barrier itself must have been allocated in a shared data segment.
+//
+// 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.
 ///////////////////////////////////////////////////////////////////////////////////
+
+#include <barrier.h>
 
 ///////////////////////////////////////////////////////////////////////////////////