caxapa.ru :: Реентерабельность в картинках: много раз читал на эту тему, но вот руки дошли для себя самого расписать все подробно - как работает реентерабельный модуль. Прошу не смеяться.

Evgeny_CD (22.06.2007 20:43, просмотров: 10874)

Реентерабельность в картинках: много раз читал на эту тему, но вот руки дошли для себя самого расписать все подробно - как работает реентерабельный модуль. Прошу не смеяться. http://upload.caxapa.ru/Visio-reeent_y2007m06d22.pdf
К сожалению, в литературе по embedded тематике я не видел столь простых и понятных диаграмм. А жаль. Может, кому пригодится.

- Коллеги, а что, стандарты С реально требуют, чтобы при использовании автоматического класса памяти код был thread safe (не считая других известных тонкостей для создания такого кода)? - Evgeny_CD(23.06.2007 13:25, )
- А как вам такое изображение реентерабильности (флешка)? :) - rezident(23.06.2007 00:30, , ссылка)
  - Свое .... не воняет, но думаю, мой скромный рисуночек в Visio на порядок информативнее этих понтов. - Evgeny_CD(23.06.2007 00:50, )
    - Вообще-то я тоже также как у вас рисую. AlexandrY(715 знак., 23.06.2007 12:07, )
      - Это не от реального проекта. Я так подробно все расписал для обучения самого себя. Идеал - он недостижим, прежде всего потому что его нахрен не надо достигать. Evgeny_CD(1130 знак., 23.06.2007 13:23, )
        
        Я и говорю, не надо пытаться изобразить неизобразимое. AlexandrY(920 знак., 23.06.2007 14:18, )
        
        Идея предельно проста. Не надо ставить телегу впереди лошади. Я знаю, как это решить. Evgeny_CD(1950 знак., 23.06.2007 14:44, )
        
        а вот с этого места немного подробнее bialix(227 знак., 23.06.2007 18:29, )
        
        Разумеется, при наличии злого умысла можно любую проверу кода обойти. Я же пишу о системе, которая будет помогать писать код. - Evgeny_CD(23.06.2007 22:41, )
        
        судя по всему в кодогенераторах вы нифига не смыслите. кодогенераторы бывают разные, так что не надо наезжать сгоряча. - bialix(23.06.2007 18:26, )
        
        Первый кодогенертор, с которым я познакомился детально, был COG. На Вашем ресурсе с Вашей подачи :) -> - Evgeny_CD(24.06.2007 00:31, , ссылка)
        
        Я много в чем нифига не смыслю. Посему и веду по мере сил и возможностей публичное обсуждение своих идей. Дабы послушать мудрых людей и набратьсся ума-разума. - Evgeny_CD(23.06.2007 22:40, )
        
        Частично согласен. AlexandrY(834 знак., 23.06.2007 16:01, )
        
        Конечно, представлений должно быть несколько. Как UML и предписывает. Но хотя бы, как я написал. Редактор и не должен отслеживать RTOS - он не оперирует такими понятиями. Deadlock можно сделать при Evgeny_CD(97 знак., 23.06.2007 16:07, )
        
        В моей практике вообще не припомню чтоб была проблема с deadlock-ами AlexandrY(156 знак., 23.06.2007 17:16, )
        
        Deadlock'и я привел для примера. Может, он и не самый верный. - Evgeny_CD(23.06.2007 22:39, )
        
        Мне в принципе нравится ваше направление мыслей. AlexandrY(766 знак., 24.06.2007 18:58, )
        
        Простота не противоречит эффективному решению целевой задачи. Эффективное решение не следует из простоты. Свобода обязательно долна быть - свобода использовать все возможности языка, компилера, Evgeny_CD(1445 знак., 24.06.2007 22:14, )
        
        Ага, противоречите сами себе однако. AlexandrY(294 знак., 25.06.2007 00:01, )
        
        Уже не противоречу. Просто так мне ничего изучать не охота. Теперь я имею в голове некую модель - как это МОЖЕТ работать. Она (модель) почти навернякак кривая и косая, но некую систему понятий она мне Evgeny_CD(1818 знак., 25.06.2007 00:34, )
        
        такая автоматическая проверка -- похожа на утопию. не представляю как вы ее думаете реализовать. - bialix(23.06.2007 14:13, )
        
        Я как раз потихоньку пишу описание метода, который гарантированно решает эту задачу. Все гораздо проще, чем кажется. -> - Evgeny_CD(23.06.2007 14:46, , ссылка)
  - Макромедия штука хорошая... Только шибко назойливая. Будучи единожды допущеной к телу, заиппет потом неподецки... - Гудвин(23.06.2007 00:43, )
    - Дык мы ей по сусалам всегда дать можем :) Плагин к Firefox под названием Adblock Plus нам дает такую дубинку. Кстати, а вы попробуйте на сайт NXP без поддержки флешек в браузере попасть. - rezident(23.06.2007 00:57, )
      - Proxomitron - режет, что скажешь для любого броузера. Легко настраивается. - VAI(23.06.2007 07:50, )
        
        Жалко, его развитие остановилось. -> - Evgeny_CD(25.06.2007 13:41, , ссылка)
        
        ВОТ ЭТО ДА! "1 мая 2004 года, в возрасте 36 лет ушел из жизни Scott R.Lemmon, автор Proxomitron" -> Да, вероятно, некоторые вещи лучше не делать - хотя они и очень хорошие и правильные............ - Evgeny_CD(25.06.2007 13:46, , ссылка)
- Типа последствия чтения книжек по UML начинают сказываться. :) - Evgeny_CD(22.06.2007 20:40, )
  - Не понял, Super_lib это че такое? И зачем ей отдельный стек? - AlexandrY(22.06.2007 22:18, )
    - Типа шибко популярная либа в проекте. Усе ее хочут. Отдельный стек ей не положен, она пользуется стеком потока (вероятно, я просто что-о не так нарисовал). - Evgeny_CD(22.06.2007 23:38, )
      - Думаю эта либа не станет популярной. AlexandrY(296 знак., 22.06.2007 23:59, )
        
        Обрамить нереентерабильный кусок критическими шнягами - это понятно. Интересно добиться полной реентерабильности. Как один из вариантов. Evgeny_CD(375 знак., 23.06.2007 00:21, )
        
        Что-то я не понял. Как раз для автоматических никаких проблем с реетнтрабельностью, они на стеке вызывающего потока порождаются. Ладно, спать пора. - ReAl(23.06.2007 00:46, )
        
        О! Значит я недокурил книжки по С. Значит, если я правильно понял, с автоматическими переменными проблем быть не должно. Это точно описано в стандарте С? Спасибо! - Evgeny_CD(23.06.2007 00:49, )
        
        Так, так... Интересно, а если есть выражение типа a=func1(func2()). Там ведь внутри неявно рождается переменная автоматического класса. Интересно, как компилятор поступит? Ндя, оттестировать такое на Evgeny_CD(35 знак., 23.06.2007 00:23, )

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