Changeset 457 for trunk/kernel/libk/remote_sem.h

Timestamp:

Aug 2, 2018, 11:47:13 AM (6 years ago)

Author:

alain

Message:

This version modifies the exec syscall and fixes a large number of small bugs.
The version number has been updated (0.1)

File:

• trunk/kernel/libk/remote_sem.h (modified) (6 diffs)

trunk/kernel/libk/remote_sem.h

@@ -25 +25 @@
 #define _SEMAPHORE_H_
 
-#include <hal_types.h>
+#include <hal_kernel_types.h>
 #include <xlist.h>
 #include <remote_spinlock.h>
@@ -77 +77 @@
  * This function implements the SEM_INIT operation.
  * It allocates memory for a remote semaphore in reference cluster, using a RPC if required, 
- * and initializes it, using remote accesses. 
+ * and initializes it, using remote accesses from values defined by the <vaddr> and <value>
+ * arguments. It uses also a remote access to return the extended pointer on the semaphore 
+ * in the buffer identified by the <buf_xp> argument.
  *********************************************************************************************
- * @ vaddr    : semaphore virtual address, used as identifier.
- * @ value    : semaphore initial value.
- * @ returns 0 if success / returns ENOMEM if error. 
+ * @ vaddr     : [in] semaphore virtual address, used as identifier.
+ * @ value     : [in] semaphore initial value.
+ * @ sem_xp_xp : [out] extended pointer on buffer to store extended pointer on semaphore.
+ * @ returns 0 if success / returns -1 if no memory. 
  ********************************************************************************************/
 error_t remote_sem_create( intptr_t  vaddr,
-                           uint32_t  value );
+                           uint32_t  value,
+                           xptr_t    sem_xp_xp );
  
 /****************************yy***************************************************************
@@ -91 +95 @@
  * reference cluster, using a RPC if required.
  *********************************************************************************************
- * @ sem_xp   : extended pointer on semaphore. 
+ * @ sem_xp   : [in] extended pointer on semaphore. 
  ********************************************************************************************/
 void remote_sem_destroy( xptr_t sem_xp );
@@ -102 +106 @@
  *    waiting queue, block the thread, and yield.
  *********************************************************************************************
- * @ sem_xp   : extended pointer on semaphore. 
+ * @ sem_xp   : [in] extended pointer on semaphore. 
  ********************************************************************************************/
 void remote_sem_wait( xptr_t sem_xp );
@@ -111 +115 @@
  * - If the waiting queue is not empty, it wakes up the first waiting thread.
  *********************************************************************************************
- * @ sem_xp   : extended pointer on semaphore. 
+ * @ sem_xp   : [in] extended pointer on semaphore. 
  ********************************************************************************************/
 void remote_sem_post( xptr_t sem_xp );
@@ -119 +123 @@
  * It returns in the <data> buffer the semaphore current value. 
  *********************************************************************************************
- * @ sem_xp   : extended pointer on semaphore. 
- * @ data     : [out] returned value.
+ * @ sem_xp   : [in]  extended pointer on semaphore. 
+ * @ data     : [out] local pointer on buffer for returned value.
  ********************************************************************************************/
 void remote_sem_get_value( xptr_t      sem_xp,