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

 
 
 
Reply to this topicStart new topic
> Запись int по указателю на произвольный адрес и выравнивание
0x435641
сообщение Jul 26 2012, 05:19
Сообщение #1


Участник
*

Группа: Участник
Сообщений: 15
Регистрация: 26-07-12
Пользователь №: 72 908



Доброго времени суток.

начну с кода:

char arr[16];

int *pi1 = (int*)arr[0];
int *pi2 = (int*)arr[1];
int *pi3 = (int*)arr[2];
int *pi4 = (int*)arr[3];

*pi1 = 0x11223344;
*pi2 = 0x11223344;
*pi3 = 0x11223344;
*pi4 = 0x11223344;


среда IAR 6.30.1

в результате запись происходит по адресам со сдвигом влево до границы кратной размеру адресуемого типа. это смотрел через J-Link
в листинге каждая запись производится инструкцией STR R0, [Rx]... при чем в Rx лежат правильные значения с шагом в 1 байт.

тот же результат в uVision 4

если же запустить отладку в симуляторе, то при каждой записи по не кратному адресу вылетает сообщение
"STR instruction at addr: 0x40006835 made an illegal unaligned access to 0x40006835"

информации о том, что адрес должен быть выровнен для STR/LDR по 4 байтам для STRH/LDRH по 2 байта я не нашел.
пусть даже должен быть выровнен. почему компилятор не преобразует команду записи по указателю в набор инструкций с побайтовой записью, учитывая специфику адресации?
Go to the top of the page
 
+Quote Post
demiurg_spb
сообщение Jul 26 2012, 05:21
Сообщение #2


неотягощённый злом
******

Группа: Свой
Сообщений: 2 746
Регистрация: 31-01-08
Из: Санкт-Петербург
Пользователь №: 34 643



применяйте атрибут __packed к указателю
http://www.keil.com/support/man/docs/armcc...ef_CJAFJHJD.htm


--------------------
“Будьте внимательны к своим мыслям - они начало поступков” (Лао-Цзы)
Go to the top of the page
 
+Quote Post
0x435641
сообщение Jul 26 2012, 05:29
Сообщение #3


Участник
*

Группа: Участник
Сообщений: 15
Регистрация: 26-07-12
Пользователь №: 72 908



я работаю в IAR. кейл только для проверки использовал.

__packed int *pi1 = (int*)&arr[0];
__packed int *pi2 = (int*)&arr[1];
__packed int *pi3 = (int*)&arr[2];
__packed int *pi4 = (int*)&arr[3];

*pi1 = 0x11223344;
*pi2 = 0x11223344;
*pi3 = 0x11223344;
*pi4 = 0x11223344;


в симуляторе с теми же сообщениями, но память заполнилась правильно. через J-Link опять все легло поверх в одно место
кстати в ASM листинге без изменений - те же инструкции

Сообщение отредактировал 0x435641 - Jul 26 2012, 05:32
Go to the top of the page
 
+Quote Post
demiurg_spb
сообщение Jul 26 2012, 05:38
Сообщение #4


неотягощённый злом
******

Группа: Свой
Сообщений: 2 746
Регистрация: 31-01-08
Из: Санкт-Петербург
Пользователь №: 34 643



В IAR тоже должны быть аналогичные средства. Ищите в справке по слову pack или packed.

Цитата(0x435641 @ Jul 26 2012, 09:29) *
опять все легло поверх в одно место
да вроде так и должно быть (с перекрытием инты должны были ложиться):

44 44 44 44 33 22 11 NA NA NA NA NA NA NA NA NA


--------------------
“Будьте внимательны к своим мыслям - они начало поступков” (Лао-Цзы)
Go to the top of the page
 
+Quote Post
scifi
сообщение Jul 26 2012, 05:39
Сообщение #5


Гуру
******

Группа: Свой
Сообщений: 3 020
Регистрация: 7-02-07
Пользователь №: 25 136



Цитата(0x435641 @ Jul 26 2012, 09:19) *
если же запустить отладку в симуляторе, то при каждой записи по не кратному адресу вылетает сообщение
"STR instruction at addr: 0x40006835 made an illegal unaligned access to 0x40006835"

