Changeset 159 for soft/giet_vm
- Timestamp:
- May 19, 2012, 2:21:52 PM (13 years ago)
- Location:
- soft/giet_vm/libs
- Files:
-
- 4 added
- 2 deleted
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/libs/barrier.c
r158 r159 5 5 // Copyright (c) UPMC-LIP6 6 6 /////////////////////////////////////////////////////////////////////////////////// 7 // The sebarrier.c and barrier.h files are part of the GIET nano-kernel.7 // The barrier.c and barrier.h files are part of the GIET nano-kernel. 8 8 // This user-level library provides a synchronisation service between several 9 9 // tasks sharing the same address space in a parallel multi-tasks application. 10 // Neither the barrier_init(), nor the barrier_wait() function require a syscall. 11 // The barrier itself must have been allocated in a shared data segment. 10 // 11 // The barrier_init(), and the barrier_wait() functions do not require a syscall. 12 // The barrier itself must have been allocated in a non cacheable segment, 13 // if the platform does not provide hardwate cache coherence. 14 // 15 // ALL barriers must be defined in the mapping_info data structure, 16 // to be initialised by the GIET in the boot phase. 17 // The vobj_get_vbase() system call (defined in stdio.c and stdio.h files) 18 // can be used to get the virtual base address of the barrier from it's name. 12 19 /////////////////////////////////////////////////////////////////////////////////// 20 21 #include <barrier.h> 13 22 14 23 ///////////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.