ソースの整理中ですが、利用はできます。

Dependencies:   EthernetInterface HttpServer TextLCD mbed-rpc mbed-rtos mbed Socket lwip-eth lwip-sys lwip

Committer:
yueee_yt
Date:
Wed Mar 12 04:39:15 2014 +0000
Revision:
2:14b689a85306
Parent:
0:7766f6712673
bug fix

Who changed what in which revision?

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