Embox v0.5.0 Released

Решение на Embox принципиально легче верифицируется чем на Linux

можете назвать примеры верифицированных вами ядер ? я вот про это

Разработка дизайна и кода seL4 заняла два человеко-года. Если добавить все серотип-специфичные доказательства, в общей сложности получится 18 человеко-лет для 8700 строк кода на C

хоть международные

не смешите, зачем им это может понадобиться ?

https://github.com/azure-rtos/threadx

https://github.com/SiliconLabs?q=uC&type=&language=

можете назвать примеры верифицированных вами ядер ? я вот про это

При чем тут L4 (и вообще верификация ядер)? Я говорю о том, что есть конечное устройство с сиксированной функциональность, верифицируется оно. Чем вам в самолете поможет что есть верифицированный кусок кода есть? ПО должно удовлетворять требованиям к системе, а не к ядру или еще к чему то. А то получается, «претензии к пуговицам есть?»

не смешите, зачем им это может понадобиться ?

Я Вас не смешу, даже не шучу. Пытаюсь объяснить, а не навязать свое мнение.

Понадобиться может, например, подскажите, где в приведенных Вами, замечательных проектах, есть запуск OpenCV? Я просто может чего то не заметил. Но в одном случае, Вы говорите, Embox не нужен, есть Linux, а в другом, Embox не нужен, есть uC_OS и ThreadX. Одни не подходят по одним причинам, другие по другим, примеры я привел. И никто не спорит, что код на основе threadx тоже легче верифицировать чем Linux.

подскажите, где в приведенных Вами, замечательных проектах, есть запуск OpenCV?

скажите, при чем тут OpenCV - какой идиот его хочет на микроконтроллере ? а как в вашей ОС запустить KDE ? Может сначала посмотрите что есть подходящее для всраиваемых систем под задачу, чем ковать квадратные колеса. А замечательные ОС с POSIX есть

https://zephyrproject.org/

Чем вам в самолете поможет что есть верифицированный кусок кода есть?

на самолетах не летаю принципиально, отчасти благодаря таким как вы самородкам, а так есть международные стандарты и там применяют гипервизоры.

скажите, при чем тут OpenCV - какой идиот его хочет на микроконтроллере ? Может сначала посмотрите что есть подходящее для всраиваемых систем под задачу, чем ковать квадратные колеса.

Подскажите пожалуйста более подходящее для встраиваемых систем решение для распознования образов.

А замечательные ОС с POSIX есть https://zephyrproject.org/

Кто же спорит что они есть и не только zethyr, eCos, FreeRTOS (к которой Амазон добавил POSIX прослойку), даже RTEMS имеет слой совместимости. Я бы конечно вспомнил про NuttX в данном ключе, но вспомнив бы задумался, для чего же добавляют? И может Embox прошел по этому пути, ну скажем так не меньше, а порой и дальше, других проектов?

на самолетах не летаю принципиально, отчасти благодаря таким как вы самородкам

Спасибо, что живете с оглядкой на мой скромную персону :)

а так есть международные стандарты и там применяют гипервизоры.

Спасибо за столь ценную и достоверную информацию :)

Подскажите пожалуйста более подходящее для встраиваемых систем решение для распознования образов

я знал что все самородки забанены в гугле

https://riscv.org/wp-content/uploads/2018/12/zephyr-tensorflow-lite-risc-v.pdf

https://riscv.org/wp-content/uploads/2018/12/zephyr-tensorflow-lite-risc-v.pdf

Спасибо! Ну раз Вы столь любезны, не подскажите, а при чем тут zephyr на risc-v? если речь о tensorflow то для незабанненых на википедии это библиотека для обработки данных на основе deep learning

не подскажите, а при чем тут zephyr на risc-v?

а что с ними не так ? ОС для микроконтроллеров с POSIX

для незабанненых на википедии

https://www.tensorflow.org/lite/microcontrollers

а что с ними не так ? ОС для микроконтроллеров с POSIX

