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

Микроядро seL4 математически верифицировано для архитектуры ..., opennews (?), 10-Июн-20, (0) [смотреть все] осталось только распространить risc-v в массах и тогда можно будет закопать x86, neAnonim (?), 12:28 , 10-Июн-20, (1) +13 // Закопать то вряд ли, но это явно тот путь, по которому следует развиваться, Аноним (2), 12:33 , 10-Июн-20, (2) +12 // Интел не позволит, закопают всех конкурентов в округе , Аноним (49), 16:43 , 10-Июн-20, (49) –1 // Сначала интелю нужно повторить трюк Мюнхгаузена вытащить себя за волосы , а уж , erthink (ok), 16:48 , 10-Июн-20, (51) +4 Копать устанут - его уже толпа фирм взяли в оборот И кстати говорят что скоро фи, Аноним (-), 23:19 , 10-Июн-20, (108) +1 Тю, мелочи-то какие Займёмся сразу после отказа от империализма и излечения все, A.Stahl (ok), 12:55 , 10-Июн-20, (7) +19 // Жалеешь 140 рублей , Сейд (ok), 13:15 , 10-Июн-20, (16) // , A.Stahl (ok), 13:52 , 10-Июн-20, (25) –1 https www crowdsupply com sifive hifive1-rev-b, Сейд (ok), 13:57 , 10-Июн-20, (26) Мне показывает 59 , A.Stahl (ok), 14:42 , 10-Июн-20, (31) https aliexpress ru item 4000818117666 html algo_pvid 39bba876-7da8-4940-9a95-, Аноним (41), 15:29 , 10-Июн-20, (41) +1 Трусы Большой Мужчина Женщина Купить Большой Проститутка Шланг, Ыр2.0 (?), 15:45 , 10-Июн-20, (44) Просто любопытно вы в самом деле пользуетесь сайтом aliexpress на русском языке, ala (?), 16:44 , 10-Июн-20, (50) –3 Нисколько не поклонник, но разве на английском там сильно меньше удовольствий , erthink (ok), 16:50 , 10-Июн-20, (52) +2 Удивительно, но всё-таки сильно меньше По крайней мере, у меня такая выборка , n80 (?), 00:58 , 11-Июн-20, (120) +1 Английский более информативный , Аноним (132), 09:48 , 11-Июн-20, (132) –1 А ты пользуешься китайским вариантом или просто думаешь, что для алика родной ан, Аноним (86), 19:40 , 10-Июн-20, (86) +3 Алиэкспресс ориентируется на английский т к международный Таобао мандаринский , Аноним (132), 09:49 , 11-Июн-20, (133) Просто на английском покупает сильно больше - так что этим можно и нормальный пе, Аноним (-), 14:33 , 11-Июн-20, (142) +1 Насколько знаю, при заходе с IP-адресов из RU областей aliexpress крайне настойч, n80 (?), 00:56 , 11-Июн-20, (119) На английский переключаю, мандаринским ещё не овладел чтобы таобао читать , Аноним (132), 09:47 , 11-Июн-20, (131) Но русскоязычный Ali показывает цены в национальной валюте В которой мы и плати, Аноним (166), 00:52 , 12-Июн-20, (166) Понять по русскому описанию товара что это за неведомая штука в сколь-нибудь про, Аноним (171), 01:14 , 12-Июн-20, (171) Промт-онлайн с ангийской версии Али не сильно лучше переведёт , Аноним (166), 01:14 , 13-Июн-20, (181) А мне оно и не надо Если бы я не умел в инглиш, мой потолок в IT ограничивался , Аноним (-), 10:43 , 13-Июн-20, (186) Кому этот перемикроконтроллер нужен-то Их rv64gc за килобакс производительностью, Michael Shigorin (ok), 18:58 , 10-Июн-20, (75) –1 Производителям домашней автоматизации , Сейд (ok), 22:43 , 10-Июн-20, (102) Домашним автоматизаторам хватит пригоршни ЛА3, Аноним (49), 01:32 , 11-Июн-20, (126) Да что там, спичек и желудей , Аноним (-), 14:34 , 11-Июн-20, (143) +1 ЛА3 потребуется очень большая пригоршня, т к триггеры, счётчики, регистры тоже , Аноним (166), 00:59 , 12-Июн-20, (167) Как минимум, тем же, кому и остальные микроконтроллеры GigaDevice вообще презаня, n80 (?), 01:22 , 11-Июн-20, (124) +4 Спасибо В отличие от 90 флуда на этом сайте - у вас очень интересное сообщение, Леонид (??), 11:17 , 11-Июн-20, (137) +1 Еще у них есть ответвления F1xx-like которых в оригинале нет - например мелкие Q, Аноним (144), 14:41 , 11-Июн-20, (144) +1 Собственно, я об этой ситуации и говорил в 171 это давно напрашивалось, но ST , n80 (?), 02:23 , 14-Июн-20, (194) Я честно говоря не понял почему в мелком корпусе, с usb и вообще F103-like обвес, Аноним (198), 06:15 , 15-Июн-20, (198) https www sifive com boards hifive1-rev-b, Сейд (ok), 13:04 , 10-Июн-20, (12) –1 А risc-v сможет достичь сопоставимой производительности , Аноним (53), 16:57 , 10-Июн-20, (53) –1 // RISC-V - это просто открытая система команд Соответственно, интель может прикру, erthink (ok), 17:17 , 10-Июн-20, (54) +6 // Кроме этого есть еще и открытые реализации ядер Это, конечно, не интел - но воо, Аноним (144), 14:43 , 11-Июн-20, (145) Risc-v это просто спецификация на набор команд Вот если вы сделаете хороший быс, NameName (?), 18:34 , 10-Июн-20, (70) +2 // Все как в лучших домах - есть GCC и Clang И линухом это процессорное ядро подде, Аноним (162), 00:45 , 12-Июн-20, (162) А потом откопать обратно , Аноним (118), 00:30 , 11-Июн-20, (118) Вот, просто хороший DLS и никакой псевдонаучной претенциозности как у Rust , Аноним (3), 12:40 , 10-Июн-20, (3)   // DSL, Аноним (3), 12:41 , 10-Июн-20, (5)   Что такое DLS Может DSL Domain Specific Language , Аноним (41), 12:45 , 10-Июн-20, (6)   // да хватит играть уже с аббревиатурой LSD, Аноним (72), 18:39 , 10-Июн-20, (72) +17   Вообще-то оно на сишечке с асмом , Аноним (9), 13:01 , 10-Июн-20, (9) +1   // Ядро на сишечке Пруф -- нет Причём пруф раз в 40 больше самого ядра , Аноним (14), 13:05 , 10-Июн-20, (14) +3   // А вы чего хотели Скажите спасибо что он вообще за разумное время обсчитывается , Аноним (144), 14:44 , 11-Июн-20, (146)   Касперский при необходимости посчитает за разумное время любую NP-полную задач, Аноним (161), 21:47 , 11-Июн-20, (161) –2   Он сам как NP-полная задача , Аноним (162), 00:46 , 12-Июн-20, (163)   Всего-то пришлось свой компилятор C написать, и потом ещё 200к строк на Isabelle, Аноним (14), 13:04 , 10-Июн-20, (13)   // В том то и элегантность решения, что компилятор C в 100500 раз проще Раста , Аноним (-), 14:34 , 10-Июн-20, (30) +2   // Проще и безопаснее, так как в С нету unsafe, Аноним (33), 14:52 , 10-Июн-20, (33) +10   Вот вот, раст настолько убог что написание собственного компилятора С для каждой, Аноним (33), 14:54 , 10-Июн-20, (34)   Внезапный поворот компилятор, которым собирается seL4, написан ни разу не на C , Аноним (14), 18:17 , 10-Июн-20, (66) +1   Это как-то мешает собрать его компилятором си написаным на си , Аноним (162), 00:47 , 12-Июн-20, (164)   Слабое приплетание, на троечку , Аноним (17), 13:16 , 10-Июн-20, (17)   Давно в области безопасности не было таких хороших вестей, DmA (??), 12:40 , 10-Июн-20, (4) –1 может gnu hurd кто-нибудь перенесёт на seL4, Аноним (-), 12:59 , 10-Июн-20, (8) +2 // Ноу проблем Сколько поатишь , Аноним (9), 13:02 , 10-Июн-20, (10) Флаг в руки, ждём от тебя результатов , Аноним (11), 13:02 , 10-Июн-20, (11) –1 Люди, способные это сделать, не станут заниматься этим за идею , Аноним (17), 13:18 , 10-Июн-20, (18) +1 Было много попыток перевести Hurd с Mach на L4, к сожалению, все потерпели неуда, Сейд (ok), 13:19 , 10-Июн-20, (19) смысл не в том, чтобы заменить gnu mach на seL4, а в том, чтобы gnu hurd работал, AnonAnonAnon (?), 13:32 , 10-Июн-20, (22) Гурд жестко приколочен к 32 битам Его теперь проще переписать Это в вопросу о , Аноним (28), 14:12 , 10-Июн-20, (28) +2 На seL4 есть рабочая Genode https genode org , Аноним (41), 15:14 , 10-Июн-20, (35) +1 // Genode под Nova пишется, все остальные ядра для галочки , bw (ok), 06:14 , 11-Июн-20, (128) что-то не очень заметно, что на платах Arduino используется RISC-V, Аноним (-), 13:07 , 10-Июн-20, (15) –3 // https www sifive com boards hifive1-rev-bhttps shop365481095 world taobao co, Сейд (ok), 13:36 , 10-Июн-20, (23) https aliexpress ru item 4000299112762 html, Аноним (42), 15:36 , 10-Июн-20, (42) Они анонсировали Arduino Cinque и 8230 всё Что, впрочем, нисколько не мешает к, Аноним (9), 20:14 , 10-Июн-20, (90) Скоро ESP RISC-V подъедет, Аноним (182), 08:39 , 13-Июн-20, (182) Вот это по настоящему важная новость Ещё бы понять, как наладить производство у, Аноним (21), 13:31 , 10-Июн-20, (21) // Берёшь L4 и https pulp-platform org и налаживаешь производство , Сейд (ok), 13:47 , 10-Июн-20, (24) +2 Эпл уже решило переходить на RISC-V вместо ARM , Аноним (28), 14:10 , 10-Июн-20, (27) –1 // А что, они как-то обсуждали эту возможность , Аноним (41), 15:19 , 10-Июн-20, (37) // Я не слышал, но после такой будоражащей новости как эта могли и задуматься Не, Аноним (28), 17:36 , 10-Июн-20, (57) –1 Да и черт с ним с эплом Зато решили WD, Nvidia и много кто еще При том первая , Аноним (162), 00:50 , 12-Июн-20, (165) Интересный исследовательский проект, но преподнесен ради хайпа вокруг RISC-V, ко, Аноним (29), 14:15 , 10-Июн-20, (29) +3 // WD это хорошо он заменил mips на arm и riscv , но ты забыл про NVIDIA, лет 10 п, Аноним (40), 15:27 , 10-Июн-20, (40) –3 // Чего лет 10 назад 10 лет назад архитектура только начала зарождаться Можно ссыл, Аноним (41), 15:36 , 10-Июн-20, (43) +2 // Да, внезапно, nvidia стоит у истоков и первая радостно побежала экономить Насчё, Аноним (40), 16:11 , 10-Июн-20, (47) –2 Вы вообще всё здесь перепутали -- примерно так Нет Нет Нет Нет PS в отличие от , Michael Shigorin (ok), 19:07 , 10-Июн-20, (77) +3 Спасибо, я уже признал ошибку Это было про power9 , Аноним (40), 19:22 , 10-Июн-20, (80) risc-v десктоп на power 9https ibb co 6gdgGHH, Михрютка (ok), 22:05 , 10-Июн-20, (97) Он risc, это определённо И он десктоп , Аноним (40), 23:46 , 10-Июн-20, (112) –1 Очень хорошо сформулировано, erthink (ok), 16:00 , 10-Июн-20, (46) +2 Причём когда минимум из-за одного такого российского безфабричника восторчали уш, Michael Shigorin (ok), 19:05 , 10-Июн-20, (76) +1 // А про кого это вы Вроде какая-то питерская контора занималась RISK-V, Леонид (??), 11:23 , 11-Июн-20, (138) В своё время L4 было прорывом, но поезд несколько продвинулся за 25 лет Сейчас , erthink (ok), 14:50 , 10-Июн-20, (32) +4 // Репутацию Kaspersky OS ещё никто не проверял Да и исходников её не покажут , Аноним (41), 15:18 , 10-Июн-20, (36) +3 // Кому нужно уже показали, поэтому и пишу Проверка там в основном делается мате, erthink (ok), 15:51 , 10-Июн-20, (45) +3 // R I Pо какой вообще проверке может идти речь при отсутствии открытых исходников , vitalif (ok), 18:16 , 10-Июн-20, (65) +1 Открыть исходники для проверки - это одно у M в таком режиме они открыты 25 л, erthink (ok), 18:24 , 10-Июн-20, (68) +4 Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт , Аноним (118), 10:56 , 11-Июн-20, (136) Хм, а где в слове натянуть есть упоминание верификации , erthink (ok), 14:03 , 11-Июн-20, (140) –1 Там хотя бы повторяемость сборки есть Открыты они А если по обновлениям приедет, vitalif (ok), 15:48 , 11-Июн-20, (153) Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность , erthink (ok), 16:09 , 11-Июн-20, (154) +1 Никого не волнует твоя компетентность Удел закрытой ОС - два с половиной закрыт, vitalif (ok), 16:28 , 11-Июн-20, (155) Никому не интересно ваше ихпёртное мнение не читал, но осуждаю без базовой о, erthink (ok), 16:36 , 11-Июн-20, (156) +1 Да пусть идет, мне вообще пофиг, vitalif (ok), 20:08 , 11-Июн-20, (160) Ихпертное мнение о структуре управления каспера можно на хабре почитать Дальше , Аноним (171), 01:16 , 12-Июн-20, (172) –2 Ничего себе, вы экспертное сообщество привели С таким же успехом можно и луком, Аноним (176), 09:53 , 12-Июн-20, (176) Нормальное сообщество айтишников Получше многих других, имхо Хоть и хипстерско, Аноним (187), 10:46 , 13-Июн-20, (187) –1 Хз на счёт управления, не сведущ в вопросе, но видится мне, США не зря и не прос, Онаним (?), 21:46 , 14-Июн-20, (195) +1 мне это всегда нравилось у нас есть такие приборы но мы вам их не покажем изв, Михрютка (ok), 22:54 , 10-Июн-20, (104) +1 Считаем что стоили и выбросили, или что z OS всё еще строят 60 лет Тем не мен, erthink (ok), 23:11 , 10-Июн-20, (106) +2 z os в продуктиве работает все эти годы kasperskyos в продуктиве где-то работает, Михрютка (ok), 23:23 , 10-Июн-20, (109) Ну RTFM ведь https os kaspersky ru projects На здоровье , erthink (ok), 23:57 , 10-Июн-20, (113) +1 Это по счастью будут в основном его проблемы, да нескольких везунчиков которым, Аноним (144), 14:49 , 11-Июн-20, (147) Демагогия и FUD 1 мелкий , орки - А я верно предполагаю что в вашей системе , erthink (ok), 15:24 , 11-Июн-20, (152) +1 Оценка наиболее вероятного развития событий Такое счастье можно поюзать только , Аноним (168), 01:01 , 12-Июн-20, (168) Что значит -- переиграет весь мир Весь мир и так себя самого переигрывает , НамеНаме (?), 17:58 , 13-Июн-20, (191) Это реверанс в адрес если Kasperky OS взлетит Блин, скорее пингвины научатс, Аноним (-), 06:30 , 15-Июн-20, (199) –1 171 Танк шибко секретный Учёные могут и не знать 187 , Oxyd76 (?), 17:31 , 11-Июн-20, (157) –1 От того, что показали майору, нам не легче , Аноним (166), 01:06 , 12-Июн-20, (169) –1 ОЙ КАК ТОЛСТО , vitalif (ok), 15:22 , 10-Июн-20, (38) –2 // Видимо стоит уточнить для местных ихпёртов, которые УВЫ не читали, но осуждают, erthink (ok), 17:48 , 10-Июн-20, (62) +4 // Я всерьёз не могу это воспринимать даже Закрытое чудо, которое никто не видел, , vitalif (ok), 18:19 , 10-Июн-20, (67) +2 Т е если вы не трогали луну руками, то её нет Тем не менее, эту луну можно по, erthink (ok), 18:32 , 10-Июн-20, (69) +4 Там есть исходный код ядра и его можно собрать и запустить со своими правками , Аноним (98), 22:23 , 10-Июн-20, (98) +1 Нет Но за подробностями лучше RTFM , erthink (ok), 22:33 , 10-Июн-20, (99) Разве это не принципиальный вопрос верификации И что там дают Уже собранную игр, Аноним (161), 10:55 , 11-Июн-20, (135) –1 Как там грится Джентльменамм верят на слово И тут мне карта как поперла, как п, Аноним (-), 06:31 , 15-Июн-20, (200) –1 Как будто репутация у вирусописателей Касперского чем-то сильно лучше Qualcomm , Аноним (39), 15:26 , 10-Июн-20, (39) Касперский и репутация Хотя, может в каких-то там своих кругах , NameName (?), 17:24 , 10-Июн-20, (56) –3 // Дефачка из PR-отдела отчаянно минусует, размазывая тушь соплями , NameName (?), 18:35 , 10-Июн-20, (71) –5 // Ну не у каждой дефачке хватит соплей на вашу чушь , erthink (ok), 18:40 , 10-Июн-20, (73) +2 Ты смотри, а девачкам понравилось Плюсуют Бедненькие труженицы IT-сектора , НамеНаме (?), 18:22 , 11-Июн-20, (159) Всё что я понял, что есть некая шайтан архитектура - RISC, есть её спецификации,, Аноним (48), 16:32 , 10-Июн-20, (48) –2 // Ну Спарку можно сразу выкинуть , Аноним (49), 17:23 , 10-Июн-20, (55) +2 // Почему , Аноним (48), 17:47 , 10-Июн-20, (60) Теперь есть 15 конкурирующих стандартов , Аноним (28), 17:39 , 10-Июн-20, (58) // Что в этом плохого , Аноним (48), 17:47 , 10-Июн-20, (61) // А ты подумай Интел закрыт, как чёрт, жрёт, как слон, и ему абсолютно пох на к, Аноним (49), 18:46 , 10-Июн-20, (74) –3 Если бы не было 15 шт, было бы лучше, хуже Появится ещё 100500, пускай, если вз, Аноним (48), 19:27 , 10-Июн-20, (81) +2 Нет, НЕ хорошо Это - всего лишь показатель того, что отрасль так до сих пор и н, Аноним (176), 10:03 , 12-Июн-20, (179) –1 Ща им эппл подкатит годный сюрпризец кажись , Аноним (168), 01:07 , 12-Июн-20, (170) УжЕ - нет И - никто, в ближайшие лет 30 - не подкатит Не до того будет , Аноним (176), 10:05 , 12-Июн-20, (180) –1 SuperH тоже risc И amd64 тоже risc, но это тщательно пытаются маскировать RISC, Аноним (40), 17:47 , 10-Июн-20, (59) +1 // Какая из реализаций лучше всего подойдет для ПК, ноутов, планшетов, телефонов , Аноним (48), 17:53 , 10-Июн-20, (63) –1 // Давно известно - волшебная , erthink (ok), 17:56 , 10-Июн-20, (64) +1 Подозреваю что ирония сарказм , Аноним (48), 19:28 , 10-Июн-20, (82) –1 Нет А то, что там RISC -- не называется AMD64 , Michael Shigorin (ok), 19:10 , 10-Июн-20, (78) // Скорее всего там технология аналогичная тому, что разрабатывала transmeta Дитя , Аноним (40), 19:20 , 10-Июн-20, (79) Никто ничего не маскирует CISC это микрокод выполняющийся поверх RISC ядра Все, Аноним (83), 19:29 , 10-Июн-20, (83) –1 // Возможно и так Когда-то я интересовался этим вопросом когда писал 16 битные пр, Аноним (40), 19:40 , 10-Июн-20, (85) бранч предикторы - следствие наличия конвейера, а никак не микрокода RISC CISC , Аноним (83), 19:53 , 10-Июн-20, (87) Но я не вижу тут противоречий Ведь x86 процессоры в частности нынешние архите, Аноним (40), 20:06 , 10-Июн-20, (88) –1 Это тавтология ВООБЩЕ ВСЕ CISC процессоры архитектурно содержат в себе RISC про, Аноним (83), 20:11 , 10-Июн-20, (89) –2 нет, это как раз ошибка Вся разница в том кто решает как правильно загружать ко, Cradle (?), 20:39 , 10-Июн-20, (92) RISC-и тоже умеют в макрокомманды или как они называются, когда один опкод замен, Аноним из предыдущего ответа. (?), 20:58 , 10-Июн-20, (95) +1 PDP-11 не относят к RISC только по тому что во времена расcыпухи такого деления , Аноним (83), 22:49 , 10-Июн-20, (103) https ru wikipedia org wiki D0 9A1801 D0 92 D0 9C1 , Cradle (?), 23:27 , 10-Июн-20, (110) Да, я знаю про это Даже к друзьям на БуКашке периодически ходил играться для р, Аноним (83), 00:02 , 11-Июн-20, (115) У меня вообще есть предположение, что слово RISC присваивают процессору, когда х, Аноним (83), 00:17 , 11-Июн-20, (116) Нет У PDP-11 пачка омских режимов адресации, RISC всегда load store , Вебмакака (?), 12:25 , 11-Июн-20, (139) load store - это вторичный половой признак Он является следствием, а не причино, Аноним (83), 14:25 , 11-Июн-20, (141) Да сколько ж можно , Led (ok), 01:06 , 15-Июн-20, (197) А что, разве в системе команд PDP11 не было команд, производящих изменения данны, Аноним (166), 01:16 , 12-Июн-20, (173) VLIW EPIC разве не могут притворяться CISC Вроде и эльбрусы VLIW, притворяющи, Аноним (40), 20:45 , 10-Июн-20, (94) CISC - это архитектура, а не система команд, а притворяются EPIC-и начиная с Кру, Аноним (83), 22:56 , 10-Июн-20, (105) Там вон в новости про очередные дыры в интеле разрисовано что оно содержит RISC, Аноним (-), 14:51 , 11-Июн-20, (148) Ну ты фантазёр 8230 , Аноним (9), 20:22 , 10-Июн-20, (91) Люблю опеннет за наличие икспердов Люди уже даже эмулятор для микрокода 8080 на, Аноним (83), 22:39 , 10-Июн-20, (101) Наличие микрокода не обязывает ядро быть RISCовым, Аноним (49), 01:16 , 11-Июн-20, (123) Возможно он пытается сказать что блоки выполнения за uCode ROM сами по себе см, Аноним (-), 14:53 , 11-Июн-20, (149) Бинго Первый тезка который это понял А то что у этих блоков выполнения вмест, Аноним (83), 18:12 , 11-Июн-20, (158) Чиво RISC ядро появилось в 486, Аноним (98), 22:33 , 10-Июн-20, (100) +1 Если не Pentium II, Аноним (166), 01:27 , 12-Июн-20, (174) MIPS это спецификация RISC от MIPS Technologies, Inc RISC-V это спецификация R, Аноним (132), 10:06 , 11-Июн-20, (134) // Так производите Даже какое-то из ядер выкладывали Просто это огроменный чип и , Аноним (-), 14:54 , 11-Июн-20, (150) Пацаны это то самое открытое железо о котором мечтают все ГНУтые , Аноним (84), 19:35 , 10-Июн-20, (84) // нет, это только открытая система комманд без слишком явной привязки к какому-то , Cradle (?), 20:45 , 10-Июн-20, (93) +1 // К тому же этих спецификаций вагон и маленькая тележка, я выше писал , Аноним (21), 21:04 , 10-Июн-20, (96) +1 // Главное чтобы было всё без лицензионных отчислений , Аноним (-), 06:36 , 11-Июн-20, (129) С виду - без, как начнёшь делать в железе - сразу появятся и отчисления и патен, Аноним (49), 02:32 , 12-Июн-20, (175) +1 О хо-хо, хо-хо , Аноним (185), 10:16 , 13-Июн-20, (185) it is proved to be bug-free relative to a specificationТо есть, это всего-лишь д, Аноним (107), 23:18 , 10-Июн-20, (107) +2 // Две банки жидкого азота господину Да, можно математически доказать, что проц бу, Аноним (49), 23:32 , 10-Июн-20, (111) +1 // За науку я готов выпить хоть яду Проставляйся , Аноним (107), 23:59 , 10-Июн-20, (114) +1 // Это не пить это для твоего проца , Аноним (49), 01:07 , 11-Июн-20, (121) Мой проц справляется даже без радиатора Я давно уже не покупаю печки , Аноним (107), 01:24 , 11-Июн-20, (125) Пусть сначала докажут что в самих спецификациях нет бага или бэкдора Для этого , Аноним (118), 00:26 , 11-Июн-20, (117) +1 // Лучшее доказательство - отсутствие спекуляция при работе с памятью , Аноним (49), 01:11 , 11-Июн-20, (122) +2 // Rowhammer у так например это похрен , Аноним (-), 14:55 , 11-Июн-20, (151) –1 // А вы - точно понимаете значение употребляемых вами слов , Аноним (176), 09:57 , 12-Июн-20, (178) Это, увы, не достижимо в принципе Ну так Рассель, Кантор, Гедоль ну и НамеНаме , НамеНаме (?), 18:02 , 13-Июн-20, (193) https github com seL4 seL4 blob master src smp lock c 25 строк clh_lock_t big_, Vitaly (??), 05:11 , 11-Июн-20, (127) А тем временем даже в Falcon 9 уже обыденный x86 , Онаним (?), 08:35 , 11-Июн-20, (130) // Нет Не обыденный Не обольщайтесь ложной простотой вопроса , Аноним (176), 09:54 , 12-Июн-20, (177) –1 В Еврефайтерах и Рафалях тоже х86 купленные на барахолке , а в Ф-22 960-тые и 8, НамеНаме (?), 17:55 , 13-Июн-20, (190) Отличная новость, и ОС интересная Зато попиарили забесплатно закрытую нех о, Аноним (182), 09:51 , 13-Июн-20, (183) +1 // Макса Чиркова деньги не интересуют , Аноним (185), 10:14 , 13-Июн-20, (184) Какая страна, такая и ОС , Аноним (187), 10:49 , 13-Июн-20, (188) По итогу самым безопасным окажется ядро Hello world , Аноним (201), 23:50 , 15-Июн-20, (201) 1,3,4,8,15,21,27,29,32,48,84,107,117,127,130,183,201

