реклама на сайте
подробности

 
 
> Обработка математических ошибок в ARM
cyrax0
сообщение Jan 14 2015, 14:36
Сообщение #1


Участник
*

Группа: Участник
Сообщений: 22
Регистрация: 9-12-14
Пользователь №: 84 046



Здравствуйте!
Я использую IAR EWARM 6.40 и STM32F407 (с FPU). Нужно останавливать контроллер при возникновении математических ошибок, например, при log(-1). В этом случае я получаю NaN в качестве результата, но по умолчанию никакого вызова функции или exception не происходит. Нету ли для ARM функции, аналогичной стандартной _matherr (math.h)? На других архитектурах она вызывается при следующих ошибках:

Код
    DOMAIN = 1,    /* argument domain error -- log (-1)        */
    SING,          /* argument singularity  -- pow (0,-2))     */
    OVERFLOW,      /* overflow range error  -- exp (1000)      */
    UNDERFLOW,     /* underflow range error -- exp (-1000)     */
    TLOSS,         /* total loss of significance -- sin(10e70) */
    PLOSS,         /* partial loss of signif. -- not used      */
    STACKFAULT     /* floating point unit stack overflow       */

Через FPU все эти ошибки, как я понял, тоже нельзя определить, например, регистр FPSCR Cortex-M4 среди битов исключений domain error не имеет:

Bit 7 IDC: Input denormal cumulative exception bit. Cumulative exception bit for floating-point
exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 6:5 Reserved
Bit 4 IXC: Inexact cumulative exception bit. Cumulative exception bit for floating-point exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 3 UFC: Underflow cumulative exception bit. Cumulative exception bit for floating-point exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 2 OFC: Overflow cumulative exception bit. Cumulative exception bit for floating-point exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 1 DZC: Division by zero cumulative exception bit. Cumulative exception bit for floating-point
exception. 1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 0 IOC: Invalid operation cumulative exception bit. Cumulative exception bit for floating-point
exception. 1: Indicates that the corresponding exception occurred since 0 was last written to it.


Мне даже переполнение при результате операции 0.Infinite не удалось зафиксировать в этих флагах. Может, что-то не так сделал, но вроде бы в любом случае ситуацию log(-1) ни один из этих флагов не должен определять?
Заранее спасибо.
Go to the top of the page
 
+Quote Post
 
Start new topic
Ответов
cyrax0
сообщение Jan 15 2015, 08:35
Сообщение #2


Участник
*

Группа: Участник
Сообщений: 22
Регистрация: 9-12-14
Пользователь №: 84 046



Не очень понимаю, с какой стати errno может быть вынесен в отдельную секцию. У меня стандартные секции ROM, RAM, CMMRAM. В map-файле errno, скорее всего, вот он:
__iar_Errno 0x20008bdc 0x4 Data Gb errno.o [3]
Находится в стандартной секции RAM.

Если править библиотеки, то проще уж наверное в math.h добавить проверку аргументов, чтобы не заморачиваться с MPU? С ним я еще не работал.
Go to the top of the page
 
+Quote Post
jcxz
сообщение Jan 15 2015, 10:14
Сообщение #3


Гуру
******

Группа: Свой
Сообщений: 5 228
Регистрация: 3-07-08
Из: Омск
Пользователь №: 38 713



Цитата(cyrax0 @ Jan 15 2015, 14:35) *
Не очень понимаю, с какой стати errno может быть вынесен в отдельную секцию. У меня стандартные секции ROM, RAM, CMMRAM. В map-файле errno, скорее всего, вот он:
__iar_Errno 0x20008bdc 0x4 Data Gb errno.o [3]
Находится в стандартной секции RAM.

RAM - это не секция, это одна из целевых областей линковки.
Я говорил о выходных секциях компилятора (для IAR это: .text, .bss и т.п.).
Часто бывает что в библиотеках определяют собственные имена секций, для возможности более оптимально размещать их в памяти.
Посмотрел у себя в map-файле:
Код
.bss                zero     0x40006ef8      0x8  errno.o [3]
__iar_Errno 0x40006efc 0x4 Data Gb errno.o [3]
__iar_Tls_setup___iar_Errno 0x40006ef8 0x4 Data Gb errno.o [3]

Как видно - в .bss-секцию из файла errno.o слинкованы 8 байт (две переменных: __iar_Errno и __iar_Tls_setup___iar_Errno).
Вот этот кусочек и можно перенести в отдельный регион MPU_RO_mem, который потом закрыть по записи MPU. В icf-файле:
place in MPU_RO_mem {section .bss object errno.o};
Правда косяк, что прерывание будет происходить и при модификации __iar_Tls_setup___iar_Errno если она будет случаться. Это нужно будет учесть в ISR.

