Changeset 279 for trunk/kernel/libk/remote_fifo.h

Timestamp:

Jul 27, 2017, 12:23:29 AM (6 years ago)

Author:

alain

Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

File:

• trunk/kernel/libk/remote_fifo.h (modified) (3 diffs)

trunk/kernel/libk/remote_fifo.h

@@ -40 +40 @@
  *
  * WARNING : the number of slots is statically defined by the global 
- * configuration parameter CONFIG_REMOTE_FIFO_SLOTS for all fifos, requiring
- * 12 * CONFIG_REMOTE_FIFO_SLOTS bytes for each FIFO.
+ * configuration parameter CONFIG_REMOTE_FIFO_SLOTS for all fifos. requiring
+ * Each FIFO requires 8 + (12 * CONFIG_REMOTE_FIFO_SLOTS) bytes.
  ***********************************************************************************/
 
@@ -67 +67 @@
  ************************************************************************************
  * @ fifo    : pointer to the local fifo.
- * @ item    : pointer on destination buffer for extracted item.
- * @ size    : actual number of bytes in one item.
+ * @ item    : [out] pointer on buffer for extracted item.
  * @ return  0 on success, EAGAIN if the buffer is empty.
  ***********************************************************************************/
@@ -78 +77 @@
  * by an extended pointer.
  * This function gets a write ticket using a remote_atomic_increment on the
- * write slot index and waits until the slot is empty, using a descheduling
- * policy (without blocking).
+ * write slot. Then, it waits until the slot is empty, using a descheduling
+ * policy without blocking.
  ************************************************************************************
  * @ fifo    : extended pointer to the fifo in remote cluster.
- * @ item    : pointer on a local buffer containing the item to be stored.
+ * @ item    : item to be stored.
  * @ first   : [out] true if first item registered in remote fifo.
  * @ return  0 on success / EBUSY if a contention has been detected.
  ***********************************************************************************/
 error_t remote_fifo_put_item( xptr_t     fifo,
-                              uint64_t * item,
+                              uint64_t   item,
                               bool_t   * first );