Changeset 683 for trunk/kernel/kern/cluster.h

Timestamp:

Jan 13, 2021, 12:36:17 AM (3 years ago)

Author:

alain

Message:

All modifications required to support the <tcp_chat> application
including error recovery in case of packet loss.A

File:

• trunk/kernel/kern/cluster.h (modified) (4 diffs)

trunk/kernel/kern/cluster.h

@@ -2 +2 @@
  * cluster.h - Cluster-Manager definition
  *
- * authors  Ghassan Almaless (2008,2009,2010,2011,2012)
+ * authors  Ghassan Almaless       (2008,2009,2010,2011,2012)
  *          Mohamed Lamine Karaoui (2015)
- *          Alain Greiner (2016,2017,2018,2019,2019,2020)
+ *          Alain Greiner          (2016,2017,2018,2019,2020)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -39 +39 @@
 #include <ppm.h>
 #include <kcm.h>
-#include <khm.h>
 #include <rpc.h>
 #include <core.h>
@@ -105 +104 @@
     uint32_t        x_size;            /*! number of clusters in a row    (can be 1)      */
     uint32_t        y_size;            /*! number of clusters in a column (can be 1)      */
-    cxy_t           io_cxy;            /*! io cluster identifier                          */
+    uint32_t        io_cxy;            /*! io cluster identifier                          */
+    uint32_t        sys_clk;           /*! system_clock frequency (in Hertz)              */
     uint32_t        dqdt_root_level;   /*! index of root node in dqdt_tbl[]               */
     uint32_t        nb_txt_channels;   /*! number of TXT channels                         */
@@ -124 +124 @@
     list_entry_t    dev_root;          /*! root of list of devices in cluster             */
 
-    // memory allocators
-    ppm_t           ppm;               /*! embedded kernel page manager                   */
-    khm_t           khm;               /*! embedded kernel heap manager                   */
-    kcm_t           kcm[6];            /*! embedded kernel cache managers [6:11]          */
+    // physical memory allocators: one PPM and severa KCM
+    ppm_t           ppm;
+    kcm_t           kcm[CONFIG_PPM_PAGE_ORDER - CONFIG_CACHE_LINE_ORDER];
 
     // RPC