Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
12 июля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

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

427608 Топик полностью

Evgeny_CD, Архитектор (25.07.2013 22:02, просмотров: 508) ответил Д.ARMоед на зло - только в тех местах, где нужна реентрантность или потокобезопасность, или обе вместе. а чтобы предложенная abc_loc в таких местах не глючила, ещё нужно поработать. да, и "хочешь быть джинном - получи всё что причитается" - тяжёлый GC или

Смарт ptr бегут нам на помощь... С++ форЁва, похоже.

Ответить

- пока знаю один вменяемый рисёчЬ без 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)