Минус такого способа конечно в том, что гранулярность защиты памяти в MPU довольно большая (дискретность границ вроде около 1 кБ).
Так что потеряете на этом размер ОЗУ равный гранулярности.
Можно конечно смаппировать MPU_RO_mem на адреса, где нет ОЗУ. Но тогда (если нужно значение errno) надо будет в ISR разбирать код команды вызвавшей сбой защиты
и определять регистр-источник записываемого значения.

Цитата(cyrax0 @ Jan 15 2015, 14:35) *
Если править библиотеки, то проще уж наверное в math.h добавить проверку аргументов, чтобы не заморачиваться с MPU? С ним я еще не работал.

Зато будет польза что разобрались с ним rolleyes.gif
Go to the top of the page
 
+Quote Post

Сообщений в этой теме
- cyrax0   Обработка математических ошибок в ARM   Jan 14 2015, 14:36
- - scifi   Цитата(cyrax0 @ Jan 14 2015, 17:36) Я исп...   Jan 14 2015, 14:55
- - cyrax0   А можно поподробнее, что за errno? Отмечу еще раз,...   Jan 14 2015, 17:02
|- - scifi   Цитата(cyrax0 @ Jan 14 2015, 20:02) А мож...   Jan 14 2015, 19:17
- - _Pasha   Насколько я помню, Вам нужно переопределить хандле...   Jan 14 2015, 19:15
|- - cyrax0   ЦитатаНасколько я помню, Вам нужно переопределить ...   Jan 14 2015, 19:43
|- - jcxz   Цитата(cyrax0 @ Jan 15 2015, 01:43) Если ...   Jan 15 2015, 05:26
|- - scifi   Цитата(jcxz @ Jan 15 2015, 08:26) Через M...   Jan 15 2015, 06:57
- - Xenia   Цитата(cyrax0 @ Jan 14 2015, 20:02) А мож...   Jan 14 2015, 22:42
|- - cyrax0   Цитата(Xenia @ Jan 15 2015, 02:42) А чем ...   Jan 15 2015, 07:59
|- - jcxz   Цитата(cyrax0 @ Jan 15 2015, 13:59) Прико...   Jan 15 2015, 08:20
- - _Pasha   Собственно можно пойти далеко в обход: написать ну...   Jan 15 2015, 04:32
- - scifi   Цитата(cyrax0 @ Jan 15 2015, 10:59) У нас...   Jan 15 2015, 09:08
|- - jcxz   Цитата(scifi @ Jan 15 2015, 15:08) Не фак...   Jan 15 2015, 10:27
- - cyrax0   ЦитатаА если привлечь Си++, то можно и операторы п...   Jan 15 2015, 09:25
|- - scifi   Цитата(cyrax0 @ Jan 15 2015, 12:25) В ито...   Jan 15 2015, 10:22
|- - klen   здравствуйте. вставлю свои 5 копеек. 1. FPU вычисл...   Jan 16 2015, 07:25
- - Xenia   Господа! Вы что, с ума сошли? Переменную errn...   Jan 15 2015, 12:28
|- - scifi   Цитата(Xenia @ Jan 15 2015, 15:28) Одного...   Jan 15 2015, 13:01
||- - Xenia   Цитата(scifi @ Jan 15 2015, 16:01) Конечн...   Jan 15 2015, 13:29
||- - scifi   Цитата(Xenia @ Jan 15 2015, 16:29) Тогда ...   Jan 15 2015, 13:47
||- - cyrax0   Цитата(scifi @ Jan 15 2015, 17:47) Подозр...   Jan 15 2015, 13:53
||- - scifi   Цитата(cyrax0 @ Jan 15 2015, 16:53) Делен...   Jan 15 2015, 14:51
|- - jcxz   Цитата(Xenia @ Jan 15 2015, 18:28) Господ...   Jan 15 2015, 17:08
- - cyrax0   Цитата(scifi @ Jan 15 2015, 14:22) Там ес...   Jan 15 2015, 13:46
- - cyrax0   Цитата(jcxz @ Jan 15 2015, 21:08) Так пом...   Jan 16 2015, 06:09
|- - jcxz   Цитата(cyrax0 @ Jan 16 2015, 12:09) Я поп...   Jan 16 2015, 17:55
- - WitFed   Ещё 1 коп: обычно можно переопределить "систе...   Jan 16 2015, 09:19


Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 29th July 2025 - 09:28
Рейтинг@Mail.ru


Страница сгенерированна за 0.01414 секунд с 7
ELECTRONIX ©2004-2016