| |
| 2.4, Онаним (?), 22:16, 25/10/2021 [^] [^^] [^^^] [ответить]
| –6 +/– |
А если по делу... SATA... в критически важных системах... оценил.
| | |
| 2.14, Аноним (-), 23:16, 25/10/2021 [^] [^^] [^^^] [ответить]
| –21 +/– |
Хоть на васике , как бы не звучало - не на си оно никому не нужно.
| | |
| |
| 3.15, Ingdfg (?), 23:26, 25/10/2021 [^] [^^] [^^^] [ответить]
| +5 +/– |
Даалект который математически проверяется. Как на си это сделать? Никак.
| | |
| |
| 4.29, МарьВанна (?), 06:17, 26/10/2021 [^] [^^] [^^^] [ответить]
| –14 +/– | |
Математическая верификация не спасает от ошибок в коде. Математическая верификация - это просто игрушка академиков и профессоров.
Только чистый Си.
| | |
| 4.36, Онаним (?), 07:31, 26/10/2021 [^] [^^] [^^^] [ответить]
| +3 +/– |
"Математическая верификация" гарантирует только, что оно не слетит в UB или runtime error. От разрушительного поведения в силу логических ошибок она не спасает.
| | |
| |
| |
| 6.57, Онаним (?), 09:48, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
А смысл?
Оно всё равно всё так же при неудачном раскладе звёзд может например потерей данных кончиться, просто в другом месте.
| | |
|
| |
| 6.83, Совершенно другой аноним (?), 12:34, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– |
см сообщения #43 - для SeL4, который на C тоже делали "Математическую верификацию". И по-моему там тоже использовалось подмножество языка C, но его никто не называл красивыми словами SPARK-2014 или как-то ещё.
| | |
| |
| 7.88, Аноним (-), 12:46, 26/10/2021 [^] [^^] [^^^] [ответить]
| +3 +/– |
> см сообщения #43 - для SeL4, который на C тоже делали "Математическую
> верификацию". И по-моему там тоже использовалось подмножество языка C,
Писали на самом деле на хаскеле, лишь после верификации корректности логики работы транслируя в сишку. И обошлась та верификация где-то в 20 человеко-лет на 9000 строк кода. А так да, все с Великой Сишкой хорошо и все придумки нового - от лукавого!
| | |
| |
| |
| 9.113, Аноним (-), 16:34, 26/10/2021 [^] [^^] [^^^] [ответить] | +/– | У тех, кто лишь ту новость и читал, но ни по каким сылкам не ходил http web1 ... большой текст свёрнут, показать | | |
|
|
|
|
|
|
| 3.25, Аноньимъ (ok), 04:10, 26/10/2021 [^] [^^] [^^^] [ответить]
| –10 +/– |
 Это какая-то новая стадия отрицания.
Сишка это помойный язык с нездоровым синтаксисом, околонулевой семантикой, и фрагментированой инфраструктурой.
На котором можно просто и быстро писать системное ПО невероятно низкого качества.
| | |
| |
| 4.54, sdfgjsdfjdj (?), 09:39, 26/10/2021 [^] [^^] [^^^] [ответить]
| +2 +/– |
Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода, за это его и любят
| | |
| |
| |
| |
| 7.109, Аноньимъ (ok), 16:00, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– |
>>кто любит сишку? терпят, да, но любить ...
>весь HPC на фортране любит
Хмммммммм?
| | |
|
|
| 5.84, Аноним (-), 12:36, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
> вплоть до того, что можно предсказать сколько тактов процессора
> займёт исполнение кода, за это его и любят
Скорее - вплоть до самых разных баек о том, "как можно суперкруто".
| | |
| 5.107, Аноньимъ (ok), 15:51, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– | |
>Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода
Yes.
>за это его и любят
Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт.
| | |
|
| 4.94, uis (ok), 12:59, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– |
 > На котором можно просто и быстро писать системное ПО невероятно низкого качества.
