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

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

	59. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (40), 10-Июн-20, 17:47
	SuperH тоже risc. И amd64 тоже risc, но это тщательно пытаются маскировать. RISC-V эта такая современная альтернатива мипсу (который тоже открыли и закопали, а ведь хорошая альтернатива арму была). В первую очередь стоит вопрос энергоэффективности и возможности свободно дизайнить кастомные чипы без космических откатов. В чём смысл сабжа я затрудняюсь ответить.
	Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

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

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

	82. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (48), 10-Июн-20, 19:28
	>Давно известно - волшебная. Подозреваю что ирония сарказм.
	Ответить | Правка | Наверх | Cообщить модератору

	78. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Michael Shigorin (ok), 10-Июн-20, 19:10
	> amd64 тоже risc Нет.  А то, что там RISC -- не называется AMD64.
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

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

	83. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (83), 10-Июн-20, 19:29
	> И amd64 тоже risc, но это тщательно пытаются маскировать. Никто ничего не маскирует. CISC это микрокод выполняющийся поверх RISC ядра. Всегда, даже в 8080. Ваш Кэп.
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	85. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (40), 10-Июн-20, 19:40
	Возможно и так. Когда-то я интересовался этим вопросом (когда писал 16 битные программы) и видел утверждения, что cisc в процессорах интел когда-то всё же был. Примерно с P6 всё пошло в разнос, тогда же появились все эти уязвимые бранч предикторы и всё остальное. Они были уязвимыми ещё 20 лет назад, мельдаун и спектра эксплуатируют давным давно известные архитектурные "особенности".
	Ответить | Правка | Наверх | Cообщить модератору

	87. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 10-Июн-20, 19:53
	бранч предикторы - следствие наличия конвейера, а никак не микрокода. RISC/CISC тут не при чем.
	Ответить | Правка | Наверх | Cообщить модератору

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

	89. "Микроядро seL4 математически верифицировано для архитектуры ..."	–2 +/–
	Сообщение от Аноним (83), 10-Июн-20, 20:11
	> Ведь x86 процессоры (в частности нынешние) архитектурно являются RISC Это тавтология. ВООБЩЕ ВСЕ CISC процессоры архитектурно содержат в себе RISC процессор как ядро.
	Ответить | Правка | Наверх | Cообщить модератору

	92. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Cradle (?), 10-Июн-20, 20:39
	нет, это как раз ошибка. Вся разница в том кто решает как правильно загружать конвеер и кэши - в risc этим преимущественно занимается компилятор, в cisc внутренняя логика со всеми своими branch prediction, в экстремальной vliw только компилятор. Поэтому собственно risc начались с mips архитектуры, хотя например pdp-11 по системе комманд тоже к ним относят.
	Ответить | Правка | Наверх | Cообщить модератору

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

	103. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 10-Июн-20, 22:49
	> Поэтому собственно risc начались с mips архитектуры, хотя например pdp-11 по системе комманд тоже к ним относят. PDP-11 не относят к RISC только по тому что во времена расcыпухи такого деления не было. Сделай кто сейчас совместимую однокристалку и она станет RISC-ом. Просто мне трудно представить зачем приделывать микрокод к процессору с ортогональной системой команд.
	Ответить | Правка | К родителю #92 | Наверх | Cообщить модератору

	110. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Cradle (?), 10-Июн-20, 23:27
	https://ru.wikipedia.org/wiki/%D0%9A1801%D0&#...
	Ответить | Правка | Наверх | Cообщить модератору

	115. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 11-Июн-20, 00:02
	Да, я знаю про это. Даже к друзьям на БуКашке периодически ходил играться "для расширения кругозора", сам обладая Спектрумом. Но официально RISC-ом он, как и MOS6502 не называется по той причине, что само понятие в широкие массы было введено только в 90-е.
	Ответить | Правка | Наверх | Cообщить модератору

	116. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 11-Июн-20, 00:17
	У меня вообще есть предположение, что слово RISC присваивают процессору, когда хотят громко произнести: "Мы избавились от микрокода чтобы получить одну команду за такт" и избегают когда нужно сказать что "Мы избавились от микрокода чтобы сэкономить на транзисторах"
	Ответить | Правка | Наверх | Cообщить модератору

	139. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Вебмакака (?), 11-Июн-20, 12:25
	Нет. У PDP-11 пачка омских режимов адресации, RISC всегда load/store.
	Ответить | Правка | К родителю #103 | Наверх | Cообщить модератору

	141. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 11-Июн-20, 14:25
	> Нет. У PDP-11 пачка омских режимов адресации, RISC всегда load/store. load/store - это вторичный половой признак. Он является следствием, а не причиной и по этому не может считаться в отрыве от других признаков. На то что является первичным, позволю себе сослаться на автора понятия RISC Джона Кока [1]: This was the key realization: Imposing microcode between a computer and its users imposes an  expensive  overhead in performing the most frequently executed instructions. Thus, a key task in  designing the experimental machine was to investigate the consequences of exposing a microcomputer directly to the end user. In many  cases, a microcomputer limited to instructions executable in one cycle would execute a macro-instruction  in about  as many  cycles as a System/370 Model 168 executing the equivalent instruction. The great potential  was that  simple  instructions would run substantially faster for the same circuit family and cycle time because the overhead of executing a CISC (Complex Instruction-Set Computer) interpreter was pared away. Он однозначно говорит что RISC получился из CISC удалением микрокода и его интерпретатора. Ортогональность, load/store и прочее - только следствия. [1] The evolution of RISC technology at IBM: https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5389855
	Ответить | Правка | Наверх | Cообщить модератору

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

	173. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (166), 12-Июн-20, 01:16
	>хотя например pdp-11 по системе комманд тоже к ним относят. А что, разве в системе команд PDP11 не было команд, производящих изменения данных прямо в ячейках памяти?
	Ответить | Правка | К родителю #92 | Наверх | Cообщить модератору

	94. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (40), 10-Июн-20, 20:45
	VLIW (EPIC) разве не могут притворяться CISC? Вроде и эльбрусы VLIW, притворяющийся CISC.
	Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

	105. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 10-Июн-20, 22:56
	> VLIW (EPIC) разве не могут притворяться CISC? Вроде и эльбрусы VLIW, притворяющийся CISC. CISC - это архитектура, а не система команд, а притворяются EPIC-и начиная с Крузо именно поддержкой x86-х команд. И для последних вполне можно сделать и настоящий RISC-процессор, только кому это надо? С такой-то бессистемицей в опкодах.
	Ответить | Правка | Наверх | Cообщить модератору

	148. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (-), 11-Июн-20, 14:51
	> Это тавтология. ВООБЩЕ ВСЕ CISC процессоры архитектурно содержат в себе RISC процессор как ядро. Там вон в новости про очередные дыры в интеле разрисовано что оно содержит. RISC это разве что с очень большой натяжкой совы на глобус.
	Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

	91. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (9), 10-Июн-20, 20:22
	> Всегда, даже в 8080. Ну ты фантазёр…
	Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

	101. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 10-Июн-20, 22:39
	> Ну ты фантазёр… Люблю опеннет за наличие икспердов. Люди уже даже эмулятор для микрокода 8080 написали, но местное сообщество все-равно говорит что его не существует: https://github.com/jdryg/8080Emu
	Ответить | Правка | Наверх | Cообщить модератору

	123. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (49), 11-Июн-20, 01:16
	Наличие микрокода не обязывает ядро быть RISCовым
	Ответить | Правка | Наверх | Cообщить модератору

	149. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (-), 11-Июн-20, 14:53
	> Наличие микрокода не обязывает ядро быть RISCовым Возможно он пытается сказать что "блоки выполнения" за uCode ROM сами по себе смахивают на RISC? До некоторой степени, пожалуй, смахивают.
	Ответить | Правка | Наверх | Cообщить модератору

	158. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (83), 11-Июн-20, 18:12
	> Возможно он пытается сказать что "блоки выполнения" за uCode ROM сами по себе смахивают на RISC? До некоторой степени, пожалуй, смахивают. Бинго! Первый тезка который это понял. А то что у этих "блоков выполнения" вместо номеров операций и регистров в системе команд используются номера SELECT-ов к логическим блокам, это просто так удобней для CISC.
	Ответить | Правка | Наверх | Cообщить модератору

	100. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (98), 10-Июн-20, 22:33
	> Всегда, даже в 8080. Чиво??? RISC ядро появилось в 486
	Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

	174. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (166), 12-Июн-20, 01:27
	Если не Pentium II
	Ответить | Правка | Наверх | Cообщить модератору

	134. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (132), 11-Июн-20, 10:06
	>RISC-V эта такая современная альтернатива мипсу (который тоже открыли и закопали, а ведь хорошая альтернатива арму была). MIPS это спецификация RISC от MIPS Technologies, Inc. RISC-V  это спецификация RISC от RISC Foundation. Какая из них лучше, хуже? Вообще мне нравятся SPARC, почему бы их не производить - UltraSPARC T1, UltraSPARC T2?
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	150. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (-), 11-Июн-20, 14:54
	> Вообще мне нравятся SPARC, почему бы их не производить - UltraSPARC T1, UltraSPARC T2? Так производите. Даже какое-то из ядер выкладывали. Просто это огроменный чип и это будет большое, мучительное и дорогое приключение, а отбить затраты продажами этого... сможете?
	Ответить | Правка | Наверх | Cообщить модератору

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

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