Значит симулятор неточно симулирует ядро Cortex-M3 (речь ведь о нём?).

Цитата(0x435641 @ Jul 26 2012, 09:19) *
пусть даже должен быть выровнен. почему компилятор не преобразует команду записи по указателю в набор инструкций с побайтовой записью, учитывая специфику адресации?

Компилятор не пытается отслеживать кратность указателя. Если кратность нарушается, то это ответственность автора кода: в Cortex-M3 поддерживается доступ по неровному адресу. Для побайтового доступа есть packed, как уже говорили.
Go to the top of the page
 
+Quote Post
0x435641
сообщение Jul 26 2012, 05:42
Сообщение #6


Участник
*

Группа: Участник
Сообщений: 15
Регистрация: 26-07-12
Пользователь №: 72 908



Цитата(demiurg_spb @ Jul 26 2012, 12:33) *
В IAR тоже должны быть аналогичные средства. Ищите в справке по слову pack или packed.


int __packed * p; A pointer to a packed integer.
int * __packed p; A packed pointer to an integer.
__packed int * p; A packed pointer to an integer.

спасибо за наводку. оказывается есть разница где атрибут ставить...

Цитата(demiurg_spb @ Jul 26 2012, 12:38) *
В IAR тоже должны быть аналогичные средства. Ищите в справке по слову pack или packed.

да вроде так и должно быть (с перекрытием инты должны были ложиться):

44 44 44 44 33 22 11 NA NA NA NA NA NA NA NA NA



в том то и дело что ложится в одно место так: 44 33 22 11 NA NA NA NA NA NA NA NA NA

СПАСИБО! тема закрыта, __packed в правильном месте помог )
Go to the top of the page
 
+Quote Post
PoReX
сообщение Jul 26 2012, 06:56
Сообщение #7


Частый гость
**

Группа: Свой
Сообщений: 112
Регистрация: 1-05-09
Из: Ростов-на-Дону
Пользователь №: 48 518



Цитата(0x435641 @ Jul 26 2012, 09:19) *
начну с кода:

char arr[16];

int *pi1 = (int*)arr[0];
int *pi2 = (int*)arr[1];
int *pi3 = (int*)arr[2];
int *pi4 = (int*)arr[3];

*pi1 = 0x11223344;
*pi2 = 0x11223344;
*pi3 = 0x11223344;
*pi4 = 0x11223344;


среда IAR 6.30.1

Вообще-то код изначально не правильный. После инициализации массива он может содержать мусор и этот мусор вы преобразуете в указатель. Например:
Код
char arr[8]={0,1,2,3,4,5,6,7};

тогда
Код
pi1 == 0x00000000;
pi2 == 0x00000001;
pi3 == 0x00000002;
pi4 == 0x00000003;

А если
Код
char arr[8]={0,0,0,0,0,0,0,0};

то и получится
Цитата
44 33 22 11 NA NA NA NA

правда в реальном контроллере это вызовет HardFault
А чтобы получить необходимый результат
Цитата
44 44 44 44 33 22 11 NA

нужно немного изменить код:
Код
int *pi1 = (int*)&arr[0];
    int *pi2 = (int*)&arr[1];
    int *pi3 = (int*)&arr[2];
    int *pi4 = (int*)&arr[3];

и никакой __packed не нужен. Проверено в Keil'e через j-tag на stm32f103.


--------------------
«У современных мобильных телефонов такая же вычислительная мощь, что и у компьютеров NASA в 60-е годы. И в то время этого хватало, чтобы запустить человека в космос, а сегодня — только чтобы запускать птиц в свиней.»
Go to the top of the page
 
+Quote Post
demiurg_spb
сообщение Jul 26 2012, 07:27
Сообщение #8


неотягощённый злом
******

Группа: Свой
Сообщений: 2 746
Регистрация: 31-01-08
Из: Санкт-Петербург
Пользователь №: 34 643



