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

Микроядро 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]

32. "Микроядро seL4 математически верифицировано для архитектуры ..."	+4 +/–
Сообщение от erthink (ok), 10-Июн-20, 14:50
В своё время L4 было прорывом, но поезд несколько продвинулся за >25 лет. Сейчас же уже есть Kaspersky OS, которая принципиально лучше L4 (конечно IMHO, ибо TL;DR): - тот-же уровень верифицируемости (посредством мат. доказательства) при необходимости. - различные модели безопасности. - поддержка POSIX. - возможность "security by design" для приложений (как сложных наборов компонентов/служб). - также поддержка жесткого реального времени (пока не из каробки, но обещают). Репутация же L4 оказалась "подмочена" дырявостью продуктов Qualcomm.
Ответить | Правка | Наверх | Cообщить модератору

	36. "Микроядро seL4 математически верифицировано для архитектуры ..."	+3 +/–
	Сообщение от Аноним (41), 10-Июн-20, 15:18
	Репутацию Kaspersky OS ещё никто не проверял. Да и исходников её не покажут.
	Ответить | Правка | Наверх | Cообщить модератору

	45. "Микроядро seL4 математически верифицировано для архитектуры ..."	+3 +/–
	Сообщение от erthink (ok), 10-Июн-20, 15:51
	Кому нужно уже показали, поэтому и пишу. "Проверка" там в основном делается "математикой", поэтому (в сравнении с Linux и тем более вендой) можно узбаготься. Минусы, которые я пока вижу примерно такие: - У Евгения (кажется) еще осталась надежда, что их когда-нибудь/может-быть пустят обратно на рынок США и сателлитов. Поэтому продукт подается (IMHO) слишком "глобалистически". - В разработку вложено очень много (>15 лет), соответственно Евгений не решается (и возможно никогда не решится) сделать Kaspersky OS Open Source.
	Ответить | Правка | Наверх | Cообщить модератору

	65. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от vitalif (ok), 10-Июн-20, 18:16
	> не решается (и возможно никогда не решится) сделать Kaspersky OS Open Source. R.I.P о какой вообще проверке может идти речь при отсутствии открытых исходников?
	Ответить | Правка | Наверх | Cообщить модератору

	68. "Микроядро seL4 математически верифицировано для архитектуры ..."	+4 +/–
	Сообщение от erthink (ok), 10-Июн-20, 18:24
	> > не решается (и возможно никогда не решится) сделать Kaspersky OS Open Source. > о какой вообще проверке может идти речь при отсутствии открытых исходников? Открыть исходники для проверки - это одно (у M$ в таком режиме они открыты >25 лет). А перейти на открытую лицензию и модель open source - это совсем другое. Но палка тут о двух концах - если модель (и DSL её описания) окажутся удачными (а похоже так и есть), то повторить уже проверенную концепцию относительно просто поверх любого подходящего ядра (даже натянуть на Linux, хотя будет масса проблем). Т.е. если Kasperky OS "взлетит" и при этом останется closed-source, то китайцы (или еще кто-то) повторят разработку за ~1-2 года.
	Ответить | Правка | Наверх | Cообщить модератору

	136. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (118), 11-Июн-20, 10:56
	>даже натянуть на Linux Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт стал, о какой верификации речь может идти? В лучшем случае миникс верифицируют.
	Ответить | Правка | Наверх | Cообщить модератору

	140. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от erthink (ok), 11-Июн-20, 14:03
	>>даже натянуть на Linux >Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт стал, о какой верификации речь может идти? В лучшем случае миникс верифицируют. Хм, а где в слове "натянуть" есть упоминание верификации ?
	Ответить | Правка | Наверх | Cообщить модератору

	153. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от vitalif (ok), 11-Июн-20, 15:48
	> Открыть исходники для проверки Там хотя бы повторяемость сборки есть? Открыты они. А если по обновлениям приедет бэкдор например? Какой смысл в открытии "на посмотреть"? Кода в ОС столько, что найти там все небезопасные вещи очень трудно, даже когда на одни исходники смотришь всем миром. А когда смотрит какая-то одна рабочая группа ограниченное время - это вообще ни о чём... Не суйтесь вообще с закрытой ОС на рынок. Просто не лезьте. Закрытая ОС - это зло.
	Ответить | Правка | К родителю #68 | Наверх | Cообщить модератору

	154. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от erthink (ok), 11-Июн-20, 16:09
	>> Открыть исходники для проверки > Там хотя бы повторяемость сборки есть? Открыты они. > А если по обновлениям приедет бэкдор например? Какой смысл в открытии "на > посмотреть"? > Кода в ОС столько, что найти там все небезопасные вещи очень трудно, > даже когда на одни исходники смотришь всем миром. А когда смотрит > какая-то одна рабочая группа ограниченное время - это вообще ни о > чём... > Не суйтесь вообще с закрытой ОС на рынок. Просто не лезьте. Закрытая > ОС - это зло. Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность.
	Ответить | Правка | Наверх | Cообщить модератору

	155. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от vitalif (ok), 11-Июн-20, 16:28
	Никого не волнует твоя компетентность. Удел закрытой ОС - два с половиной закрытых роутера. Щас нам Касперский будет про безопасность рассказывать. С бэкдорами прямо от ФСБ, ага.
	Ответить | Правка | Наверх | Cообщить модератору

	156. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от erthink (ok), 11-Июн-20, 16:36
	> Никого не волнует твоя компетентность. Удел закрытой ОС - два с половиной > закрытых роутера. > Щас нам Касперский будет про безопасность рассказывать. С бэкдорами прямо от ФСБ, > ага. Никому не интересно ваше "ихпёртное" мнение (не читал, но осуждаю) без базовой осведомленности об обсуждаемом предмете. Всегда кто-то "лает" и хейтит, а караван идёт (и с Эльбрусами, и с Альтом и т.д. и т.п. также). Адью, мосье́.
	Ответить | Правка | Наверх | Cообщить модератору

	160. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от vitalif (ok), 11-Июн-20, 20:08
	Да пусть идет, мне вообще пофиг
	Ответить | Правка | Наверх | Cообщить модератору

	172. "Микроядро seL4 математически верифицировано для архитектуры ..."	–2 +/–
	Сообщение от Аноним (171), 12-Июн-20, 01:16
	> Никому не интересно ваше "ихпёртное" мнение (не читал, но осуждаю) без базовой > осведомленности об обсуждаемом предмете. Ихпертное мнение о структуре управления каспера можно на хабре почитать. Дальше каждый для себя сделает выводы сам.
	Ответить | Правка | К родителю #156 | Наверх | Cообщить модератору

	176. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (176), 12-Июн-20, 09:53
	Ничего себе, вы экспертное сообщество привели!!! С таким же успехом можно и лукоморье упоминать.
	Ответить | Правка | Наверх | Cообщить модератору

	187. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (187), 13-Июн-20, 10:46
	> Ничего себе, вы экспертное сообщество привели!!! Нормальное сообщество айтишников. Получше многих других, имхо. Хоть и хипстерское малость. > С таким же успехом можно и лукоморье упоминать. А эти просто правда российской жизни в сатирическом и колоритном изложении.
	Ответить | Правка | Наверх | Cообщить модератору

	195. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Онаним (?), 14-Июн-20, 21:46
	Хз на счёт управления, не сведущ в вопросе, но видится мне, США не зря и не просто так это счастье выперли.
	Ответить | Правка | К родителю #172 | Наверх | Cообщить модератору

	104. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Михрютка (ok), 10-Июн-20, 22:54
	>>>Кому нужно уже показали мне это всегда нравилось. "у нас есть такие приборы но мы вам их не покажем". >>>- В разработку вложено очень много (>15 лет) извиняюсь, os/360 меньше времени строили. она за эти 15 лет реальное практическое применение хоть где-то нашла? или только "где надо, там и нашла"? если нет, то это n-ый вариант hurd.
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	106. "Микроядро seL4 математически верифицировано для архитектуры ..."	+2 +/–
	Сообщение от erthink (ok), 10-Июн-20, 23:11
	> > В разработку вложено очень много (>15 лет) > извиняюсь, os/360 меньше времени строили. Считаем что стоили и выбросили, или что z/OS всё еще строят (~60 лет)? Тем не менее, в любом случае - Ну и что? > > Кому нужно уже показали > мне это всегда нравилось. "у нас есть такие приборы но мы вам > их не покажем". > > она за эти 15 лет реальное практическое применение хоть где-то нашла? или > только "где надо, там и нашла"? > если нет, то это n-ый вариант hurd. Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность.
	Ответить | Правка | Наверх | Cообщить модератору

	109. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Михрютка (ok), 10-Июн-20, 23:23
	z/os в продуктиве работает все эти годы. kasperskyos в продуктиве где-то работает? лет пять назад в россии рекламировали kasperskyos на крафтвеях. только что зашел на их сайт посмотреть, что как - сетевое "доверенное оборудование" с красивыми сертификатами почему-то на линуксе. как так? >>>Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность. кто мешает вам рассудить со знанием? ну правда, вот я спросил, и еще повторюсь, мне не жалко: kasperskyos в продуктиве где-то работает? вы уж просветите нас, темных, если не сложно. я волшебное слово знаю: "Пожалуйста!"
	Ответить | Правка | Наверх | Cообщить модератору

	113. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от erthink (ok), 10-Июн-20, 23:57
	> kasperskyos в продуктиве где-то работает? Ну RTFM ведь. https://os.kaspersky.ru/projects/ > вы уж просветите нас, темных, если не сложно. я волшебное слово знаю: > "Пожалуйста!" На здоровье!
	Ответить | Правка | Наверх | Cообщить модератору

	147. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (144), 11-Июн-20, 14:49
	>  - В разработку вложено очень много (>15 лет), соответственно Евгений не > решается (и возможно никогда не решится) сделать Kaspersky OS Open Source. Это по счастью будут в основном его проблемы, да нескольких "везунчиков" которым это добровольно-принудительно втулили. А то что мелкий проприетарщик да еще с орками в управлении переиграет весь остальной мир - так не бывает.
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	152. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от erthink (ok), 11-Июн-20, 15:24
	>>  - В разработку вложено очень много (>15 лет), соответственно Евгений не >> решается (и возможно никогда не решится) сделать Kaspersky OS Open Source. > Это по счастью будут в основном его проблемы, да нескольких "везунчиков" которым > это добровольно-принудительно втулили. Демагогия и FUD. > А то что мелкий проприетарщик да еще с > орками в управлении переиграет весь остальной мир - так не бывает. 1. "мелкий", "орки" - А я верно предполагаю что в вашей системе координат Макс является представителем "крупных эльфов" и реикарнацией Тони Старка ;) 2. "так не бывает" - ага, ни разу не было и вот опять ;)
	Ответить | Правка | Наверх | Cообщить модератору

	168. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (168), 12-Июн-20, 01:01
	> Демагогия и FUD. Оценка наиболее вероятного развития событий. Такое счастье можно поюзать только если орк машет саблей и грозит отрезать голову. > 1. "мелкий", "орки" - А я верно предполагаю что в вашей системе координат Орки сами себя так назвали. Подробности этой истории можно найти на хабре...
	Ответить | Правка | Наверх | Cообщить модератору

	191. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от НамеНаме (?), 13-Июн-20, 17:58
	Что значит -- "переиграет весь мир"? "Весь мир" и так себя самого переигрывает. Безо всякой помощи. ИТ -- такой, какой он сейчас -- должен умереть.
	Ответить | Правка | К родителю #147 | Наверх | Cообщить модератору

	199. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (-), 15-Июн-20, 06:30
	> Что значит -- "переиграет весь мир"? Это реверанс в адрес "если Kasperky OS "взлетит"". Блин, скорее пингвины научатся летать. Стоп, "given enough rocket power penguins can fly" (c) :D
	Ответить | Правка | Наверх | Cообщить модератору

	157. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Oxyd76 (?), 11-Июн-20, 17:31
	> Кому нужно уже показали, поэтому и пишу. «Танк шибко секретный! Учёные могут и не знать!» ©
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	169. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (166), 12-Июн-20, 01:06
	>Кому нужно уже показали, поэтому и пишу. От того, что показали майору, нам не легче.
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	38. "Микроядро seL4 математически верифицировано для архитектуры ..."	–2 +/–
	Сообщение от vitalif (ok), 10-Июн-20, 15:22
	> при необходимости ОЙ КАК ТОЛСТО...
	Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору

	62. "Микроядро seL4 математически верифицировано для архитектуры ..."	+4 +/–
	Сообщение от erthink (ok), 10-Июн-20, 17:48
	> > при необходимости > ОЙ КАК ТОЛСТО... Видимо стоит уточнить для местных ихпёртов, которые (УВЫ) не читали, но осуждают. Логика ядра верифицирована, но в реальных применениях это мало что даёт (смотрим на факапы Qualcomm и т.п.): - без верификации всех "ассемблерных вставок" при использовании на конкретной платформе. - без верификации логики служб и приложений (с учетом взаимодействия и средств контроля ОС). Соответственно, "при необходимости" - относилось к верификации примитивов (связанных с "посадкой" ОС на какую-то конкретную платформу) и к верификации приложений. TL;DR Kaspersky OS предлагает контроль взаимодействия отдельных компонентов (служб, приложений) как с ядром, так и между собой - это принципиальное отличие от L4. Грубо говоря, принципы безопасности/надежности L4 распространяются с ядра на все приложения, службы и систему в целом.
	Ответить | Правка | Наверх | Cообщить модератору

	67. "Микроядро seL4 математически верифицировано для архитектуры ..."	+2 +/–
	Сообщение от vitalif (ok), 10-Июн-20, 18:19
	Я всерьёз не могу это воспринимать даже. Закрытое чудо, которое никто не видел, а если даже откроют - то исходники не откроют. Но оно мегабезопасное. "Не имеющее аналогов в мире". Да ну нафиг. Примерно на уровне QP ОС. L4 лучше хотя бы тем, что она реальна, а не иллюзорна.
	Ответить | Правка | Наверх | Cообщить модератору

	69. "Микроядро seL4 математически верифицировано для архитектуры ..."	+4 +/–
	Сообщение от erthink (ok), 10-Июн-20, 18:32
	> Я всерьёз не могу это воспринимать даже. Закрытое чудо, которое никто не > видел, а если даже откроют - то исходники не откроют. Но > оно мегабезопасное. "Не имеющее аналогов в мире". Да ну нафиг. Т.е. если вы не трогали луну руками, то её нет? Тем не менее, эту "луну" можно потрогать https://os.kaspersky.ru/development/ (если руки растут из нужного места).
	Ответить | Правка | Наверх | Cообщить модератору

	98. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (98), 10-Июн-20, 22:23
	Там есть исходный код ядра и его можно собрать и запустить со своими правками?
	Ответить | Правка | Наверх | Cообщить модератору

	99. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от erthink (ok), 10-Июн-20, 22:33
	> Там есть исходный код ядра и его можно собрать и запустить со > своими правками? Нет. Но за подробностями лучше RTFM.
	Ответить | Правка | Наверх | Cообщить модератору

	135. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (161), 11-Июн-20, 10:55
	> Т.е. если вы не трогали луну руками, то её нет? Разве это не принципиальный вопрос верификации? > Тем не менее, эту "луну" можно потрогать https://os.kaspersky.ru/development/ И что там дают? Уже собранную игрушку для написания хелловорлдов? Плюс "прямое согласие на сбор и обработку моих данных"
	Ответить | Правка | К родителю #69 | Наверх | Cообщить модератору

	200. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (-), 15-Июн-20, 06:31
	Как там грится? Джентльменамм верят на слово! И тут мне карта как поперла, как поперла!
	Ответить | Правка | Наверх | Cообщить модератору

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

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

	71. "Микроядро seL4 математически верифицировано для архитектуры ..."	–5 +/–
	Сообщение от NameName (?), 10-Июн-20, 18:35
	Дефачка из PR-отдела отчаянно минусует, размазывая тушь соплями.
	Ответить | Правка | Наверх | Cообщить модератору

	73. "Микроядро seL4 математически верифицировано для архитектуры ..."	+2 +/–
	Сообщение от erthink (ok), 10-Июн-20, 18:40
	> Дефачка из PR-отдела отчаянно минусует, размазывая тушь соплями. Ну не у каждой "дефачке" хватит соплей на вашу чушь ;)
	Ответить | Правка | Наверх | Cообщить модератору

	159. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от НамеНаме (?), 11-Июн-20, 18:22
	Ты смотри, а девачкам понравилось. Плюсуют. Бедненькие труженицы "IT-сектора".
	Ответить | Правка | Наверх | Cообщить модератору

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

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