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

 
 
2 страниц V   1 2 >  
Reply to this topicStart new topic
> Странная проблема с переменными, или как пользоваться volatile
Spider
сообщение Aug 6 2008, 13:46
Сообщение #1


В поисках истины
***

Группа: Свой
Сообщений: 431
Регистрация: 7-01-06
Из: Россия
Пользователь №: 12 923



Чудесным образом портится память. Стал выяснять что же не так и не пойму.
Возник вопрос каксающийся volatile.
Есть ли разница в следующем и какая?
Код
typedef struct TSTRUCT
{
  volatile u8 *DATABuff;
  volatile u8 *CMDBuff;
} T_STRUCT;

volatile T_STRUCT STRUCT;
и вариант
Код
typedef struct TSTRUCT
{
  u8 *DATABuff;
  u8 *CMDBuff;
} T_STRUCT;

volatile T_STRUCT STRUCT;
Какова будет разница? есть ли тут смысл?
Go to the top of the page
 
+Quote Post
rezident
сообщение Aug 6 2008, 13:55
Сообщение #2


Гуру
******

Группа: Свой
Сообщений: 10 920
Регистрация: 5-04-05
Пользователь №: 3 882



Разница есть, только смысла в ней нету smile.gif
А память портится скорее всего потому, что вы где-то пренебрегаете проверкой на выход значений указателей за границы выделенных им буферов.
Go to the top of the page
 
+Quote Post
Сергей Борщ
сообщение Aug 6 2008, 13:58
Сообщение #3


Гуру
******

Группа: Модераторы
Сообщений: 8 455
Регистрация: 15-05-06
Из: Рига, Латвия
Пользователь №: 17 095



В первом случае у вас может (неизвестным для компилятора образом) измениться то, на что указывает указатель в структуре. во втором случае - сам указатель.

P.S. Вообще интересная постановка вопроса: "А что же я понаписал?" Может стоить формулировать его несколько иначе: "Мне надо чтобы было так-то. Как это сделать?"


--------------------
На любой вопрос даю любой ответ
"Write code that is guaranteed to work, not code that doesn’t seem to break" (C++ FAQ)
Go to the top of the page
 
+Quote Post
defunct
сообщение Aug 6 2008, 14:17
Сообщение #4


кекс
******

Группа: Свой
Сообщений: 3 825
Регистрация: 17-12-05
Из: Киев
Пользователь №: 12 326



Цитата(Сергей Борщ @ Aug 6 2008, 16:58) *
P.S. Вообще интересная постановка вопроса: "А что же я понаписал?" Может стоить формулировать его несколько иначе: "Мне надо чтобы было так-то. Как это сделать?"

При memory corruption bug'ах не до постановки "Мне надо чтобы...", потому что неизвестно что надо на самом деле..
Автор может сказать лишь - "Мне надо чтобы не глючило".

Цитата
есть ли тут смысл?

Смысла в volatile'ях тут нет, как перед полями структуры так и перед объявлением самой структуры.

Расскажите больше о характере повреждений. Чем перетирается, размер перетираемого блока, в каком участке памяти (всегда в одном участке или в разных). Попробуйте локализовать модуль ответсвенный за повреждения (отлючайте функционал вашей программы постепенно, до тех пор пока не перенестанет портиться память)

Чем больше статистических данных получите, тем проще будет локализовать блок вызывающий повреждения.
Go to the top of the page
 
+Quote Post
MrYuran
сообщение Aug 6 2008, 14:23
Сообщение #5


Беспросветный оптимист
******

Группа: Свой
Сообщений: 4 640
Регистрация: 26-12-07
Из: Н.Новгород
Пользователь №: 33 646



данные могут портиться при нарушении выравнивания слов. У меня однажды указатели на int каким-то чудесным образом указывали между этих самых интов, и модификация одной переменной портила вторую (да и первую тоже).
В структурах надо аккуратнее с выравниванием и указателями


