Arlindo Montagnoli / Mbed 2 deprecated ProjetoBB

ProjetoBB

Dependencies:   F7_Ethernet WebSocketClient mbed mcp3008

Fork of Nucleo_F746ZG_Ethernet by Dieter Graef

mbed-rtos/rtx/TARGET_CORTEX_A/rt_Semaphore.c@0:f9b6112278fe, 2016-06-18 (annotated)

Committer:
DieterGraef
Date:
Sat Jun 18 10:49:12 2016 +0000
Revision:
0:f9b6112278fe
Ethernet for the NUCLEO STM32F746 Board Testprogram uses DHCP and NTP to set the clock

Who changed what in which revision?

UserRevisionLine numberNew contents of line
DieterGraef 0:f9b6112278fe 1 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 2 * RL-ARM - RTX
DieterGraef 0:f9b6112278fe 3 *----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 4 * Name: RT_SEMAPHORE.C
DieterGraef 0:f9b6112278fe 5 * Purpose: Implements binary and counting semaphores
DieterGraef 0:f9b6112278fe 6 * Rev.: V4.70
DieterGraef 0:f9b6112278fe 7 *----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 8 *
DieterGraef 0:f9b6112278fe 9 * Copyright (c) 1999-2009 KEIL, 2009-2013 ARM Germany GmbH
DieterGraef 0:f9b6112278fe 10 * All rights reserved.
DieterGraef 0:f9b6112278fe 11 * Redistribution and use in source and binary forms, with or without
DieterGraef 0:f9b6112278fe 12 * modification, are permitted provided that the following conditions are met:
DieterGraef 0:f9b6112278fe 13 * - Redistributions of source code must retain the above copyright
DieterGraef 0:f9b6112278fe 14 * notice, this list of conditions and the following disclaimer.
DieterGraef 0:f9b6112278fe 15 * - Redistributions in binary form must reproduce the above copyright
DieterGraef 0:f9b6112278fe 16 * notice, this list of conditions and the following disclaimer in the
DieterGraef 0:f9b6112278fe 17 * documentation and/or other materials provided with the distribution.
DieterGraef 0:f9b6112278fe 18 * - Neither the name of ARM nor the names of its contributors may be used
DieterGraef 0:f9b6112278fe 19 * to endorse or promote products derived from this software without
DieterGraef 0:f9b6112278fe 20 * specific prior written permission.
DieterGraef 0:f9b6112278fe 21 *
DieterGraef 0:f9b6112278fe 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
DieterGraef 0:f9b6112278fe 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
DieterGraef 0:f9b6112278fe 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
DieterGraef 0:f9b6112278fe 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
DieterGraef 0:f9b6112278fe 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
DieterGraef 0:f9b6112278fe 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
DieterGraef 0:f9b6112278fe 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
DieterGraef 0:f9b6112278fe 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
DieterGraef 0:f9b6112278fe 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
DieterGraef 0:f9b6112278fe 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
DieterGraef 0:f9b6112278fe 32 * POSSIBILITY OF SUCH DAMAGE.
DieterGraef 0:f9b6112278fe 33 *---------------------------------------------------------------------------*/
DieterGraef 0:f9b6112278fe 34
DieterGraef 0:f9b6112278fe 35 #include "rt_TypeDef.h"
DieterGraef 0:f9b6112278fe 36 #include "RTX_Config.h"
DieterGraef 0:f9b6112278fe 37 #include "rt_System.h"
DieterGraef 0:f9b6112278fe 38 #include "rt_List.h"
DieterGraef 0:f9b6112278fe 39 #include "rt_Task.h"
DieterGraef 0:f9b6112278fe 40 #include "rt_Semaphore.h"
DieterGraef 0:f9b6112278fe 41 #ifdef __CORTEX_A9
DieterGraef 0:f9b6112278fe 42 #include "rt_HAL_CA.h"
DieterGraef 0:f9b6112278fe 43 #else
DieterGraef 0:f9b6112278fe 44 #include "rt_HAL_CM.h"
DieterGraef 0:f9b6112278fe 45 #endif
DieterGraef 0:f9b6112278fe 46
DieterGraef 0:f9b6112278fe 47
DieterGraef 0:f9b6112278fe 48 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 49 * Functions
DieterGraef 0:f9b6112278fe 50 *---------------------------------------------------------------------------*/
DieterGraef 0:f9b6112278fe 51
DieterGraef 0:f9b6112278fe 52
DieterGraef 0:f9b6112278fe 53 /*--------------------------- rt_sem_init -----------------------------------*/
DieterGraef 0:f9b6112278fe 54
DieterGraef 0:f9b6112278fe 55 void rt_sem_init (OS_ID semaphore, U16 token_count) {
DieterGraef 0:f9b6112278fe 56 /* Initialize a semaphore */
DieterGraef 0:f9b6112278fe 57 P_SCB p_SCB = semaphore;
DieterGraef 0:f9b6112278fe 58
DieterGraef 0:f9b6112278fe 59 p_SCB->cb_type = SCB;
DieterGraef 0:f9b6112278fe 60 p_SCB->p_lnk = NULL;
DieterGraef 0:f9b6112278fe 61 p_SCB->tokens = token_count;
DieterGraef 0:f9b6112278fe 62 }
DieterGraef 0:f9b6112278fe 63
DieterGraef 0:f9b6112278fe 64
DieterGraef 0:f9b6112278fe 65 /*--------------------------- rt_sem_delete ---------------------------------*/
DieterGraef 0:f9b6112278fe 66
DieterGraef 0:f9b6112278fe 67 #ifdef __CMSIS_RTOS
DieterGraef 0:f9b6112278fe 68 OS_RESULT rt_sem_delete (OS_ID semaphore) {
DieterGraef 0:f9b6112278fe 69 /* Delete semaphore */
DieterGraef 0:f9b6112278fe 70 P_SCB p_SCB = semaphore;
DieterGraef 0:f9b6112278fe 71 P_TCB p_TCB;
DieterGraef 0:f9b6112278fe 72
DieterGraef 0:f9b6112278fe 73 __DMB();
DieterGraef 0:f9b6112278fe 74 while (p_SCB->p_lnk != NULL) {
DieterGraef 0:f9b6112278fe 75 /* A task is waiting for token */
DieterGraef 0:f9b6112278fe 76 p_TCB = rt_get_first ((P_XCB)p_SCB);
DieterGraef 0:f9b6112278fe 77 rt_ret_val(p_TCB, 0);
DieterGraef 0:f9b6112278fe 78 rt_rmv_dly(p_TCB);
DieterGraef 0:f9b6112278fe 79 p_TCB->state = READY;
DieterGraef 0:f9b6112278fe 80 rt_put_prio (&os_rdy, p_TCB);
DieterGraef 0:f9b6112278fe 81 }
DieterGraef 0:f9b6112278fe 82
DieterGraef 0:f9b6112278fe 83 if (os_rdy.p_lnk && (os_rdy.p_lnk->prio > os_tsk.run->prio)) {
DieterGraef 0:f9b6112278fe 84 /* preempt running task */
DieterGraef 0:f9b6112278fe 85 rt_put_prio (&os_rdy, os_tsk.run);
DieterGraef 0:f9b6112278fe 86 os_tsk.run->state = READY;
DieterGraef 0:f9b6112278fe 87 rt_dispatch (NULL);
DieterGraef 0:f9b6112278fe 88 }
DieterGraef 0:f9b6112278fe 89
DieterGraef 0:f9b6112278fe 90 p_SCB->cb_type = 0;
DieterGraef 0:f9b6112278fe 91
DieterGraef 0:f9b6112278fe 92 return (OS_R_OK);
DieterGraef 0:f9b6112278fe 93 }
DieterGraef 0:f9b6112278fe 94 #endif
DieterGraef 0:f9b6112278fe 95
DieterGraef 0:f9b6112278fe 96
DieterGraef 0:f9b6112278fe 97 /*--------------------------- rt_sem_send -----------------------------------*/
DieterGraef 0:f9b6112278fe 98
DieterGraef 0:f9b6112278fe 99 OS_RESULT rt_sem_send (OS_ID semaphore) {
DieterGraef 0:f9b6112278fe 100 /* Return a token to semaphore */
DieterGraef 0:f9b6112278fe 101 P_SCB p_SCB = semaphore;
DieterGraef 0:f9b6112278fe 102 P_TCB p_TCB;
DieterGraef 0:f9b6112278fe 103
DieterGraef 0:f9b6112278fe 104 __DMB();
DieterGraef 0:f9b6112278fe 105 if (p_SCB->p_lnk != NULL) {
DieterGraef 0:f9b6112278fe 106 /* A task is waiting for token */
DieterGraef 0:f9b6112278fe 107 p_TCB = rt_get_first ((P_XCB)p_SCB);
DieterGraef 0:f9b6112278fe 108 #ifdef __CMSIS_RTOS
DieterGraef 0:f9b6112278fe 109 rt_ret_val(p_TCB, 1);
DieterGraef 0:f9b6112278fe 110 #else
DieterGraef 0:f9b6112278fe 111 rt_ret_val(p_TCB, OS_R_SEM);
DieterGraef 0:f9b6112278fe 112 #endif
DieterGraef 0:f9b6112278fe 113 rt_rmv_dly (p_TCB);
DieterGraef 0:f9b6112278fe 114 rt_dispatch (p_TCB);
DieterGraef 0:f9b6112278fe 115 }
DieterGraef 0:f9b6112278fe 116 else {
DieterGraef 0:f9b6112278fe 117 /* Store token. */
DieterGraef 0:f9b6112278fe 118 p_SCB->tokens++;
DieterGraef 0:f9b6112278fe 119 }
DieterGraef 0:f9b6112278fe 120 return (OS_R_OK);
DieterGraef 0:f9b6112278fe 121 }
DieterGraef 0:f9b6112278fe 122
DieterGraef 0:f9b6112278fe 123
DieterGraef 0:f9b6112278fe 124 /*--------------------------- rt_sem_wait -----------------------------------*/
DieterGraef 0:f9b6112278fe 125
DieterGraef 0:f9b6112278fe 126 OS_RESULT rt_sem_wait (OS_ID semaphore, U16 timeout) {
DieterGraef 0:f9b6112278fe 127 /* Obtain a token; possibly wait for it */
DieterGraef 0:f9b6112278fe 128 P_SCB p_SCB = semaphore;
DieterGraef 0:f9b6112278fe 129
DieterGraef 0:f9b6112278fe 130 if (p_SCB->tokens) {
DieterGraef 0:f9b6112278fe 131 p_SCB->tokens--;
DieterGraef 0:f9b6112278fe 132 __DMB();
DieterGraef 0:f9b6112278fe 133 return (OS_R_OK);
DieterGraef 0:f9b6112278fe 134 }
DieterGraef 0:f9b6112278fe 135 /* No token available: wait for one */
DieterGraef 0:f9b6112278fe 136 if (timeout == 0) {
DieterGraef 0:f9b6112278fe 137 return (OS_R_TMO);
DieterGraef 0:f9b6112278fe 138 }
DieterGraef 0:f9b6112278fe 139 if (p_SCB->p_lnk != NULL) {
DieterGraef 0:f9b6112278fe 140 rt_put_prio ((P_XCB)p_SCB, os_tsk.run);
DieterGraef 0:f9b6112278fe 141 }
DieterGraef 0:f9b6112278fe 142 else {
DieterGraef 0:f9b6112278fe 143 p_SCB->p_lnk = os_tsk.run;
DieterGraef 0:f9b6112278fe 144 os_tsk.run->p_lnk = NULL;
DieterGraef 0:f9b6112278fe 145 os_tsk.run->p_rlnk = (P_TCB)p_SCB;
DieterGraef 0:f9b6112278fe 146 }
DieterGraef 0:f9b6112278fe 147 rt_block(timeout, WAIT_SEM);
DieterGraef 0:f9b6112278fe 148 return (OS_R_TMO);
DieterGraef 0:f9b6112278fe 149 }
DieterGraef 0:f9b6112278fe 150
DieterGraef 0:f9b6112278fe 151
DieterGraef 0:f9b6112278fe 152 /*--------------------------- isr_sem_send ----------------------------------*/
DieterGraef 0:f9b6112278fe 153
DieterGraef 0:f9b6112278fe 154 void isr_sem_send (OS_ID semaphore) {
DieterGraef 0:f9b6112278fe 155 /* Same function as "os_sem_send", but to be called by ISRs */
DieterGraef 0:f9b6112278fe 156 P_SCB p_SCB = semaphore;
DieterGraef 0:f9b6112278fe 157
DieterGraef 0:f9b6112278fe 158 rt_psq_enq (p_SCB, 0);
DieterGraef 0:f9b6112278fe 159 rt_psh_req ();
DieterGraef 0:f9b6112278fe 160 }
DieterGraef 0:f9b6112278fe 161
DieterGraef 0:f9b6112278fe 162
DieterGraef 0:f9b6112278fe 163 /*--------------------------- rt_sem_psh ------------------------------------*/
DieterGraef 0:f9b6112278fe 164
DieterGraef 0:f9b6112278fe 165 void rt_sem_psh (P_SCB p_CB) {
DieterGraef 0:f9b6112278fe 166 /* Check if task has to be waken up */
DieterGraef 0:f9b6112278fe 167 P_TCB p_TCB;
DieterGraef 0:f9b6112278fe 168
DieterGraef 0:f9b6112278fe 169 __DMB();
DieterGraef 0:f9b6112278fe 170 if (p_CB->p_lnk != NULL) {
DieterGraef 0:f9b6112278fe 171 /* A task is waiting for token */
DieterGraef 0:f9b6112278fe 172 p_TCB = rt_get_first ((P_XCB)p_CB);
DieterGraef 0:f9b6112278fe 173 rt_rmv_dly (p_TCB);
DieterGraef 0:f9b6112278fe 174 p_TCB->state = READY;
DieterGraef 0:f9b6112278fe 175 #ifdef __CMSIS_RTOS
DieterGraef 0:f9b6112278fe 176 rt_ret_val(p_TCB, 1);
DieterGraef 0:f9b6112278fe 177 #else
DieterGraef 0:f9b6112278fe 178 rt_ret_val(p_TCB, OS_R_SEM);
DieterGraef 0:f9b6112278fe 179 #endif
DieterGraef 0:f9b6112278fe 180 rt_put_prio (&os_rdy, p_TCB);
DieterGraef 0:f9b6112278fe 181 }
DieterGraef 0:f9b6112278fe 182 else {
DieterGraef 0:f9b6112278fe 183 /* Store token */
DieterGraef 0:f9b6112278fe 184 p_CB->tokens++;
DieterGraef 0:f9b6112278fe 185 }
DieterGraef 0:f9b6112278fe 186 }
DieterGraef 0:f9b6112278fe 187
DieterGraef 0:f9b6112278fe 188 /*----------------------------------------------------------------------------
DieterGraef 0:f9b6112278fe 189 * end of file
DieterGraef 0:f9b6112278fe 190 *---------------------------------------------------------------------------*/
DieterGraef 0:f9b6112278fe 191