[172] | 1 | /*
|
---|
| 2 | * TOPPERS ATK2
|
---|
| 3 | * Toyohashi Open Platform for Embedded Real-Time Systems
|
---|
| 4 | * Automotive Kernel Version 2
|
---|
| 5 | *
|
---|
| 6 | * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
|
---|
| 7 | * Toyohashi Univ. of Technology, JAPAN
|
---|
| 8 | * Copyright (C) 2004-2015 by Center for Embedded Computing Systems
|
---|
| 9 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
| 10 | * Copyright (C) 2011-2015 by FUJI SOFT INCORPORATED, JAPAN
|
---|
| 11 | * Copyright (C) 2011-2013 by Spansion LLC, USA
|
---|
| 12 | * Copyright (C) 2011-2015 by NEC Communication Systems, Ltd., JAPAN
|
---|
| 13 | * Copyright (C) 2011-2015 by Panasonic Advanced Technology Development Co., Ltd., JAPAN
|
---|
| 14 | * Copyright (C) 2011-2014 by Renesas Electronics Corporation, JAPAN
|
---|
| 15 | * Copyright (C) 2011-2015 by Sunny Giken Inc., JAPAN
|
---|
| 16 | * Copyright (C) 2011-2015 by TOSHIBA CORPORATION, JAPAN
|
---|
| 17 | * Copyright (C) 2011-2015 by Witz Corporation
|
---|
| 18 | * Copyright (C) 2014-2015 by AISIN COMCRUISE Co., Ltd., JAPAN
|
---|
| 19 | * Copyright (C) 2014-2015 by eSOL Co.,Ltd., JAPAN
|
---|
| 20 | * Copyright (C) 2014-2015 by SCSK Corporation, JAPAN
|
---|
| 21 | * Copyright (C) 2015 by SUZUKI MOTOR CORPORATION
|
---|
| 22 | *
|
---|
| 23 | * ä¸è¨èä½æ¨©è
|
---|
| 24 | ã¯ï¼ä»¥ä¸ã®(1)ã(4)ã®æ¡ä»¶ãæºããå ´åã«éãï¼æ¬ã½ããã¦ã§
|
---|
| 25 | * ã¢ï¼æ¬ã½ããã¦ã§ã¢ãæ¹å¤ãããã®ãå«ãï¼ä»¥ä¸åãï¼ã使ç¨ã»è¤è£½ã»æ¹
|
---|
| 26 | * å¤ã»åé
|
---|
| 27 | å¸ï¼ä»¥ä¸ï¼å©ç¨ã¨å¼ã¶ï¼ãããã¨ãç¡åã§è¨±è«¾ããï¼
|
---|
| 28 | * (1) æ¬ã½ããã¦ã§ã¢ãã½ã¼ã¹ã³ã¼ãã®å½¢ã§å©ç¨ããå ´åã«ã¯ï¼ä¸è¨ã®èä½
|
---|
| 29 | * 権表示ï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãï¼ãã®ã¾ã¾ã®å½¢ã§ã½ã¼
|
---|
| 30 | * ã¹ã³ã¼ãä¸ã«å«ã¾ãã¦ãããã¨ï¼
|
---|
| 31 | * (2) æ¬ã½ããã¦ã§ã¢ãï¼ã©ã¤ãã©ãªå½¢å¼ãªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
|
---|
| 32 | * ç¨ã§ããå½¢ã§åé
|
---|
| 33 | å¸ããå ´åã«ã¯ï¼åé
|
---|
| 34 | å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨
|
---|
| 35 | * è
|
---|
| 36 | ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®èä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨
|
---|
| 37 | * ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
|
---|
| 38 | * (3) æ¬ã½ããã¦ã§ã¢ãï¼æ©å¨ã«çµã¿è¾¼ããªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
|
---|
| 39 | * ç¨ã§ããªãå½¢ã§åé
|
---|
| 40 | å¸ããå ´åã«ã¯ï¼æ¬¡ã®ããããã®æ¡ä»¶ãæºããã
|
---|
| 41 | * ã¨ï¼
|
---|
| 42 | * (a) åé
|
---|
| 43 | å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨è
|
---|
| 44 | ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®è
|
---|
| 45 | * ä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
|
---|
| 46 | * (b) åé
|
---|
| 47 | å¸ã®å½¢æ
|
---|
| 48 | ãï¼å¥ã«å®ããæ¹æ³ã«ãã£ã¦ï¼TOPPERSããã¸ã§ã¯ãã«
|
---|
| 49 | * å ±åãããã¨ï¼
|
---|
| 50 | * (4) æ¬ã½ããã¦ã§ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæ
|
---|
| 51 | * 害ãããï¼ä¸è¨èä½æ¨©è
|
---|
| 52 | ããã³TOPPERSããã¸ã§ã¯ããå
|
---|
| 53 | 責ãããã¨ï¼
|
---|
| 54 | * ã¾ãï¼æ¬ã½ããã¦ã§ã¢ã®ã¦ã¼ã¶ã¾ãã¯ã¨ã³ãã¦ã¼ã¶ããã®ãããªãç
|
---|
| 55 | * ç±ã«åºã¥ãè«æ±ãããï¼ä¸è¨èä½æ¨©è
|
---|
| 56 | ããã³TOPPERSããã¸ã§ã¯ãã
|
---|
| 57 | * å
|
---|
| 58 | 責ãããã¨ï¼
|
---|
| 59 | *
|
---|
| 60 | * æ¬ã½ããã¦ã§ã¢ã¯ï¼AUTOSARï¼AUTomotive Open System ARchitectureï¼ä»
|
---|
| 61 | * æ§ã«åºã¥ãã¦ããï¼ä¸è¨ã®è¨±è«¾ã¯ï¼AUTOSARã®ç¥ç財ç£æ¨©ã許諾ãããã®ã§
|
---|
| 62 | * ã¯ãªãï¼AUTOSARã¯ï¼AUTOSARä»æ§ã«åºã¥ããã½ããã¦ã§ã¢ãåç¨ç®çã§å©
|
---|
| 63 | * ç¨ããè
|
---|
| 64 | ã«å¯¾ãã¦ï¼AUTOSARãã¼ããã¼ã«ãªããã¨ãæ±ãã¦ããï¼
|
---|
| 65 | *
|
---|
| 66 | * æ¬ã½ããã¦ã§ã¢ã¯ï¼ç¡ä¿è¨¼ã§æä¾ããã¦ãããã®ã§ããï¼ä¸è¨èä½æ¨©è
|
---|
| 67 | ã
|
---|
| 68 | * ãã³TOPPERSããã¸ã§ã¯ãã¯ï¼æ¬ã½ããã¦ã§ã¢ã«é¢ãã¦ï¼ç¹å®ã®ä½¿ç¨ç®ç
|
---|
| 69 | * ã«å¯¾ããé©åæ§ãå«ãã¦ï¼ãããªãä¿è¨¼ãè¡ããªãï¼ã¾ãï¼æ¬ã½ããã¦ã§
|
---|
| 70 | * ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæ害ã«é¢ãã¦ãï¼ã
|
---|
| 71 | * ã®è²¬ä»»ãè² ããªãï¼
|
---|
| 72 | *
|
---|
| 73 | * $Id: memory.c 425 2015-12-07 08:06:19Z witz-itoyo $
|
---|
| 74 | */
|
---|
| 75 |
|
---|
| 76 | #include "kernel_impl.h"
|
---|
| 77 | #include "check.h"
|
---|
| 78 | #include "task.h"
|
---|
| 79 | #include "interrupt.h"
|
---|
| 80 | #include "memory.h"
|
---|
| 81 |
|
---|
| 82 | /*
|
---|
| 83 | * ã¡ã¢ãªãªãã¸ã§ã¯ã管çã¢ã¸ã¥ã¼ã«
|
---|
| 84 | */
|
---|
| 85 |
|
---|
| 86 | /*
|
---|
| 87 | * ãã¬ã¼ã¹ãã¯ãã®ããã©ã«ãå®ç¾©
|
---|
| 88 | */
|
---|
| 89 |
|
---|
| 90 | #ifndef LOG_CHKISRMEMACS_ENTER
|
---|
| 91 | #define LOG_CHKISRMEMACS_ENTER(ISRID, Address, Size)
|
---|
| 92 | #endif /* LOG_CHKISRMEMACS_ENTER */
|
---|
| 93 |
|
---|
| 94 | #ifndef LOG_CHKISRMEMACS_LEAVE
|
---|
| 95 | #define LOG_CHKISRMEMACS_LEAVE(ercd)
|
---|
| 96 | #endif /* LOG_CHKISRMEMACS_LEAVE */
|
---|
| 97 |
|
---|
| 98 | #ifndef LOG_CHKTSKMEMACS_ENTER
|
---|
| 99 | #define LOG_CHKTSKMEMACS_ENTER(TaskID, Address, Size)
|
---|
| 100 | #endif /* LOG_CHKTSKMEMACS_ENTER */
|
---|
| 101 |
|
---|
| 102 | #ifndef LOG_CHKTSKMEMACS_LEAVE
|
---|
| 103 | #define LOG_CHKTSKMEMACS_LEAVE(ercd)
|
---|
| 104 | #endif /* LOG_CHKTSKMEMACS_LEAVE */
|
---|
| 105 |
|
---|
| 106 |
|
---|
| 107 | /*
|
---|
| 108 | * å
|
---|
| 109 | é¨é¢æ°ã®ãããã¿ã¤ã宣è¨
|
---|
| 110 | */
|
---|
| 111 | #ifndef USE_TSKINICTXB
|
---|
| 112 |
|
---|
| 113 | LOCAL_INLINE AccessType check_address_sstack(const MemoryStartAddressType base, MemorySizeType size, const TINIB *p_tinib);
|
---|
| 114 | LOCAL_INLINE AccessType check_address_ustack(const MemoryStartAddressType base, MemorySizeType size, const TINIB *p_tinib);
|
---|
| 115 |
|
---|
| 116 | #endif /* USE_TSKINICTXB */
|
---|
| 117 |
|
---|
| 118 | /*
|
---|
| 119 | * ã¿ã¹ã¯ã¡ã¢ãªã¢ã¯ã»ã¹ãã§ãã¯ã·ã¹ãã ãµã¼ãã¹
|
---|
| 120 | * æå®ããã ã¿ã¹ã¯ ã® æå®ãããã¡ã¢ãªé åã®ã¢ã¯ã»ã¹æ¨©ããã§ãã¯ãã
|
---|
| 121 | */
|
---|
| 122 | #ifdef TOPPERS_CheckTaskMemoryAccess
|
---|
| 123 |
|
---|
| 124 | AccessType
|
---|
| 125 | CheckTaskMemoryAccess(TaskType TaskID, MemoryStartAddressType Address, MemorySizeType Size)
|
---|
| 126 | {
|
---|
| 127 | AccessType access;
|
---|
| 128 | StatusType ercd;
|
---|
| 129 | TCB *p_tcb;
|
---|
| 130 | boolean over_region;
|
---|
| 131 |
|
---|
| 132 | LOG_CHKTSKMEMACS_ENTER(TaskID, Address, Size);
|
---|
| 133 |
|
---|
| 134 | CHECK_DISABLEDINT();
|
---|
| 135 | CHECK_CALLEVEL(CALLEVEL_CHECKTASKMEMORYACCESS);
|
---|
| 136 | CHECK_ID(TaskID < tnum_task);
|
---|
| 137 | CHECK_VALUE(Size > 0U);
|
---|
| 138 |
|
---|
| 139 | p_tcb = get_tcb(TaskID);
|
---|
| 140 |
|
---|
| 141 | access = check_task_memory(p_tcb, Address, Size, &over_region);
|
---|
| 142 | CHECK_ILLEGAL_ADDRESS(over_region == FALSE);
|
---|
| 143 |
|
---|
| 144 | exit_finish:
|
---|
| 145 | LOG_CHKTSKMEMACS_LEAVE(access);
|
---|
| 146 | return(access);
|
---|
| 147 |
|
---|
| 148 | #ifdef CFG_USE_ERRORHOOK
|
---|
| 149 | exit_errorhook:
|
---|
| 150 | x_nested_lock_os_int();
|
---|
| 151 | #ifdef CFG_USE_PARAMETERACCESS
|
---|
| 152 | _errorhook_par1.tskid = TaskID;
|
---|
| 153 | _errorhook_par2.adr = Address;
|
---|
| 154 | _errorhook_par3.sz = Size;
|
---|
| 155 | #endif /* CFG_USE_PARAMETERACCESS */
|
---|
| 156 | call_errorhook(ercd, OSServiceId_CheckTaskMemoryAccess);
|
---|
| 157 | x_nested_unlock_os_int();
|
---|
| 158 | #endif /* CFG_USE_ERRORHOOK */
|
---|
| 159 |
|
---|
| 160 | exit_no_errorhook:
|
---|
| 161 | access = AP_NoAccess;
|
---|
| 162 | goto exit_finish;
|
---|
| 163 | }
|
---|
| 164 |
|
---|
| 165 | #endif /* TOPPERS_CheckTaskMemoryAccess */
|
---|
| 166 |
|
---|
| 167 | /*
|
---|
| 168 | * ISRã¡ã¢ãªã¢ã¯ã»ã¹ãã§ãã¯ã·ã¹ãã ãµã¼ãã¹
|
---|
| 169 | * æå®ããã ISR ã® æå®ãããã¡ã¢ãªé åã®ã¢ã¯ã»ã¹æ¨©ããã§ãã¯ãã
|
---|
| 170 | */
|
---|
| 171 | #ifdef TOPPERS_CheckISRMemoryAccess
|
---|
| 172 |
|
---|
| 173 | AccessType
|
---|
| 174 | CheckISRMemoryAccess(ISRType ISRID, MemoryStartAddressType Address, MemorySizeType Size)
|
---|
| 175 | {
|
---|
| 176 | AccessType access;
|
---|
| 177 | StatusType ercd;
|
---|
| 178 | ISRCB *p_isrcb;
|
---|
| 179 | boolean over_region;
|
---|
| 180 |
|
---|
| 181 | LOG_CHKISRMEMACS_ENTER(ISRID, Address, Size);
|
---|
| 182 |
|
---|
| 183 | CHECK_DISABLEDINT();
|
---|
| 184 | CHECK_CALLEVEL(CALLEVEL_CHECKISRMEMORYACCESS);
|
---|
| 185 | CHECK_ID(ISRID < tnum_isr2);
|
---|
| 186 | CHECK_VALUE(Size > 0U);
|
---|
| 187 |
|
---|
| 188 | p_isrcb = get_isrcb(ISRID);
|
---|
| 189 |
|
---|
| 190 | access = check_isr_memory(p_isrcb, Address, Size, &over_region);
|
---|
| 191 | CHECK_ILLEGAL_ADDRESS(over_region == FALSE);
|
---|
| 192 |
|
---|
| 193 | exit_finish:
|
---|
| 194 | LOG_CHKISRMEMACS_LEAVE(access);
|
---|
| 195 | return(access);
|
---|
| 196 |
|
---|
| 197 | #ifdef CFG_USE_ERRORHOOK
|
---|
| 198 | exit_errorhook:
|
---|
| 199 | x_nested_lock_os_int();
|
---|
| 200 | #ifdef CFG_USE_PARAMETERACCESS
|
---|
| 201 | _errorhook_par1.isrid = ISRID;
|
---|
| 202 | _errorhook_par2.adr = Address;
|
---|
| 203 | _errorhook_par3.sz = Size;
|
---|
| 204 | #endif /* CFG_USE_PARAMETERACCESS */
|
---|
| 205 | call_errorhook(ercd, OSServiceId_CheckISRMemoryAccess);
|
---|
| 206 | x_nested_unlock_os_int();
|
---|
| 207 | #endif /* CFG_USE_ERRORHOOK */
|
---|
| 208 |
|
---|
| 209 | exit_no_errorhook:
|
---|
| 210 | access = AP_NoAccess;
|
---|
| 211 | goto exit_finish;
|
---|
| 212 | }
|
---|
| 213 |
|
---|
| 214 | #endif /* TOPPERS_CheckISRMemoryAccess */
|
---|
| 215 |
|
---|
| 216 | /*
|
---|
| 217 | * ã¡ã¢ãªã¢ã¯ã»ã¹ãã§ãã¯é¢æ°
|
---|
| 218 | */
|
---|
| 219 |
|
---|
| 220 | /*
|
---|
| 221 | * ã¹ã¿ãã¯ã¢ã¯ã»ã¹ãã§ãã¯æ¬ä½
|
---|
| 222 | */
|
---|
| 223 | #ifdef TOPPERS_check_address_stack
|
---|
| 224 |
|
---|
| 225 | AccessType
|
---|
| 226 | check_address_stack(const MemoryStartAddressType base, MemorySizeType size, const MemoryStartAddressType mobase, MemorySizeType mosize)
|
---|
| 227 | {
|
---|
| 228 | AccessType result;
|
---|
| 229 | if (within_memobj(base, size, mobase, mosize) != FALSE) {
|
---|
| 230 | result = AP_Readable | AP_Writable | AP_StackSpace;
|
---|
| 231 | }
|
---|
| 232 | else {
|
---|
| 233 | result = NO_ACCESS;
|
---|
| 234 | }
|
---|
| 235 | return(result);
|
---|
| 236 | }
|
---|
| 237 |
|
---|
| 238 | #endif /* TOPPERS_check_address_stack */
|
---|
| 239 |
|
---|
| 240 | #ifndef USE_TSKINICTXB
|
---|
| 241 |
|
---|
| 242 | LOCAL_INLINE AccessType
|
---|
| 243 | check_address_sstack(const MemoryStartAddressType base, MemorySizeType size, const TINIB *p_tinib)
|
---|
| 244 | {
|
---|
| 245 | return(check_address_stack(base, size, p_tinib->sstk, p_tinib->sstksz));
|
---|
| 246 | }
|
---|
| 247 |
|
---|
| 248 | LOCAL_INLINE AccessType
|
---|
| 249 | check_address_ustack(const MemoryStartAddressType base, MemorySizeType size, const TINIB *p_tinib)
|
---|
| 250 | {
|
---|
| 251 | return(check_address_stack(base, size, p_tinib->ustk, p_tinib->ustksz));
|
---|
| 252 | }
|
---|
| 253 |
|
---|
| 254 | #endif /* USE_TSKINICTXB */
|
---|
| 255 |
|
---|
| 256 |
|
---|
| 257 | #ifndef OMIT_STANDARD_MEMINIB
|
---|
| 258 | /*
|
---|
| 259 | * ã¡ã¢ãªãªãã¸ã§ã¯ãåæåãããã¯ã®æ¤ç´¢
|
---|
| 260 | */
|
---|
| 261 | #ifdef TOPPERS_search_meminib
|
---|
| 262 |
|
---|
| 263 | uint32
|
---|
| 264 | search_meminib(MemoryStartAddressType addr)
|
---|
| 265 | {
|
---|
| 266 | uint32 left, right, i;
|
---|
| 267 |
|
---|
| 268 | left = 0U;
|
---|
| 269 | right = tnum_meminib - 1U;
|
---|
| 270 | while (left < right) {
|
---|
| 271 | i = (left + right + 1U) / 2U;
|
---|
| 272 | if (addr < (MemoryStartAddressType const) memtop_table[i]) {
|
---|
| 273 | right = i - 1U;
|
---|
| 274 | }
|
---|
| 275 | else {
|
---|
| 276 | left = i;
|
---|
| 277 | }
|
---|
| 278 | }
|
---|
| 279 | return(left);
|
---|
| 280 | }
|
---|
| 281 |
|
---|
| 282 | #endif /* TOPPERS_search_meminib */
|
---|
| 283 | /*
|
---|
| 284 | * ã¡ã¢ãªã¢ã¯ã»ã¹ãã§ãã¯
|
---|
| 285 | * ã¡ã¢ãªãããã¯ã·ã§ã³åä½(OSã¢ããªã±ã¼ã·ã§ã³) ã§ã®ãã§ãã¯ãè¡ã
|
---|
| 286 | *
|
---|
| 287 | * ä¿¡é ¼OSã¢ããªã±ã¼ã·ã§ã³ã®å ´åã¯ï¼ããã¯ã°ã©ã¦ã³ãããã§ãã¯ãã
|
---|
| 288 | * ç¾å®è£
|
---|
| 289 | ã§ã¯å
|
---|
| 290 | ¨é åã¢ã¯ã»ã¹å¯è½
|
---|
| 291 | * éä¿¡é ¼OSã¢ããªã±ã¼ã·ã§ã³ã®å ´åã¯ï¼ã¡ã¢ãªãªãã¸ã§ã¯ãã®å±æ§ãè¿å´ãã
|
---|
| 292 | */
|
---|
| 293 | #ifdef TOPPERS_check_osap_memory
|
---|
| 294 |
|
---|
| 295 | AccessType
|
---|
| 296 | check_osap_memory(OSAPCB *p_osapcb, const MemoryStartAddressType adr, MemorySizeType size)
|
---|
| 297 | {
|
---|
| 298 | AccessType access = AP_NoAccess;
|
---|
| 299 | const MEMINIB *p_meminib;
|
---|
| 300 | uint32 pos;
|
---|
| 301 | uint32 btptn;
|
---|
| 302 | MemoryStartAddressType sadr = adr;
|
---|
| 303 | MemoryStartAddressType eadr = (MemoryStartAddressType) ((MemorySizeType) sadr + size);
|
---|
| 304 |
|
---|
| 305 | if (p_osapcb->p_osapinib->osap_trusted != FALSE) {
|
---|
| 306 | access = probe_trusted_osap_mem(sadr, eadr);
|
---|
| 307 | }
|
---|
| 308 | else {
|
---|
| 309 |
|
---|
| 310 | pos = search_meminib(sadr);
|
---|
| 311 | p_meminib = &(meminib_table[pos]);
|
---|
| 312 | if ((pos + 1U) < tnum_meminib) {
|
---|
| 313 | if (((uint8 *) eadr - 1) < (uint8 * const) memtop_table[pos + 1U]) {
|
---|
| 314 | btptn = p_osapcb->p_osapinib->btptn;
|
---|
| 315 | access |= ((p_meminib->acptnr & btptn) != 0U) ? AP_Readable : AP_NoAccess;
|
---|
| 316 | access |= ((p_meminib->acptnw & btptn) != 0U) ? AP_Writable : AP_NoAccess;
|
---|
| 317 | access |= ((p_meminib->acptnx & btptn) != 0U) ? AP_Executable : AP_NoAccess;
|
---|
| 318 | }
|
---|
| 319 | }
|
---|
| 320 | }
|
---|
| 321 | return(access);
|
---|
| 322 | }
|
---|
| 323 |
|
---|
| 324 | #endif /* TOPPERS_check_osap_memory */
|
---|
| 325 |
|
---|
| 326 | /*
|
---|
| 327 | * ISRã¡ã¢ãªã¢ã¯ã»ã¹ãã§ãã¯ã·ã¹ãã ãµã¼ãã¹(ã«ã¼ãã«å
|
---|
| 328 | é¨ç¨)
|
---|
| 329 | */
|
---|
| 330 | #ifdef TOPPERS_check_isr_memory
|
---|
| 331 |
|
---|
| 332 | AccessType
|
---|
| 333 | check_isr_memory(ISRCB *p_isrcb, const MemoryStartAddressType adr, MemorySizeType size, boolean *over_region)
|
---|
| 334 | {
|
---|
| 335 | AccessType access = AP_NoAccess;
|
---|
| 336 | uint32 pos;
|
---|
| 337 | MemoryStartAddressType sadr = adr;
|
---|
| 338 | MemorySizeType memsize;
|
---|
| 339 |
|
---|
| 340 | pos = search_meminib(sadr);
|
---|
| 341 | memsize = (MemorySizeType) (((uint8 *) (((pos + 1U) < tnum_meminib) ?
|
---|
| 342 | ((uint8 * const) memtop_table[pos + 1U]) : 0U)) - (const uint8 *) adr);
|
---|
| 343 |
|
---|
| 344 | /* ãªã¼ã¸ã§ã³ãè·¨ã£ããå¤å® */
|
---|
| 345 | if (size > memsize) {
|
---|
| 346 | *over_region = TRUE;
|
---|
| 347 | }
|
---|
| 348 | else {
|
---|
| 349 | *over_region = FALSE;
|
---|
| 350 | access = check_address_stack(adr, size, _ostk, _ostksz);
|
---|
| 351 | }
|
---|
| 352 |
|
---|
| 353 | /* æ©è½ã¬ãã«2ã§ã¯C2ISRã¯ä¿¡é ¼ãããªãã®ã§ï¼å
|
---|
| 354 | ¨ã¢ã¯ã»ã¹å¯è½ã«ãã */
|
---|
| 355 | access |= (AP_Readable | AP_Writable | AP_Executable);
|
---|
| 356 |
|
---|
| 357 | return(access);
|
---|
| 358 | }
|
---|
| 359 |
|
---|
| 360 | #endif /* TOPPERS_check_isr_memory */
|
---|
| 361 |
|
---|
| 362 | /*
|
---|
| 363 | * ã¿ã¹ã¯ã¡ã¢ãªã¢ã¯ã»ã¹ãã§ãã¯ã·ã¹ãã ãµã¼ãã¹(ã«ã¼ãã«å
|
---|
| 364 | é¨ç¨)
|
---|
| 365 | */
|
---|
| 366 | #ifdef TOPPERS_check_task_memory
|
---|
| 367 |
|
---|
| 368 | AccessType
|
---|
| 369 | check_task_memory(const TCB *p_tcb, const MemoryStartAddressType adr, MemorySizeType size, boolean *over_region)
|
---|
| 370 | {
|
---|
| 371 | AccessType access = AP_NoAccess;
|
---|
| 372 | const MEMINIB *p_meminib;
|
---|
| 373 | uint32 pos;
|
---|
| 374 | uint32 btptn;
|
---|
| 375 | MemoryStartAddressType sadr = adr;
|
---|
| 376 | MemorySizeType memsize;
|
---|
| 377 |
|
---|
| 378 | pos = search_meminib(sadr);
|
---|
| 379 | memsize = (MemorySizeType) (((uint8 *) (((pos + 1U) < tnum_meminib) ?
|
---|
| 380 | ((uint8 * const) memtop_table[pos + 1U]) : 0U)) - (const uint8 *) adr);
|
---|
| 381 |
|
---|
| 382 | /* ãªã¼ã¸ã§ã³ãè·¨ã£ããå¤å® */
|
---|
| 383 | if (size > memsize) {
|
---|
| 384 | *over_region = TRUE;
|
---|
| 385 | }
|
---|
| 386 | else {
|
---|
| 387 | *over_region = FALSE;
|
---|
| 388 | }
|
---|
| 389 |
|
---|
| 390 | if (p_tcb->p_tinib->p_osapcb->p_osapinib->osap_trusted != FALSE) {
|
---|
| 391 | access = check_address_sstack(adr, size, p_tcb->p_tinib);
|
---|
| 392 |
|
---|
| 393 | /* ä¿¡é ¼ã¿ã¹ã¯ã®å ´åã¯å
|
---|
| 394 | ¨ã¢ã¯ã»ã¹å¯è½ */
|
---|
| 395 | access |= (AP_Readable | AP_Writable | AP_Executable);
|
---|
| 396 | }
|
---|
| 397 | else if (*over_region == FALSE) {
|
---|
| 398 | p_meminib = &(meminib_table[pos]);
|
---|
| 399 | if ((p_meminib->mematr & TOPPERS_USTACK) == 0U) {
|
---|
| 400 | btptn = p_tcb->p_tinib->p_osapcb->p_osapinib->btptn;
|
---|
| 401 | access |= ((p_meminib->acptnr & btptn) != 0U) ? AP_Readable : AP_NoAccess;
|
---|
| 402 | access |= ((p_meminib->acptnw & btptn) != 0U) ? AP_Writable : AP_NoAccess;
|
---|
| 403 | access |= ((p_meminib->acptnx & btptn) != 0U) ? AP_Executable : AP_NoAccess;
|
---|
| 404 | }
|
---|
| 405 | else {
|
---|
| 406 | access = check_address_ustack(adr, size, p_tcb->p_tinib);
|
---|
| 407 | }
|
---|
| 408 | }
|
---|
| 409 | else {
|
---|
| 410 | /* ä¸è¨ä»¥å¤ã®å ´åï¼å¦çã¯è¡ããªã(æ»ãå¤ï¼AP_NoAccess) */
|
---|
| 411 | }
|
---|
| 412 |
|
---|
| 413 | return(access);
|
---|
| 414 | }
|
---|
| 415 |
|
---|
| 416 | #endif /* TOPPERS_check_task_memory */
|
---|
| 417 | #endif /* OMIT_STANDARD_MEMINIB */
|
---|
| 418 |
|
---|
| 419 | /*
|
---|
| 420 | * ã¡ã¢ãªã¢ã¯ã»ã¹æ¨©ã®ãã§ãã¯
|
---|
| 421 | */
|
---|
| 422 | #ifdef TOPPERS_probe_memory_access
|
---|
| 423 |
|
---|
| 424 | AccessType
|
---|
| 425 | probe_memory_access(const MemoryStartAddressType base, MemorySizeType size)
|
---|
| 426 | {
|
---|
| 427 | AccessType access;
|
---|
| 428 | boolean dummy;
|
---|
| 429 | MemoryStartAddressType base_adr = base;
|
---|
| 430 |
|
---|
| 431 | if (run_trusted != FALSE) {
|
---|
| 432 | /* ç¹æ¨©ã¢ã¼ãã®å ´åã¯ï¼ããã¯ã°ã©ã¦ã³ãããã§ãã¯ãã */
|
---|
| 433 | access = probe_trusted_osap_mem(base, (MemoryStartAddressType) ((uint8 *) base_adr + size));
|
---|
| 434 | }
|
---|
| 435 | else {
|
---|
| 436 | access = check_task_memory(p_runtsk, base, size, &dummy);
|
---|
| 437 | }
|
---|
| 438 | return(access);
|
---|
| 439 | }
|
---|
| 440 |
|
---|
| 441 | #endif /* TOPPERS_probe_memory_access */
|
---|
| 442 |
|
---|
| 443 | /*
|
---|
| 444 | * ã¡ã¢ãªã¸ã®æ¸è¾¼ã¿æ¨©ã®ãã§ãã¯
|
---|
| 445 | */
|
---|
| 446 | #ifdef TOPPERS_probe_memory_read
|
---|
| 447 |
|
---|
| 448 | boolean
|
---|
| 449 | probe_memory_read(const MemoryStartAddressType base, MemorySizeType size)
|
---|
| 450 | {
|
---|
| 451 | return((probe_memory_access(base, size) & AP_Readable) == AP_Readable);
|
---|
| 452 | }
|
---|
| 453 |
|
---|
| 454 | #endif /* TOPPERS_probe_memory_read */
|
---|
| 455 |
|
---|
| 456 | /*
|
---|
| 457 | * ã¡ã¢ãªã¸ã®æ¸è¾¼ã¿æ¨©ã®ãã§ãã¯
|
---|
| 458 | */
|
---|
| 459 | #ifdef TOPPERS_probe_memory_write
|
---|
| 460 |
|
---|
| 461 | boolean
|
---|
| 462 | probe_memory_write(const MemoryStartAddressType base, MemorySizeType size)
|
---|
| 463 | {
|
---|
| 464 | return((probe_memory_access(base, size) & AP_Writable) == AP_Writable);
|
---|
| 465 | }
|
---|
| 466 |
|
---|
| 467 | #endif /* TOPPERS_probe_memory_write */
|
---|
| 468 |
|
---|
| 469 | /*
|
---|
| 470 | * ã¡ã¢ãªã«å¯¾ããèªæ¸ã権ã®ãã§ãã¯
|
---|
| 471 | */
|
---|
| 472 | #ifdef TOPPERS_probe_memory_read_write
|
---|
| 473 |
|
---|
| 474 | boolean
|
---|
| 475 | probe_memory_read_write(const MemoryStartAddressType base, MemorySizeType size)
|
---|
| 476 | {
|
---|
| 477 | return((probe_memory_access(base, size) & (AP_Readable | AP_Writable)) == (AP_Readable | AP_Writable));
|
---|
| 478 | }
|
---|
| 479 |
|
---|
| 480 | #endif /* TOPPERS_probe_memory_read_write */
|
---|
| 481 |
|
---|
| 482 | /*
|
---|
| 483 | * DATAã»ã¯ã·ã§ã³ã¨BSSã»ã¯ã·ã§ã³ã®åæå
|
---|
| 484 | */
|
---|
| 485 | #ifdef TOPPERS_initialize_sections
|
---|
| 486 | #ifndef OMIT_INITIALIZE_SECTIONS
|
---|
| 487 |
|
---|
| 488 | void
|
---|
| 489 | initialize_sections(void)
|
---|
| 490 | {
|
---|
| 491 | uint32 i;
|
---|
| 492 | uint8 *p_src, *p_dst;
|
---|
| 493 | const DATASECINIB *p_datasecinib;
|
---|
| 494 | const BSSSECINIB *p_bsssecinib;
|
---|
| 495 |
|
---|
| 496 | for (i = 0U; i < tnum_datasec; i++) {
|
---|
| 497 | p_datasecinib = &(datasecinib_table[i]);
|
---|
| 498 | p_src = (uint8 *) p_datasecinib->start_idata;
|
---|
| 499 | for (p_dst = (uint8 *) p_datasecinib->start_data;
|
---|
| 500 | ((const MemoryStartAddressType) p_dst) < (const MemoryStartAddressType) p_datasecinib->end_data; p_dst++) {
|
---|
| 501 | *p_dst = *p_src;
|
---|
| 502 | p_src++;
|
---|
| 503 | }
|
---|
| 504 | }
|
---|
| 505 | for (i = 0U; i < tnum_bsssec; i++) {
|
---|
| 506 | p_bsssecinib = &(bsssecinib_table[i]);
|
---|
| 507 | for (p_dst = (uint8 *) p_bsssecinib->start_bss;
|
---|
| 508 | ((const MemoryStartAddressType) p_dst) < (const MemoryStartAddressType) p_bsssecinib->end_bss; p_dst++) {
|
---|
| 509 | *p_dst = 0U;
|
---|
| 510 | }
|
---|
| 511 | }
|
---|
| 512 | }
|
---|
| 513 |
|
---|
| 514 | #endif /* OMIT_INITIALIZE_SECTIONS */
|
---|
| 515 | #endif /* TOPPERS_initialize_sections */
|
---|