--------------------
Программирование делится на системное и бессистемное. ©Моё :)
— а для кого-то БГ — это Bill Gilbert =)
Go to the top of the page
 
+Quote Post
Spider
сообщение Aug 6 2008, 14:25
Сообщение #6


В поисках истины
***

Группа: Свой
Сообщений: 431
Регистрация: 7-01-06
Из: Россия
Пользователь №: 12 923



Цитата(defunct @ Aug 6 2008, 21:17) *
Автор может сказать лишь - "Мне надо чтобы не глючило".
Смысла в volatile'ях тут нет, как перед полями структуры так и перед объявлением самой структуры.

Почему? Точнее почему нет смыла перед объявлением самой структуры?
Go to the top of the page
 
+Quote Post
defunct
сообщение Aug 6 2008, 14:31
Сообщение #7


кекс
******

Группа: Свой
Сообщений: 3 825
Регистрация: 17-12-05
Из: Киев
Пользователь №: 12 326



Цитата(Alexey Belyaev @ Aug 6 2008, 17:25) *
Почему? Точнее почему нет смыла перед объявлением самой структуры?

Потому что компилятор обычно не опускает обращения к полям структур и так. Да и не видя кода где такая структура используется volatile - теряют весь смысл.
У вас указатели в ней могут произвольно меняться скажем "железом" или еще каким-то странным образом?

Цитата
данные могут портиться при нарушении выравнивания слов.

Не могут - ШД 8-ми битная.
Это не ARM.
Go to the top of the page
 
+Quote Post
Spider
сообщение Aug 7 2008, 02:06
Сообщение #8


В поисках истины
***

Группа: Свой
Сообщений: 431
Регистрация: 7-01-06
Из: Россия
Пользователь №: 12 923



Цитата(defunct @ Aug 6 2008, 21:31) *
Потому что компилятор обычно не опускает обращения к полям структур и так. Да и не видя кода где такая структура используется volatile - теряют весь смысл.
В основном структура передаётся в функции как указатель на неё.
Код
foo(T_STRUCT *S);
И ещё делаю memcpy().
Цитата(defunct @ Aug 6 2008, 21:31) *
У вас указатели в ней могут произвольно меняться скажем "железом" или еще каким-то странным образом?

:\ А как "железо" может сменить указатель? smile.gif Нет.
Go to the top of the page
 
+Quote Post
SysRq
сообщение Aug 7 2008, 02:33
Сообщение #9


Чайник, 1 литр
****

Группа: Свой
Сообщений: 655
Регистрация: 17-05-06
Из: Moscow
Пользователь №: 17 168



Цитата(defunct @ Aug 6 2008, 18:17) *
Расскажите больше о характере повреждений.

+1

А sizeof() используете? Внимательно проверьте где и как.
Go to the top of the page
 
+Quote Post
Spider
сообщение Aug 7 2008, 04:21
Сообщение #10


В поисках истины
***

Группа: Свой
Сообщений: 431
Регистрация: 7-01-06
Из: Россия
Пользователь №: 12 923



Цитата(SysRq @ Aug 7 2008, 09:33) *
Цитата(defunct @ Aug 6 2008, 18:17) *

Расскажите больше о характере повреждений

+1
А sizeof() используете? Внимательно проверьте где и как.

К примеру есть переменная uint8_t *InitString;
В практически самом начале программы, на неё аллочится память примерно так:
Код
uint8_t *InitString;
....
len=strlen(TempBuffer+Offset);
InitString=(uint8_t *)malloc(len);
strcpy(InitString,TempBuffer+Offset);
...
И всё ровно, пока не произойдёт нечто. К примеру содержимое строки было "AT+IFC=2,2\r\n" и первое и второе и даже третее обращение к ней именно это и получало, но после чего-то содержимое строки может стать "подбитым" к примеру таким "AT+I@C*2,2\r\n". И это только частный пример. Бывает что просто переменная uint8_t внутри структуры сменила своё значение.