При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества.
Может тебе ещё и в асме синтаксис нужен? А какой, at&t или intel? Или лучше ради единственно-верного карго-культа собирать компилятор на десяток-другой гигов места под объектники и восемь гигов исходников?
| | |
| |
| 5.108, Аноньимъ (ok), 15:58, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– | |
>При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества.
Да, сишка это системный питон такой. Врайт ванце краш еверивере.
>Может тебе ещё и в асме синтаксис нужен?
В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса.
Речь шла о том, что он ужасный, и лишённый семантики.
>А какой, at&t или intel? Или лучше ради единственно-верного карго-культа собирать компилятор на десяток-другой гигов места под объектники и восемь гигов исходников?
Чё? Да, GCC ужасный монстр, я согласен. Монструозность GCC, к которому ещё и систему сборки нужно отдельно прикручивать, и систему управления пакетами, хорошо демонстрирует мною сказанное.
| | |
| |
| 6.127, Онаним (?), 19:57, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
> В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса.
> Речь шла о том, что он ужасный, и лишённый семантики.
Лучше и читабельнее пока не придумано, все эти питорастические извраты так извратами и останутся.
Нет, из сей тоже можно сделать троллейбус, как из той буханки, но если писать не ради извращения - будет читабельно.
| | |
|
|
|
|
| 2.18, Dzen Python (ok), 00:53, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– |
 Подумать только...на АДА. А почему на сверхбезопасном и самом-мамом луДшем <deleted>?
| | |
| |
| 3.24, Аноньимъ (ok), 04:05, 26/10/2021 [^] [^^] [^^^] [ответить]
| +2 +/– |
Потому, что Ада куда более структурирована, детерминирована, и поддаётся верификации.
К тому же за Адой стоят промышленные стандарты.
Без которых, ваши заявления о надёжности вашего ПО в контексте критических задачь, ничего не стоят.
| | |
| 3.47, Аноним (47), 08:57, 26/10/2021 [^] [^^] [^^^] [ответить] | –1 +/– | Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный... большой текст свёрнут, показать | | |
| |
| 4.99, YetAnotherOnanym (ok), 13:58, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– |
 > твой объект ненависти за год то этого был еще в пеленках и непонятно чем
Дык отож - пока сабж пилили, оно так и не стало ничем таким, что могло бы перетянуть к себе разработчиков и побудить их отказаться от Ады.
| | |
|
|
| 2.68, Аноним (68), 10:48, 26/10/2021 [^] [^^] [^^^] [ответить] | +2 +/– | Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA... большой текст свёрнут, показать | | |
|
| 1.2, Аноним (2), 22:09, 25/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
Есть ли там watchdog, который позволял бы ребутнуть проц без потери запущенных приложений и виртуалок.
| | |
| |
| 2.3, Онаним (?), 22:13, 25/10/2021 [^] [^^] [^^^] [ответить]
| +8 +/– |
Э-э-э, а какой в этом смысл?
Если возникла ситуация, в которой только реакция watchdog поможет - сохранять что-то уже поздно, и небезопасно - есть риск данных лишиться.
| | |
| |
| 3.33, Аноним (33), 07:04, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– |
смысл зависит от реализации. Вызов вачдога может запустить полную проверку контекстов. Получим надежность в целом с минимальными потерями. По крайней мере в контроллерах это прокатывает, хотя в ос конечно сложней.
| | |
| |
| 4.35, Онаним (?), 07:29, 26/10/2021 [^] [^^] [^^^] [ответить]
| +3 +/– |
Единственный смысл - снять дамп/бектрейс (опционально) и перезапуститься.
Никакая "полная проверка контекстов" не выявит причин вставания системы раком.
Либо будет сложнее и затратнее самой системы.
А если потенциальные причины известны и есть ресурсы на создание "проверки контекстов" - проще вложить их собственно в устранение этих причин.
| | |
| 4.92, uis (ok), 12:53, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– | |
> Вызов вачдога может запустить полную проверку контекстов.
Если это он, то не может. Он должен делать аппаратный сброс.
| | |
| 4.110, Аноним (33), 16:14, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
да успокойтесь уже, не говорится в этой оси про вачдог. Речь была о контроллере. Была необходимость и было так сделано. Какие блин виртуалки?
| | |
|
| 3.100, YetAnotherOnanym (ok), 14:00, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– | |
> без потери запущенных приложений и виртуалок
Чтобы сразу же после ребута влететь в то же самое состояние?
| | |
|
|
| 1.6, QwertyReg (ok), 22:32, 25/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| –5 +/– |
 > Ядро доступно для архитектуры x86_64
