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

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

	7. "Микроядро seL4 математически верифицировано для архитектуры ..."	+19 +/–
	Сообщение от A.Stahl (ok), 10-Июн-20, 12:55
	>осталось только распространить risc-v в массах Тю, мелочи-то какие. Займёмся сразу после отказа от империализма и излечения всех болезней.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	16. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Сейд (ok), 10-Июн-20, 13:15
	Жалеешь 140 рублей?
	Ответить | Правка | Наверх | Cообщить модератору

	25. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от A.Stahl (ok), 10-Июн-20, 13:52
	?
	Ответить | Правка | Наверх | Cообщить модератору

	26. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Сейд (ok), 10-Июн-20, 13:57
	https://www.crowdsupply.com/sifive/hifive1-rev-b
	Ответить | Правка | Наверх | Cообщить модератору

	31. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от A.Stahl (ok), 10-Июн-20, 14:42
	Мне показывает $59.
	Ответить | Правка | Наверх | Cообщить модератору

	41. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (41), 10-Июн-20, 15:29
	https://aliexpress.ru/item/4000818117666.html?algo_pvid=39bb...,searchweb201602_,searchweb201603_
	Ответить | Правка | Наверх | Cообщить модератору

	44. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Ыр2.0 (?), 10-Июн-20, 15:45
	Трусы Большой Мужчина Женщина Купить Большой Проститутка Шланг
	Ответить | Правка | Наверх | Cообщить модератору

	50. "Микроядро seL4 математически верифицировано для архитектуры ..."	–3 +/–
	Сообщение от ala (?), 10-Июн-20, 16:44
	Просто любопытно: вы в самом деле пользуетесь сайтом aliexpress на русском языке? Серьёзно? Это не шутка? Вот прямо так его и читаете — со всеми их шлангами и многими удовольствиями?
	Ответить | Правка | К родителю #41 | Наверх | Cообщить модератору

	52. "Микроядро seL4 математически верифицировано для архитектуры ..."	+2 +/–
	Сообщение от erthink (ok), 10-Июн-20, 16:50
	> Просто любопытно: вы в самом деле пользуетесь сайтом aliexpress на русском языке? > Серьёзно? Это не шутка? Вот прямо так его и читаете — со > всеми их шлангами и многими удовольствиями? Нисколько не поклонник, но разве на английском там сильно меньше "удовольствий"?
	Ответить | Правка | Наверх | Cообщить модератору

	120. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от n80 (?), 11-Июн-20, 00:58
	Удивительно, но всё-таки сильно меньше. По крайней мере, у меня такая выборка.
	Ответить | Правка | Наверх | Cообщить модератору

	132. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Аноним (132), 11-Июн-20, 09:48
	Английский более информативный.
	Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

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

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

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

	119. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от n80 (?), 11-Июн-20, 00:56
	Насколько знаю, при заходе с IP-адресов из RU областей aliexpress крайне настойчиво перенаправляет на версию с этим хтоническим ужасом от мира машинного перевода. И отучить его от этого настройками сайта и даже плагинами браузера становится всё труднее и труднее. Это какое-то безумие.
	Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору

	131. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (132), 11-Июн-20, 09:47
	На английский переключаю, мандаринским ещё не овладел чтобы таобао читать.
	Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору

	166. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (166), 12-Июн-20, 00:52
	Но русскоязычный Ali показывает цены в национальной валюте. В которой мы и платим.
	Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору

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

	181. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (166), 13-Июн-20, 01:14
	Промт-онлайн с ангийской версии Али не сильно лучше переведёт.
	Ответить | Правка | Наверх | Cообщить модератору

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

	75. "Микроядро seL4 математически верифицировано для архитектуры ..."	–1 +/–
	Сообщение от Michael Shigorin (ok), 10-Июн-20, 18:58
	> Get a single HiFive1 Rev B dev kit, featuring the FE310-G002, > SiFive's second generation open source RISC-V 32-bit SoC. Кому этот перемикроконтроллер нужен-то? Их rv64gc за килобакс производительностью не радует, а это...
	Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

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

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

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

	167. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (166), 12-Июн-20, 00:59
	ЛА3 потребуется очень большая пригоршня, т.к. триггеры, счётчики, регистры тоже придётся на них делать. Отсюда, к тому же, большое энергопотребление. И самое главное - жёсткая логика, нет гибкости.
	Ответить | Правка | К родителю #126 | Наверх | Cообщить модератору

	124. "Микроядро seL4 математически верифицировано для архитектуры ..."	+4 +/–
	Сообщение от n80 (?), 11-Июн-20, 01:22
	Как минимум, тем же, кому и остальные микроконтроллеры. GigaDevice вообще презанятная контора в плане Особого Пути™. Впервые я на них наткнулся с их клонами STM32 (GD32Fxxx): pin-to-pin совместимые клоны с без всякого стеснения срисованными даташитами и периферией. И, как минимум, одной маааленькой фишкой: бóльший объём flash-ROM за ту же или даже меньшую цену, достигли они этого за счёт того что вместо полноценной параллельной дорогой флеш-памяти (как у оригинала от ST) использовали отдельный кристалл последовательной флеш-памяти, разварив и залив несколько кристаллов в одном корпусе. А чтобы это не угробило производительность, они добавили между флеш-памятью и ядром дополнительное ОЗУ для кеширования, в итоге в некоторых задач (когда горячая область кода влезает в этот кеш) этот клон работает быстрее оригинала (где либо терпи wait states при чтении/исполнении из флеша, либо ручками копируй горячие функции в основное ОЗУ, либо бери более дорогой камень с кешем из коробки). Потом они же придумали такой прикол, как серию из почти полных аналогов чипов серии STM32F0 (которые на весьма урезанном Cortex-M0), но с одним важным отличием в виде полноценного ядра Cortex-M3 (как у STM32F1). Это давно напрашивалось, но ST это посчитали не очень-то нужным, а подвальные китайцы взяли и реализовали. Здесь вот другой их не менее впечатливший выкрутас — придумать серию GD32V, где вся периферия (включая адреса для MMIO) взята от соответствующих STM32Fxxx, но ядро заменено на RISC-V, т.е. в работающем проекте достаточно заменить несколько мест из CMSIS (типа использования инструкции WFI, wait for interrupt) и пересобрать другим компилятором, чтобы получить максимально безболезненный переход с ARM на RISC-V. Т.е. с одной стороны — бесстыднейшее (и крайне спорное с юридической точки зрения) копирование и паразитирование на чужих идеях и наработках, а с другой — придумали и внедрили нечто мелкое, но очень даже полезное (не для всех, конечно). Пардон за такой оффтоп, но надеюсь что кому-то это тоже окажется интересным ~открытием или дополнят/поправят (раз уж затронули такую интересную мне тему).
	Ответить | Правка | К родителю #75 | Наверх | Cообщить модератору

	137. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Леонид (??), 11-Июн-20, 11:17
	Спасибо! В отличие от 90% флуда на этом сайте - у вас очень интересное сообщение
	Ответить | Правка | Наверх | Cообщить модератору

	144. "Микроядро seL4 математически верифицировано для архитектуры ..."	+1 +/–
	Сообщение от Аноним (144), 11-Июн-20, 14:41
	> минимум, одной маааленькой фишкой: бóльший объём flash-ROM за ту же или даже меньшую цену Еще у них есть ответвления F1xx-like которых в оригинале нет - например мелкие QFN с USB и общим видом железа как у F1xx. У STMicro именно такого комбо почему-то и нет, при всем разнообразии. Неужто никто usb не хотел в мелком корпусе c F1xx? Да ну ладно?! > кристалл последовательной флеш-памяти, разварив и залив несколько кристаллов в одном корпусе. А вы их щупали? Флеху шить программно пробовали? Оно по flash controller не совместимо? А то даташит вроде как клон STM-ов 1 в 1. > Здесь вот другой их не менее впечатливший выкрутас — придумать серию GD32V, > где вся периферия (включая адреса для MMIO) взята от соответствующих STM32Fxxx, > но ядро заменено на RISC-V, Вот это они очень стебно прикололись. Надо будет как-нибудь повертеть в руках этот неведомый пепелац. > Т.е. с одной стороны — бесстыднейшее (и крайне спорное с юридической точки > зрения) копирование и паразитирование на чужих идеях и наработках STMicro им как бы железки не давал - сами совместимые разработали. Почему так нельзя - науке неизвестно. Вроде бы API не есть копирайченая штука, оракла vs гугл на этой теме помнится завернули. > кому-то это тоже окажется интересным ~открытием или дополнят/поправят (раз уж затронули > такую интересную мне тему). У узкоглазых есть и еще клоны STM32 от других фирм, разной степени кривизны. Вон там рядом какой-то чудак мыкается, у него оно в бутлоадер не входит чего-то.
	Ответить | Правка | К родителю #124 | Наверх | Cообщить модератору

	194. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от n80 (?), 14-Июн-20, 02:23
	> Еще у них есть ответвления F1xx-like которых в оригинале нет - например > мелкие QFN с USB и общим видом железа как у F1xx. > У STMicro именно такого комбо почему-то и нет, при всем разнообразии. > Неужто никто usb не хотел в мелком корпусе c F1xx? Да ну ладно?! Собственно, я об этой ситуации и говорил в «это давно напрашивалось, но ST это посчитали не очень-то нужным, а китайцы взяли и реализовали». >> кристалл последовательной флеш-памяти, разварив и залив несколько кристаллов в одном корпусе. > А вы их щупали? Флеху шить программно пробовали? Оно по flash controller > не совместимо? А то даташит вроде как клон STM-ов 1 в 1. А чего бы ему быть несовместимым? Поскольку общение с флеш-памятью что в оригинале, что тут идёт не напрямую, а через внутренний контроллер, этот самый контроллер прекрасно абстрагирует все подробности. В общем-то, наличие команд для стирание страницами и записи словами не зависит от типа флеш-памяти, это везде есть. >> Т.е. с одной стороны — бесстыднейшее (и крайне спорное с юридической точки >> зрения) копирование и паразитирование на чужих идеях и наработках > STMicro им как бы железки не давал - сами совместимые разработали. Почему > так нельзя - науке неизвестно. Вроде бы API не есть копирайченая > штука, оракла vs гугл на этой теме помнится завернули. Насколько я помню, тот же оракл на эту тему ещё долго будет пытаться что-нибудь у кого-нибудь отжать. Тут тоже момент тонкий: во-первых, не очень ясно, насколько сами и с нуля (или, как часто бывает, по знакомству что-то добыли с соседнего завода; если сам ST посчитает их угрозой, наверняка постарается накопать информацию о подобных эпизодах), во-вторых, могут докопаться до похожей маркировки (типа, почти до неразличимости, с торговыми марками и товарными знаками это стандартная практика; не могу сказать точно, насколько это применимо тут), рисунков и фраз из документации, может, какие-то решения по периферии вообще запатентованы. Но, вполне может быть (всё-таки я не юрист), что тут и правда ситуация «а что, так можно было?», т.е. просто кто-то первым понял что ничего не мешает сделать так, а остальные сами себя ограничивали, опасаясь проблем или не считая этот путь перспективным. > У узкоглазых есть и еще клоны STM32 от других фирм, разной степени кривизны. > Вон там рядом какой-то чудак мыкается, у него оно в бутлоадер не входит чего-то. А можно подробнее и конкретнее? Интересно, что там ещё бывает из широко доступного. Для меня большим открытием ещё в своё время стали WCH с их переходниками со всего подряд на всё подряд и самыми дешёвыми МК с аппаратным USB (CH55x), а также Padauk (PDK) с их сверхдешёвыми МК с однократно программируемой памятью (при этом есть ещё и варианты с тем же ядром и нормальной флеш-памятью, но там уже и цена повыше, так что это для отладки больше).
	Ответить | Правка | Наверх | Cообщить модератору

	198. "Микроядро seL4 математически верифицировано для архитектуры ..."	+/–
	Сообщение от Аноним (198), 15-Июн-20, 06:15
	> Собственно, я об этой ситуации и говорил в «это давно напрашивалось, но > ST это посчитали не очень-то нужным, а китайцы взяли и реализовали». Я честно говоря не понял почему в мелком корпусе, с usb и вообще F103-like обвесом - "не очень нужное". Китайцы вот тоже. Минимум сравнимого что я знаю это F103 в qfn36, но у китайцев и мельче есть, qfn28 чтоли, выводок F150. Что-то ST с маркетингом перемудрил местами, имхо. > А чего бы ему быть несовместимым? Поскольку общение с флеш-памятью что в > оригинале, что тут идёт не напрямую, а через внутренний контроллер, этот > самый контроллер прекрасно абстрагирует все подробности. Ну вот в этом и вопрос был - смогли ли они вывесить аналогичный интерфейс железки. И это вопрос к тому кто реально пробовал этой железкой покомандовать, соответственно :) > В общем-то, наличие команд для стирание страницами и записи словами не зависит > от типа флеш-памяти, это везде есть. Просто для SPI это технически дольше и сложнее. Но если железка-посредник оттранслирует интерфейс - почему бы и нет. Я кажется начинаю понимать как это: mem-mapped SPI подпертый кэшом каким-то, так? Узкоглазые вообще любят mmaped spi почему-то в своих чипах. > Насколько я помню, тот же оракл на эту тему ещё долго будет > пытаться что-нибудь у кого-нибудь отжать. Пытаться то он может что угодно, но если получится, следующим шагом кто-нибудь запатентует алфавит и мы все дружно залетим за использование этого апи. > по знакомству что-то добыли с соседнего завода; если сам ST посчитает > их угрозой, наверняка постарается накопать информацию о подобных эпизодах), 1) Вероятно могут и сами что-то разработать. 2) ST тоже не все железки сами разработали, часть у других налицензировали. 3) ST постепенно поразвел зоопарк "HW IP versions" грубо говоря. Да, железо улучшили, но совместимость профакали и дескать используйте наши мегалибы и халы на каких-то мутных лицензиях - "только с чипами stmicro". > А можно подробнее и конкретнее? Интересно, что там ещё бывает из широко доступного. https://www.opennet.ru/openforum/vsluhforumID3/120751.html#153 - где-то вокруг этого. Понятия не имею кто такой CS32, бывают и другие (на остальных фото маркировка нечитаема). > Для меня большим открытием ещё в своё время стали WCH с их > переходниками со всего подряд на всё подряд Ну мне это уже не особо надо - у меня есть и просто FTDI'ки, а что-то сверх того я и сам фирмвару для мк накорябаю. > и самыми дешёвыми МК с аппаратным USB (CH55x), а также Padauk (PDK) с их сверхдешёвыми > МК с однократно программируемой памятью Я миллионными тиражами не ворочаю, в иные ниши пристраиваюсь. F1xx мне пришлись по вкусу тем что дешевле какихнить атмег, при том что периферия и ядро сильно круче, а сложность системы... ну, "я в это более-менее врубился" - общий view чипа и чего я с ним делаю и зачем все же сформировался. А вот китайские глюки мне все же ни к чему в вещах для которых мне МК интересны :). И цена около 1-2 баксов за чип меня не напрягает. А, еще и gcc'ом поддерживается, вплоть до возможности юзануть тулчейн из репов моего линуксного дистра. И stm32flash оттуда же, все-таки удобно.
	Ответить | Правка | Наверх | Cообщить модератору

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

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