-
- Напомнило (ссылка). "Опытный программист" :) Скрипач(121 знак., 25.07.2013 19:45, ссылка)
- Ни разу ни так. Если ОСь сложнее совокупности решаемых под ее управлением задача во всей совокупности классов устройств, в которых использована ОС - тогда, может что-то и неверно. - Evgeny_CD(25.07.2013 20:19)
- Чтобы прикладной код не менялся вообще!(C) - завсегда борюсь за это. Пока кооперативок хватает. - Vit(25.07.2013 12:25)
- "Подход "без ОСи" достоин сжигания" а какую ось использовать для написания ОСи или драйвера к ней, г-н Великий Инквизитор? - Codavr(25.07.2013 12:19)
- Это была жалкая перепевка одной из прибауток fk0. Суть в следующем. Evgeny_CD(305 знак., 25.07.2013 12:22)
- Ващета это суть операционных систем ВООБЩЕ. Главная причина по которой их придумали :) - Codavr(25.07.2013 12:32)
- Это была жалкая перепевка одной из прибауток fk0. Суть в следующем. Evgeny_CD(305 знак., 25.07.2013 12:22)
- В кооперативной ОС локальные переменные задачи зачастую надо объявлять static. В вытесняющей это не нужно. - amusin(24.07.2013 23:02)
- Рискую быть закиданным тапкам, но локальные переменные вообще зло в embedded мире. Все больше и больше прихожу к такому выводу. Evgeny_CD(308 знак., 25.07.2013 20:28)
- зло - только в тех местах, где нужна реентрантность или потокобезопасность, или обе вместе. а чтобы предложенная 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)
- может ребрендинг происходит? - Д.ARMоед(26.07.2013 00:57)
- Да, но оно тут чуть другое. Full Memory Safety for C Но сорцы есть, это радует. - Evgeny_CD(26.07.2013 00:54)
- почему-то на страничке одного из авторов этот айронклад связан с прототипом под другим именем - Д.ARMоед(26.07.2013 00:49, ссылка, ссылка)
- Я про другое. Бумаги они написали. А вот кода в паблике я пока не нашел. Или плохо искал? Некоторые их идеи мне показались интересными для того, чтобы рискнуть в С++ коде поковыряться... - Evgeny_CD(26.07.2013 00:17)
- понять академические вещи по исходнику довольно сложно. часто присутствует глубокая оптимизация. и кроме гуроватости в цэпепе надо быть ещё и телепатом. - Д.ARMоед(26.07.2013 00:06)
- Понятно где - я вот исходники так и не смог найти. Или это я ступил? - Evgeny_CD(25.07.2013 23:55)
- да, я посмотрел бенчи; но такое чувство, что где-то
- Хвастаются относительно низкими оверхедами. - Evgeny_CD(25.07.2013 23:44)
- А еще есть ANSI/ISO C Specification Language -> и его реализация... - Evgeny_CD(25.07.2013 22:59, ссылка)
- ужас. процу больше делать нечего, кроме как pointer lifetime invariant вычислять. но занятно. - Д.ARMоед(25.07.2013 23:28)
- А мы еще знаем Ironclad C++, a library-augmented type-safe subset of C++ Evgeny_CD(25.07.2013 22:50)
- пока знаю один вменяемый рисёчЬ без GC и кучи помошников. Д.ARMоед(25.07.2013 22:39)
- Смарт ptr бегут нам на помощь... С++ форЁва, похоже. - Evgeny_CD(25.07.2013 22:02)
- Лови тапок за чрезмерное обобщение. Нет, сапог. Тяжёлый :-) - 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)
- какой такой памяти, если локальные переменные почти все на регистрах? - Mahagam(26.07.2013 00:06)
- За уменьшение потребления памяти в разы - сапогом? - Evgeny_CD(25.07.2013 20:54)
- зло - только в тех местах, где нужна реентрантность или потокобезопасность, или обе вместе. а чтобы предложенная abc_loc в таких местах не глючила, ещё нужно поработать. да, и "хочешь быть джинном - получи всё что причитается" - тяжёлый GC или Д.ARMоед(20 знак., 25.07.2013 21:57)
- Рискую быть закиданным тапкам, но локальные переменные вообще зло в embedded мире. Все больше и больше прихожу к такому выводу. Evgeny_CD(308 знак., 25.07.2013 20:28)
- Напомнило (ссылка). "Опытный программист" :) Скрипач(121 знак., 25.07.2013 19:45, ссылка)