То есть даже тут x86 слили в отстойник истории. А кто-то до сих пор над десктопе насилует труп, лол.
| | |
| |
| 2.12, Аноним (12), 22:40, 25/10/2021 [^] [^^] [^^^] [ответить]
| –4 +/– | |
Действительно, сейчас все бросятся на твой растопроц
А я думал уже глупее фрактала с лошадкой быть не может. Но тут появился ты.
| | |
| 2.13, пончик (?), 22:43, 25/10/2021 [^] [^^] [^^^] [ответить]
| –3 +/– | |
И как же ты по такой фразе сделал такой вывод?
Ты бы с наркотой завязал а? пока не поздно. Или уже поздно и мозг проржавел?
| | |
| 2.19, Dzen Python (ok), 00:55, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– |
Единственный вопрос: почему твои посты настолько жирные, что уже даже неинтересные? Зачем?
| | |
|
| |
| 2.40, Аноним (40), 08:22, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
У меня книга где то валяется так и называется "Язык Ада" , могу дать
| | |
| |
| 3.61, pofigist (?), 10:09, 26/10/2021 [^] [^^] [^^^] [ответить]
| +4 +/– |
Да-да-да!
Коричневая обложка...
Еду как-то на 22м троллейбусе мимо елоховки - тогда в этом поповнике весь цвет РПЦ отирался... Читаю эту книжку... А рядом - куча воцерквленных бабок...
Представляете какой цирк с конями начался, когда я книжку закрыл и они прочитали ее название? 🤣
| | |
|
|
| |
| 2.31, Аноним (31), 06:26, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– | |
>В образах компонентов с Linux задействовано ядро Linux 5.4.66.
Муэн - микроядро. А Линукс- это и ещё сброник аппаратных и виртуальных драйверов.
| | |
| |
| 3.32, Аноним (32), 07:02, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– |
Муэн - заявочка на ядро здорового человека.
Линукс - клиническая помойка.
| | |
| |
| 4.56, sdfgjsdfjdj (?), 09:42, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
когда muen обрастёт таким-же количеством поддерживаемого железа - станет тоже похожа на помойку :)
| | |
| |
| 5.62, pofigist (?), 10:11, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– |
Не станет. Потому что в микроядерной архитектуре не придется все это васянское г-но тащить в ведро...
| | |
| |
| 6.66, sdfgjsdfjdj (?), 10:45, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
хех, и получишь что-то вроде 3.11 венды: микроядро, но все дрова надо качать руками (если сетка поднимется)
| | |
| |
| 7.81, pofigist (?), 12:11, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– | |
Нда... у 3.11 - микроядро... учи матчасть!
Лучше как у линакса - когда в процессе установки надо качать все окружение... если сеть подымется. netinstall ога :)
| | |
|
|
|
| 4.87, uis (ok), 12:45, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
Угу. И количество переключений контекста тоже здоровенного человека. Особенно это весело с использованием приёмчиков предотвращения утечек по сторонним каналам.
| | |
|
|
|
| 1.30, Аноним (31), 06:25, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| +6 +/– | |
>Код распространяется под лицензией GPLv3.
Не бздуноподобная пермиссивка-разрешиловка. Зачёт.
| | |
| |
| 2.39, . (?), 08:20, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– | |
Ненужная ос на ненужном языке - с ненужной лицензией, все правильно.
Кто-то защитил свой phd, и можно выносить.
| | |
| |
| 3.59, Онаним (?), 09:49, 26/10/2021 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ну почему ненужная-то.
Да, академическая поделка.
Но с учётом проделанной работы по верификации секущихся концов (не алгоритмической конечно...), вполне себе годно, только не знаю, для чего.
| | |
| |
| 4.69, пох. (?), 11:00, 26/10/2021 [^] [^^] [^^^] [ответить]
| –2 +/– | |
Ну вот это и есть синоним ненужного - "годно не знаю для чего".
Поскольку запустить из реально существующего можно только кастрированный линукс, а зачем нам еще один?
| | |
| |
| 5.71, Аноним (68), 11:08, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– | |
А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписывают код с C и Rust..
Решения есть, где нужна высокий уровень безопасности, стабильности и работы в режиме реального времени.
| | |
| |
| 6.86, uis (ok), 12:41, 26/10/2021 [^] [^^] [^^^] [ответить]
| –1 +/– |
Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада
| | |
|
|
| 4.70, Аноним (68), 11:03, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– | |
Люди на Muen OS давно девайсы выпускают, например такой: https://www.nitrokey.com/products/nethsm Меня повеселила одна фича: "наш девайсы с OS настолько безопасны, что даже консоль для ввода и вывод на монитор не предусмотрены..."
Гениально! Зачем компу клава и монитор? Еще и админа тогда надо чтоб сидел и стучал по клаве, смотрел в монитор. Комп должен просто работать, без человека, как лампочка, включил и оно работает.
| | |
| |
| 5.76, Онаним (?), 11:29, 26/10/2021 [^] [^^] [^^^] [ответить]
| +1 +/– |
А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет.
| | |
| |
| 6.78, Аноним (78), 11:41, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
Нет, вход для питания и выход в сеть девайсу нужны. А клавы, мониторы, даже светодиодная индикация не надо.
| | |
|
|
|
|
| |
| |
| 4.143, Аноним (-), 12:00, 27/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий диван и попкорн. Всё.
| | |
|
|
|
| 1.42, . (?), 08:23, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– | |
> Система непрерывной интеграции переведена с эмулятора Bochs на вложенные окружения QEMU/KVM.
все что нужно знать об этой бесполезной поделке.
| | |
| 1.85, uis (ok), 12:39, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
Ада - это Ада, это не раст. Вот где настоящая надёжность.
| | |
| |
| |
| |
| 4.117, Аноним (-), 17:12, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
Старые программисты на Ада умрут от старости, без модной молодёжи кому вы свою Адскую Отчизну оставите? Или думаете, как в Дебиане, на вашу сторону появится поток из стареющих пацанов?
| | |
|
|
|
| |
| 2.124, Аноним (-), 18:37, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
многаденех курсы бисплатные личная пальма под цвет ноутбука ада за 24 часа от нуля до гираскутера гламурная барада в пакете с первой дозой в падарок
| | |
| |
| 3.133, Аноним (-), 06:31, 27/10/2021 [^] [^^] [^^^] [ответить]
| +/– | |
Райдер модного, молодёжного и прогрессивного человека.
1. Много денег.
2. Бесплатные курсы по языку Ада.
3. Свой остров, или пляж с пальмами под цвет ноутбука.
4. Книжка "Освой Ада за 24 часа".
5. Гироскутер.
6. Гламурная борода.
7. Доза веществ в пакете (в подарок). Нужно для того чтобы возникали в голове творческие мысли.
В принципе всё, юридически оформил. Пунк 7 хорошо реализуем в Калифорнии, либо в Нидерландах.
| | |
|
| 2.147, Аноним (33), 17:08, 27/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
Аду же разрабатывала оборонка америки. Наса на ней клепала управление своими шатлами. Помнится трапалась на пуске по каждому чиху. Но работала вроде надежно. Программисты на ней писали кажется только для ихнего впк, про гражданские проекты не слышно было
| | |
|
| 1.131, Gogi (??), 20:30, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Мне от одного списка (аппаратных) возможностей плохо стало! Неужели ВСЁ ЭТО нужно для того, чтобы юзер тупо запустил ворд?? (условно говоря)
По-моему, проектировщики аппаратуры стали такой же тупой индуснёй, как и в софте - главное наструячить побольше фич, а надо оно или нет - да пофиг, оплачено! (как было с x86 + защищённый режим + тонна сопутствующих НЕНУЖНЫХ регистров, таблиц и т.п.)
Гениальное обязано быть простым и понятным. Если какую-то платформу раздули до неосязаемых архитектурных громад, нахрен такую архитектуру. Я лучше на БК0010 буду редактировать, чем на суперзащищённом x86 ждать, когда меня вскроют через IME.
| | |
| |
| 2.132, Онаним (?), 20:44, 26/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
Главное - не смотри на инициализацию ACPI и PCI в линуховом ядре...
Вот где ад так ад.
| | |
|
| 1.137, Аноним (138), 10:18, 27/10/2021 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Открытый и (высоко)надёжный таки разные вещи. Друг с другом никак не связанные.
| | |
| |
| 2.145, Аноним (142), 12:48, 27/10/2021 [^] [^^] [^^^] [ответить]
| +/– |
сперва академическое открытое, потом уж точное наведение на нужную голову в реалтайм. но цена головы/репутации с нулевых сильно упала, потому можно и гражданским линуксом по квадрату с задержкой и осечкой.
| | |
|
|