С ними то все в порядке, а с вами что не так? Я уже сказал что не спорю, что существуют и другие ОС для микроконтроллеров c POSIX а не только zephyr или embox и привел несколько. Я Вас попросил привести пример распознования ПО образов для встроенных систем, а Вы упорно продолжаете ссылаться на ОС для микроконтроллеров и тот факт, с которым также никто не спорит, что tensorflow запускается на микроконтроллерах

а так есть международные стандарты и там применяют гипервизоры.

Спасибо за столь ценную и достоверную информацию :)

не знаю к чему тут эта глупая улыбка

Each application software is called a partition and has its own memory space. It also has a dedicated time slot allocated by the APEX API. Within each partition, multitasking is allowed. The APEX API provides services to manage partitions, processes and timing, as well as partition/process communication and error handling. The partitioning environment can be implemented by using a hypervisor[2] to map partitions to virtual machines, but this is not required.

https://en.wikipedia.org/wiki/ARINC_653

Я Вас попросил привести пример распознования ПО образов для встроенных систем

по вашему что я вам привел в пример ? вы же тут лапшу вешаете про какие-то невероятные достижения вашей ОС что кроме вас никто не может. Хинт в том что дебилизм с OpenCV на микроконтроллерах никому не нужен

https://github.com/tensorflow/tensorflow/tree/master/tensorflow/lite/micro/examples/person_detection

не знаю к чему тут эта глупая улыбка

А почему улыбка глупая?

Ценной информацию я назвал о том что существуют международные стандарты. А достоверной информацию о том что используются гипревизоры. В приведенном вами обзаце об ARINC-653 говорится не о гипервизоре, в общемпризнаном виде, а о партиционированной ОС, партиции в MILS архитектуре обладают другими свойствами чем разделы в обычном гипервизоре, например, задание ресурсов должно быть выполненно статически. И то что эти разделы могут быть выполнены в виде виртуальной машины, еще не означает что там используются обычные гипервизоры.

И кстати, если Вы думаете, что кто то позволит использовать самолеты реализованые не по международным стандартам, то вы ошибаетесь

по вашему что я вам привел в пример ?

По моему Вы привели пример ОС для микроконтроллеров имеющие POSIX слой совместимостимости. При этом я уже несколько раз сказал, что она не единственная, и Embox тоже не уникален в этом плане, привел еще ряд замечательных ОС обладающих этим свойством.

Еще Вы продолжаете приводить пример tensorflow,опять же замечательный проект, причем он может запускаться на микроконтроллерах и bare-metal, без zephyr и без других ОС. Естественно, применение ОС дает независимость от аппаратной платформы, но с тем что tensorflow запускается на микроконтроллерах опять же никто не спорит.

Я же привел в пример OpenCV, не как «невероятные достижения вашей ОС что кроме вас никто не может», а как пример, как достаточно легко использовать готовое ПО на платформах с небольшими ресурсами. Использование готового ПО на более легких платформах, также не уникальная идея Embox, примеры были приведены uCLinux, NuttX и так далее, даже добавление POSIX к ОС для микроконтроллеров это тоже шаг в этом направлении.

что дебилизм с OpenCV на микроконтроллерах никому не нужен если Вы считаете что то дебилизмом, это не значит что это им является. Тем более, что tensorflow не замена OpenCV, а про запуск на STM32f7 у нас спрашивают с завидной регулярностью, наверное толпа дебилов

Тем более, что tensorflow не замена OpenCV

это отличная замена под озвученную задачу

OpenCV, а про запуск на STM32f7 у нас спрашивают с завидной регулярностью, наверное толпа дебилов

из личного опыта - это люди не имеющие опыта работы с Linux поэтому использовать прямой путь - процессор с Linux для них невыполнимая задача. Вот и весь секрет. Для них набрать в консоли make уже ломку вызывает - надо виндовс с кнопкой «все сделай заепись»

Анон не гори ты так, делают ОС и делают. Ты сам сказал таких ОС 500, ну будет 501 - для тебя ничего не меняется.

Какие-то потуги малолетнего собственника проявляешь, вот мол бензопилу изобрели, а какие-то черти топор в мастерской мастерят.

