The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

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

10.06.2020 12:05

Организация RISC-V Foundation сообщила о верификации работы микроядра seL4 на системах с архитектурой набора команд RISC-V. Верификация сводится к математическому доказательству надёжности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров RISC-V RV64, требующих повышенного уровня надёжности и гарантирующих отсутствие сбоев. Разработчики ПО, работающего поверх ядра seL4, могут быть полностью уверены, что в случае сбоя в одной части системы, данный сбой не распространится на остальную систему и, в частности, её критические части.

Изначально микроядро seL4 было верифицировано для 32-разрядных процессоров ARM, а позднее для 64-разрядных процессоров x86. Отмечается, что комбинация открытой аппаратной архитектуры RISC-V с открытым микроядром seL4 позволит добиться нового уровня безопасности, так как аппаратные составляющие в перспективе тоже могут быть полностью верифицированы, чего невозможно добиться для проприетарных аппаратных архитектур.

При верификации seL4 предполагается, что оборудование работает как заявлено и спецификация полностью описывает поведение системы, но на деле оборудование не избавлено от ошибок, что хорошо демонстрируется всплывающими регулярно проблемами в механизме спекулятивного выполнения инструкций. Открытые аппаратные платформы упрощают интеграцию связанных с безопасностью изменений - например, для блокирования всех возможных каналов утечки по сторонним каналам, в которых гораздо эффективней избавиться от проблемы аппаратно, чем пытаться искать обходные пути программно.

Напомним, что архитектура seL4 примечательна выносом частей для управления ресурсами ядра в пространство пользователя и применения для таких ресурсов тех же средств разграничения доступа, как для пользовательских ресурсов. Микроядро не предоставляет готовых высокоуровневых абстракций для управления файлами, процессами, сетевыми соединениями и т.п., вместо этого оно предоставляет лишь минимальные механизмы для управления доступом к физическому адресному пространству, прерываниям и ресурсам процессора. Высокоуровневые абстракции и драйверы для взаимодействия с оборудованием реализуются отдельно поверх микроядра в форме задач, выполняемых на пользовательском уровне. Доступ таких задач к имеющимся у микроядра ресурсам организуется через определение правил.

