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_Mutex.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_MUTEX.C
GordonSin 0:0ed2a7c7190c 5 * Purpose: Implements mutex synchronization objects
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_List.h"
GordonSin 0:0ed2a7c7190c 38 #include "rt_Task.h"
GordonSin 0:0ed2a7c7190c 39 #include "rt_Mutex.h"
GordonSin 0:0ed2a7c7190c 40 #include "rt_HAL_CM.h"
GordonSin 0:0ed2a7c7190c 41
GordonSin 0:0ed2a7c7190c 42
GordonSin 0:0ed2a7c7190c 43 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 44 * Functions
GordonSin 0:0ed2a7c7190c 45 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 46
GordonSin 0:0ed2a7c7190c 47
GordonSin 0:0ed2a7c7190c 48 /*--------------------------- rt_mut_init -----------------------------------*/
GordonSin 0:0ed2a7c7190c 49
GordonSin 0:0ed2a7c7190c 50 void rt_mut_init (OS_ID mutex) {
GordonSin 0:0ed2a7c7190c 51 /* Initialize a mutex object */
GordonSin 0:0ed2a7c7190c 52 P_MUCB p_MCB = mutex;
GordonSin 0:0ed2a7c7190c 53
GordonSin 0:0ed2a7c7190c 54 p_MCB->cb_type = MUCB;
GordonSin 0:0ed2a7c7190c 55 p_MCB->prio = 0;
GordonSin 0:0ed2a7c7190c 56 p_MCB->level = 0;
GordonSin 0:0ed2a7c7190c 57 p_MCB->p_lnk = NULL;
GordonSin 0:0ed2a7c7190c 58 p_MCB->owner = NULL;
GordonSin 0:0ed2a7c7190c 59 }
GordonSin 0:0ed2a7c7190c 60
GordonSin 0:0ed2a7c7190c 61
GordonSin 0:0ed2a7c7190c 62 /*--------------------------- rt_mut_delete ---------------------------------*/
GordonSin 0:0ed2a7c7190c 63 OS_RESULT rt_mut_delete (OS_ID mutex) {
GordonSin 0:0ed2a7c7190c 64 /* Delete a mutex object */
GordonSin 0:0ed2a7c7190c 65 P_MUCB p_MCB = mutex;
GordonSin 0:0ed2a7c7190c 66 P_TCB p_TCB;
GordonSin 0:0ed2a7c7190c 67
GordonSin 0:0ed2a7c7190c 68 /* Restore owner task's priority. */
GordonSin 0:0ed2a7c7190c 69 if (p_MCB->level != 0) {
GordonSin 0:0ed2a7c7190c 70 p_MCB->owner->prio = p_MCB->prio;
GordonSin 0:0ed2a7c7190c 71 if (p_MCB->owner != os_tsk.run) {
GordonSin 0:0ed2a7c7190c 72 rt_resort_prio (p_MCB->owner);
GordonSin 0:0ed2a7c7190c 73 }
GordonSin 0:0ed2a7c7190c 74 }
GordonSin 0:0ed2a7c7190c 75
GordonSin 0:0ed2a7c7190c 76 while (p_MCB->p_lnk != NULL) {
GordonSin 0:0ed2a7c7190c 77 /* A task is waiting for mutex. */
GordonSin 0:0ed2a7c7190c 78 p_TCB = rt_get_first ((P_XCB)p_MCB);
GordonSin 0:0ed2a7c7190c 79 rt_ret_val(p_TCB, 0/*osOK*/);
GordonSin 0:0ed2a7c7190c 80 rt_rmv_dly(p_TCB);
GordonSin 0:0ed2a7c7190c 81 p_TCB->state = READY;
GordonSin 0:0ed2a7c7190c 82 rt_put_prio (&os_rdy, p_TCB);
GordonSin 0:0ed2a7c7190c 83 }
GordonSin 0:0ed2a7c7190c 84
GordonSin 0:0ed2a7c7190c 85 if (os_rdy.p_lnk && (os_rdy.p_lnk->prio > os_tsk.run->prio)) {
GordonSin 0:0ed2a7c7190c 86 /* preempt running task */
GordonSin 0:0ed2a7c7190c 87 rt_put_prio (&os_rdy, os_tsk.run);
GordonSin 0:0ed2a7c7190c 88 os_tsk.run->state = READY;
GordonSin 0:0ed2a7c7190c 89 rt_dispatch (NULL);
GordonSin 0:0ed2a7c7190c 90 }
GordonSin 0:0ed2a7c7190c 91
GordonSin 0:0ed2a7c7190c 92 p_MCB->cb_type = 0;
GordonSin 0:0ed2a7c7190c 93
GordonSin 0:0ed2a7c7190c 94 return (OS_R_OK);
GordonSin 0:0ed2a7c7190c 95 }
GordonSin 0:0ed2a7c7190c 96
GordonSin 0:0ed2a7c7190c 97 /*--------------------------- rt_mut_release --------------------------------*/
GordonSin 0:0ed2a7c7190c 98
GordonSin 0:0ed2a7c7190c 99 OS_RESULT rt_mut_release (OS_ID mutex) {
GordonSin 0:0ed2a7c7190c 100 /* Release a mutex object */
GordonSin 0:0ed2a7c7190c 101 P_MUCB p_MCB = mutex;
GordonSin 0:0ed2a7c7190c 102 P_TCB p_TCB;
GordonSin 0:0ed2a7c7190c 103
GordonSin 0:0ed2a7c7190c 104 if (p_MCB->level == 0 || p_MCB->owner != os_tsk.run) {
GordonSin 0:0ed2a7c7190c 105 /* Unbalanced mutex release or task is not the owner */
GordonSin 0:0ed2a7c7190c 106 return (OS_R_NOK);
GordonSin 0:0ed2a7c7190c 107 }
GordonSin 0:0ed2a7c7190c 108 if (--p_MCB->level != 0) {
GordonSin 0:0ed2a7c7190c 109 return (OS_R_OK);
GordonSin 0:0ed2a7c7190c 110 }
GordonSin 0:0ed2a7c7190c 111 /* Restore owner task's priority. */
GordonSin 0:0ed2a7c7190c 112 os_tsk.run->prio = p_MCB->prio;
GordonSin 0:0ed2a7c7190c 113 if (p_MCB->p_lnk != NULL) {
GordonSin 0:0ed2a7c7190c 114 /* A task is waiting for mutex. */
GordonSin 0:0ed2a7c7190c 115 p_TCB = rt_get_first ((P_XCB)p_MCB);
GordonSin 0:0ed2a7c7190c 116 rt_ret_val(p_TCB, 0/*osOK*/);
GordonSin 0:0ed2a7c7190c 117 rt_rmv_dly (p_TCB);
GordonSin 0:0ed2a7c7190c 118 /* A waiting task becomes the owner of this mutex. */
GordonSin 0:0ed2a7c7190c 119 p_MCB->level = 1;
GordonSin 0:0ed2a7c7190c 120 p_MCB->owner = p_TCB;
GordonSin 0:0ed2a7c7190c 121 p_MCB->prio = p_TCB->prio;
GordonSin 0:0ed2a7c7190c 122 /* Priority inversion, check which task continues. */
GordonSin 0:0ed2a7c7190c 123 if (os_tsk.run->prio >= rt_rdy_prio()) {
GordonSin 0:0ed2a7c7190c 124 rt_dispatch (p_TCB);
GordonSin 0:0ed2a7c7190c 125 }
GordonSin 0:0ed2a7c7190c 126 else {
GordonSin 0:0ed2a7c7190c 127 /* Ready task has higher priority than running task. */
GordonSin 0:0ed2a7c7190c 128 rt_put_prio (&os_rdy, os_tsk.run);
GordonSin 0:0ed2a7c7190c 129 rt_put_prio (&os_rdy, p_TCB);
GordonSin 0:0ed2a7c7190c 130 os_tsk.run->state = READY;
GordonSin 0:0ed2a7c7190c 131 p_TCB->state = READY;
GordonSin 0:0ed2a7c7190c 132 rt_dispatch (NULL);
GordonSin 0:0ed2a7c7190c 133 }
GordonSin 0:0ed2a7c7190c 134 }
GordonSin 0:0ed2a7c7190c 135 else {
GordonSin 0:0ed2a7c7190c 136 /* Check if own priority raised by priority inversion. */
GordonSin 0:0ed2a7c7190c 137 if (rt_rdy_prio() > os_tsk.run->prio) {
GordonSin 0:0ed2a7c7190c 138 rt_put_prio (&os_rdy, os_tsk.run);
GordonSin 0:0ed2a7c7190c 139 os_tsk.run->state = READY;
GordonSin 0:0ed2a7c7190c 140 rt_dispatch (NULL);
GordonSin 0:0ed2a7c7190c 141 }
GordonSin 0:0ed2a7c7190c 142 }
GordonSin 0:0ed2a7c7190c 143 return (OS_R_OK);
GordonSin 0:0ed2a7c7190c 144 }
GordonSin 0:0ed2a7c7190c 145
GordonSin 0:0ed2a7c7190c 146
GordonSin 0:0ed2a7c7190c 147 /*--------------------------- rt_mut_wait -----------------------------------*/
GordonSin 0:0ed2a7c7190c 148
GordonSin 0:0ed2a7c7190c 149 OS_RESULT rt_mut_wait (OS_ID mutex, U16 timeout) {
GordonSin 0:0ed2a7c7190c 150 /* Wait for a mutex, continue when mutex is free. */
GordonSin 0:0ed2a7c7190c 151 P_MUCB p_MCB = mutex;
GordonSin 0:0ed2a7c7190c 152
GordonSin 0:0ed2a7c7190c 153 if (p_MCB->level == 0) {
GordonSin 0:0ed2a7c7190c 154 p_MCB->owner = os_tsk.run;
GordonSin 0:0ed2a7c7190c 155 p_MCB->prio = os_tsk.run->prio;
GordonSin 0:0ed2a7c7190c 156 goto inc;
GordonSin 0:0ed2a7c7190c 157 }
GordonSin 0:0ed2a7c7190c 158 if (p_MCB->owner == os_tsk.run) {
GordonSin 0:0ed2a7c7190c 159 /* OK, running task is the owner of this mutex. */
GordonSin 0:0ed2a7c7190c 160 inc:p_MCB->level++;
GordonSin 0:0ed2a7c7190c 161 return (OS_R_OK);
GordonSin 0:0ed2a7c7190c 162 }
GordonSin 0:0ed2a7c7190c 163 /* Mutex owned by another task, wait until released. */
GordonSin 0:0ed2a7c7190c 164 if (timeout == 0) {
GordonSin 0:0ed2a7c7190c 165 return (OS_R_TMO);
GordonSin 0:0ed2a7c7190c 166 }
GordonSin 0:0ed2a7c7190c 167 /* Raise the owner task priority if lower than current priority. */
GordonSin 0:0ed2a7c7190c 168 /* This priority inversion is called priority inheritance. */
GordonSin 0:0ed2a7c7190c 169 if (p_MCB->prio < os_tsk.run->prio) {
GordonSin 0:0ed2a7c7190c 170 p_MCB->owner->prio = os_tsk.run->prio;
GordonSin 0:0ed2a7c7190c 171 rt_resort_prio (p_MCB->owner);
GordonSin 0:0ed2a7c7190c 172 }
GordonSin 0:0ed2a7c7190c 173 if (p_MCB->p_lnk != NULL) {
GordonSin 0:0ed2a7c7190c 174 rt_put_prio ((P_XCB)p_MCB, os_tsk.run);
GordonSin 0:0ed2a7c7190c 175 }
GordonSin 0:0ed2a7c7190c 176 else {
GordonSin 0:0ed2a7c7190c 177 p_MCB->p_lnk = os_tsk.run;
GordonSin 0:0ed2a7c7190c 178 os_tsk.run->p_lnk = NULL;
GordonSin 0:0ed2a7c7190c 179 os_tsk.run->p_rlnk = (P_TCB)p_MCB;
GordonSin 0:0ed2a7c7190c 180 }
GordonSin 0:0ed2a7c7190c 181 rt_block(timeout, WAIT_MUT);
GordonSin 0:0ed2a7c7190c 182 return (OS_R_TMO);
GordonSin 0:0ed2a7c7190c 183 }
GordonSin 0:0ed2a7c7190c 184
GordonSin 0:0ed2a7c7190c 185
GordonSin 0:0ed2a7c7190c 186 /*----------------------------------------------------------------------------
GordonSin 0:0ed2a7c7190c 187 * end of file
GordonSin 0:0ed2a7c7190c 188 *---------------------------------------------------------------------------*/
GordonSin 0:0ed2a7c7190c 189