Ты иди лучше с MTK исходники попроси и с других, а то твои потуги грозного лицензионного правосудия немного смердят.

из личного опыта - это люди не имеющие опыта работы с Linux поэтому использовать прямой путь - процессор с Linux для них невыполнимая задача. Вот и весь секрет. Для них набрать в консоли make уже ломку вызывает - надо виндовс с кнопкой «все сделай заепись»

Собрали софт не под линупс, какая боль.

это отличная замена под озвученную задачу

Хорошо, пусть будет под отличная под озвученую задачу, но я повторюсь, дело не в задаче и не в OpenCV а в самом подходе.

из личного опыта - это люди не имеющие опыта работы с Linux поэтому использовать прямой путь - процессор с Linux для них невыполнимая задача. Вот и весь секрет. Для них набрать в консоли make уже ломку вызывает - надо виндовс с кнопкой «все сделай заепись»

Ну как минимум большинство использовали OpenCV именно с Linux на малине или еще чем нибудь, но есть и такие которые хотят все в комплекте, правда все же не как в видноус, а sudo apt install какой нибудь.

твои потуги грозного лицензионного правосудия

ты ничего не понял - я против имитации бурной деятельности, тут где-то ссылку давали - на СПО миллиарды выделяют, только оседают они не в карманах разработчиков. Хотя о чём я - эти хоть что-то делают

Ты иди лучше с MTK исходники попроси

процессоры у них говенные недокументированные - мне их даром не надо

Ну как минимум большинство использовали OpenCV именно с Linux на малине

я про них и говорю - на малине apt ума хватает набрать, но малины даже в мелкой серии не купить тем более с индустриальным диапазоном температур их нет.

ты ничего не понял - я против имитации бурной деятельности

Так в чём имитация собственно? Тебе исходники предоставили, что есть продукт деятельности, в чём имитация?

тут где-то ссылку давали - на СПО миллиарды выделяют

У тебя есть пруфы, что сабжу что-то выделяли, если нет, то к чему это тут?

процессоры у них говенные недокументированные - мне их даром не надо

То есть если твой жопиэль нарушают говеными процессорами то ок, а если нормальными то ты борец за лицензионную чистоту?

У тебя есть пруфы, что сабжу что-то выделяли, если нет, то к чему это тут?

http://emboxing.ru

есть ООО для госзаказаов и полтора разработчика в комитах, финансовую отчетность они мне предоставляют. Кроме гос заказчиков я лично не представляю кому это нужно

То есть если твой жопиэль нарушают говеными процессорами то ок

нет но если пояаятся на лоре я спрошу - что за говно товарищи китайцы

Какие-то потуги малолетнего собственника проявляешь

Да всё проще, у анонимуса пригорает от того, что в этой стране «местная шпана» (по его терминологии) делает операционную систему. У него когнитивный диссонанс, вот он и мечет кал. «Дебилизм», «лапшу вешаете», тьфу.

P.S. А, вот, уже порвался:

я против имитации бурной деятельности, тут где-то ссылку давали - на СПО миллиарды выделяют, только оседают они не в карманах разработчиков.

Почему я не удивлён?

есть ООО для госзаказаов и полтора разработчика в комитах, финансовую отчетность они мне предоставляют.

Тебе — это кому, интересно?

Кроме гос заказчиков я лично не представляю кому это нужно

Знакомый почерк. Сначала кукарекаем про миллиарды, когда просят пруфов — «а для чего иначе это может быть нужно»?

Вот отсюда, alpha, и растут корни мема про предвзятое отношение к «славянскому ПО». Наезжать на автора мема и при этом в упор не замечать, что в общем-то, он в гротескной форме характеризует реальную ситуацию — лицемерие, на мой взгляд. Причём в данном случае речь про проект, который к пафосной саморекламе, в общем-то, не склонен, в отличие от той же Астры.

предвзятое отношение к «славянскому ПО»

там в комитах помню татарская фамилия в основном была. Твоя предвзятость к моей критике понятна - ты не разбираешься в этом но проект почему-то нравится. Ты внимательно прочиатай о чем тут речь - я же ссылки давал и вопросы по делу задавал

