проконсультируйте по СИ - меня чайника в этом деле(+) («Телесистемы»: Конференция «Микроконтроллеры и их применение»)

Разработка, производство и продажа радиоэлектронной аппаратуры

| Карта сайта | Пишите нам | В избранное

Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:jobsmp@pochta.ru

Телесистемы | Электроника | Конференция «Микроконтроллеры и их применение»

проконсультируйте по СИ - меня чайника в этом деле(+)

Отправлено net_net 21 марта 2007 г. 21:07

проконсультируйте по С
есть такой текст программки
обратите внимание на самый первый оператор
тепреь вопрос - будет ли такой код переносимый(в смысле, что последний оператор получит size==1?

если да - то где об этом написано в стандарте
если нет то какое выравнивание даст гарантированную переносимость? и где про это написано?

#pragma pack(1)

typedef struct
{
unsigned char command;
unsigned long packets;
unsigned char reserved[3];

} COMMAND2;

int main()
{
COMMAND2 cmd2;
unsigned long Size;

cmd2.command = 0x01;
cmd2.packets = 1000;
Size = cmd2.packets;
Size = cmd2.command;

}

Составить ответ | Вернуться на конференцию

Ответы

Переносимости не будет, но совсем не из-за выравнивания — Сергей Борщ (22.03.2007 12:50:32 217.198.224.239, 488 байт)
- Ой, не разобрался в вопросе.... — Сергей Борщ (22.03.2007 12:53:0 217.198.224.239, пустое)
автар - тут __packed COMMAND2 cmd2; спасет (+) — DASM (21.03.2007 22:01:29 212.58.192.14, 296 байт)
- PS в доке на rvct вообще pragma pack НЕТУ :-O — DASM (21.03.2007 22:05:33 212.58.192.14, пустое)
  - другой вопрос - а почему теперь отладчик не показывает значения структуры? — net_net (21.03.2007 22:30:27 91.76.219.140, пустое)
    - ? у меня показывает — DASM (21.03.2007 22:31:53 212.58.192.14, пустое)
      - что он у вас показывает при выполнении присвоений? — net_net   (21.03.2007 22:33:15 91.76.219.140, пустое)
        
        1 и 1000 конечно — DASM   (21.03.2007 22:41:58 212.58.192.14, пустое)
        
        прямо в окне locals? — net_net   (21.03.2007 22:46:57 91.76.219.140, пустое)
        
        я в watch добавил — DASM   (21.03.2007 22:47:43 212.58.192.14, пустое)
        
        у меня и в watch показывает тоже самрое что и в локал - но ничего не имеющее к делу вообще все не то совсем — net_net   (21.03.2007 22:52:46 91.76.219.140, пустое)
        
        ничего не знаю, у меня ок. кейл 304 — DASM   (21.03.2007 22:53:36 212.58.192.14, пустое)
        
        у меня адрес струтуры находится в 13 регистре совсем другой чем тот который показывает при наведении мышкой на структуру? — net_net   (21.03.2007 22:57:35 91.76.219.140, пустое)
  - спасибо - буду читать пейджер и много думать ;-( — net_net (21.03.2007 22:24:55 91.76.219.140, пустое)
    - но вопрос все равно остался - получается глюк компилятора ? — net_net (21.03.2007 22:25:38 91.76.219.140, пустое)
      - а что должен делать компилятор когда видит недокументированные прагмы? Правильно - делать недокументированный код :-) — DASM   (21.03.2007 22:29:28 212.58.192.14, пустое)
        
        прагма описана в описании кейл. и почему теперь отладчик не видит переменные? — net_net   (21.03.2007 22:32:12 91.76.219.140, пустое)
        
        где описана, дай названия доки и страницу — DASM   (21.03.2007 22:32:41 212.58.192.14, пустое)
        
        ууууууууууууу - это описание для CARM оказалось ;-( — net_net   (21.03.2007 22:34:58 91.76.219.140, пустое)
Не будет переносимости, если только вы не сделаете выравнивание структуры под разрядность конкретного процессора. — rezident (21.03.2007 21:51:18 195.222.149.11, пустое)
- А можно подробнее, что ж таки происходит? Как то я не сталкивался с подобным. — Vladimir Ljaschko (21.03.2007 22:04:26 194.226.120.28, пустое)
  - Я сталкивался. Поэтому по мере возможности стараюсь вручную сортировать элементы структуры по из размерности. — rezident (21.03.2007 22:10:11 195.222.149.11, пустое)
    - А для MSP430 пользоваться #pragma pack(2). — rezident (21.03.2007 22:13:16 195.222.149.11, пустое)
    - при пересылки FAT таблицы через тот же USB ничего не посортируешь — DASM (21.03.2007 22:11:3 212.58.192.14, пустое)
      - IAR для таких случаев советует писать собственную процедуру упаковки/распаковки структур. — rezident   (21.03.2007 22:12:4 195.222.149.11, 500 байт)
        
        Все равно ... Больше кода - понимаю, медленнее работает - понимаю, но неправильное чтение - не понимаю. Компилятор должен видеть, что он читает/пишет. Или? — Vladimir Ljaschko   (21.03.2007 22:16:52 194.226.120.28, пустое)
        
        В мозгах остался доступ 86 к словам по нечетным адресам. Все работало на 16 - разрядной шине за два цикла. А тут компилятор не может понять, что от него требуется. Возмутительно. — Vladimir Ljaschko   (21.03.2007 22:20:24 194.226.120.28, пустое)
        
        Ответ:именно - то что медленно понятно - но не так же глючить - совершенно с вами согласен — net_net   (21.03.2007 22:23:17 91.76.219.140, пустое)
        
        ну-ну... более нечитабельного кода, чем ручное распаковывание большой структуры и представить сложно — DASM   (21.03.2007 22:13:59 212.58.192.14, пустое)
  - да гонит он.. не врубился чувак в фишку — DASM (21.03.2007 22:06:4 212.58.192.14, пустое)
На перечисленные операции не влияет выравнивание. Скорее приведение. (+) — Vladimir Ljaschko (21.03.2007 21:16:11 194.226.120.28, 92 байт)
- Это не привидение, это дохтур имхо..... — pau62 (21.03.2007 21:20:18 212.26.238.102, пустое)
  - запустите для примера это текст в PC и в KEIL(ARM) и получите разные ж-( при выполнении - отсюда и вопрос - а дохтуром тут и не пахнет- по теме что можете сказать? — net_net (21.03.2007 21:25:22 91.76.219.140, пустое)
    - Нет, вы объясните, а прописать приведение к типу ручками слабо? Пальцы жалеем, а форум - нет? ;-) Я вот не гнушаюсь, и вопросов лишних не задаю... — Vladimir Ljaschko (21.03.2007 21:29:55 194.226.120.28, пустое)
      - Приведение типов тут не поможет. Если вдруг char попадет на нечетный адрес в 16/32 битной архитектуре, то обращение к нему будет неверным. — rezident   (21.03.2007 21:53:26 195.222.149.11, пустое)
        
        а почему на PC это все работает прекрасно? — net_net   (21.03.2007 22:05:5 91.76.219.140, пустое)
        
        патаму што packed надо, а не pack(1). — DASM   (21.03.2007 22:08:18 212.58.192.14, пустое)
        
        или pack(2) наверное... — Vladimir Ljaschko   (21.03.2007 22:13:25 194.226.120.28, пустое)
        
        не надо. 2 - тем более не надо, проц 32 битный — DASM   (21.03.2007 22:14:45 212.58.192.14, пустое)
        
        да нет там 1 тоже все упаковано - но работает правильно - дело не прагме - а в том что компилятор правильно команды делает — net_net   (21.03.2007 22:21:58 91.76.219.140, пустое)
      - приведение типов тут не причем - попробовать то можно но проблема там возникает где типы одинаковые - если есть кейл то попробуйте в эмуляторе для arm — net_net   (21.03.2007 21:31:24 91.76.219.140, пустое)
        
        Кейл не юзаю. И в такие исследования не влезаю. Все должно быть записано правильно для начала.(+) — Vladimir Ljaschko   (21.03.2007 21:35:14 194.226.120.28, 72 байт)
        
        там не берет данные - а обнуляет их при записи — net_net   (21.03.2007 21:37:49 91.76.219.140, пустое)
        
        Два варианта - влияние структуры (проблемы с выравниванием) и собственно типы. Можно убрать структуру, поменять последовательность переменных в структуре — Vladimir Ljaschko   (21.03.2007 21:40:18 194.226.120.28, пустое)
        
        да какие проблемы то - компилятор тут прекрасно знает о выравниваеии и должен делать корректный код. Но он его не делает — DASM   (21.03.2007 21:49:40 212.58.192.14, пустое)
        
        на pC код работает правильно - неправильно(вызывается неправильная команда и делается неправильный результат в keil arm) отсюда и вопрос — net_net   (21.03.2007 21:45:13 91.76.219.140, пустое)
        
        чего пробовать то ?? — DASM   (21.03.2007 21:33:40 212.58.192.14, пустое)
        
        сколько у вас получается size в самом конце прграммы? — net_net   (21.03.2007 21:38:24 91.76.219.140, пустое)
        
        IAR MSP430 не устроит? — Vladimir Ljaschko   (21.03.2007 21:43:18 194.226.120.28, пустое)
        
        интересно посмотреть IAR ARM - вот это интересно было бы — net_net   (21.03.2007 21:45:49 91.76.219.140, пустое)
        
        жопа получается, правда. Я понимаю когда такое возникает при передаче указателя - тогда ясно, ф-ция не знает о выравнивании.. но тут прямое присвоение и такая попа - not aligned access обрабатывается не верно.. погляжу что там стандарт говорит.. если найду.. — DASM   (21.03.2007 21:48:39 212.58.192.14, пустое)
        
        во-во - пишет что попа - а компилит через другую попу - тоесть одна рука знает а другая делает по другому - на PC все похрену - работает как надо - а здесь чтото попа ;-( — net_net   (21.03.2007 21:59:48 91.76.219.140, пустое)
        
        Компилятор IAR вообще все выкидывает нах ;-) Что дальше написать то? — Vladimir Ljaschko   (21.03.2007 21:51:44 194.226.120.28, пустое)
        
        ну это понятно - сразу пишем volatile unsigned long Size;. Только в ИАРе я такого бага не помню, работал нормально с pack(1) — DASM   (21.03.2007 21:52:33 212.58.192.14, пустое)
        
        volatile не помогает... Грамотно — Vladimir Ljaschko   (21.03.2007 21:57:4 194.226.120.28, пустое)
        
        что значит не помогает ? — DASM   (21.03.2007 21:58:14 212.58.192.14, пустое)
        
        Пока в прерывание обращение не вставил, выкидывал все равно. Короче, IAR MSP - все нормально. Нормальный 16 битный процессор :-) — Vladimir Ljaschko   (21.03.2007 22:00:56 194.226.120.28, пустое)
  - Да? Он обычно ссылку сразу приводит. Обычно на свою реплику. Нет ссылки - нет дохтура :-) — Vladimir Ljaschko (21.03.2007 21:23:56 194.226.120.28, пустое)