CK Sin / Mbed 2 deprecated Ethernetwebsocket

Ethernetwebsoc

Dependencies:   C12832_lcd LM75B WebSocketClient mbed-rtos mbed Socket lwip-eth lwip-sys lwip

mbed-rtos/rtx/rt_System.c@0:0ed2a7c7190c, 2013-05-31 (annotated)

Committer:
GordonSin
Date:
Fri May 31 04:09:54 2013 +0000
Revision:
0:0ed2a7c7190c
31/5/2013;

Who changed what in which revision?

UserRevisionLine numberNew contents of line
GordonSin 0:0ed2a7c7190c 1 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 2 * RL-ARM - RTX
GordonSin 0:0ed2a7c7190c 3 *----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 4 * Name: RT_SYSTEM.C
GordonSin 0:0ed2a7c7190c 5 * Purpose: System Task Manager
GordonSin 0:0ed2a7c7190c 6 * Rev.: V4.50
GordonSin 0:0ed2a7c7190c 7 *----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 8 *
GordonSin 0:0ed2a7c7190c 9 * Copyright (c) 1999-2009 KEIL, 2009-2012 ARM Germany GmbH
GordonSin 0:0ed2a7c7190c 10 * All rights reserved.
GordonSin 0:0ed2a7c7190c 11 * Redistribution and use in source and binary forms, with or without
GordonSin 0:0ed2a7c7190c 12 * modification, are permitted provided that the following conditions are met:
GordonSin 0:0ed2a7c7190c 13 * - Redistributions of source code must retain the above copyright
GordonSin 0:0ed2a7c7190c 14 * notice, this list of conditions and the following disclaimer.
GordonSin 0:0ed2a7c7190c 15 * - Redistributions in binary form must reproduce the above copyright
GordonSin 0:0ed2a7c7190c 16 * notice, this list of conditions and the following disclaimer in the
GordonSin 0:0ed2a7c7190c 17 * documentation and/or other materials provided with the distribution.
GordonSin 0:0ed2a7c7190c 18 * - Neither the name of ARM nor the names of its contributors may be used
GordonSin 0:0ed2a7c7190c 19 * to endorse or promote products derived from this software without
GordonSin 0:0ed2a7c7190c 20 * specific prior written permission.
GordonSin 0:0ed2a7c7190c 21 *
GordonSin 0:0ed2a7c7190c 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
GordonSin 0:0ed2a7c7190c 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
GordonSin 0:0ed2a7c7190c 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
GordonSin 0:0ed2a7c7190c 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
GordonSin 0:0ed2a7c7190c 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
GordonSin 0:0ed2a7c7190c 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
GordonSin 0:0ed2a7c7190c 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
GordonSin 0:0ed2a7c7190c 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
GordonSin 0:0ed2a7c7190c 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
GordonSin 0:0ed2a7c7190c 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
GordonSin 0:0ed2a7c7190c 32 * POSSIBILITY OF SUCH DAMAGE.
GordonSin 0:0ed2a7c7190c 33 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 34
GordonSin 0:0ed2a7c7190c 35 #include "rt_TypeDef.h"
GordonSin 0:0ed2a7c7190c 36 #include "RTX_Config.h"
GordonSin 0:0ed2a7c7190c 37 #include "rt_Task.h"
GordonSin 0:0ed2a7c7190c 38 #include "rt_System.h"
GordonSin 0:0ed2a7c7190c 39 #include "rt_Event.h"
GordonSin 0:0ed2a7c7190c 40 #include "rt_List.h"
GordonSin 0:0ed2a7c7190c 41 #include "rt_Mailbox.h"
GordonSin 0:0ed2a7c7190c 42 #include "rt_Semaphore.h"
GordonSin 0:0ed2a7c7190c 43 #include "rt_Time.h"
GordonSin 0:0ed2a7c7190c 44 #include "rt_Robin.h"
GordonSin 0:0ed2a7c7190c 45 #include "rt_HAL_CM.h"
GordonSin 0:0ed2a7c7190c 46
GordonSin 0:0ed2a7c7190c 47 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 48 * Global Variables
GordonSin 0:0ed2a7c7190c 49 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 50
GordonSin 0:0ed2a7c7190c 51 int os_tick_irqn;
GordonSin 0:0ed2a7c7190c 52
GordonSin 0:0ed2a7c7190c 53 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 54 * Local Variables
GordonSin 0:0ed2a7c7190c 55 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 56
GordonSin 0:0ed2a7c7190c 57 static volatile BIT os_lock;
GordonSin 0:0ed2a7c7190c 58 static volatile BIT os_psh_flag;
GordonSin 0:0ed2a7c7190c 59 static U8 pend_flags;
GordonSin 0:0ed2a7c7190c 60
GordonSin 0:0ed2a7c7190c 61 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 62 * Global Functions
GordonSin 0:0ed2a7c7190c 63 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 64
GordonSin 0:0ed2a7c7190c 65 #if defined (__CC_ARM)
GordonSin 0:0ed2a7c7190c 66 __asm void $$RTX$$version (void) {
GordonSin 0:0ed2a7c7190c 67 /* Export a version number symbol for a version control. */
GordonSin 0:0ed2a7c7190c 68
GordonSin 0:0ed2a7c7190c 69 EXPORT __RL_RTX_VER
GordonSin 0:0ed2a7c7190c 70
GordonSin 0:0ed2a7c7190c 71 __RL_RTX_VER EQU 0x450
GordonSin 0:0ed2a7c7190c 72 }
GordonSin 0:0ed2a7c7190c 73 #endif
GordonSin 0:0ed2a7c7190c 74
GordonSin 0:0ed2a7c7190c 75
GordonSin 0:0ed2a7c7190c 76 /*--------------------------- rt_suspend ------------------------------------*/
GordonSin 0:0ed2a7c7190c 77 U32 rt_suspend (void) {
GordonSin 0:0ed2a7c7190c 78 /* Suspend OS scheduler */
GordonSin 0:0ed2a7c7190c 79 U32 delta = 0xFFFF;
GordonSin 0:0ed2a7c7190c 80
GordonSin 0:0ed2a7c7190c 81 rt_tsk_lock();
GordonSin 0:0ed2a7c7190c 82
GordonSin 0:0ed2a7c7190c 83 if (os_dly.p_dlnk) {
GordonSin 0:0ed2a7c7190c 84 delta = os_dly.delta_time;
GordonSin 0:0ed2a7c7190c 85 }
GordonSin 0:0ed2a7c7190c 86
GordonSin 0:0ed2a7c7190c 87 return (delta);
GordonSin 0:0ed2a7c7190c 88 }
GordonSin 0:0ed2a7c7190c 89
GordonSin 0:0ed2a7c7190c 90
GordonSin 0:0ed2a7c7190c 91 /*--------------------------- rt_resume -------------------------------------*/
GordonSin 0:0ed2a7c7190c 92 void rt_resume (U32 sleep_time) {
GordonSin 0:0ed2a7c7190c 93 /* Resume OS scheduler after suspend */
GordonSin 0:0ed2a7c7190c 94 P_TCB next;
GordonSin 0:0ed2a7c7190c 95 U32 delta;
GordonSin 0:0ed2a7c7190c 96
GordonSin 0:0ed2a7c7190c 97 os_tsk.run->state = READY;
GordonSin 0:0ed2a7c7190c 98 rt_put_rdy_first (os_tsk.run);
GordonSin 0:0ed2a7c7190c 99
GordonSin 0:0ed2a7c7190c 100 os_robin.task = NULL;
GordonSin 0:0ed2a7c7190c 101
GordonSin 0:0ed2a7c7190c 102 /* Update delays. */
GordonSin 0:0ed2a7c7190c 103 if (os_dly.p_dlnk) {
GordonSin 0:0ed2a7c7190c 104 delta = sleep_time;
GordonSin 0:0ed2a7c7190c 105 if (delta >= os_dly.delta_time) {
GordonSin 0:0ed2a7c7190c 106 delta -= os_dly.delta_time;
GordonSin 0:0ed2a7c7190c 107 os_time += os_dly.delta_time;
GordonSin 0:0ed2a7c7190c 108 os_dly.delta_time = 1;
GordonSin 0:0ed2a7c7190c 109 while (os_dly.p_dlnk) {
GordonSin 0:0ed2a7c7190c 110 rt_dec_dly();
GordonSin 0:0ed2a7c7190c 111 if (delta == 0) break;
GordonSin 0:0ed2a7c7190c 112 delta--;
GordonSin 0:0ed2a7c7190c 113 os_time++;
GordonSin 0:0ed2a7c7190c 114 }
GordonSin 0:0ed2a7c7190c 115 } else {
GordonSin 0:0ed2a7c7190c 116 os_time += delta;
GordonSin 0:0ed2a7c7190c 117 os_dly.delta_time -= delta;
GordonSin 0:0ed2a7c7190c 118 }
GordonSin 0:0ed2a7c7190c 119 } else {
GordonSin 0:0ed2a7c7190c 120 os_time += sleep_time;
GordonSin 0:0ed2a7c7190c 121 }
GordonSin 0:0ed2a7c7190c 122
GordonSin 0:0ed2a7c7190c 123 /* Switch back to highest ready task */
GordonSin 0:0ed2a7c7190c 124 next = rt_get_first (&os_rdy);
GordonSin 0:0ed2a7c7190c 125 rt_switch_req (next);
GordonSin 0:0ed2a7c7190c 126
GordonSin 0:0ed2a7c7190c 127 rt_tsk_unlock();
GordonSin 0:0ed2a7c7190c 128 }
GordonSin 0:0ed2a7c7190c 129
GordonSin 0:0ed2a7c7190c 130
GordonSin 0:0ed2a7c7190c 131 /*--------------------------- rt_tsk_lock -----------------------------------*/
GordonSin 0:0ed2a7c7190c 132
GordonSin 0:0ed2a7c7190c 133 void rt_tsk_lock (void) {
GordonSin 0:0ed2a7c7190c 134 /* Prevent task switching by locking out scheduler */
GordonSin 0:0ed2a7c7190c 135 if (os_tick_irqn < 0) {
GordonSin 0:0ed2a7c7190c 136 OS_LOCK();
GordonSin 0:0ed2a7c7190c 137 os_lock = __TRUE;
GordonSin 0:0ed2a7c7190c 138 OS_UNPEND (&pend_flags);
GordonSin 0:0ed2a7c7190c 139 } else {
GordonSin 0:0ed2a7c7190c 140 OS_X_LOCK(os_tick_irqn);
GordonSin 0:0ed2a7c7190c 141 os_lock = __TRUE;
GordonSin 0:0ed2a7c7190c 142 OS_X_UNPEND (&pend_flags);
GordonSin 0:0ed2a7c7190c 143 }
GordonSin 0:0ed2a7c7190c 144 }
GordonSin 0:0ed2a7c7190c 145
GordonSin 0:0ed2a7c7190c 146
GordonSin 0:0ed2a7c7190c 147 /*--------------------------- rt_tsk_unlock ---------------------------------*/
GordonSin 0:0ed2a7c7190c 148
GordonSin 0:0ed2a7c7190c 149 void rt_tsk_unlock (void) {
GordonSin 0:0ed2a7c7190c 150 /* Unlock scheduler and re-enable task switching */
GordonSin 0:0ed2a7c7190c 151 if (os_tick_irqn < 0) {
GordonSin 0:0ed2a7c7190c 152 OS_UNLOCK();
GordonSin 0:0ed2a7c7190c 153 os_lock = __FALSE;
GordonSin 0:0ed2a7c7190c 154 OS_PEND (pend_flags, os_psh_flag);
GordonSin 0:0ed2a7c7190c 155 os_psh_flag = __FALSE;
GordonSin 0:0ed2a7c7190c 156 } else {
GordonSin 0:0ed2a7c7190c 157 OS_X_UNLOCK(os_tick_irqn);
GordonSin 0:0ed2a7c7190c 158 os_lock = __FALSE;
GordonSin 0:0ed2a7c7190c 159 OS_X_PEND (pend_flags, os_psh_flag);
GordonSin 0:0ed2a7c7190c 160 os_psh_flag = __FALSE;
GordonSin 0:0ed2a7c7190c 161 }
GordonSin 0:0ed2a7c7190c 162 }
GordonSin 0:0ed2a7c7190c 163
GordonSin 0:0ed2a7c7190c 164
GordonSin 0:0ed2a7c7190c 165 /*--------------------------- rt_psh_req ------------------------------------*/
GordonSin 0:0ed2a7c7190c 166
GordonSin 0:0ed2a7c7190c 167 void rt_psh_req (void) {
GordonSin 0:0ed2a7c7190c 168 /* Initiate a post service handling request if required. */
GordonSin 0:0ed2a7c7190c 169 if (os_lock == __FALSE) {
GordonSin 0:0ed2a7c7190c 170 OS_PEND_IRQ ();
GordonSin 0:0ed2a7c7190c 171 }
GordonSin 0:0ed2a7c7190c 172 else {
GordonSin 0:0ed2a7c7190c 173 os_psh_flag = __TRUE;
GordonSin 0:0ed2a7c7190c 174 }
GordonSin 0:0ed2a7c7190c 175 }
GordonSin 0:0ed2a7c7190c 176
GordonSin 0:0ed2a7c7190c 177
GordonSin 0:0ed2a7c7190c 178 /*--------------------------- rt_pop_req ------------------------------------*/
GordonSin 0:0ed2a7c7190c 179
GordonSin 0:0ed2a7c7190c 180 void rt_pop_req (void) {
GordonSin 0:0ed2a7c7190c 181 /* Process an ISR post service requests. */
GordonSin 0:0ed2a7c7190c 182 struct OS_XCB *p_CB;
GordonSin 0:0ed2a7c7190c 183 P_TCB next;
GordonSin 0:0ed2a7c7190c 184 U32 idx;
GordonSin 0:0ed2a7c7190c 185
GordonSin 0:0ed2a7c7190c 186 os_tsk.run->state = READY;
GordonSin 0:0ed2a7c7190c 187 rt_put_rdy_first (os_tsk.run);
GordonSin 0:0ed2a7c7190c 188
GordonSin 0:0ed2a7c7190c 189 idx = os_psq->last;
GordonSin 0:0ed2a7c7190c 190 while (os_psq->count) {
GordonSin 0:0ed2a7c7190c 191 p_CB = os_psq->q[idx].id;
GordonSin 0:0ed2a7c7190c 192 if (p_CB->cb_type == TCB) {
GordonSin 0:0ed2a7c7190c 193 /* Is of TCB type */
GordonSin 0:0ed2a7c7190c 194 rt_evt_psh ((P_TCB)p_CB, (U16)os_psq->q[idx].arg);
GordonSin 0:0ed2a7c7190c 195 }
GordonSin 0:0ed2a7c7190c 196 else if (p_CB->cb_type == MCB) {
GordonSin 0:0ed2a7c7190c 197 /* Is of MCB type */
GordonSin 0:0ed2a7c7190c 198 rt_mbx_psh ((P_MCB)p_CB, (void *)os_psq->q[idx].arg);
GordonSin 0:0ed2a7c7190c 199 }
GordonSin 0:0ed2a7c7190c 200 else {
GordonSin 0:0ed2a7c7190c 201 /* Must be of SCB type */
GordonSin 0:0ed2a7c7190c 202 rt_sem_psh ((P_SCB)p_CB);
GordonSin 0:0ed2a7c7190c 203 }
GordonSin 0:0ed2a7c7190c 204 if (++idx == os_psq->size) idx = 0;
GordonSin 0:0ed2a7c7190c 205 rt_dec (&os_psq->count);
GordonSin 0:0ed2a7c7190c 206 }
GordonSin 0:0ed2a7c7190c 207 os_psq->last = idx;
GordonSin 0:0ed2a7c7190c 208
GordonSin 0:0ed2a7c7190c 209 next = rt_get_first (&os_rdy);
GordonSin 0:0ed2a7c7190c 210 rt_switch_req (next);
GordonSin 0:0ed2a7c7190c 211 }
GordonSin 0:0ed2a7c7190c 212
GordonSin 0:0ed2a7c7190c 213
GordonSin 0:0ed2a7c7190c 214 /*--------------------------- os_tick_init ----------------------------------*/
GordonSin 0:0ed2a7c7190c 215
GordonSin 0:0ed2a7c7190c 216 __weak int os_tick_init (void) {
GordonSin 0:0ed2a7c7190c 217 /* Initialize SysTick timer as system tick timer. */
GordonSin 0:0ed2a7c7190c 218 rt_systick_init ();
GordonSin 0:0ed2a7c7190c 219 return (-1); /* Return IRQ number of SysTick timer */
GordonSin 0:0ed2a7c7190c 220 }
GordonSin 0:0ed2a7c7190c 221
GordonSin 0:0ed2a7c7190c 222
GordonSin 0:0ed2a7c7190c 223 /*--------------------------- os_tick_irqack --------------------------------*/
GordonSin 0:0ed2a7c7190c 224
GordonSin 0:0ed2a7c7190c 225 __weak void os_tick_irqack (void) {
GordonSin 0:0ed2a7c7190c 226 /* Acknowledge timer interrupt. */
GordonSin 0:0ed2a7c7190c 227 }
GordonSin 0:0ed2a7c7190c 228
GordonSin 0:0ed2a7c7190c 229
GordonSin 0:0ed2a7c7190c 230 /*--------------------------- rt_systick ------------------------------------*/
GordonSin 0:0ed2a7c7190c 231
GordonSin 0:0ed2a7c7190c 232 extern void sysTimerTick(void);
GordonSin 0:0ed2a7c7190c 233
GordonSin 0:0ed2a7c7190c 234 void rt_systick (void) {
GordonSin 0:0ed2a7c7190c 235 /* Check for system clock update, suspend running task. */
GordonSin 0:0ed2a7c7190c 236 P_TCB next;
GordonSin 0:0ed2a7c7190c 237
GordonSin 0:0ed2a7c7190c 238 os_tsk.run->state = READY;
GordonSin 0:0ed2a7c7190c 239 rt_put_rdy_first (os_tsk.run);
GordonSin 0:0ed2a7c7190c 240
GordonSin 0:0ed2a7c7190c 241 /* Check Round Robin timeout. */
GordonSin 0:0ed2a7c7190c 242 rt_chk_robin ();
GordonSin 0:0ed2a7c7190c 243
GordonSin 0:0ed2a7c7190c 244 /* Update delays. */
GordonSin 0:0ed2a7c7190c 245 os_time++;
GordonSin 0:0ed2a7c7190c 246 rt_dec_dly ();
GordonSin 0:0ed2a7c7190c 247
GordonSin 0:0ed2a7c7190c 248 /* Check the user timers. */
GordonSin 0:0ed2a7c7190c 249 sysTimerTick();
GordonSin 0:0ed2a7c7190c 250
GordonSin 0:0ed2a7c7190c 251 /* Switch back to highest ready task */
GordonSin 0:0ed2a7c7190c 252 next = rt_get_first (&os_rdy);
GordonSin 0:0ed2a7c7190c 253 rt_switch_req (next);
GordonSin 0:0ed2a7c7190c 254 }
GordonSin 0:0ed2a7c7190c 255
GordonSin 0:0ed2a7c7190c 256 /*--------------------------- rt_stk_check ----------------------------------*/
GordonSin 0:0ed2a7c7190c 257 #ifdef THREAD_STACK_DIAGNOSTIC
GordonSin 0:0ed2a7c7190c 258 typedef struct stack_boundaries_s {
GordonSin 0:0ed2a7c7190c 259 unsigned int top;
GordonSin 0:0ed2a7c7190c 260 unsigned int min;
GordonSin 0:0ed2a7c7190c 261 } stack_boundaries_t;
GordonSin 0:0ed2a7c7190c 262 stack_boundaries_t stack_boundaries[256];
GordonSin 0:0ed2a7c7190c 263 #endif
GordonSin 0:0ed2a7c7190c 264
GordonSin 0:0ed2a7c7190c 265 __weak void rt_stk_check (void) {
GordonSin 0:0ed2a7c7190c 266 #ifdef THREAD_STACK_DIAGNOSTIC
GordonSin 0:0ed2a7c7190c 267 stack_boundaries_t* sb = &stack_boundaries[os_tsk.run->task_id];
GordonSin 0:0ed2a7c7190c 268 if (sb->top == 0) {
GordonSin 0:0ed2a7c7190c 269 sb->top = (unsigned int)os_tsk.run->stack + os_tsk.run->priv_stack;
GordonSin 0:0ed2a7c7190c 270 }
GordonSin 0:0ed2a7c7190c 271 if ((sb->min == 0) || (sb->min < os_tsk.run->tsk_stack))
GordonSin 0:0ed2a7c7190c 272 sb->min = os_tsk.run->tsk_stack;
GordonSin 0:0ed2a7c7190c 273 #endif
GordonSin 0:0ed2a7c7190c 274 /* Check for stack overflow */
GordonSin 0:0ed2a7c7190c 275 if (os_tsk.run->task_id == 0x01) {
GordonSin 0:0ed2a7c7190c 276 // TODO: For the main thread the check should be done against the heap pointer
GordonSin 0:0ed2a7c7190c 277 } else {
GordonSin 0:0ed2a7c7190c 278 if ((os_tsk.run->tsk_stack < (U32)os_tsk.run->stack) ||
GordonSin 0:0ed2a7c7190c 279 (os_tsk.run->stack[0] != MAGIC_WORD)) {
GordonSin 0:0ed2a7c7190c 280 os_error (OS_ERR_STK_OVF);
GordonSin 0:0ed2a7c7190c 281 }
GordonSin 0:0ed2a7c7190c 282 }
GordonSin 0:0ed2a7c7190c 283 }
GordonSin 0:0ed2a7c7190c 284
GordonSin 0:0ed2a7c7190c 285 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 286 * end of file
GordonSin 0:0ed2a7c7190c 287 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 288