проект, который к пафосной саморекламе, в общем-то, не склонен

деньги любят тишину ?

Твоя предвзятость к моей критике понятна - ты не разбираешься в этом но проект почему-то нравится.

Если говорить про мою позицию, то она определяется в данном случае, скорее, тем, что мне НЕ нравится. Мне не нравится, когда на оригинальный проект начинают наезжать в грубой форме.

Я надеюсь, ты в курсе, что будет, если в банку варенья добавить ложку фекалий? Все эти «местная шпана» и прочее. А в данном случае и с вареньем… Ты серьёзно думаешь, что авторы проекта не знают про ARINC 653 тот же, например? Вот сюда глянь, например. Просто Антон пытается дискутировать максимально благожелательно, а некоторые, похоже, принимают это за слабость.

P.S. Да, лицензия BSD мне тоже не очень-то нравится, если говорить про ПО общего назначения. Однако почему она выбрана в данном случае, я очень хорошо понимаю. Потому, что во многом это решение для заказных проектов. Которые открытыми бывают чуть чаще, чем никогда. И авторы Embox не закрывают чужих наработок, они предоставляют свою наработку. Которую можно закрывать, можно не закрывать. Не стоит уподобляться герою того анекдота, где «то ли он украл, то ли у него украли, но осадочек остался».

Ты серьёзно думаешь, что авторы проекта не знают про ARINC 653

я на нем заострил внимание только потому что автор заулыбался и задал странный вопрос - а нахера ПО на самолетах вообще должно быть верифицированным. Нет так нет - пусть сам и летает на них :)

Вот сюда глянь

я это видел и оно многое проясняет - как бы вас обоих не ранить - автор не очень хорошо разбирается в возможностях Linux-систем

То есть, при получении рутовых прав, вся защита, по сути, становится не актуальной и можно установить, что угодно куда угодно. В случае же статической сборки злоумышленник может пользоваться только уже имеющимся функционалом

все то же самое можно сделать на Linux - статическая линковка в юзерспейс и линковка initramfs с ядром в один образ, вместо инита - свое приложение оно же единственное

и задал странный вопрос - а нахера ПО на самолетах вообще должно быть верифицированным

Ну передёргивание же. Он этого не говорил. Он сказал, что нужна верификация системы в целом, а не отдельного куска кода. В случае Embox я вообще с трудом представляю верификацию ОС без прикладного кода, поскольку автор целевой системы сам определяет, какие куски кода Embox ему использовать. Конечный продукт, видимо, и надо верифицировать.

вместо инита - свое приложение оно же единственное

Вот кстати, про примеры такого построения законченных решений я бы почитал. У меня были мысли чего-то подобного, но пока мыслями они и остались.

Вот кстати, про примеры такого построения законченных решений я бы почитал

https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tree/Documentation/filesystems/ramfs-rootfs-initramfs.rst?h=v5.9.1#n266

есть ООО для госзаказаов и полтора разработчика в комитах, финансовую отчетность они мне предоставляют. Кроме гос заказчиков я лично не представляю кому это нужно

Могу только повторить, если Вы не представляете, то это не значит что этого не нужно. Могу подтвердить, что мы действительно получили деньги за СПО, один раз от компании Google, за участие в программе GSoC2020. Я понимаю, что Google по вашему тоже является местной дебильной шпаной, но все таки это не гос контракты и гос программы. Мы бы рады, чтобы и нам перепало, что нибудь, ведь в СПО мы в какой то степени участвуем, хотя Вы конечно считаете, что лучше бы не участвовали поскольку это все иммитация деятельности, которая отвлекает от серьезных разработчикоа СПО, таких как Вы.

По поводу ООО, не поверите конечно, но люди готовы платить за Embox, поскольку получается делать некоторые вещи более эффективно чем с помощью других подходов, и да, в какой то степени мы гордимся что Embox используется, и не только в РФ. Но конечно по вашему это все тоже дебилы, один Вы в белом, как я понял.

