Minors

Author: antoniogiacomelli

app/src/application.c

@@ -15,7 +15,7 @@
 /* and message-passing paradigms. */
 
 /* Set to 1 to use message-passing version, 0 for shared-memory version */
-#define SYNCHBARR_MESGPASS_APP 0
+#define SYNCHBARR_MESGPASS_APP 1
 
 #include <kapi.h>
 /* Configure the application logger facility here */

core/inc/kcommondefs.h

@@ -219,8 +219,9 @@ VOID kSchUnlock(VOID);
 #define RK_N_SYSTASKS 2U /* idle + post-processing */
 #define RK_NTHREADS (RK_CONF_N_USRTASKS_MAX + RK_N_SYSTASKS)
 #define RK_CONF_NTASKS RK_NTHREADS
-#define RK_NPRIO (RK_CONF_MIN_PRIO + 1U)
-
+#ifndef RK_RDYQSIZ
+#define RK_RDYQSIZ (RK_CONF_MIN_PRIO + 2U)
+#endif
 
 /*** SERVICE TOKENS  ***/
 /* Blocking option */

core/inc/ksch.h

@@ -22,12 +22,13 @@
 #include <klist.h>
 #include <kstring.h>
 /* Globals */
+
 extern RK_TCB* RK_gRunPtr; /* Pointer to the running TCB */
 extern RK_TCB RK_gTcbs[RK_NTHREADS]; /* Pool of RK_gTcbs */
 extern volatile RK_FAULT RK_gFaultID; /* Fault ID */
 extern UINT RK_gIdleStack[RK_CONF_IDLE_STACKSIZE]; /* Stack for idle task */
 extern UINT RK_gPostProcStack[RK_CONF_POSTPROC_STACKSIZE];
-extern RK_TCBQ RK_gReadyQueue[RK_CONF_MIN_PRIO + RK_N_SYSTASKS]; /* Table of ready queues */
+extern RK_TCBQ RK_gReadyQueue[RK_RDYQSIZ]; /* Table of ready queues */
 extern volatile ULONG RK_gReadyBitmask;
 extern volatile ULONG RK_gReadyPos;
 extern volatile UINT RK_gPendingCtxtSwtch;

core/src/ksch.c

@@ -23,7 +23,7 @@
 #include <ktimer.h>
 
 /* scheduler globals */
-RK_TCBQ RK_gReadyQueue[RK_CONF_MIN_PRIO + RK_N_SYSTASKS];
+RK_TCBQ RK_gReadyQueue[RK_RDYQSIZ]; /* Table of ready queues */
 RK_TCB *RK_gRunPtr;
 RK_TCB RK_gTcbs[RK_NTHREADS];
 RK_TASK_HANDLE RK_gPostProcTaskHandle;