RISC-V предоставляет открытую и гибкую систему машинных инструкций, позволяющую создавать микропроцессоры для произвольных областей применения, не требуя при этом отчислений и не налагая условий на использование. RISC-V позволяет создавать полностью открытые SoC и процессоры. В настоящее время на базе спецификации RISC-V разными компаниями и сообществами под различными свободными лицензиями (BSD, MIT, Apache 2.0) развивается несколько десятков вариантов ядер микропроцессоров, SoC и уже производимых чипов. Поддержка RISC-V присутствует начиная с выпусков Glibc 2.27, binutils 2.30, gcc 7 и ядра Linux 4.15.

  1. Главная ссылка к новости (https://riscv.org/2020/06/sel4...)
  2. OpenNews: Открыт код сверхнадёжного микроядра seL4
  3. OpenNews: На базе гипервизора seL4 создана платформа для создания высокозащищённых систем
  4. OpenNews: Linux Foundation и RISC-V Foundation объединили усилия по продвижению архитектуры RISC-V
  5. OpenNews: WD открыл наработки, связанные с процессором WD SweRV, и портировал Plasma Mobile для RISC-V
  6. OpenNews: Unix-система Xv6 портирована для архитектуры RISC-V
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/53129-sel4
Ключевые слова: sel4, microkernel, risc-v
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (197) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, neAnonim (?), 12:28, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +13 +/
    осталось только распространить risc-v в массах. и тогда можно будет закопать x86
     
     
  • 2.2, Аноним (2), 12:33, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +12 +/
    Закопать то вряд ли, но это явно тот путь, по которому следует развиваться
     
     
  • 3.49, Аноним (49), 16:43, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Интел не позволит, закопают всех конкурентов в округе.
     
     
  • 4.51, erthink (ok), 16:48, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > Интел не позволит, закопают всех конкурентов в округе.

    Сначала интелю нужно повторить трюк Мюнхгаузена (вытащить себя за волосы), а уж потом может-быть, если повезет...

     
  • 4.108, Аноним (-), 23:19, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >  Интел не позволит, закопают всех конкурентов в округе.

    Копать устанут - его уже толпа фирм взяли в оборот.

    И кстати говорят что скоро фирму Интел будет ждать еще один приятный подарок: Эпл вроде бы на днях должен анонсировать переход на 64-битные ARM... :)

     
  • 2.7, A.Stahl (ok), 12:55, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +19 +/
    >осталось только распространить risc-v в массах

    Тю, мелочи-то какие. Займёмся сразу после отказа от империализма и излечения всех болезней.

     
     
  • 3.16, Сейд (ok), 13:15, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Жалеешь 140 рублей?
     
     
  • 4.25, A.Stahl (ok), 13:52, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    ?
     
     
  • 5.26, Сейд (ok), 13:57, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    https://www.crowdsupply.com/sifive/hifive1-rev-b
     
     
  • 6.31, A.Stahl (ok), 14:42, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Мне показывает $59.


     
     
  • 7.41, Аноним (41), 15:29, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    https://aliexpress.ru/item/4000818117666.html?algo_pvid=39bba876-7da8-4940-9a9
     
     
  • 8.44, Ыр2.0 (?), 15:45, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Трусы Большой Мужчина Женщина Купить Большой Проститутка Шланг... текст свёрнут, показать
     
  • 8.50, ala (?), 16:44, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Просто любопытно вы в самом деле пользуетесь сайтом aliexpress на русском языке... текст свёрнут, показать
     
     
  • 9.52, erthink (ok), 16:50, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Нисколько не поклонник, но разве на английском там сильно меньше удовольствий ... текст свёрнут, показать
     
     
  • 10.120, n80 (?), 00:58, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Удивительно, но всё-таки сильно меньше По крайней мере, у меня такая выборка ... текст свёрнут, показать
     
  • 10.132, Аноним (132), 09:48, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Английский более информативный ... текст свёрнут, показать
     
  • 9.86, Аноним (86), 19:40, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +3 +/
    А ты пользуешься китайским вариантом или просто думаешь, что для алика родной ан... текст свёрнут, показать
     
     
  • 10.133, Аноним (132), 09:49, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Алиэкспресс ориентируется на английский т к международный Таобао мандаринский ... текст свёрнут, показать
     
  • 10.142, Аноним (-), 14:33, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Просто на английском покупает сильно больше - так что этим можно и нормальный пе... текст свёрнут, показать
     
  • 9.119, n80 (?), 00:56, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Насколько знаю, при заходе с IP-адресов из RU областей aliexpress крайне настойч... текст свёрнут, показать
     
  • 9.131, Аноним (132), 09:47, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    На английский переключаю, мандаринским ещё не овладел чтобы таобао читать ... текст свёрнут, показать
     
  • 9.166, Аноним (166), 00:52, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Но русскоязычный Ali показывает цены в национальной валюте В которой мы и плати... текст свёрнут, показать
     
     
  • 10.171, Аноним (171), 01:14, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Понять по русскому описанию товара что это за неведомая штука в сколь-нибудь про... текст свёрнут, показать
     
     
  • 11.181, Аноним (166), 01:14, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Промт-онлайн с ангийской версии Али не сильно лучше переведёт ... текст свёрнут, показать
     
     
  • 12.186, Аноним (-), 10:43, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А мне оно и не надо Если бы я не умел в инглиш, мой потолок в IT ограничивался ... текст свёрнут, показать
     
  • 6.75, Michael Shigorin (ok), 18:58, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Get a single HiFive1 Rev B dev kit, featuring the FE310-G002,
    > SiFive's second generation open source RISC-V 32-bit SoC.

    Кому этот перемикроконтроллер нужен-то?
    Их rv64gc за килобакс производительностью не радует, а это...

     
     
  • 7.102, Сейд (ok), 22:43, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Производителям домашней автоматизации.
     
     
  • 8.126, Аноним (49), 01:32, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Домашним автоматизаторам хватит пригоршни ЛА3... текст свёрнут, показать
     
     
  • 9.143, Аноним (-), 14:34, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Да что там, спичек и желудей ... текст свёрнут, показать
     
  • 9.167, Аноним (166), 00:59, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    ЛА3 потребуется очень большая пригоршня, т к триггеры, счётчики, регистры тоже ... текст свёрнут, показать
     
  • 7.124, n80 (?), 01:22, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Как минимум, тем же, кому и остальные микроконтроллеры GigaDevice вообще презан... большой текст свёрнут, показать
     
     
  • 8.137, Леонид (??), 11:17, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Спасибо В отличие от 90 флуда на этом сайте - у вас очень интересное сообщение... текст свёрнут, показать
     
  • 8.144, Аноним (144), 14:41, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Еще у них есть ответвления F1xx-like которых в оригинале нет - например мелкие Q... большой текст свёрнут, показать
     
     
  • 9.194, n80 (?), 02:23, 14/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Собственно, я об этой ситуации и говорил в 171 это давно напрашивалось, но ST ... большой текст свёрнут, показать
     
     
  • 10.198, Аноним (198), 06:15, 15/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Я честно говоря не понял почему в мелком корпусе, с usb и вообще F103-like обвес... большой текст свёрнут, показать
     
  • 2.12, Сейд (ok), 13:04, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    https://www.sifive.com/boards/hifive1-rev-b
     
  • 2.53, Аноним (53), 16:57, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    А risc-v сможет достичь сопоставимой производительности?
     
     
  • 3.54, erthink (ok), 17:17, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +6 +/
    > А risc-v сможет достичь сопоставимой производительности?

    RISC-V - это просто открытая система команд. Соответственно, интель может прикрутить декодер RISC-V (RV64IMAFDC) к своим утюгам, и тогда будет RISV-V с сопоставимой производительностью.

    P.S. На месте интеля я бы заслал такую фичу инженерам 1-2 года назад (как только спекулятивное исполнение накрылось тазом), и даже наверное начал бы вкладываться в разработку неготовых спецификаций (всё что "Open" в https://en.wikipedia.org/wiki/RISC-V#ISA_base_and_extensions).

     
     
  • 4.145, Аноним (144), 14:43, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > RISC-V - это просто открытая система команд. Соответственно, интель может прикрутить декодер
    > RISC-V (RV64IMAFDC) к своим утюгам, и тогда будет RISV-V с сопоставимой производительностью.

    Кроме этого есть еще и открытые реализации ядер. Это, конечно, не интел - но вообще нормальные 64-битные штуки, для небольших железок с линухом явно хватит.

     
  • 3.70, NameName (?), 18:34, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Risc-v это просто спецификация на набор команд. Вот если вы сделаете хороший быстрый кристалл, то тогда будем вам и сопоставимая производительность. Но, опять же, хорошего кристалла недостаточно -- нужен хороший компилятор. Т.е. такой компилятор, который способен адекватно учесть особенности спецификации и её реализации.
     
     
  • 4.162, Аноним (162), 00:45, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Все как в лучших домах - есть GCC и Clang. И линухом это процессорное ядро поддерживается. И даже некоторые реально существующие SoC.
     
  • 2.118, Аноним (118), 00:30, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А потом откопать обратно.
     

     ....большая нить свёрнута, показать (41)

  • 1.3, Аноним (3), 12:40, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Вот, просто хороший DLS и никакой псевдонаучной претенциозности как у Rust.
     
     
  • 2.5, Аноним (3), 12:41, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    DSL
     
  • 2.6, Аноним (41), 12:45, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Что такое DLS? Может DSL (Domain Specific Language)?
     
     
  • 3.72, Аноним (72), 18:39, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +17 +/
    да хватит играть уже с аббревиатурой LSD
     
  • 2.9, Аноним (9), 13:01, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Вообще-то оно на сишечке с асмом.
     
     
  • 3.14, Аноним (14), 13:05, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Ядро на сишечке. Пруф -- нет. Причём пруф раз в 40 больше самого ядра.
     
     
  • 4.146, Аноним (144), 14:44, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Причём пруф раз в 40 больше самого ядра.

    А вы чего хотели? Скажите спасибо что он вообще за разумное время обсчитывается.

     
     
  • 5.161, Аноним (161), 21:47, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > Скажите спасибо что он вообще за разумное время обсчитывается.

    Касперский "при необходимости" посчитает за разумное время любую NP-полную задачу.

     
     
  • 6.163, Аноним (162), 00:46, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Касперский "при необходимости" посчитает за разумное время любую NP-полную задачу.

    Он сам как NP-полная задача.

     
  • 2.13, Аноним (14), 13:04, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Всего-то пришлось свой компилятор C написать, и потом ещё 200к строк на Isabelle, Haskell и прочих.
     
     
  • 3.30, Аноним (-), 14:34, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    В том то и элегантность решения, что компилятор C в 100500 раз проще Раста.
     
     
  • 4.33, Аноним (33), 14:52, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +10 +/
    Проще и безопаснее, так как в С нету unsafe
     
  • 4.34, Аноним (33), 14:54, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Вот вот, раст настолько убог что написание собственного компилятора С для каждой программы гораздо более элегантное решение чем написание кода на раст
     
  • 4.66, Аноним (14), 18:17, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Внезапный поворот: компилятор, которым собирается seL4, написан ни разу не на C!
     
     
  • 5.164, Аноним (162), 00:47, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Внезапный поворот: компилятор, которым собирается seL4, написан ни разу не на C!

    Это как-то мешает собрать его компилятором си написаным на си? :)

     
  • 2.17, Аноним (17), 13:16, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Слабое приплетание, на троечку.
     

  • 1.4, DmA (??), 12:40, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Давно в области безопасности не было таких хороших вестей
     
  • 1.8, Аноним (-), 12:59, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    может gnu/hurd кто-нибудь перенесёт на seL4
     
     
  • 2.10, Аноним (9), 13:02, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Ноу проблем. Сколько поатишь?
     
  • 2.11, Аноним (11), 13:02, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Флаг в руки, ждём от тебя результатов.
     
  • 2.18, Аноним (17), 13:18, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Люди, способные это сделать, не станут заниматься этим "за идею".
     
  • 2.19, Сейд (ok), 13:19, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Было много попыток перевести Hurd с Mach на L4, к сожалению, все потерпели неудачу.
     
  • 2.22, AnonAnonAnon (?), 13:32, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    смысл не в том, чтобы заменить gnu mach на seL4, а в том, чтобы gnu/hurd работал поверх seL4;
    иначе говоря, seL4 работает в режиме ядра, а gnu/hurd(gnu mach + translators) в режиме пользователя.
     
  • 2.28, Аноним (28), 14:12, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Гурд жестко приколочен к 32 битам. Его теперь проще переписать. Это в вопросу о программистских талантах Столлмана.
     
  • 2.35, Аноним (41), 15:14, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    На seL4 есть рабочая Genode https://genode.org/ .
     
     
  • 3.128, bw (ok), 06:14, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Genode под Nova пишется, все остальные ядра для галочки.
     

  • 1.15, Аноним (-), 13:07, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • –3 +/
    что-то не очень заметно, что на платах Arduino используется RISC-V
     
     
  • 2.23, Сейд (ok), 13:36, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    https://www.sifive.com/boards/hifive1-rev-b
    https://shop365481095.world.taobao.com/
     
  • 2.42, Аноним (42), 15:36, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    https://aliexpress.ru/item/4000299112762.html
     
  • 2.90, Аноним (9), 20:14, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Они анонсировали Arduino Cinque и… всё.
    Что, впрочем, нисколько не мешает купить другую похожую на Arduino платку с RISC-V.
     
  • 2.182, Аноним (182), 08:39, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Скоро ESP RISC-V подъедет
     

  • 1.21, Аноним (21), 13:31, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Вот это по настоящему важная новость. Ещё бы понять, как наладить производство устройств на нём.
     
     
  • 2.24, Сейд (ok), 13:47, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Берёшь L4 и https://pulp-platform.org// и налаживаешь производство.
     

  • 1.27, Аноним (28), 14:10, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Эпл уже решило переходить на RISC-V вместо ARM?
     
     
  • 2.37, Аноним (41), 15:19, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А что, они как-то обсуждали эту возможность?
     
     
  • 3.57, Аноним (28), 17:36, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Я не слышал, но после такой "будоражащей" новости как эта могли и задуматься. Нет.
     
  • 2.165, Аноним (162), 00:50, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Эпл уже решило переходить на RISC-V вместо ARM?

    Да и черт с ним с эплом. Зато решили WD, Nvidia и много кто еще. При том первая фирма процессоры делает со времен царя гороха.

     

  • 1.29, Аноним (29), 14:15, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Интересный исследовательский проект, но преподнесен ради хайпа вокруг RISC-V, ко... большой текст свёрнут, показать
     
     
  • 2.40, Аноним (40), 15:27, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –3 +/
    WD это хорошо (он заменил mips на arm и riscv), но ты забыл про NVIDIA, лет 10 применяющую risc-v  в своих видимокартах. Сейчас уже пару лет как есть "десктопы" на risc-v. Особо от x86 не отличаются, но асссемблерных оптимизаций в программах не завезли и поэтому немножко сливает в плане производительности. Цена на порядки адекватней эльбрусов, несмотря на то что в долларах.
     
     
  • 3.43, Аноним (41), 15:36, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Чего лет 10 назад? 10 лет назад архитектура только начала зарождаться.

    Можно ссылочку на такой десктоп?

     
     
  • 4.47, Аноним (40), 16:11, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Да, внезапно, nvidia стоит у истоков и первая радостно побежала экономить. Насчёт дектопа… Ммм я перепутал с power9, извините.
     
     
  • 5.77, Michael Shigorin (ok), 19:07, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Вы вообще всё здесь перепутали -- примерно так:

    >>> Сейчас уже пару лет как есть "десктопы" на risc-v.

    Нет.

    >>> Особо от x86 не отличаются

    Нет!

    >>> но асссемблерных оптимизаций в программах не завезли
    >>> и поэтому немножко сливает в плане производительности.

    Нет.

    >>> Цена на порядки адекватней эльбрусов, несмотря на то что в долларах.

    Нет!

    PS: в отличие от Вас -- практик в обсуждаемом вопросе.

     
     
  • 6.80, Аноним (40), 19:22, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Спасибо, я уже признал ошибку. Это было про power9.
     
  • 5.97, Михрютка (ok), 22:05, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    risc-v десктоп на power 9

    https://ibb.co/6gdgGHH

     
     
  • 6.112, Аноним (40), 23:46, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Он risc, это определённо. И он десктоп.
     
  • 2.46, erthink (ok), 16:00, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Интересный исследовательский проект, но преподнесен ради хайпа вокруг RISC-V, который
    > порядком надоел постоянной игрой слов и введением в заблуждение. RISC-V -
    > это лишь открытый набор команд процессора, т.к. открытая спецификация.
    > [...]
    >

    Очень хорошо сформулировано

     
  • 2.76, Michael Shigorin (ok), 19:05, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Другие коммерческие RISC-V вендоры почему-то образуются в РФ и Южной
    > Америке. Наверно, потому что пытаются сыграть на волне импортозамещения.

    Причём когда минимум из-за одного такого российского безфабричника восторчали уши IBM, у меня лично наметились сомнения, что тут вообще речь про импортозамещение, а не прокорм стратегической лавки кинетического противника в условиях повышенной шагреневости рынков...

    Собственно, кто знает всех этих сосновцевых с массухами -- тот и так понимает.

     
     
  • 3.138, Леонид (??), 11:23, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А про кого это вы? Вроде какая-то питерская контора занималась RISK-V
     

  • 1.32, erthink (ok), 14:50, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    В своё время L4 было прорывом, но поезд несколько продвинулся за >25 лет.

    Сейчас же уже есть Kaspersky OS, которая принципиально лучше L4 (конечно IMHO, ибо TL;DR):
    - тот-же уровень верифицируемости (посредством мат. доказательства) при необходимости.
    - различные модели безопасности.
    - поддержка POSIX.
    - возможность "security by design" для приложений (как сложных наборов компонентов/служб).
    - также поддержка жесткого реального времени (пока не из каробки, но обещают).

    Репутация же L4 оказалась "подмочена" дырявостью продуктов Qualcomm.

     
     
  • 2.36, Аноним (41), 15:18, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Репутацию Kaspersky OS ещё никто не проверял. Да и исходников её не покажут.
     
     
  • 3.45, erthink (ok), 15:51, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Кому нужно уже показали, поэтому и пишу.

    "Проверка" там в основном делается "математикой", поэтому (в сравнении с Linux и тем более вендой) можно узбаготься.

    Минусы, которые я пока вижу примерно такие:
    - У Евгения (кажется) еще осталась надежда, что их когда-нибудь/может-быть пустят обратно на рынок США и сателлитов. Поэтому продукт подается (IMHO) слишком "глобалистически".
    - В разработку вложено очень много (>15 лет), соответственно Евгений не решается (и возможно никогда не решится) сделать Kaspersky OS Open Source.

     
     
  • 4.65, vitalif (ok), 18:16, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > не решается (и возможно никогда не решится) сделать Kaspersky OS Open Source.

    R.I.P

    о какой вообще проверке может идти речь при отсутствии открытых исходников?

     
     
  • 5.68, erthink (ok), 18:24, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > > не решается (и возможно никогда не решится) сделать Kaspersky OS Open Source.
    > о какой вообще проверке может идти речь при отсутствии открытых исходников?

    Открыть исходники для проверки - это одно (у M$ в таком режиме они открыты >25 лет).
    А перейти на открытую лицензию и модель open source - это совсем другое.

    Но палка тут о двух концах - если модель (и DSL её описания) окажутся удачными (а похоже так и есть), то повторить уже проверенную концепцию относительно просто поверх любого подходящего ядра (даже натянуть на Linux, хотя будет масса проблем).

    Т.е. если Kasperky OS "взлетит" и при этом останется closed-source, то китайцы (или еще кто-то) повторят разработку за ~1-2 года.

     
     
  • 6.136, Аноним (118), 10:56, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    >даже натянуть на Linux

    Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт стал, о какой верификации речь может идти? В лучшем случае миникс верифицируют.

     
     
  • 7.140, erthink (ok), 14:03, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >>даже натянуть на Linux
    >Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт стал, о какой верификации речь может идти? В лучшем случае миникс верифицируют.

    Хм, а где в слове "натянуть" есть упоминание верификации ?

     
  • 6.153, vitalif (ok), 15:48, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Открыть исходники для проверки

    Там хотя бы повторяемость сборки есть? Открыты они.

    А если по обновлениям приедет бэкдор например? Какой смысл в открытии "на посмотреть"?

    Кода в ОС столько, что найти там все небезопасные вещи очень трудно, даже когда на одни исходники смотришь всем миром. А когда смотрит какая-то одна рабочая группа ограниченное время - это вообще ни о чём...

    Не суйтесь вообще с закрытой ОС на рынок. Просто не лезьте. Закрытая ОС - это зло.

     
     
  • 7.154, erthink (ok), 16:09, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >> Открыть исходники для проверки
    > Там хотя бы повторяемость сборки есть? Открыты они.
    > А если по обновлениям приедет бэкдор например? Какой смысл в открытии "на
    > посмотреть"?
    > Кода в ОС столько, что найти там все небезопасные вещи очень трудно,
    > даже когда на одни исходники смотришь всем миром. А когда смотрит
    > какая-то одна рабочая группа ограниченное время - это вообще ни о
    > чём...
    > Не суйтесь вообще с закрытой ОС на рынок. Просто не лезьте. Закрытая
    > ОС - это зло.

    Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность.

     
     
  • 8.155, vitalif (ok), 16:28, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Никого не волнует твоя компетентность Удел закрытой ОС - два с половиной закрыт... текст свёрнут, показать
     
     
  • 9.156, erthink (ok), 16:36, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Никому не интересно ваше ихпёртное мнение не читал, но осуждаю без базовой о... текст свёрнут, показать
     
     
  • 10.160, vitalif (ok), 20:08, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Да пусть идет, мне вообще пофиг... текст свёрнут, показать
     
  • 10.172, Аноним (171), 01:16, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Ихпертное мнение о структуре управления каспера можно на хабре почитать Дальше ... текст свёрнут, показать
     
     
  • 11.176, Аноним (176), 09:53, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Ничего себе, вы экспертное сообщество привели С таким же успехом можно и луко... текст свёрнут, показать
     
     
  • 12.187, Аноним (187), 10:46, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Нормальное сообщество айтишников Получше многих других, имхо Хоть и хипстерско... текст свёрнут, показать
     
  • 11.195, Онаним (?), 21:46, 14/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Хз на счёт управления, не сведущ в вопросе, но видится мне, США не зря и не прос... текст свёрнут, показать
     
  • 4.104, Михрютка (ok), 22:54, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >>>Кому нужно уже показали

    мне это всегда нравилось. "у нас есть такие приборы но мы вам их не покажем".

    >>>- В разработку вложено очень много (>15 лет)

    извиняюсь, os/360 меньше времени строили.

    она за эти 15 лет реальное практическое применение хоть где-то нашла? или только "где надо, там и нашла"?

    если нет, то это n-ый вариант hurd.

     
     
  • 5.106, erthink (ok), 23:11, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > > В разработку вложено очень много (>15 лет)
    > извиняюсь, os/360 меньше времени строили.

    Считаем что стоили и выбросили, или что z/OS всё еще строят (~60 лет)?

    Тем не менее, в любом случае - Ну и что?

    > > Кому нужно уже показали
    > мне это всегда нравилось. "у нас есть такие приборы но мы вам
    > их не покажем".
    >
    > она за эти 15 лет реальное практическое применение хоть где-то нашла? или
    > только "где надо, там и нашла"?
    > если нет, то это n-ый вариант hurd.

    Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность.

     
     
  • 6.109, Михрютка (ok), 23:23, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    z/os в продуктиве работает все эти годы.

    kasperskyos в продуктиве где-то работает?

    лет пять назад в россии рекламировали kasperskyos на крафтвеях. только что зашел на их сайт посмотреть, что как - сетевое "доверенное оборудование" с красивыми сертификатами почему-то на линуксе. как так?

    >>>Рассуждая не зная предмета, вы просто рекламируете свою некомпетентность.

    кто мешает вам рассудить со знанием? ну правда, вот я спросил, и еще повторюсь, мне не жалко:

    kasperskyos в продуктиве где-то работает?

    вы уж просветите нас, темных, если не сложно. я волшебное слово знаю: "Пожалуйста!"

     
     
  • 7.113, erthink (ok), 23:57, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > kasperskyos в продуктиве где-то работает?

    Ну RTFM ведь.
    https://os.kaspersky.ru/projects/

    > вы уж просветите нас, темных, если не сложно. я волшебное слово знаю:
    > "Пожалуйста!"

    На здоровье!

     
  • 4.147, Аноним (144), 14:49, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    >  - В разработку вложено очень много (>15 лет), соответственно Евгений не
    > решается (и возможно никогда не решится) сделать Kaspersky OS Open Source.

    Это по счастью будут в основном его проблемы, да нескольких "везунчиков" которым это добровольно-принудительно втулили. А то что мелкий проприетарщик да еще с орками в управлении переиграет весь остальной мир - так не бывает.

     
     
  • 5.152, erthink (ok), 15:24, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >>  - В разработку вложено очень много (>15 лет), соответственно Евгений не
    >> решается (и возможно никогда не решится) сделать Kaspersky OS Open Source.
    > Это по счастью будут в основном его проблемы, да нескольких "везунчиков" которым
    > это добровольно-принудительно втулили.

    Демагогия и FUD.

    > А то что мелкий проприетарщик да еще с
    > орками в управлении переиграет весь остальной мир - так не бывает.

    1. "мелкий", "орки" - А я верно предполагаю что в вашей системе координат Макс является представителем "крупных эльфов" и реикарнацией Тони Старка ;)

    2. "так не бывает" - ага, ни разу не было и вот опять ;)

     
     
  • 6.168, Аноним (168), 01:01, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Демагогия и FUD.

    Оценка наиболее вероятного развития событий. Такое счастье можно поюзать только если орк машет саблей и грозит отрезать голову.

    > 1. "мелкий", "орки" - А я верно предполагаю что в вашей системе координат

    Орки сами себя так назвали. Подробности этой истории можно найти на хабре...

     
  • 5.191, НамеНаме (?), 17:58, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Что значит -- "переиграет весь мир"? "Весь мир" и так себя самого переигрывает. Безо всякой помощи. ИТ -- такой, какой он сейчас -- должен умереть.
     
     
  • 6.199, Аноним (-), 06:30, 15/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Что значит -- "переиграет весь мир"?

    Это реверанс в адрес "если Kasperky OS "взлетит"". Блин, скорее пингвины научатся летать. Стоп, "given enough rocket power penguins can fly" (c) :D

     
  • 4.157, Oxyd76 (?), 17:31, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Кому нужно уже показали, поэтому и пишу.

    «Танк шибко секретный! Учёные могут и не знать!» ©

     
  • 4.169, Аноним (166), 01:06, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >Кому нужно уже показали, поэтому и пишу.

    От того, что показали майору, нам не легче.

     
  • 2.38, vitalif (ok), 15:22, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > при необходимости

    ОЙ КАК ТОЛСТО...

     
     
  • 3.62, erthink (ok), 17:48, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Видимо стоит уточнить для местных ихпёртов, которые УВЫ не читали, но осуждают... большой текст свёрнут, показать
     
     
  • 4.67, vitalif (ok), 18:19, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Я всерьёз не могу это воспринимать даже. Закрытое чудо, которое никто не видел, а если даже откроют - то исходники не откроют. Но оно мегабезопасное. "Не имеющее аналогов в мире". Да ну нафиг.

    Примерно на уровне QP ОС.

    L4 лучше хотя бы тем, что она реальна, а не иллюзорна.

     
     
  • 5.69, erthink (ok), 18:32, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > Я всерьёз не могу это воспринимать даже. Закрытое чудо, которое никто не
    > видел, а если даже откроют - то исходники не откроют. Но
    > оно мегабезопасное. "Не имеющее аналогов в мире". Да ну нафиг.

    Т.е. если вы не трогали луну руками, то её нет?

    Тем не менее, эту "луну" можно потрогать https://os.kaspersky.ru/development/
    (если руки растут из нужного места).

     
     
  • 6.98, Аноним (98), 22:23, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Там есть исходный код ядра и его можно собрать и запустить со своими правками?
     
     
  • 7.99, erthink (ok), 22:33, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Там есть исходный код ядра и его можно собрать и запустить со
    > своими правками?

    Нет.
    Но за подробностями лучше RTFM.

     
  • 6.135, Аноним (161), 10:55, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Т.е. если вы не трогали луну руками, то её нет?

    Разве это не принципиальный вопрос верификации?

    > Тем не менее, эту "луну" можно потрогать https://os.kaspersky.ru/development/

    И что там дают? Уже собранную игрушку для написания хелловорлдов? Плюс "прямое согласие на сбор и обработку моих данных"

     
     
  • 7.200, Аноним (-), 06:31, 15/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Как там грится? Джентльменамм верят на слово! И тут мне карта как поперла, как поперла!
     
  • 2.39, Аноним (39), 15:26, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Как будто репутация у вирусописателей Касперского чем-то сильно лучше Qualcomm.
     
  • 2.56, NameName (?), 17:24, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Касперский и репутация? Хотя, может в каких-то там своих кругах.
     
     
  • 3.71, NameName (?), 18:35, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –5 +/
    Дефачка из PR-отдела отчаянно минусует, размазывая тушь соплями.
     
     
  • 4.73, erthink (ok), 18:40, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Дефачка из PR-отдела отчаянно минусует, размазывая тушь соплями.

    Ну не у каждой "дефачке" хватит соплей на вашу чушь ;)

     
     
  • 5.159, НамеНаме (?), 18:22, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Ты смотри, а девачкам понравилось. Плюсуют. Бедненькие труженицы "IT-сектора".
     

     ....большая нить свёрнута, показать (39)

  • 1.48, Аноним (48), 16:32, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Всё что я понял, что есть некая шайтан архитектура - RISC, есть её спецификации, есть "разработчики" этих спецификаций и даже есть микропроцессоры. Все открытые процессоры это RISC, не RISC я не нашел.
    разработчик спецификация архитектуры Реализации архитектуры
    MIPS Technologies, Inc. MIPS
    OpenPOWER POWER
    университет Беркли RISC-V
    OpenCores RISC OpenRISC
    OpenSPARC
    Sun Microsystem SPARC UltraSPARC T1, UltraSPARC T2
    Texas Instruments SPARCv8 LEON2
    Fujitsu SPARCv9 SPARC64
    Simply RISC SPARC V9 S1 Core
     
     
  • 2.55, Аноним (49), 17:23, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Ну... Спарку можно сразу выкинуть.
     
     
  • 3.60, Аноним (48), 17:47, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Почему?
     
  • 2.58, Аноним (28), 17:39, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Теперь есть 15 конкурирующих стандартов.
     
     
  • 3.61, Аноним (48), 17:47, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Что в этом плохого?
     
     
  • 4.74, Аноним (49), 18:46, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –3 +/
    А ты подумай... Интел закрыт, как чёрт, жрёт, как слон, и ему абсолютно пох на каких-то 15 открытых "конкурентов" с суперпуперэкономным ядром.
     
     
  • 5.81, Аноним (48), 19:27, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Если бы не было 15 шт, было бы лучше, хуже? Появится ещё 100500, пускай, если взлетит одна и хорошо.
     
     
  • 6.179, Аноним (176), 10:03, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Нет, НЕ хорошо. Это - всего лишь показатель того, что отрасль так до сих пор и находится в состоянии "не знаю, кто там, в яме, но сыр - точно очень любит". И речь здесь - совершенно - не о многовариантности получения одного и того же результата. Да! И, желательно, Тьюринга, лишний раз не поминать...
     
  • 5.170, Аноним (168), 01:07, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > абсолютно пох на каких-то 15 открытых "конкурентов" с суперпуперэкономным ядром.

    Ща им эппл подкатит годный сюрпризец кажись.

     
     
  • 6.180, Аноним (176), 10:05, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    УжЕ - нет. И - никто, в ближайшие лет 30 - не подкатит. Не до того будет.
     
  • 2.59, Аноним (40), 17:47, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    SuperH тоже risc. И amd64 тоже risc, но это тщательно пытаются маскировать. RISC-V эта такая современная альтернатива мипсу (который тоже открыли и закопали, а ведь хорошая альтернатива арму была). В первую очередь стоит вопрос энергоэффективности и возможности свободно дизайнить кастомные чипы без космических откатов. В чём смысл сабжа я затрудняюсь ответить.
     
     
  • 3.63, Аноним (48), 17:53, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Какая из реализаций лучше всего подойдет для ПК, ноутов, планшетов, телефонов?
     
     
  • 4.64, erthink (ok), 17:56, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Какая из реализаций лучше всего подойдет для ПК, ноутов, планшетов, телефонов?

    Давно известно - волшебная.

     
     
  • 5.82, Аноним (48), 19:28, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >Давно известно - волшебная.

    Подозреваю что ирония сарказм.

     
  • 3.78, Michael Shigorin (ok), 19:10, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > amd64 тоже risc

    Нет.  А то, что там RISC -- не называется AMD64.

     
     
  • 4.79, Аноним (40), 19:20, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Скорее всего там технология аналогичная тому, что разрабатывала transmeta. Дитя ежа с ужом и эмуляция класических интерфейсов для взаимодействия.
     
  • 3.83, Аноним (83), 19:29, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > И amd64 тоже risc, но это тщательно пытаются маскировать.

    Никто ничего не маскирует. CISC это микрокод выполняющийся поверх RISC ядра. Всегда, даже в 8080.

    Ваш Кэп.

     
     
  • 4.85, Аноним (40), 19:40, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Возможно и так. Когда-то я интересовался этим вопросом (когда писал 16 битные программы) и видел утверждения, что cisc в процессорах интел когда-то всё же был. Примерно с P6 всё пошло в разнос, тогда же появились все эти уязвимые бранч предикторы и всё остальное. Они были уязвимыми ещё 20 лет назад, мельдаун и спектра эксплуатируют давным давно известные архитектурные "особенности".
     
     
  • 5.87, Аноним (83), 19:53, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    бранч предикторы - следствие наличия конвейера, а никак не микрокода. RISC/CISC тут не при чем.
     
     
  • 6.88, Аноним (40), 20:06, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Но я не вижу тут противоречий. Ведь x86 процессоры (в частности нынешние) архитектурно являются RISC, что я изночально и утверждал.
     
     
  • 7.89, Аноним (83), 20:11, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > Ведь x86 процессоры (в частности нынешние) архитектурно являются RISC

    Это тавтология. ВООБЩЕ ВСЕ CISC процессоры архитектурно содержат в себе RISC процессор как ядро.

     
     
  • 8.92, Cradle (?), 20:39, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    нет, это как раз ошибка Вся разница в том кто решает как правильно загружать ко... текст свёрнут, показать
     
     
  • 9.95, Аноним из предыдущего ответа. (?), 20:58, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    RISC-и тоже умеют в макрокомманды или как они называются, когда один опкод замен... текст свёрнут, показать
     
  • 9.103, Аноним (83), 22:49, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    PDP-11 не относят к RISC только по тому что во времена расcыпухи такого деления ... текст свёрнут, показать
     
     
  • 10.110, Cradle (?), 23:27, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    https ru wikipedia org wiki D0 9A1801 D0 92 D0 9C1 ... текст свёрнут, показать
     
     
  • 11.115, Аноним (83), 00:02, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Да, я знаю про это Даже к друзьям на БуКашке периодически ходил играться для р... текст свёрнут, показать
     
     
  • 12.116, Аноним (83), 00:17, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    У меня вообще есть предположение, что слово RISC присваивают процессору, когда х... текст свёрнут, показать
     
  • 10.139, Вебмакака (?), 12:25, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Нет У PDP-11 пачка омских режимов адресации, RISC всегда load store ... текст свёрнут, показать
     
     
  • 11.141, Аноним (83), 14:25, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    load store - это вторичный половой признак Он является следствием, а не причино... большой текст свёрнут, показать
     
     
  • 12.197, Led (ok), 01:06, 15/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Да сколько ж можно ... текст свёрнут, показать
     
  • 9.173, Аноним (166), 01:16, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А что, разве в системе команд PDP11 не было команд, производящих изменения данны... текст свёрнут, показать
     
  • 8.94, Аноним (40), 20:45, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    VLIW EPIC разве не могут притворяться CISC Вроде и эльбрусы VLIW, притворяющи... текст свёрнут, показать
     
     
  • 9.105, Аноним (83), 22:56, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    CISC - это архитектура, а не система команд, а притворяются EPIC-и начиная с Кру... текст свёрнут, показать
     
  • 8.148, Аноним (-), 14:51, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Там вон в новости про очередные дыры в интеле разрисовано что оно содержит RISC... текст свёрнут, показать
     
  • 4.91, Аноним (9), 20:22, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Всегда, даже в 8080.

    Ну ты фантазёр…

     
     
  • 5.101, Аноним (83), 22:39, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну ты фантазёр…

    Люблю опеннет за наличие икспердов. Люди уже даже эмулятор для микрокода 8080 написали, но местное сообщество все-равно говорит что его не существует: https://github.com/jdryg/8080Emu

     
     
  • 6.123, Аноним (49), 01:16, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Наличие микрокода не обязывает ядро быть RISCовым
     
     
  • 7.149, Аноним (-), 14:53, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Наличие микрокода не обязывает ядро быть RISCовым

    Возможно он пытается сказать что "блоки выполнения" за uCode ROM сами по себе смахивают на RISC? До некоторой степени, пожалуй, смахивают.

     
     
  • 8.158, Аноним (83), 18:12, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Бинго Первый тезка который это понял А то что у этих блоков выполнения вмест... текст свёрнут, показать
     
  • 4.100, Аноним (98), 22:33, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Всегда, даже в 8080.

    Чиво??? RISC ядро появилось в 486

     
     
  • 5.174, Аноним (166), 01:27, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Если не Pentium II
     
  • 3.134, Аноним (132), 10:06, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    >RISC-V эта такая современная альтернатива мипсу (который тоже открыли и закопали, а ведь хорошая альтернатива арму была).

    MIPS это спецификация RISC от MIPS Technologies, Inc.

    RISC-V  это спецификация RISC от RISC Foundation.

    Какая из них лучше, хуже?
    Вообще мне нравятся SPARC, почему бы их не производить - UltraSPARC T1, UltraSPARC T2?

     
     
  • 4.150, Аноним (-), 14:54, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Вообще мне нравятся SPARC, почему бы их не производить - UltraSPARC T1, UltraSPARC T2?

    Так производите. Даже какое-то из ядер выкладывали. Просто это огроменный чип и это будет большое, мучительное и дорогое приключение, а отбить затраты продажами этого... сможете?

     

     ....большая нить свёрнута, показать (42)

  • 1.84, Аноним (84), 19:35, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Пацаны это то самое открытое железо о котором мечтают все ГНУтые?
     
     
  • 2.93, Cradle (?), 20:45, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    нет, это только открытая система комманд без слишком явной привязки к какому-то производителю. Открывать реализацию железа оно не обязывает.
     
     
  • 3.96, Аноним (21), 21:04, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    К тому же этих спецификаций вагон и маленькая тележка, я выше писал.
     
     
  • 4.129, Аноним (-), 06:36, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Главное чтобы было всё без лицензионных отчислений.
     
     
  • 5.175, Аноним (49), 02:32, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    С виду - без, как начнёшь делать в железе - сразу появятся и отчисления. и патенты, и ещё много чего.
     
     
  • 6.185, Аноним (185), 10:16, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    О хо-хо, хо-хо! :(
     

  • 1.107, Аноним (107), 23:18, 10/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    it is proved to be bug-free relative to a specification
    То есть, это всего-лишь доказательство что реализация соответствует спецификации безо всяких этих ваших багов. Это не гарантирует отсутствие багов в спецификации (недавние новости какбэ намекае) и не гарантирует отсутствие уязвимостей в самой архитектуре, которые, при наличии присутствия, превратят весь этот ваш матан в пшик, как мы наблюдаем уже второй год с x86
     
     
  • 2.111, Аноним (49), 23:32, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Две банки жидкого азота господину! Да, можно математически доказать, что проц будет правильно складывать 2+2 и помещать результат в пользовательский регистр, но что будет побочно делать в рабочих буферах...
     
     
  • 3.114, Аноним (107), 23:59, 10/06/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    За науку я готов выпить хоть яду. Проставляйся.
     
     
  • 4.121, Аноним (49), 01:07, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Это не пить... это для твоего проца :)
     
     
  • 5.125, Аноним (107), 01:24, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Мой проц справляется даже без радиатора. Я давно уже не покупаю печки.
     

  • 1.117, Аноним (118), 00:26, 11/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    >о полном соответствии заданным на формальном языке спецификациям.

    Пусть сначала докажут что в самих спецификациях нет бага или бэкдора. Для этого нужны спецификации спецификаций. А на них спецификации спецификаций спецификаций. И так до тех пор, пока спецификации спецификаций .... спецификаций не превратятся во что-то простое, где каждому будет очевидно, что нет бага или бэкдора.

     
     
  • 2.122, Аноним (49), 01:11, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Лучшее доказательство - отсутствие спекуляция при работе с памятью.
     
     
  • 3.151, Аноним (-), 14:55, 11/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Лучшее доказательство - отсутствие спекуляция при работе с памятью.

    Rowhammer'у так например это похрен.

     
     
  • 4.178, Аноним (176), 09:57, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А вы - точно понимаете значение употребляемых вами слов?
     
  • 2.193, НамеНаме (?), 18:02, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Это, увы, не достижимо в принципе. Ну так Рассель, Кантор, Гедоль ну и НамеНаме считают.
     

  • 1.127, Vitaly (??), 05:11, 11/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    https://github.com/seL4/seL4/blob/master/src/smp/lock.c 25 строк.

    clh_lock_t big_kernel_lock ALIGN(L1_CACHE_LINE_SIZE);

    Да тут не только математически, но и астрально картами Таро можно обосновать.

     
  • 1.130, Онаним (?), 08:35, 11/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    А тем временем даже в Falcon 9 уже обыденный x86.
     
     
  • 2.177, Аноним (176), 09:54, 12/06/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Нет. Не обыденный. Не обольщайтесь ложной простотой вопроса.
     
  • 2.190, НамеНаме (?), 17:55, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    В Еврефайтерах и Рафалях тоже х86 (купленные на барахолке), а в Ф-22 960-тые и 860-тые.
     

  • 1.183, Аноним (182), 09:51, 13/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Отличная новость, и ОС интересная.

    ... Зато попиарили забесплатно закрытую нех от касперыча, чо.

     
     
  • 2.184, Аноним (185), 10:14, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    >... Зато попиарили забесплатно закрытую нех от касперыча, чо.

    Макса Чиркова деньги не интересуют.

     
  • 2.188, Аноним (187), 10:49, 13/06/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > ... Зато попиарили забесплатно закрытую нех от касперыча, чо.

    "Какая страна, такая и ОС".

     

  • 1.201, Аноним (201), 23:50, 15/06/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    По итогу самым безопасным окажется ядро "Hello world".
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру