caxapa.ru :: Рискую быть закиданным тапкам, но локальные переменные вообще зло в embedded мире. Все больше и больше прихожу к такому выводу.

Evgeny_CD, Архитектор (25.07.2013 20:28, просмотров: 644) ответил amusin на В кооперативной ОС локальные переменные задачи зачастую надо объявлять static. В вытесняющей это не нужно.

Рискую быть закиданным тапкам, но локальные переменные вообще зло в embedded мире. Все больше и больше прихожу к такому выводу. Нужно не лениться. Есть task_abc и есть структура abc_loc, в которую сведены все переменные задачи. И место под эту структуру выделено менеджером памяти, а не на стеке вызвавшего потока. Возможно, запись if i {} покажется более эстетичной, чем if abc_loc.i {}, зато стек не засоряется всякой ерундой.

Ответить

- зло - только в тех местах, где нужна реентрантность или потокобезопасность, или обе вместе. а чтобы предложенная abc_loc в таких местах не глючила, ещё нужно поработать. да, и "хочешь быть джинном - получи всё что причитается" - тяжёлый GC или Д.ARMоед(20 знак., 25.07.2013 21:57)
  - Смарт ptr бегут нам на помощь... С++ форЁва, похоже. - Evgeny_CD(25.07.2013 22:02)
    - пока знаю один вменяемый рисёчЬ без GC и кучи помошников. Д.ARMоед(25.07.2013 22:39)
      - А мы еще знаем Ironclad C++, a library-augmented type-safe subset of C++ Evgeny_CD(25.07.2013 22:50)
        
        ужас. процу больше делать нечего, кроме как pointer lifetime invariant вычислять. но занятно. - Д.ARMоед(25.07.2013 23:28)
        
        Хвастаются относительно низкими оверхедами. - Evgeny_CD(25.07.2013 23:44)
        
        да, я посмотрел бенчи; но такое чувство, что где-то ~~ннн~~абманули. - Д.ARMоед(25.07.2013 23:54)
        
        Понятно где - я вот исходники так и не смог найти. Или это я ступил? - Evgeny_CD(25.07.2013 23:55)
        
        понять академические вещи по исходнику довольно сложно. часто присутствует глубокая оптимизация. и кроме гуроватости в цэпепе надо быть ещё и телепатом. - Д.ARMоед(26.07.2013 00:06)
        
        Я про другое. Бумаги они написали. А вот кода в паблике я пока не нашел. Или плохо искал? Некоторые их идеи мне показались интересными для того, чтобы рискнуть в С++ коде поковыряться... - Evgeny_CD(26.07.2013 00:17)
        
        почему-то на страничке одного из авторов этот айронклад связан с прототипом под другим именем - Д.ARMоед(26.07.2013 00:49, ссылка, ссылка)
        
        Да, но оно тут чуть другое. Full Memory Safety for C Но сорцы есть, это радует. - Evgeny_CD(26.07.2013 00:54)
        
        может ребрендинг происходит? - Д.ARMоед(26.07.2013 00:57)
        
        Или разборка вчерашних соратников, что более вероятно :) - Evgeny_CD(26.07.2013 00:58)
        
        А еще есть ANSI/ISO C Specification Language -> и его реализация... - Evgeny_CD(25.07.2013 22:59, ссылка)
        
        ну да. народ переизобретает цикл Дейкстры. говорят, полезное упражнение. только ничто не мешает писать в этом стиле на plain c. в смысле - явно формировать пред и постусловия. - Д.ARMоед(25.07.2013 23:33)
- Лови тапок за чрезмерное обобщение. Нет, сапог. Тяжёлый :-) - SciFi(25.07.2013 20:31)
  - За уменьшение потребления памяти в разы - сапогом? - Evgeny_CD(25.07.2013 20:54)
    - какой такой памяти, если локальные переменные почти все на регистрах? - Mahagam(26.07.2013 00:06)
      - Вот и будет прога "почти работать", если не учитывать тонкие эффекты локальных переменных. - Evgeny_CD(26.07.2013 00:18)
      - Регистров не хватит на все локальные. - Apтём(26.07.2013 00:16)
        
        ну так в стек - только излишки. а если всё выделять отдельно - жирно будет - Mahagam(26.07.2013 00:18)

Средства и методы разработки