Changeset 683 for trunk/kernel/kern/core.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/core.h (modified) (2 diffs)

trunk/kernel/kern/core.h

@@ -39 +39 @@
 
 /****************************************************************************************
- * This structure defines the core descriptor.
- * Besides the core identifiers (gid,lid), it contains an embedded private scheduler.
+ * This structure defines a core descriptor.
+ * Besides the core identifiers (gid,lid), it contains an embedded private scheduler
+ * and a software cycles counter on 64 bits.
+ * It contains also the root of local list of alarms, dynamically registered by the
+ * threads running on this core. This local list is protected by a remote_busylock,
+ * because it can be accessed by any thread, running in any cluster, and using the
+ * access functions defined in the <alarm.c> & <alarm.h> files. 
  * It contains an architecture specific extension to store the interrupt vector(s).
  * The core_init()function must allocate memory for this extension, depending on the
@@ -51 +56 @@
         gid_t               gid;            /*! core global identifier (hardware index)    */
 
+        scheduler_t         scheduler;      /*! embedded private scheduler                 */
+
         uint64_t            cycles;         /*! total number of cycles (from hard reset)   */
         uint32_t            time_stamp;     /*! previous time stamp (read from register)   */
 
     list_entry_t        alarms_root;    /*! root of list of attached alarms            */
-    busylock_t          alarms_lock;    /*! lock protecting the list of alarms         */
+    remote_busylock_t   alarms_lock;    /*! lock protecting the list of alarms         */
 
         uint32_t            ticks_nr;       /*! number of elapsed ticks                    */
         uint32_t            usage;          /*! cumulated busy_percent (idle / total)      */
-        uint32_t            spurious_irqs;  /*! for instrumentation...                     */
         struct thread_s   * fpu_owner;      /*! pointer on current FPU owner thread        */
     uint32_t            rand_last;      /*! last computed random value                 */
-
-        scheduler_t         scheduler;      /*! embedded private scheduler                 */
 
     void              * pic_extend;     /*! PIC implementation specific extension      */