По поводу полтора разработчика, ну github мне говорит что 104 коммитера, многие конечно сделали по одному коммиту, но все же больше сотни. И да есть разработчики и из других стран, не только русскоязычных, и да там тоже Embox используется

Не надо отвечать на критику, тем более анонимам. Что сделали то сделали как считали нужным. Кому надо - тому надо. Embox - нужно!

Кроме гос заказчиков я лично не представляю кому это нужно

Могу подтвердить, что мы действительно получили деньги за СПО, один раз от компании Google, за участие в программе GSoC2020

https://youtu.be/ol2vyPdZPSE?t=1262

Спасибо за рекламу конечно, но опять же к чему это?

Никто и не отрицает, что Embox имеет коммерческое применение, в том числе и в гос конторах, ничего плохого в этом не вижу. При этом деньги платятся не за наше участие в СПО движении (хотя оно есть), а за вполне конкрентные вещи. За участие в СПО нам заплатили один раз и это не гос контора. И вообще если есть в заказчиках гос конторы, и Вы не представляете кому кроме них это нужно, то это не значит, что других заказчиков нет.

Embox имеет коммерческое применение, в том числе и в гос конторах, ничего плохого в этом не вижу

аналогично - не вижу ничего в этом плохого, но я не вижу в embox ничего хорошего. Вместо замены QNX какая-то игрушка линукс-не линукс для микроконтроллеров. А тем временем мировой опыт показывает что микроядерные гипервизоры прекрасно решают задачи совмещения ежа с ужом - использование Linux без переписывания, безопасность и реалтайм

https://en.wikipedia.org/wiki/Integrity_(operating_system)

открытые проекты

https://en.wikipedia.org/wiki/Genode

https://en.wikipedia.org/wiki/Google_Fuchsia

аналогично - не вижу ничего в этом плохого, но я не вижу в embox ничего хорошего.

Ответьте пожалуйста, почему для Вас так важно увидеть хорошее в Embox? Ну не видите хорошее, другие видят! Это не значит, что в Embox нет хорошего, или что Вы чего то не видите, это просто означает, что лично Вам это хорошее не нужно.

Ну не видите хорошее, другие видят! Это не значит, что в Embox нет хорошего, или что Вы чего то не видите, это просто означает, что лично Вам это хорошее не нужно

система абсолютно не масштабируется вверх, вы предлагаете кастрацию как универсальное средство решения всех проблем, что в этом хорошего ? Меньше процессор - меньше проблем, меньше кода - меньше проблем. Это что - отвечает современным требованиям ?

Ответьте пожалуйста, почему для Вас так важно увидеть хорошее в Embox?

потому что развивается в университетской среде в моей стране.

вы предлагаете кастрацию как универсальное средство решения всех проблем,

Я такого не предлагаю!

потому что развивается в университетской среде в моей стране.

Во первых, почему Вы считаете, что вправе определять что делать проекту, лишь потому, что он по вашему мнению развивается в университетской среде вашей страны? В вашей стране, что не университеты это определяют?

И во вторых, кто Вам сказал, что Embox развивается в университесткой среде? Было уже много раз сказано, что это открытый международный проект, применяемый в коммерческих целях. Компания которую Вы привели, действительно развивает проект, и она же, как и другие учасники проекта, помогают в обучении студентов. Изначально проект действительно родился на Мат-Мехе СПбГУ, но официально университет никогда не поддерживал проект (и никакого финансирования конечно не было), просто люди собрались и решили, заняться чем то интересным для них самих. Оказалось, что результаты их деятельности интересны и другим людям. Поэтому если Вы не видите ничего хорошего в проекте, то просто поищите проект в котором Вы это увидите!

И во вторых, кто Вам сказал, что Embox развивается в университесткой среде?

вы или крестик снимите, или трусы наденьте

Copyright 2008-2020, Mathematics and Mechanics faculty
                  of Saint-Petersburg State University. All rights reserved.

https://github.com/embox/embox/blob/master/COPYRIGHT#L1

дальше говорить о чем-то смысла не вижу

дальше говорить о чем-то смысла не вижу

Спасибо!