forum.opennet.ru

"Микроядро seL4 математически верифицировано для архитектуры ..."

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

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

"Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
Сообщение от opennews (?), 10-Июн-20, 12:28
Организация RISC-V Foundation сообщила о верификации работы микроядра seL4 на системах с архитектурой набора команд RISC-V. Верификация сводится к математическому доказательству надёжности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров RISC-V RV64, требующих повышенного уровня надёжности и гарантирующих отсутствие сбоев... Подробнее: https://www.opennet.me/opennews/art.shtml?num=53129
Ответить \| Правка \| Cообщить модератору

Оглавление

Микроядро seL4 математически верифицировано для архитектуры ..., opennews, 10-Июн-20, 12:28 [смотреть все]

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

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру