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

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.h (modified) (3 diffs)

soft/giet_vm/giet_libs/spin_lock.h

@@ -4 +4 @@
 // Author   : alain greiner
 // Copyright (c) UPMC-LIP6
+///////////////////////////////////////////////////////////////////////////////////
+// The spin_lock.c and spin_lock.h files are part of the GIET-VM nano-kernel.
+// This  library implements a user-level lock.
+// It is a simple binary lock, without waiting queue.
+// The lock_acquire() and lock_release() functions do not require a system call.
+// If the platform does not provide hardware cache coherence, the lock must be 
+// declared in a non cacheable segment,
+//
+// When a lock is defined in the mapping, it has not to be declared in the
+// application code: it will be initialised in the boot phase,
+// and 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 from it's name.
 ///////////////////////////////////////////////////////////////////////////////////
 
@@ -11 +23 @@
 ///////////////////////////////////////////////////////////////////////////////////
 //  lock structure
-// This is a simple binary lock (without waiting queue).
 ///////////////////////////////////////////////////////////////////////////////////
 
-typedef struct giet_lock_s {
-    char name[32];      // lock name
+typedef struct giet_lock_s 
+{
+    char name[60];      // lock name
     unsigned int value; // taken if value != 0
 } giet_lock_t;
@@ -23 +35 @@
 //////////////////////////////////////////////////////////////////////////////
 
-void lock_acquire(giet_lock_t * lock);
-void lock_release(giet_lock_t * lock);
+extern void lock_acquire(giet_lock_t * lock);
+extern void lock_release(giet_lock_t * lock);
 
 #endif