Changeset 754 for soft/giet_vm/giet_kernel

Timestamp:

Jan 7, 2016, 4:12:54 PM (9 years ago)

Author:

cfuguet

Message:

• Support to have a single terminal (NB_TTY_CHANNEL = 1). In this case, the terminal is shared by the system and the applications.

• Support platforms without NIC and CMA.

• In the MMC driver, do not initialize the distributed driver structure in clusters without memory cache (IO clusters in the LETI platform).

File:

• soft/giet_vm/giet_kernel/sys_handler.c (modified) (12 diffs)

soft/giet_vm/giet_kernel/sys_handler.c

@@ -194 +194 @@
     &_sys_fbf_size,                  /* 0x08 */
     &_sys_fbf_alloc,                 /* 0x09 */ 
+
+#if NB_CMA_CHANNELS
     &_sys_fbf_cma_alloc,             /* 0x0A */
     &_sys_fbf_cma_init_buf,          /* 0x0B */
@@ -200 +202 @@
     &_sys_fbf_cma_stop,              /* 0x0E */
     &_sys_fbf_cma_check,             /* 0x0F */
+#else
+    &_sys_ukn,                       /* 0x0A */
+    &_sys_ukn,                       /* 0x0B */
+    &_sys_ukn,                       /* 0x0C */
+    &_sys_ukn,                       /* 0x0D */
+    &_sys_ukn,                       /* 0x0E */
+    &_sys_ukn,                       /* 0x0F */
+#endif
 
     &_sys_applications_status,       /* 0x10 */
@@ -235 +245 @@
     &_sys_ukn,                       /* 0x2F */
 
+#if NB_NIC_CHANNELS
     &_sys_nic_alloc,                 /* 0x30 */
     &_sys_nic_start,                 /* 0x31 */
@@ -241 +252 @@
     &_sys_nic_stats,                 /* 0x34 */
     &_sys_nic_clear,                 /* 0x35 */ 
+#else
+    &_sys_ukn,                       /* 0x30 */
+    &_sys_ukn,                       /* 0x31 */
+    &_sys_ukn,                       /* 0x32 */
+    &_sys_ukn,                       /* 0x33 */
+    &_sys_ukn,                       /* 0x34 */
+    &_sys_ukn,                       /* 0x35 */
+#endif
+
     &_sys_tty_write,                 /* 0x36 */
     &_sys_tty_read,                  /* 0x37 */
@@ -1540 +1560 @@
 int _sys_tty_alloc( unsigned int shared )
 {
-    unsigned int channel;    // allocated TTY channel
-
-    // get trdid and vsid for the calling thread
+    unsigned int channel = 0;    // allocated TTY channel
+
+    // get vsid for the calling thread
     unsigned int vsid  = _get_context_slot( CTX_VSID_ID );
-    unsigned int trdid = _get_thread_trdid();
 
     mapping_header_t  *header   = (mapping_header_t *)SEG_BOOT_MAPPING_BASE;
@@ -1555 +1574 @@
     else           users = 1;
 
+#if NB_TTY_CHANNELS > 1
+    // get trdid for the calling thread
+    unsigned int trdid = _get_thread_trdid();
+
     // get a TTY channel 
     for ( channel = 0 ; channel < NB_TTY_CHANNELS ; channel++ )
@@ -1562 +1585 @@
         if ( _atomic_test_and_set( palloc , users ) == 0 ) break;
     }
-    if ( channel >= NB_TTY_CHANNELS )
+    if ( ( channel >= NB_TTY_CHANNELS ) )
     {
         _printf("\n[GIET_ERROR] in _sys_tty_alloc() : "
@@ -1582 +1605 @@
     unsigned int p      = procid & ((1<<P_WIDTH)-1);
     _tty_channel_wti[channel] = x<<24 | y<<16 | p<<8 | wti_id;
+
+#else
+
+    unsigned int* palloc  = &_tty_channel_alloc[0];
+    _atomic_increment( palloc, users );
+
+#endif
    
     // update CTX_TTY_ID 
@@ -1905 +1935 @@
 #define NIC_CONTAINER_SIZE 4096
 
-#if NB_NIC_CHANNELS
+#if NB_NIC_CHANNELS && NB_CMA_CHANNELS
 
 ////////////////////////////////////////
@@ -2684 +2714 @@
 }  // end _sys_nic_stats()
 
-#endif
+#endif // if NB_NIC_CHANNELS && NB_CMA_CHANNELS
 
 /////////////////////////////////////////////////////////////////////////////////////////
@@ -2817 +2847 @@
 }
 
+#if NB_CMA_CHANNELS
+
 ////////////////////////////////////////////
 int _sys_fbf_cma_alloc( unsigned int nbufs )
@@ -3294 +3326 @@
 
 } // end _sys_fbf_cma_stop()
+
+#endif // if NB_CMA_CHANNELS