Сообщения

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

3. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
Сообщение от Аноним (3), 10-Июн-20, 12:40
Вот, просто хороший DLS и никакой псевдонаучной претенциозности как у Rust.
Ответить | Правка | Наверх | Cообщить модератору

	5. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (3), 10-Июн-20, 12:41
	DSL
	Ответить | Правка | Наверх | Cообщить модератору

	6. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (41), 10-Июн-20, 12:45
	Что такое DLS? Может DSL (Domain Specific Language)?
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	72. "Микроядро seL4 математически верифицировано для архитектуры ..."	+17 +/–
	Сообщение от Аноним (72), 10-Июн-20, 18:39
	да хватит играть уже с аббревиатурой LSD
	Ответить | Правка | Наверх | Cообщить модератору

	9. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (9), 10-Июн-20, 13:01
	Вообще-то оно на сишечке с асмом.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	14. "Микроядро seL4 математически верифицировано для архитектуры ..."	+3 +/–
	Сообщение от Аноним (14), 10-Июн-20, 13:05
	Ядро на сишечке. Пруф -- нет. Причём пруф раз в 40 больше самого ядра.
	Ответить | Правка | Наверх | Cообщить модератору

	146. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (144), 11-Июн-20, 14:44
	> Причём пруф раз в 40 больше самого ядра. А вы чего хотели? Скажите спасибо что он вообще за разумное время обсчитывается.
	Ответить | Правка | Наверх | Cообщить модератору

	161. "Микроядро seL4 математически верифицировано для архитектуры ..."	–2 +/–
	Сообщение от Аноним (161), 11-Июн-20, 21:47
	> Скажите спасибо что он вообще за разумное время обсчитывается. Касперский "при необходимости" посчитает за разумное время любую NP-полную задачу.
	Ответить | Правка | Наверх | Cообщить модератору

	163. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (162), 12-Июн-20, 00:46
	> Касперский "при необходимости" посчитает за разумное время любую NP-полную задачу. Он сам как NP-полная задача.
	Ответить | Правка | Наверх | Cообщить модератору

	13. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (14), 10-Июн-20, 13:04
	Всего-то пришлось свой компилятор C написать, и потом ещё 200к строк на Isabelle, Haskell и прочих.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	30. "Микроядро seL4 математически верифицировано для архитектуры ..."	+2 +/–
	Сообщение от Аноним (-), 10-Июн-20, 14:34
	В том то и элегантность решения, что компилятор C в 100500 раз проще Раста.
	Ответить | Правка | Наверх | Cообщить модератору

	33. "Микроядро seL4 математически верифицировано для архитектуры ..."	+10 +/–
	Сообщение от Аноним (33), 10-Июн-20, 14:52
	Проще и безопаснее, так как в С нету unsafe
	Ответить | Правка | Наверх | Cообщить модератору

	34. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (33), 10-Июн-20, 14:54
	Вот вот, раст настолько убог что написание собственного компилятора С для каждой программы гораздо более элегантное решение чем написание кода на раст
	Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору

	66. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (14), 10-Июн-20, 18:17
	Внезапный поворот: компилятор, которым собирается seL4, написан ни разу не на C!
	Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору

	164. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (162), 12-Июн-20, 00:47
	> Внезапный поворот: компилятор, которым собирается seL4, написан ни разу не на C! Это как-то мешает собрать его компилятором си написаным на си? :)
	Ответить | Правка | Наверх | Cообщить модератору

	17. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (17), 10-Июн-20, 13:16
	Слабое приплетание, на троечку.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

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

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