Микроядро seL4 математически верифицировано для архитектуры ...,
opennews (?), 10-Июн-20, (0) [смотреть все]
- осталось только распространить risc-v в массах и тогда можно будет закопать x86,
neAnonim (?), 12:28 , 10-Июн-20, (1) +13 //
- Закопать то вряд ли, но это явно тот путь, по которому следует развиваться,
Аноним (2), 12:33 , 10-Июн-20, (2) +12 //
- Тю, мелочи-то какие Займёмся сразу после отказа от империализма и излечения все,
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
- Насколько знаю, при заходе с IP-адресов из RU областей aliexpress крайне настойч,
n80 (?), 00:56 , 11-Июн-20, (119)
- На английский переключаю, мандаринским ещё не овладел чтобы таобао читать ,
Аноним (132), 09:47 , 11-Июн-20, (131)
- Но русскоязычный Ali показывает цены в национальной валюте В которой мы и плати,
Аноним (166), 00:52 , 12-Июн-20, (166)
- Кому этот перемикроконтроллер нужен-то Их 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
- https www sifive com boards hifive1-rev-b,
Сейд (ok), 13:04 , 10-Июн-20, (12) –1
- А risc-v сможет достичь сопоставимой производительности ,
Аноним (53), 16:57 , 10-Июн-20, (53) –1 //
- А потом откопать обратно ,
Аноним (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) //
- Вообще-то оно на сишечке с асмом ,
Аноним (9), 13:01 , 10-Июн-20, (9) +1 //
- Всего-то пришлось свой компилятор 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
- Слабое приплетание, на троечку ,
Аноним (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 //
- что-то не очень заметно, что на платах 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) //
- Эпл уже решило переходить на RISC-V вместо ARM ,
Аноним (28), 14:10 , 10-Июн-20, (27) –1 //
- А что, они как-то обсуждали эту возможность ,
Аноним (41), 15:19 , 10-Июн-20, (37) //
- Да и черт с ним с эплом Зато решили 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 //
- Очень хорошо сформулировано,
erthink (ok), 16:00 , 10-Июн-20, (46) +2
- Причём когда минимум из-за одного такого российского безфабричника восторчали уш,
Michael Shigorin (ok), 19:05 , 10-Июн-20, (76) +1 //
- В своё время 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)
- Там хотя бы повторяемость сборки есть Открыты они А если по обновлениям приедет,
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)
- Хз на счёт управления, не сведущ в вопросе, но видится мне, США не зря и не прос,
Онаним (?), 21:46 , 14-Июн-20, (195) +1
- мне это всегда нравилось у нас есть такие приборы но мы вам их не покажем изв,
Михрютка (ok), 22:54 , 10-Июн-20, (104) +1
- Это по счастью будут в основном его проблемы, да нескольких везунчиков которым,
Аноним (144), 14:49 , 11-Июн-20, (147)
- 171 Танк шибко секретный Учёные могут и не знать 187 ,
Oxyd76 (?), 17:31 , 11-Июн-20, (157) –1
- От того, что показали майору, нам не легче ,
Аноним (166), 01:06 , 12-Июн-20, (169) –1
- ОЙ КАК ТОЛСТО ,
vitalif (ok), 15:22 , 10-Июн-20, (38) –2 //
- Как будто репутация у вирусописателей Касперского чем-то сильно лучше Qualcomm ,
Аноним (39), 15:26 , 10-Июн-20, (39)
- Касперский и репутация Хотя, может в каких-то там своих кругах ,
NameName (?), 17:24 , 10-Июн-20, (56) –3 //
- Всё что я понял, что есть некая шайтан архитектура - RISC, есть её спецификации,,
Аноним (48), 16:32 , 10-Июн-20, (48) –2 //
- Ну Спарку можно сразу выкинуть ,
Аноним (49), 17:23 , 10-Июн-20, (55) +2 //
- Теперь есть 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
- Ща им эппл подкатит годный сюрпризец кажись ,
Аноним (168), 01:07 , 12-Июн-20, (170)
- SuperH тоже risc И amd64 тоже risc, но это тщательно пытаются маскировать RISC,
Аноним (40), 17:47 , 10-Июн-20, (59) +1 //
- Какая из реализаций лучше всего подойдет для ПК, ноутов, планшетов, телефонов ,
Аноним (48), 17:53 , 10-Июн-20, (63) –1 //
- Нет А то, что там RISC -- не называется AMD64 ,
Michael Shigorin (ok), 19:10 , 10-Июн-20, (78) //
- Никто ничего не маскирует 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)
- А что, разве в системе команд PDP11 не было команд, производящих изменения данны,
Аноним (166), 01:16 , 12-Июн-20, (173)
- VLIW EPIC разве не могут притворяться CISC Вроде и эльбрусы VLIW, притворяющи,
Аноним (40), 20:45 , 10-Июн-20, (94)
- Там вон в новости про очередные дыры в интеле разрисовано что оно содержит RISC,
Аноним (-), 14:51 , 11-Июн-20, (148)
- Ну ты фантазёр 8230 ,
Аноним (9), 20:22 , 10-Июн-20, (91)
- Чиво RISC ядро появилось в 486,
Аноним (98), 22:33 , 10-Июн-20, (100) +1
- MIPS это спецификация RISC от MIPS Technologies, Inc RISC-V это спецификация R,
Аноним (132), 10:06 , 11-Июн-20, (134) //
- Пацаны это то самое открытое железо о котором мечтают все ГНУтые ,
Аноним (84), 19:35 , 10-Июн-20, (84) //
- it is proved to be bug-free relative to a specificationТо есть, это всего-лишь д,
Аноним (107), 23:18 , 10-Июн-20, (107) +2 //
- Пусть сначала докажут что в самих спецификациях нет бага или бэкдора Для этого ,
Аноним (118), 00:26 , 11-Июн-20, (117) +1 //
- Лучшее доказательство - отсутствие спекуляция при работе с памятью ,
Аноним (49), 01:11 , 11-Июн-20, (122) +2 //
- Это, увы, не достижимо в принципе Ну так Рассель, Кантор, Гедоль ну и НамеНаме ,
НамеНаме (?), 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) //
- Отличная новость, и ОС интересная Зато попиарили забесплатно закрытую нех о,
Аноним (182), 09:51 , 13-Июн-20, (183) +1 //
- По итогу самым безопасным окажется ядро 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
|