Я то и не заметил отсутствие взятия адреса у вопрошающего...
А насчёт того что packed не нужен - я бы не был так категоричен. Иногда он очень даже нужен.


--------------------
“Будьте внимательны к своим мыслям - они начало поступков” (Лао-Цзы)
Go to the top of the page
 
+Quote Post
PoReX
сообщение Jul 26 2012, 07:32
Сообщение #9


Частый гость
**

Группа: Свой
Сообщений: 112
Регистрация: 1-05-09
Из: Ростов-на-Дону
Пользователь №: 48 518



Цитата(demiurg_spb @ Jul 26 2012, 11:27) *
А насчёт того что packed не нужен - я бы не был так категоричен. Иногда он очень даже нужен.

Имелось ввиду в данном случае не нужен. Кстати __packed это фишка Keil'a/IAR или он есть в стандарте Cи?


--------------------
«У современных мобильных телефонов такая же вычислительная мощь, что и у компьютеров NASA в 60-е годы. И в то время этого хватало, чтобы запустить человека в космос, а сегодня — только чтобы запускать птиц в свиней.»
Go to the top of the page
 
+Quote Post
scifi
сообщение Jul 26 2012, 07:51
Сообщение #10


Гуру
******

Группа: Свой
Сообщений: 3 020
Регистрация: 7-02-07
Пользователь №: 25 136



Цитата(PoReX @ Jul 26 2012, 11:32) *
Имелось ввиду в данном случае не нужен. Кстати __packed это фишка Keil'a/IAR или он есть в стандарте Cи?

Нет его в стандарте. Стандартными средствами можно склеивать по байтам (сдвигами или через указатель на char).
Go to the top of the page
 
+Quote Post
PoReX
сообщение Jul 26 2012, 08:05
Сообщение #11


Частый гость
**

Группа: Свой
Сообщений: 112
Регистрация: 1-05-09
Из: Ростов-на-Дону
Пользователь №: 48 518



Цитата(scifi @ Jul 26 2012, 11:51) *
Нет его в стандарте.

Жаль, а то думал заменить им #pragma pack для структур.


--------------------
«У современных мобильных телефонов такая же вычислительная мощь, что и у компьютеров NASA в 60-е годы. И в то время этого хватало, чтобы запустить человека в космос, а сегодня — только чтобы запускать птиц в свиней.»
Go to the top of the page
 
+Quote Post
scifi
сообщение Jul 26 2012, 08:38
Сообщение #12


Гуру
******

Группа: Свой
Сообщений: 3 020
Регистрация: 7-02-07
Пользователь №: 25 136



Цитата(PoReX @ Jul 26 2012, 12:05) *
Жаль, а то думал заменить им #pragma pack для структур.

#pragma pack тоже нет в стандарте, так что какая разница? :-)
В то же время #pragma pack поддерживается достаточно широко, то есть почти стандарт де факто.
Go to the top of the page
 
+Quote Post
jcxz
сообщение Jul 26 2012, 10:27
Сообщение #13


Гуру
******

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



Почти да не почти - в CCS не поддерживается.
Go to the top of the page
 
+Quote Post
PoReX
сообщение Jul 26 2012, 10:50
Сообщение #14


Частый гость
**

Группа: Свой
Сообщений: 112
Регистрация: 1-05-09
Из: Ростов-на-Дону
Пользователь №: 48 518



Цитата(scifi @ Jul 26 2012, 12:38) *
#pragma pack тоже нет в стандарте, так что какая разница? :-)

Хм...думал есть в стандарте. Ну и фиг с ним, главное, что он широко поддерживается и на различных компиляторах работает одинаково. Часто бывает необходимым использовать один и тот же заголовочник в Keil и Qt:)


--------------------
«У современных мобильных телефонов такая же вычислительная мощь, что и у компьютеров NASA в 60-е годы. И в то время этого хватало, чтобы запустить человека в космос, а сегодня — только чтобы запускать птиц в свиней.»
Go to the top of the page
 
+Quote Post

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

 


RSS Текстовая версия Сейчас: 23rd July 2025 - 16:34
Рейтинг@Mail.ru


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