Я сейчас занимаюсь выводом в дебаг инфы при обращении к указателям, дабы исключить обращения "не туда". Но на глаз по коду тут всё ровно.
Go to the top of the page
 
+Quote Post
Непомнящий Евген...
сообщение Aug 7 2008, 05:32
Сообщение #11


Знающий
****

Группа: Свой
Сообщений: 771
Регистрация: 16-07-07
Из: Волгодонск
Пользователь №: 29 153



размер кучи достаточен? Куча часом не до стека идет? Может стек переполняется?
Go to the top of the page
 
+Quote Post
Spider
сообщение Aug 7 2008, 06:03
Сообщение #12


В поисках истины
***

Группа: Свой
Сообщений: 431
Регистрация: 7-01-06
Из: Россия
Пользователь №: 12 923



Цитата(Непомнящий Евгений @ Aug 7 2008, 12:32) *
размер кучи достаточен? Куча часом не до стека идет? Может стек переполняется?

Только не кидайте гнилыми помидорами, а где это глянуть?
Использую WinAVR.
Go to the top of the page
 
+Quote Post
sigmaN
сообщение Aug 7 2008, 06:20
Сообщение #13


I WANT TO BELIEVE
******

Группа: Свой
Сообщений: 2 617
Регистрация: 9-03-08
Пользователь №: 35 751



Я не пользовался WinAVR, но называется это обычно heap size для кучи и stack size для стека ))

volatile действительно не имеет смысла.
Просмотрите внимательно ещё раз весь код.
Может быть как-то прогнать пошагово и попытаться определить где именно косяк?


--------------------
The truth is out there...
Go to the top of the page
 
+Quote Post
Spider
сообщение Aug 7 2008, 06:29
Сообщение #14


В поисках истины
***

Группа: Свой
Сообщений: 431
Регистрация: 7-01-06
Из: Россия
Пользователь №: 12 923



Цитата(sigmaN @ Aug 7 2008, 13:20) *
Я не пользовался WinAVR, но называется это обычно heap size для кучи и stack size для стека ))

volatile действительно не имеет смысла.
Просмотрите внимательно ещё раз весь код.
Может быть как-то прогнать пошагово и попытаться определить где именно косяк?

для инициализации внешней памяти использую рекомендацию из WinAVR:
-Wl,--defsym=__heap_start=0x801100,--defsym=__heap_end=0x807FFF
т.е. 32к во внешней. Всё остальное не изменно.
Go to the top of the page
 
+Quote Post
Сергей Борщ
сообщение Aug 7 2008, 07:46
Сообщение #15


Гуру
******

Группа: Модераторы
Сообщений: 8 455
Регистрация: 15-05-06
Из: Рига, Латвия
Пользователь №: 17 095



Цитата(Alexey Belyaev @ Aug 7 2008, 09:29) *
т.е. 32к во внешней. Всё остальное не изменно.
А не может сбоить сама внешняя память? Попробуйте какой-нибудь тест написать (записать псевдослучайную последовательность и считывать ее в цикле, считая сбои), может программа и не виновата.
Цитата(Alexey Belyaev @ Aug 7 2008, 05:06) *
:\ А как "железо" может сменить указатель? smile.gif
Может. Самый простой пример - указатель стека. Более сложный - регистры адреса источника и приемника при ПДП (DMA). Софтовые варианты - указатель изменяется в прерывании. Или еще один случай - многопоточное приложение, доступ к указателю в разных потоках.

volatile перед стуктурой распространяет volatile на все члены структуры.
Если ни один из этих вариантов не подходит под ваш случай, то вам не нужно делать указатели volatile - этим вы дадите больше свободы оптимизатору, код станет короче и/или быстрее.


--------------------
На любой вопрос даю любой ответ
"Write code that is guaranteed to work, not code that doesn’t seem to break" (C++ FAQ)
Go to the top of the page
 
+Quote Post

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

 


RSS Текстовая версия Сейчас: 21st July 2025 - 10:04
Рейтинг@Mail.ru


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