Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем, opennews (?), 25-Окт-21, (0) [смотреть все] написаны на языке Ада - хорошо звучит , Онаним (?), 22:02 , 25-Окт-21, (1) +13   // А если по делу SATA в критически важных системах оценил , Онаним (?), 22:16 , 25-Окт-21, (4) –6   Хоть на васике , как бы не звучало - не на си оно никому не нужно , Аноним (-), 23:16 , 25-Окт-21, (14) –21   // Даалект который математически проверяется Как на си это сделать Никак , Ingdfg (?), 23:26 , 25-Окт-21, (15) +5   // Математическая верификация не спасает от ошибок в коде Математическая верификац, МарьВанна (?), 06:17 , 26-Окт-21, (29) –14   Математическая верификация гарантирует только, что оно не слетит в UB или runt, Онаним (?), 07:31 , 26-Окт-21, (36) +3   Вам этого мало , Аноним (37), 07:37 , 26-Окт-21, (37) +2   А смысл Оно всё равно всё так же при неудачном раскладе звёзд может например пот, Онаним (?), 09:48 , 26-Окт-21, (57)   По крайней мере она от чего-то спасает А с си как Никак , Ingdfg (?), 12:10 , 26-Окт-21, (80) +3   см сообщения 43 - для SeL4, который на C тоже делали Математическую верификаци, Совершенно другой аноним (?), 12:34 , 26-Окт-21, (83) –1   Писали на самом деле на хаскеле, лишь после верификации корректности логики рабо, Аноним (-), 12:46 , 26-Окт-21, (88) +3   что-то у Вас не сходится - Вы сами пишете, что верификация, которая выполнялась , Совершенно другой аноним (?), 13:28 , 26-Окт-21, (97) –4   У тех, кто лишь ту новость и читал, но ни по каким сылкам не ходил http web1 c, Аноним (-), 16:34 , 26-Окт-21, (113)   Например так - https www opennet ru opennews art shtml num 40297, Совершенно другой аноним (?), 08:23 , 26-Окт-21, (43) –1   frama-c, погуглите, читатель (?), 22:49 , 29-Окт-21, (149)   Это какая-то новая стадия отрицания Сишка это помойный язык с нездоровым синтакс, Аноньимъ (ok), 04:10 , 26-Окт-21, (25) –10   // Си - это ассемблер для ленивых он легко позволяет делать реализации всяких reso, sdfgjsdfjdj (?), 09:39 , 26-Окт-21, (54) +2   кто любит терпят, да, но любить , Админ Анонимов (?), 10:41 , 26-Окт-21, (65) –3   весь HPC на сях и фортране, вряд-ли это было бы так если б язык не нравился, sdfgjsdfjdj (?), 10:47 , 26-Окт-21, (67) –1   тут скорее другое - жена страшная как война но держат дети, Админ Анонимов (?), 11:40 , 26-Окт-21, (77) –1   ты шутишь в этих системах транспорты точат так, что за каждый лишний бранч на f, sdfgjsdfjdj (?), 12:15 , 26-Окт-21, (82) –2   для оптимизации узких мест есть ассемблер, Админ Анонимов (?), 14:56 , 26-Окт-21, (104)   пробовал на асме большие проекты делать а под несколько архитектур да хотя бы , sdkhflskhgl (?), 20:17 , 26-Окт-21, (129)   Хмммммммм , Аноньимъ (ok), 16:00 , 26-Окт-21, (109) –2   Скорее - вплоть до самых разных баек о том, как можно суперкруто , Аноним (-), 12:36 , 26-Окт-21, (84)   Yes Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт , Аноньимъ (ok), 15:51 , 26-Окт-21, (107) –1   При чём тут питон А, тьфу, питон про прикладное ПО невероятно низкого качества , uis (ok), 12:59 , 26-Окт-21, (94) –2   Да, сишка это системный питон такой Врайт ванце краш еверивере В сишке синтакси, Аноньимъ (ok), 15:58 , 26-Окт-21, (108) –1   Лучше и читабельнее пока не придумано, все эти питорастические извраты так извра, Онаним (?), 19:57 , 26-Окт-21, (127)   Подумать только на АДА А почему на сверхбезопасном и самом-мамом луДшем dele, Dzen Python (ok), 00:53 , 26-Окт-21, (18) –2   // Потому, что Ада куда более структурирована, детерминирована, и поддаётся верифик, Аноньимъ (ok), 04:05 , 26-Окт-21, (24) +2   // Мне кажется, это был сарказм, uis (ok), 12:54 , 26-Окт-21, (93)   Ада с рустом это как мягкое с солёным Раст это про функциональщину и безопасност, Аноньимъ (ok), 16:19 , 26-Окт-21, (112)   Хрусту надо больше Ада , Онаним (?), 19:58 , 26-Окт-21, (128)   Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный, Аноним (47), 08:57 , 26-Окт-21, (47) –1   // Дык отож - пока сабж пилили, оно так и не стало ничем таким, что могло бы перетя, YetAnotherOnanym (ok), 13:58 , 26-Окт-21, (99) –1   Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA, Аноним (68), 10:48 , 26-Окт-21, (68) +2   При загрузке из колонок раздается Descent Into Cerberon из Quake 2, Kuromi (ok), 19:45 , 26-Окт-21, (125)   Есть ли там watchdog, который позволял бы ребутнуть проц без потери запущенных п, Аноним (2), 22:09 , 25-Окт-21, (2) –1 // Э-э-э, а какой в этом смысл Если возникла ситуация, в которой только реакция wat, Онаним (?), 22:13 , 25-Окт-21, (3) +8 // смысл зависит от реализации Вызов вачдога может запустить полную проверку конте, Аноним (33), 07:04 , 26-Окт-21, (33) –1 // Единственный смысл - снять дамп бектрейс опционально и перезапуститься Никакая, Онаним (?), 07:29 , 26-Окт-21, (35) +3 Если это он, то не может Он должен делать аппаратный сброс , uis (ok), 12:53 , 26-Окт-21, (92) да успокойтесь уже, не говорится в этой оси про вачдог Речь была о контроллере , Аноним (33), 16:14 , 26-Окт-21, (110) Чтобы сразу же после ребута влететь в то же самое состояние , YetAnotherOnanym (ok), 14:00 , 26-Окт-21, (100) То есть даже тут x86 слили в отстойник истории А кто-то до сих пор над десктопе, QwertyReg (ok), 22:32 , 25-Окт-21, (6) –5 // Действительно, сейчас все бросятся на твой растопроцА я думал уже глупее фракта, Аноним (12), 22:40 , 25-Окт-21, (12) –4 И как же ты по такой фразе сделал такой вывод Ты бы с наркотой завязал а пока н, пончик (?), 22:43 , 25-Окт-21, (13) –3 Единственный вопрос почему твои посты настолько жирные, что уже даже неинтересн, Dzen Python (ok), 00:55 , 26-Окт-21, (19) –2 // Там в пору уже к доктору сходить , Аноним (20), 01:03 , 26-Окт-21, (20) –1 Нужно , Аноним (16), 00:32 , 26-Окт-21, (16) Скрыто модератором, Аноним (17), 00:36 , 26-Окт-21, (17) –1 // Скрыто модератором, Аноньимъ (ok), 04:14 , 26-Окт-21, (26) Посоветуйте хороший учебник по языку программирования Ада пожалуйста , Аноним (22), 02:54 , 26-Окт-21, (22) // У меня книга где то валяется так и называется Язык Ада , могу дать, Аноним (40), 08:22 , 26-Окт-21, (40) Была очень хорошая книжка издательства Мир 1988 Н Джехани - Язык Ада, anonymous (??), 08:38 , 26-Окт-21, (45) +1 // Да-да-да Коричневая обложка Еду как-то на 22м троллейбусе мимо елоховки - тогд, pofigist (?), 10:09 , 26-Окт-21, (61) +4 // Главное чтобы они не были вооружены тележками, uis (ok), 12:48 , 26-Окт-21, (91) +1 Шигорину язык программирования Ада не понравится , Аноним (-), 13:27 , 26-Окт-21, (96) +1 спасибо, доброжелатель (?), 11:15 , 26-Окт-21, (72) У Джехани вроде и по сям была книга неплохая , uis (ok), 12:47 , 26-Окт-21, (90) +1 // Ага, в волосатой обложке , YetAnotherOnanym (ok), 16:34 , 26-Окт-21, (114) путеводитель по Аду Пожалуйста https ru wikipedia org wiki Божественная_комед, Минона (ok), 09:19 , 26-Окт-21, (51) // Да, тоже хотел Данте предложить , Онаним (?), 09:48 , 26-Окт-21, (58) Например, вот, от компании AdaCore https learn adacore com Есть ещё А Гавва , Аноним (79), 11:54 , 26-Окт-21, (79) +1 // Спасибо, Аноним (22), 16:16 , 26-Окт-21, (111) Некрономикон под ред Брюса Эш Кэмпбелла , Kuromi (ok), 19:46 , 26-Окт-21, (126) Вот тут мне нравится как концепции показывают http www ada-ru org safe_secure_, PnD (??), 10:41 , 27-Окт-21, (140) +1 20 часов работает еще не зависло Вау , Аноним (23), 03:13 , 26-Окт-21, (23) // Отпишись поподробнее , Аноним (-), 13:28 , 26-Окт-21, (98) Альтернатива Линуксу Годно , Аноним (27), 06:11 , 26-Окт-21, (27) // Муэн - микроядро А Линукс- это и ещё сброник аппаратных и виртуальных драйверов, Аноним (31), 06:26 , 26-Окт-21, (31) // Муэн - заявочка на ядро здорового человека Линукс - клиническая помойка , Аноним (32), 07:02 , 26-Окт-21, (32) –2 // когда muen обрастёт таким-же количеством поддерживаемого железа - станет тоже по, sdfgjsdfjdj (?), 09:42 , 26-Окт-21, (56) Не станет Потому что в микроядерной архитектуре не придется все это васянское г, pofigist (?), 10:11 , 26-Окт-21, (62) –1 хех, и получишь что-то вроде 3 11 венды микроядро, но все дрова надо качать рук, sdfgjsdfjdj (?), 10:45 , 26-Окт-21, (66) Нда у 3 11 - микроядро учи матчасть Лучше как у линакса - когда в процессе, pofigist (?), 12:11 , 26-Окт-21, (81) –1 нда вот и выросло поколение ЕГЭ WinNT до версии 4 0 имела архитектуру очень, sdfgjsdfjdj (?), 12:47 , 26-Окт-21, (89) –1 Да уж - заметно Нет и никогда не было WinNT 3 11 - это была Windows for Worksgr, pofigist (?), 17:34 , 26-Окт-21, (118) да, затупил, не тот минор написал, давно дело было, забывать стал, sdkhflskhgl (?), 20:19 , 26-Окт-21, (130) Это деменция Прививался чтоль Такое перепутать - невозможно , pofigist (?), 16:58 , 28-Окт-21, (148) Угу И количество переключений контекста тоже здоровенного человека Особенно эт, uis (ok), 12:45 , 26-Окт-21, (87) Не бздуноподобная пермиссивка-разрешиловка Зачёт , Аноним (31), 06:25 , 26-Окт-21, (30) +6 // Ненужная ос на ненужном языке - с ненужной лицензией, все правильно Кто-то защит, . (?), 08:20 , 26-Окт-21, (39) –2 // Ну почему ненужная-то Да, академическая поделка Но с учётом проделанной работы п, Онаним (?), 09:49 , 26-Окт-21, (59) +1 // Ну вот это и есть синоним ненужного - годно не знаю для чего Поскольку запусти, пох. (?), 11:00 , 26-Окт-21, (69) –2 А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписываю, Аноним (68), 11:08 , 26-Окт-21, (71) –1 Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада, uis (ok), 12:41 , 26-Окт-21, (86) –1 Люди на Muen OS давно девайсы выпускают, например такой https www nitrokey co, Аноним (68), 11:03 , 26-Окт-21, (70) А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет , Онаним (?), 11:29 , 26-Окт-21, (76) +1 Нет, вход для питания и выход в сеть девайсу нужны А клавы, мониторы, даже свет, Аноним (78), 11:41 , 26-Окт-21, (78) Только выхода, входа из сети не надо D, Онаним (?), 14:41 , 26-Окт-21, (102) Действительно, зачнм независающей ОС локальная консоль А для конфигуряния есть , Anonymous XE (?), 16:52 , 26-Окт-21, (116) открыл попкорн и приготовился к очередному срачу , Минона (ok), 09:13 , 26-Окт-21, (50) –1 // Зря достал попкорн, кина не будет , Аноним (-), 13:23 , 26-Окт-21, (95) А почему под срач так хорош именно попкорм А горох не лучше , Аноним (138), 10:19 , 27-Окт-21, (138) // какой зеленый из баночки попробуй 9786 , Минона (ok), 10:47 , 27-Окт-21, (141) Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий д, Аноним (-), 12:00 , 27-Окт-21, (143) А пыво , Аноним (138), 12:45 , 27-Окт-21, (144) Закрытый таки всегда надёжнее Чем распахнутый , Аноним (138), 10:20 , 27-Окт-21, (139) все что нужно знать об этой бесполезной поделке , . (?), 08:23 , 26-Окт-21, (42) –1 А какой футпринт Неyжто Qubes здорового человека , Аноним (44), 08:27 , 26-Окт-21, (44) –1 Прибито гвоздями к интелу , Аноним12345 (?), 09:25 , 26-Окт-21, (52) +1 А есть сравнение с se4L , Аноним (60), 10:08 , 26-Окт-21, (60) А что там с AMD-V Незаслуженно обидели красных , Аноним (64), 10:37 , 26-Окт-21, (64) // У программистов писавших Муэн материнки с процами от Интел , Аноним (101), 14:35 , 26-Окт-21, (101) Ада - это Ада, это не раст Вот где настоящая надёжность , uis (ok), 12:39 , 26-Окт-21, (85) –1 // Только вот язык Ада - не модный , Аноним (-), 14:42 , 26-Окт-21, (103) // Это хорошо, модно-молодёжные в него лезть не будут , Anonymous XE (?), 16:42 , 26-Окт-21, (115) // Старые программисты на Ада умрут от старости, без модной молодёжи кому вы свою А, Аноним (-), 17:12 , 26-Окт-21, (117) Молодые и модно-молодёжные, это, как бы, не эквивалентно , Anonymous XE (?), 18:18 , 26-Окт-21, (123) Кто на Аду будет вкатываться, есть такие , Аноним (119), 17:38 , 26-Окт-21, (119) // многаденех курсы бисплатные личная пальма под цвет ноутбука ада за 24 часа от ну, Аноним (-), 18:37 , 26-Окт-21, (124) // Райдер модного, молодёжного и прогрессивного человека 1 Много денег 2 Бесплатн, Аноним (-), 06:31 , 27-Окт-21, (133) Аду же разрабатывала оборонка америки Наса на ней клепала управление своими шат, Аноним (33), 17:08 , 27-Окт-21, (147) Мне от одного списка аппаратных возможностей плохо стало Неужели ВСЁ ЭТО нужн, Gogi (??), 20:30 , 26-Окт-21, (131) // Главное - не смотри на инициализацию ACPI и PCI в линуховом ядре Вот где ад та, Онаним (?), 20:44 , 26-Окт-21, (132) на суперзащищенном airgap ждать пока вскроют через трансформатор, Аноним (142), 11:40 , 27-Окт-21, (142) Открытый и высоко надёжный таки разные вещи Друг с другом никак не связанные , Аноним (138), 10:18 , 27-Окт-21, (137) // сперва академическое открытое, потом уж точное наведение на нужную голову в реал, Аноним (142), 12:48 , 27-Окт-21, (145) // Это вояка , Аноним (-), 14:28 , 27-Окт-21, (146) 1,2,6,16,22,23,27,30,42,44,52,60,64,85,119,131,137

