Changeset 279 for trunk/kernel/libk

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 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.

Location:

trunk/kernel/libk

Files:

• elf.c (modified) (2 diffs)
• remote_fifo.c (modified) (2 diffs)
• remote_fifo.h (modified) (3 diffs)

trunk/kernel/libk/elf.c

@@ -191 +191 @@
                         process->vmm.code_vpn_base = start >> CONFIG_PPM_PAGE_SHIFT;
 
-                        elf_dmsg("\n[INFO] %s found CODE vseg / base = %x / size = %x\n",
+                        elf_dmsg("\n[INFO] %s : found CODE vseg / base = %x / size = %x\n",
                                  __FUNCTION__ , start , mem_size );
                 }
@@ -199 +199 @@
                         process->vmm.data_vpn_base = start >> CONFIG_PPM_PAGE_SHIFT;
 
-                        elf_dmsg("\n[INFO] %s found DATA vseg / base = %x / size = %x\n",
+                        elf_dmsg("\n[INFO] %s : found DATA vseg / base = %x / size = %x\n",
                                  __FUNCTION__, start , mem_size );
                 }

trunk/kernel/libk/remote_fifo.c

@@ -49 +49 @@
 ////////////////////////////////////////////// 
 error_t remote_fifo_put_item( xptr_t     fifo, 
-                              uint64_t * item,
+                              uint64_t   item,
                               bool_t   * first )
 {
@@ -112 +112 @@
 
     // copy item to fifo
-        hal_remote_swd( XPTR( cxy , &ptr->data[ptw] ), *item );
+        hal_remote_swd( XPTR( cxy , &ptr->data[ptw] ), item );
+
         hal_fence();
 

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 );