Changeset 368 for soft/giet_vm/giet_libs/spin_lock.c

Timestamp:

Jul 31, 2014, 8:47:14 PM (10 years ago)

Author:

alain

Message:

1) Introducing the SBT barrier (Sliced Binary Tree)

in the barrier.h library.

2) Introducing a new remote_malloc.h library.

File:

• soft/giet_vm/giet_libs/spin_lock.c (modified) (3 diffs)

soft/giet_vm/giet_libs/spin_lock.c

@@ -4 +4 @@
 // Author   : alain greiner
 // Copyright (c) UPMC-LIP6
-///////////////////////////////////////////////////////////////////////////////////
-// The spin_lock.c and spin_lock.h files are part of the GIET nano-kernel.
-// This  middlewre implements a user-level lock (busy waiting mechanism,
-// because the GIET does not support task scheduling / descheduling).
-// It is a simple binary lock, without waiting queue.
-// 
-// The lock_acquire() and lock_release() functions do not require a system call.
-// The barrier itself must have been allocated in a non cacheable segment,
-// if the platform does not provide hardwate cache coherence.
-//
-// ALL locks 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 lock fro it's name.
 ///////////////////////////////////////////////////////////////////////////////////
 
@@ -28 +14 @@
 // If the lock is already taken a random delay is introduced before retry.
 ///////////////////////////////////////////////////////////////////////////////////
-void lock_acquire(giet_lock_t * lock) {
+void lock_acquire(giet_lock_t * lock) 
+{
     unsigned int * plock = &lock->value;
     unsigned int delay = giet_rand();
@@ -62 +49 @@
 // lock_release()
 //////////////////////////////////////////////////////////////////////////////
-void lock_release(giet_lock_t * lock) {
+void lock_release(giet_lock_t * lock) 
+{
     unsigned int * plock = &lock->value;