Сообщения

[Сортировка по времени | RSS]

1. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+13 +/–
Сообщение от Онаним (?), 25-Окт-21, 22:02
"написаны на языке Ада" - хорошо звучит.
Ответить | Правка | Наверх | Cообщить модератору

	4. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–6 +/–
	Сообщение от Онаним (?), 25-Окт-21, 22:16
	А если по делу... SATA... в критически важных системах... оценил.
	Ответить | Правка | Наверх | Cообщить модератору

	14. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–21 +/–
	Сообщение от Аноним (-), 25-Окт-21, 23:16
	Хоть на васике , как бы не звучало - не на си оно никому не нужно.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	15. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+5 +/–
	Сообщение от Ingdfg (?), 25-Окт-21, 23:26
	Даалект который математически проверяется. Как на си это сделать? Никак.
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–14 +/–
	Сообщение от МарьВанна (?), 26-Окт-21, 06:17
	Математическая верификация не спасает от ошибок в коде. Математическая верификация - это просто игрушка академиков и профессоров. Только чистый Си.
	Ответить | Правка | Наверх | Cообщить модератору

	36. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+3 +/–
	Сообщение от Онаним (?), 26-Окт-21, 07:31
	"Математическая верификация" гарантирует только, что оно не слетит в UB или runtime error. От разрушительного поведения в силу логических ошибок она не спасает.
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

	37. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+2 +/–
	Сообщение от Аноним (37), 26-Окт-21, 07:37
	Вам этого мало?
	Ответить | Правка | Наверх | Cообщить модератору

	57. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Онаним (?), 26-Окт-21, 09:48
	А смысл? Оно всё равно всё так же при неудачном раскладе звёзд может например потерей данных кончиться, просто в другом месте.
	Ответить | Правка | Наверх | Cообщить модератору

	80. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+3 +/–
	Сообщение от Ingdfg (?), 26-Окт-21, 12:10
	По крайней мере она от чего-то спасает. А с си как? Никак.
	Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

	83. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Совершенно другой аноним (?), 26-Окт-21, 12:34
	см сообщения #43 - для SeL4, который на C тоже делали "Математическую верификацию". И по-моему там тоже использовалось подмножество языка C, но его никто не называл красивыми словами SPARK-2014 или как-то ещё.
	Ответить | Правка | Наверх | Cообщить модератору

	88. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+3 +/–
	Сообщение от Аноним (-), 26-Окт-21, 12:46
	> см сообщения #43 - для SeL4, который на C тоже делали "Математическую > верификацию". И по-моему там тоже использовалось подмножество языка C, Писали на самом деле на хаскеле, лишь после верификации корректности логики работы транслируя в сишку. И обошлась та верификация где-то в 20 человеко-лет на 9000 строк кода. А так да, все с Великой Сишкой хорошо и все придумки нового - от лукавого!
	Ответить | Правка | Наверх | Cообщить модератору

	97. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–4 +/–
	Сообщение от Совершенно другой аноним (?), 26-Окт-21, 13:28
	>> см сообщения #43 - для SeL4, который на C тоже делали "Математическую >> верификацию". И по-моему там тоже использовалось подмножество языка C, > Писали на самом деле на хаскеле, лишь после верификации корректности логики работы > транслируя в сишку. И обошлась та верификация где-то в 20 человеко-лет > на 9000 строк кода. А так да, все с Великой Сишкой > хорошо и все придумки нового - от лукавого! что-то у Вас не сходится - Вы сами пишете, что верификация, которая выполнялась для Haskel-а, а уже потом был перевод на C, заняла 20 лет.
	Ответить | Правка | Наверх | Cообщить модератору

	113. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (-), 26-Окт-21, 16:34
	> что-то у Вас не сходится - Вы сами пишете, что верификация, которая > выполнялась для Haskel-а, а уже потом был перевод на C, заняла 20 лет. У тех, кто лишь ту новость и читал, но ни по каким сылкам не ходил: http://web1.cs.columbia.edu/~junfeng/09fa-e6998/papers/sel4.pdf > The overallsize of the proof,including framework, libraries, and generated proofs (not shown in the table)is 200,000 lines of Isabelle script. > The abstract spec took about 4 person months to develop > About 2 person years (py) went into Haskell prototype ... > The initial C translation was donein 3 weeks, in total the C implementation took about 2 pm,for a total costof 2.2 py including the Haskell effort. ... > The cost of the proof is higher,in total about 20 py. и с верификацией знаком лишь из заголовка новости - все может быть.
	Ответить | Правка | Наверх | Cообщить модератору

	43. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:23
	Например так - https://www.opennet.ru/opennews/art.shtml?num=40297
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

	149. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от читатель (?), 29-Окт-21, 22:49
	frama-c, погуглите
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

	25. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–10 +/–
	Сообщение от Аноньимъ (ok), 26-Окт-21, 04:10
	Это какая-то новая стадия отрицания. Сишка это помойный язык с нездоровым синтаксисом, околонулевой семантикой, и фрагментированой инфраструктурой. На котором можно просто и быстро писать системное ПО невероятно низкого качества.
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	54. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+2 +/–
	Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 09:39
	Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода, за это его и любят
	Ответить | Правка | Наверх | Cообщить модератору

	65. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–3 +/–
	Сообщение от Админ Анонимов (?), 26-Окт-21, 10:41
	кто любит ? терпят, да, но любить ...
	Ответить | Правка | Наверх | Cообщить модератору

	67. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 10:47
	весь HPC на сях и фортране, вряд-ли это было бы так если б язык не нравился
	Ответить | Правка | Наверх | Cообщить модератору

	77. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Админ Анонимов (?), 26-Окт-21, 11:40
	тут скорее другое - жена страшная как война но держат дети
	Ответить | Правка | Наверх | Cообщить модератору

	82. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–2 +/–
	Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 12:15
	ты шутишь? в этих системах транспорты точат так, что за каждый лишний бранч на fast path глотку перегрызают, переменные в структурах группируют таким образом, чтобы они на одной кеш-линии оказались, да и много всего такого делают чтобы наносекунды сэкономить. вот какой ещё язык программирования такое позволяет из коробки?
	Ответить | Правка | Наверх | Cообщить модератору

	104. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Админ Анонимов (?), 26-Окт-21, 14:56
	для оптимизации узких мест есть ассемблер
	Ответить | Правка | Наверх | Cообщить модератору

	129. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от sdkhflskhgl (?), 26-Окт-21, 20:17
	пробовал на асме большие проекты делать? а под несколько архитектур? да хотя бы под несколько процов одной архитектуры?
	Ответить | Правка | Наверх | Cообщить модератору

	109. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–2 +/–
	Сообщение от Аноньимъ (ok), 26-Окт-21, 16:00
	>>кто любит сишку? терпят, да, но любить ... >весь HPC на фортране любит Хмммммммм?
	Ответить | Правка | К родителю #67 | Наверх | Cообщить модератору

	84. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (-), 26-Окт-21, 12:36
	> вплоть до того, что можно предсказать сколько тактов процессора > займёт исполнение кода, за это его и любят Скорее - вплоть до самых разных баек о том, "как можно суперкруто".
	Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

	107. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Аноньимъ (ok), 26-Окт-21, 15:51
	>Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода Yes. >за это его и любят Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт.
	Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

	94. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–2 +/–
	Сообщение от uis (ok), 26-Окт-21, 12:59
	> На котором можно просто и быстро писать системное ПО невероятно низкого качества. При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества. Может тебе ещё и в асме синтаксис нужен? А какой, at&t или intel? Или лучше ради единственно-верного карго-культа собирать компилятор на десяток-другой гигов места под объектники и восемь гигов исходников?
	Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

	108. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Аноньимъ (ok), 26-Окт-21, 15:58
	>При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества. Да, сишка это системный питон такой. Врайт ванце краш еверивере. >Может тебе ещё и в асме синтаксис нужен? В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса. Речь шла о том, что он ужасный, и лишённый семантики. >А какой, at&t или intel? Или лучше ради единственно-верного карго-культа собирать компилятор на десяток-другой гигов места под объектники и восемь гигов исходников? Чё? Да, GCC ужасный монстр, я согласен. Монструозность GCC, к которому ещё и систему сборки нужно отдельно прикручивать, и систему управления пакетами, хорошо демонстрирует мною сказанное.
	Ответить | Правка | Наверх | Cообщить модератору

	127. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Онаним (?), 26-Окт-21, 19:57
	> В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса. > Речь шла о том, что он ужасный, и лишённый семантики. Лучше и читабельнее пока не придумано, все эти питорастические извраты так извратами и останутся. Нет, из сей тоже можно сделать троллейбус, как из той буханки, но если писать не ради извращения - будет читабельно.
	Ответить | Правка | Наверх | Cообщить модератору

	18. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–2 +/–
	Сообщение от Dzen Python (ok), 26-Окт-21, 00:53
	Подумать только...на АДА. А почему на сверхбезопасном и самом-мамом луДшем <deleted>?
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	24. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+2 +/–
	Сообщение от Аноньимъ (ok), 26-Окт-21, 04:05
	Потому, что Ада куда более структурирована, детерминирована, и поддаётся верификации. К тому же за Адой стоят промышленные стандарты. Без которых, ваши заявления о надёжности вашего ПО в контексте критических задачь, ничего не стоят.
	Ответить | Правка | Наверх | Cообщить модератору

	93. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от uis (ok), 26-Окт-21, 12:54
	Мне кажется, это был сарказм
	Ответить | Правка | Наверх | Cообщить модератору

	112. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноньимъ (ok), 26-Окт-21, 16:19
	Ада с рустом это как мягкое с солёным. Раст это про функциональщину и безопасность памяти. Ада это структурированный объектный подход и надежность. Раст ищет компромисс между системным и прикладным программированием. Между скоростью кода, скоростью разработки, и количеством ошибок. Ада же ставит целью создание максимально детерминированных программ не делающих ничего лишнего но делающих всё нужное. Исполняемых максимально однообразно. При этом код должен быть максимально прозрачный и читаемый человеком. Поэтому Ада в принципе один из самых подходящих языков для написания ОС, любой. Только на ней и нужно писать такие вещи(можно ли другой вопрос). Раст это не особо про надежность, не фонтан(не фортран лол) в целом, но есть в нем и плюсы, я ставлю его в категорию - и так сойдёт.
	Ответить | Правка | Наверх | Cообщить модератору

	128. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Онаним (?), 26-Окт-21, 19:58
	Хрусту надо больше Ада.
	Ответить | Правка | Наверх | Cообщить модератору

	47. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Аноним (47), 26-Окт-21, 08:57
	> Подумать только...на АДА. А почему на сверхбезопасном и самом-мамом луДшем <deleted>? Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный "мосх", да? Наверное дело _частично_ хотя бы во фразе "После восьми лет разработки увидел свет выпуск проекта Muen 1.0" (а в оригинале даже больше 8 лет - "More than eight years of continued development after the initial publication")? Ну т.е. твой объект ненависти за год то этого был еще в пеленках и непонятно чем - "Первая официальная альфа-версия Rust (0.1) была выпущена в январе 2012 года". А ада при этом с 1980-х развивалась и изначально создавалась как язык для надежного отказоустойчивого управления в реальном времени военными системами и к 2010-ым была вроде как сформировавшимся вызревшим и обкатанным стандартизованным решением?
	Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

	99. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от YetAnotherOnanym (ok), 26-Окт-21, 13:58
	> твой объект ненависти за год то этого был еще в пеленках и непонятно чем Дык отож - пока сабж пилили, оно так и не стало ничем таким, что могло бы перетянуть к себе разработчиков и побудить их отказаться от Ады.
	Ответить | Правка | Наверх | Cообщить модератору

	68. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+2 +/–
	Сообщение от Аноним (68), 26-Окт-21, 10:48
	Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA - языке SPARK-2014: https://en.m.wikipedia.org/wiki/SPARK_(programming_language) «The SPARK language consists of a well-defined subset of the Ada language that uses contracts to describe the specification of components in a form that is suitable for both static and dynamic verification.» https://www.adacore.com/about-spark "SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements."
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	125. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Kuromi (ok), 26-Окт-21, 19:45
	При загрузке из колонок раздается Descent Into Cerberon из Quake 2
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема