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

В ядро Linux 5.12 принята подсистема KFence для выявления ошибок при работе с памятью, opennews (?), 28-Фев-21, (0) [смотреть все] Всё, Раст больше не нужен Ну, он и раньше был не нужен, но теперь за него вооб, A.Stahl (ok), 10:43 , 28-Фев-21, (2) +26 // Благодаря этому инструменту выявятся те участки кода, которые нужно переписать н, ИмяХ (?), 10:46 , 28-Фев-21, (4) +11 // Нужно ли Чтобы добавить оверхед на пустом месте , Аноним (6), 10:57 , 28-Фев-21, (6) +2 // А сабж - оверхед не на пустом месте , Аноним (12), 11:31 , 28-Фев-21, (12) +11 Сабж только для разработки и вполне отключается , Аноним (6), 11:57 , 28-Фев-21, (17) +1 Сабж таки позиционируется как годный и для продакшнового применения Если от KAS, Аноним (178), 20:37 , 03-Мрт-21, (178) Если есть проблемы Если их нет, то и оверхэд ни к чему , Аноним (6), 20:49 , 03-Мрт-21, (184) Оно как бы да И все же в проекте ТАКОГО размера уповать на полное отсутствие ба, Аноним (196), 10:25 , 07-Мрт-21, (196) Так сабж всегда можно отключить, если дебаг не нужен При отклюбчении не будет и, Anonimous (?), 11:58 , 28-Фев-21, (18) Сабж это культ-карго от легковерных туземцев, которые ужас как боятся дыреней , Аноним (19), 11:58 , 28-Фев-21, (19) +3 Ну да, это нормально когда у вас приложение вылетает раз в час сарказм , пердёжник (?), 16:54 , 28-Фев-21, (79) –2 Сейчас 2021 год сейчас ничего не вылетает раз в час Вылезь уже из криокамеры , Аноним (140), 23:13 , 01-Мрт-21, (140) у меня десяточка стабильно вылетает раз в неделю с синим экраном Полностью пере, пердёжник (?), 19:38 , 02-Мрт-21, (154) Ну дык да, стабильно раз в 10 минут или random time , нах.. (?), 15:39 , 31-Авг-21, (202) Это вы про питон наверное, там класть на ошибки норма, поэтому оно в какой-то мо, Аноним (178), 20:37 , 03-Мрт-21, (179) Нене, за карго культом - к растаманам У них там эрзац пакетного менеджера , Аноним (-), 20:16 , 03-Мрт-21, (170) –1 У раста нет оверхеда по сравнению с си на эквивалентном коде Все его фичи работ, Owlet (?), 14:14 , 28-Фев-21, (43) –2 Это не так, мы уже выяснили , Аноним (6), 14:45 , 28-Фев-21, (45) –2 Сылки на треды, в которых проходило обсуждение, Аноним (12), 14:53 , 28-Фев-21, (50) +2 Мы все так говорим, а значит это правда с , Аноним (-), 19:56 , 01-Мрт-21, (137) Brotli обсуждали Вот https dropbox tech infrastructure lossless-compression-, Nuzhny (?), 23:43 , 01-Мрт-21, (142) –1 А grep переписали в ripgrep и получилось быстрее Причем не в абстрактновакуумны, Аноним (-), 16:40 , 02-Мрт-21, (147) +1 А мой папа Так дети в песочнице хвалятся А где тесты, где пруфы, где анализ тог, Nuzhny (?), 06:42 , 03-Мрт-21, (161) Так дети, пытающиеся казаться взрослыми, умничают, не пытаясь понять смысл прочи, Аноним (-), 14:46 , 03-Мрт-21, (166) В смысле - данной Вами ссылкой Ни кода, ни данных на которых тестировали там я , Аноним (-), 14:49 , 03-Мрт-21, (167) О, совсем другое дело Почитаю , Nuzhny (?), 16:55 , 03-Мрт-21, (168) А кто сказал что там алгоритмы одинаковые были Вон там сравнили один конкретный, Аноним (178), 20:39 , 03-Мрт-21, (180) При этом, один и тот же алгорим может быть реализован разными способами, что сущ, тот самый аноним (?), 00:58 , 04-Мрт-21, (186) Оно как бы да, но есть нюансы Вот конкретно это - и правда довольно странная шту, Аноним (-), 10:33 , 07-Мрт-21, (197) Надеюсь вы сами прочитали статью Dropbox как минимум утверждает, что1 реализац, Alexey (??), 08:17 , 03-Мрт-21, (164) +1 Там как-то текст немного по дебильному написан ----X8Currently the decompres, Совершенно другой аноним (?), 09:50 , 03-Мрт-21, (165) И это, gcc 4 9 немного протух А они не хотят хотя-бы 9 10 взять А то б еще 2 , Аноним (178), 20:41 , 03-Мрт-21, (181) Там просто статья за 2016 год, тогда максимальная версия gcc была 5 X, но может , Совершенно другой аноним (?), 10:01 , 04-Мрт-21, (190) Да, похоже на то Они как-то коряво написали, но дальше однозначноActivating uns, Alexey (??), 06:35 , 04-Мрт-21, (188) Скрыто модератором, Аноним (198), 13:58 , 07-Мрт-21, (198) Smart_pointer - это разве не оверхед Каждое обращение к памяти со спинлоком , Славик (?), 14:53 , 28-Фев-21, (49) –1 у тебя весь код состоит из смартпоинтеров , Аноним (12), 15:01 , 28-Фев-21, (51) –8 Самое место внутри IRQ D, Онаним (?), 23:00 , 28-Фев-21, (95) +3 Но у меня на виртуалке работает D , n00by (ok), 08:20 , 01-Мрт-21, (120) +3 Оверхед, но никаких спинлоков там нет Проблема там в том, что умные указатели п, Siborgium (ok), 09:44 , 01-Мрт-21, (124) Я имел ввиду Thread Safety смарт поинтера Если не спинлок то атомик, хрен редьк, Славик (ok), 10:35 , 14-Окт-22, (203) О каких умных указателях ты говоришь Обычные ссылки T, mut T имеют в рантайм, _ (??), 14:20 , 01-Мрт-21, (131) Указатель обычно сводится к вгрузке аж 1 регистра базы константой адресом , о, Аноним (-), 20:12 , 03-Мрт-21, (169) Оверхед появляется на оптимизируемом коде с алиасингом, см сишный restrictВ Rust, _ (??), 11:28 , 11-Мрт-21, (199) +1 Садись, два, Аноним (81), 17:20 , 28-Фев-21, (81) +3 Полная чушь Да, на расте можно писать как на си, но тогда он от си ничем не отл, Siborgium (ok), 09:45 , 01-Мрт-21, (125) ооооооооооооо даааааааааааааааааааааааауволен по причине некомпетентности, гуляй, Аноним (149), 16:42 , 02-Мрт-21, (149) Нужно А то ядро почти не течёт , Онаним (?), 22:59 , 28-Фев-21, (94) +1 Но зачем Раз уж выявили, то можно существующих код на C подправить , Аноним (62), 15:43 , 28-Фев-21, (62) // Да это просто влажные мечты растомана Проходим мимо, Аноним (81), 17:21 , 28-Фев-21, (82) тоже логично , пердёжник (?), 08:25 , 04-Мрт-21, (189) Нет не выявляются , Аноним (149), 16:41 , 02-Мрт-21, (148) Пофиксить их на си будет сильно проще А так растишки свой redox уже который там, Аноним (-), 20:17 , 03-Мрт-21, (171) Ты не так остёр, как думаешь Поздно пить смузи, когда продакшн упал И удачи с и, Аноним (7), 10:59 , 28-Фев-21, (7) –3 // что самое интересное, его плюсуют какие-то смузи-фанбои, что говорит о том, наск, Аноним (54), 15:12 , 28-Фев-21, (54) // Так смузи-фанбои они же наоборот, за Rust топят , Аноним (62), 15:46 , 28-Фев-21, (64) +2 Сам и плюсует - делов-то, запустить скрипт трехстрочник , Аноним (68), 15:59 , 28-Фев-21, (68) Fracta1L теперь не нужен , Леголас (ok), 11:27 , 28-Фев-21, (10) +8 // Ну, он и раньше был не нужен, но теперь за него вообще никаких аргументов не ос, A.Stahl (ok), 11:38 , 28-Фев-21, (13) +14 Безопасных языков еще полно, можно за любой топить хоть за zig , Аноним (19), 11:59 , 28-Фев-21, (20) // Я топил за zig 8 лет назад, теперь я топлю за си, как за самый безопасный в сра, Аноним (6), 14:48 , 28-Фев-21, (46) Языку zig 5 лет, а топил ты за него когда его не было Завязывай уже с тем что т, Аноним (140), 23:15 , 01-Мрт-21, (141) И что такого Я оценил аргументы автора ещё когда он только разрабатывался Но, , Аноним (6), 06:13 , 02-Мрт-21, (143) +1 Для си статический анализ и инструментацию более-менее нарулили А типовые пробл, Аноним (-), 20:23 , 03-Мрт-21, (172) +1 Но, ведь, скучно без него будет , Аноним (62), 15:48 , 28-Фев-21, (67) –3 Так вот кусочек за кусочком пытаются из Си сделать недо-Rust , anonymous (??), 11:55 , 28-Фев-21, (16)   // раст, в отличии от, делает проверки на этапе компиляции, alex312 (?), 12:00 , 28-Фев-21, (21) +2   // переполнение буфера от присланного по сети кривого пакета раст тоже на этапе ком, Аноним (32), 12:46 , 28-Фев-21, (32) +1   При обращении к буферу Rust автоматически сделает проверки на выход за границу , Аноним (35), 13:20 , 28-Фев-21, (35) –1   Так нет оверхеда, или есть автоматические проверки на выход за границу , Siborgium (ok), 09:49 , 01-Мрт-21, (126)   Эти проверки и в Си по хорошему надо делать, поэтому никакого оверхеда, только а, Аноним (158), 01:28 , 03-Мрт-21, (158)   Например, кривой пакет состоит из заголовка плавающего размера и тела Например,, Совершенно другой аноним (?), 10:57 , 01-Мрт-21, (127)   Пакет с такой неверной длиной считается криво, но без вылетов за границу Если чи, тот самый Аноним (?), 01:37 , 03-Мрт-21, (159)   Особенно интересно будет когда ты попробуешь все это в кернел моде провернуть А, Аноним (-), 20:46 , 03-Мрт-21, (182)   Пинание погроммиста использовать итератор, если он не хочет по умолчанию получит, Аноним (-), 14:38 , 28-Фев-21, (44)   Ну так и в сишке можно массив гарантированно обойти без промаха и проверок - мак, Сишник (?), 15:10 , 28-Фев-21, (53) –2   Кто-то говорил, что нельзя А почему все не юзают А говорит ли об этом компилят, Аноним (12), 15:15 , 28-Фев-21, (55) –2   Так это ж не встроено в язык , Сишник (?), 16:01 , 28-Фев-21, (70) +2   Таково древнее наследие обратной совместимости и отсутствие проработанной базы , Аноним (-), 16:16 , 28-Фев-21, (73) –2   Скрыто модератором, Сишник (?), 16:43 , 28-Фев-21, (78) –2   По той же причине по которой используют неэффективные алгоритмы или пишут свой в, Аноним (88), 20:27 , 28-Фев-21, (88) +2   То есть эта хитрая штука не переносима между платформами Язык Си точно для крос, Аноним (12), 23:22 , 28-Фев-21, (101) –1   Скажем так, по всей видимости разработчики стандарта C никак не могли повлиять н, Совершенно другой аноним (?), 11:02 , 01-Мрт-21, (128) +1   Ну то есть эта штука не кросплатформенна, Аноним (135), 18:23 , 01-Мрт-21, (135)   На тот момент было а других кроссплатформенных языков у меня для Вас нет с , Совершенно другой аноним (?), 10:16 , 02-Мрт-21, (144)   Раст работает на всех даже если принять работающими tier-3 платформы платформа, Siborgium (ok), 07:08 , 03-Мрт-21, (162)   Так то си есть для сильно большего количества архитектур чем хруст А что, хруст, Аноним (-), 20:49 , 03-Мрт-21, (183)   Понимаешь, алгебраические типы данных и отсутствие null - это не только модные с, Аноним (-), 16:12 , 28-Фев-21, (72) +2   Скрыто модератором, Сишник (?), 16:21 , 28-Фев-21, (74) –1   Покажи, где ты в С нашел null, и где в switch-case по union с тегом у тебя будут, Siborgium (ok), 07:09 , 03-Мрт-21, (163) –1   Как ни странно, GCC в этом довольно неплохо преуспевает А прикинь, он сам умеет, Аноним (-), 20:52 , 03-Мрт-21, (185)   А прикинь - как ни странно, для этого используются наработки смузихлебов по оп, Аноним (-), 01:15 , 04-Мрт-21, (187)   А тут их железка делает Условно халявно - она всегда это делает, просто более к, Аноним (-), 20:25 , 03-Мрт-21, (173) –1   Это пять Зашел сюда специально, чтобы почитать комменты про Rust Заголовок нов, freecoder_xx (?), 17:01 , 28-Фев-21, (80) +4 // Ну только поржать над людьми которые больше helloworld c не видели и даже не вду, Анончик (?), 18:38 , 28-Фев-21, (84) каким был тролем таким и остался Думал возраст тебя исправит но видно нет , Анончик (?), 18:36 , 28-Фев-21, (83) ммм ядро пишут на С и Shell и других очень низких языках раст тут не нужен, GrayRats (ok), 22:13 , 28-Фев-21, (92) // Это опеннет , Аноним (-), 22:58 , 28-Фев-21, (93) // Как минимум Rosa Tresh полностью автономна и написана баш-программистами , n00by (ok), 08:24 , 01-Мрт-21, (121) На shell там разве что кусочки системы сборки, лол , Аноним (-), 20:26 , 03-Мрт-21, (174) А он был кому-то кроме фрактала не написавшего не строчки нужен , Аноним (149), 16:40 , 02-Мрт-21, (146) Лучше бы добавили простую возможность узнавать-проверять валидные границы памяти, Аноним (-), 10:46 , 28-Фев-21, (3) –2 // Такая возможность в C C и много других языков уже давно добавлена if или asser, Онаним (?), 10:51 , 28-Фев-21, (5) +2 Умные указатели уже миллион лет как придумали в с Это все равно что аналог sa, Аноним (19), 12:02 , 28-Фев-21, (22) –1 // А когда запретят писать на тупых указателях Что ты подразумеваешь под safe , Аноним (12), 12:25 , 28-Фев-21, (30) –2 // Не раньше, чем из раста полностью удалят unsafe, и любой код будет safe, т е ни, SR_team (ok), 13:18 , 28-Фев-21, (34) –1 Ему про тупые указатели, он про раст и safe, сначала определи, что такое safe, м, Аноним (12), 15:18 , 28-Фев-21, (56) Скрыто модератором, Аноним (140), 23:10 , 01-Мрт-21, (138) они unsafeда, потому что полностью избавится от тупых указателей нельзя, даже ес, SR_team (ok), 10:48 , 02-Мрт-21, (145) У хрустиков есть кейворд такой И что характерно, системщина без него чего-то ну, Аноним (-), 20:28 , 03-Мрт-21, (175) А зачем Не надо их запрещать Они прекрасны Те кто не осилил - никто не заставл, Аноним (149), 16:46 , 02-Мрт-21, (150) Особенно с железками поработать Особенно когда точный паттерн доступа к адресу , Аноним (178), 20:34 , 03-Мрт-21, (177) Что-то Debian стал много есть оперативки Голая установка на uefi занимает 75 Мб, Аноним (8), 11:08 , 28-Фев-21, (8) +2 // Про systemdick не забывай , Аноним (11), 11:27 , 28-Фев-21, (11) Чего минусов налепили Проверьте сами в виртуалке хотя бы , Аноним (8), 11:54 , 28-Фев-21, (15) // Хорошая попытка, но нет Даже без гуя , Аноним (19), 12:03 , 28-Фев-21, (23) –1 // Моё ядро занимает 80-100 понятное дело без гуя вообще без всего Но там все эт, Аноним (6), 12:16 , 28-Фев-21, (25) Почему раньше всё работало и занимало 30 Мб , Аноним (8), 12:17 , 28-Фев-21, (26) –1 Из того что я знаю, добавили различные защиты и канареечные значения на случай а, Аноним (6), 12:20 , 28-Фев-21, (27) +3 Если раньше все работало, то зачем ты что-то меняешь Сиди себе на своем старье , Аноним (12), 12:23 , 28-Фев-21, (28) +1 Я хотел узнать причины, а не слушать едкие бессмысленные колкости , Аноним (8), 14:03 , 28-Фев-21, (40) +3 Ну смотриТы не сидишь на своем старье, потому что тебя что-то не устраивало в не, Аноним (12), 14:52 , 28-Фев-21, (48) –2 При чём здесь мой выбор новой версии Я спросил лишь причину жора оперативки Ме, Аноним (8), 15:21 , 28-Фев-21, (57) Обновления безопасности - проблема Если нет проблем, то почему тебя беспокоят о, Аноним (12), 15:29 , 28-Фев-21, (59) –1 Я не вижу достаточной аргументации, лишь верчение словами, а это не ответ А счег, Аноним (65), 15:46 , 28-Фев-21, (65) Наблюдаю по ленсуку, венде и прочим живым ОС Наращивание фич - увеличение потре, Аноним (12), 23:29 , 28-Фев-21, (105) –1 Не знаешь , Аноним (8), 23:42 , 28-Фев-21, (114) Прекрасно знаю, Аноним (12), 23:59 , 28-Фев-21, (118) 1 x86-642 Ряд структур стал несколько более рыхлым с годами, но это позволяет , Онаним (?), 23:40 , 28-Фев-21, (111) Специалист по ИБ из вас так себе , Аноним (8), 15:24 , 28-Фев-21, (58) –1 Ты тоже из тех, кто считает, что если в системе есть баги, то это называется вс, Аноним (12), 15:33 , 28-Фев-21, (61) Нет , Аноним (65), 15:47 , 28-Фев-21, (66) –1 Ты тоже из тех, кто считает, что бывают сколь-либо сложные системы, в которых не, Онаним (?), 23:40 , 28-Фев-21, (112) Я из тех, кто считает, что если тебя все устраивает, то зачем что-то менять , Аноним (12), 23:58 , 28-Фев-21, (117) Ну так абсолютно правильный ответ в начале дали Нет смысла обновляться на новое, Онаним (?), 00:37 , 01-Мрт-21, (119) ну так ему и сказали - не обновляйся, но ведь он хочет безопасность , значит ег, Аноним (135), 18:25 , 01-Мрт-21, (136) Запустил armhf версию на 64 мегах без свопа Нормально Не быстро, конечно - дис, Аноним (-), 20:29 , 03-Мрт-21, (176) +1 Отключи Huge pages и будет кушать НАМНОГО меньше Другой вопрос, что ты будешь п, timur.davletshin (ok), 13:52 , 28-Фев-21, (38) +2 // Смотря какие huge pages Если transparent - то ведро нормально справляется с пер, Онаним (?), 23:04 , 28-Фев-21, (97) –2 // Ну переключи madvise параметр у ядра и проверь, сколько будет жрать ОЗУ после пе, timur.davletshin (ok), 23:08 , 28-Фев-21, (99) Взял одну из тестовых систем с MariaDB и обвесом Поигрался transparent_hugepage, Онаним (?), 23:21 , 28-Фев-21, (100) +2 Хотя не, про распределённые вру, total был более 0 , Онаним (?), 23:28 , 28-Фев-21, (104) Раз уж за жадный до РАМы Линукс пошла пьянка, то ещё аллокатор памяти можно на к, timur.davletshin (ok), 23:31 , 28-Фев-21, (106) Мне показалось - именно показалось, тестов много не делал, что в последнее время, Онаним (?), 23:35 , 28-Фев-21, (108) +1 Она значительно уменьшилась, но не исчезла Cугубо на синтетических тестах вроде, timur.davletshin (ok), 23:41 , 28-Фев-21, (113) +1 С madvise даже немножко меньше выходит, потому что ядро себя слегка пооптимальне, Онаним (?), 23:22 , 28-Фев-21, (102) C ним и должно меньше выходить На десктопе разница заметнее кстати , timur.davletshin (ok), 23:26 , 28-Фев-21, (103) Ну да Там смотрю буферы диска с thp пооптимальнее ещё разложились Но всё равно,, Онаним (?), 23:31 , 28-Фев-21, (107) Делайте скидку на x86-64, в два раза разбухают указатели Плюс сам код рыхлее Но , Онаним (?), 23:03 , 28-Фев-21, (96) // Пару лет назад у меня был всё тот же x86-64 Видимо код разрыхлили , Аноним (8), 23:44 , 28-Фев-21, (115) // Не совсем код Взять то же ядро Cтруктурки повыравнивали, чтобы в кеш удобнее лож, Онаним (?), 23:52 , 28-Фев-21, (116) +2 Никаких скидок, только рассрочка , Аноним (140), 23:12 , 01-Мрт-21, (139) Т е памяти потребляться будет ещё больше , Lex (??), 11:17 , 28-Фев-21, (9) +2 // Нет, физическая память под guard-страницы не выделяется , Аноним (14), 11:48 , 28-Фев-21, (14) +4 // А указатели на эти дополнительные струкуры не в физической памяти создаются , Урри (ok), 17:22 , 01-Мрт-21, (132) +1 Самое то для старых компьютеров, на которых memtest бьёт тревогу, а QEMM постоян, Zenitur (ok), 12:09 , 28-Фев-21, (24) –4 // Нет Это не то То возможномть передать ядру список битых блоков RAM есть с пе, Иван Лох (?), 13:17 , 28-Фев-21, (33) +4 Не то, это легковесный аналог address sanitizer, чисто пытается проверять выходы, n80 (?), 13:33 , 28-Фев-21, (36) +1 полгода назад выкинул 10 планок по 64мб pc-133, до этого оно лежали на авито с п, Анончик (?), 18:43 , 28-Фев-21, (85) // Странно, они на драгмет заметно дороже идут , Аноним (193), 00:17 , 07-Мрт-21, (193) // Эм, даже в существенно более старых буржуйских компонентах драг металлы отсутств, n80 (?), 10:08 , 07-Мрт-21, (195) Тут скорее проблема как можно быстрее мусорное ведро найти , Онаним (?), 23:04 , 28-Фев-21, (98) Может, тебе подумать, какому бы музею вычтехники всю твою коллекцию продать На , Аноним (201), 16:40 , 30-Авг-21, (201) Скрыто модератором, Нанобот (ok), 12:24 , 28-Фев-21, (29) –5 // Скрыто модератором, Аноним (41), 14:06 , 28-Фев-21, (41) –1 Скрыто модератором, Аноним (31), 12:28 , 28-Фев-21, (31) –3 // Скрыто модератором, Аноним (37), 13:47 , 28-Фев-21, (37) –1 Скрыто модератором, Аноним (39), 13:57 , 28-Фев-21, (39) +1 Почему не интегрировали готовую защиту памяти от PaX из https grsecurity net , Аноним (41), 14:10 , 28-Фев-21, (42) –5 // А давно ли суды были с этой самой сесурити, забившей на лицензию , Dzen Python (ok), 14:50 , 28-Фев-21, (47) –1 // Там длинная история https www opennet ru openforum vsluhforumID3 119728 html , Аноним (52), 15:04 , 28-Фев-21, (52) –1 // При том не такая однозначная как тут лечат Там у людей довольно специфичные под, Аноним (194), 00:21 , 07-Мрт-21, (194) Не всем удается без смс и просмотра рекламы его скачать Может по-этому , Аноним (-), 15:46 , 28-Фев-21, (63) +2 По моему скромному мнению, это всё костыли, а проблема кроется в неудачной архит, Плохой Танцор (?), 15:59 , 28-Фев-21, (69) –3 // Да кому ты нужен со своим скромным мнением , Ordu (ok), 16:07 , 28-Фев-21, (71) +2 Проблема кроется в неудачной архитектуре человеческих мозгов, которые не заточен, Онаним (?), 23:38 , 28-Фев-21, (110) Как бы, и да, но наследие есть наследие, и пилить архитектуру с чистого листа, к, InuYasha (??), 11:41 , 01-Мрт-21, (129) Плохому танцору вечно что-то мешает, Аноним (157), 22:11 , 02-Мрт-21, (157) Но ведь на убунте kasan из коробки идёт, и включается опцией в строке ядра , Аноним (75), 16:23 , 28-Фев-21, (75) // Ошибся, не kasan, а kaslr , Аноним (75), 16:25 , 28-Фев-21, (76) +1 Судя по описанию, на рабочих системах такое не нужно, в эксплоитах это обойдут, , Аноним (75), 16:28 , 28-Фев-21, (77) –1 Скрыто модератором, Аноним (87), 19:43 , 28-Фев-21, (87) Товарищи, как бы это дело бекпортировать хотяб на 4 19 Памагите , Аноним (-), 21:24 , 28-Фев-21, (89) // И что это за сабатирование arm-a зачем 64, не хотим мы 64, Аноним (-), 21:28 , 28-Фев-21, (90) +1 // Я так понимаю, классический arm лет через эннадцать пойдёт на выпил вместе с i, Онаним (?), 23:37 , 28-Фев-21, (109) +1 они лишь оттягивают неминуемое переписывание на rust есть же и другие ошибки пам, еман (?), 09:10 , 01-Мрт-21, (122) // Они доказывают ненужность rust, Аноним (152), 17:03 , 02-Мрт-21, (152) +1 Ну вот ты и доказал ненужность хруста , Аноним (157), 22:09 , 02-Мрт-21, (156) Валгринд засунули в ядро Зачем , Урри (ok), 17:23 , 01-Мрт-21, (133) // Чтобы не ждать вечность пока работает валгринд , Аноним (157), 22:08 , 02-Мрт-21, (155) +1 А нельзя просто грохать приложение , Аноним (152), 17:02 , 02-Мрт-21, (151) // Так прикольнеее _ , Аноним (68), 17:36 , 02-Мрт-21, (153) Какое приложение Это санитайзер для ядерной кучи, для памяти используемой ядром, Ordu (ok), 02:14 , 03-Мрт-21, (160) Можно, panic_on_warn именно это и делает, all_glory_to_the_hypnotoad (ok), 14:54 , 04-Мрт-21, (191) Когда система уходит в бесконечный своп и перестаёт реагировать на операции ввод, Аноним (192), 23:28 , 04-Мрт-21, (192) –1 2,3,8,9,24,42,69,75,77,89,122,133,151,192

Сообщения

[Сортировка по времени | RSS]

	16. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от anonymous (??), 28-Фев-21, 11:55
	Так вот кусочек за кусочком пытаются из Си сделать недо-Rust :)
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	21. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+2 +/–
	Сообщение от alex312 (?), 28-Фев-21, 12:00
	раст, в отличии от, делает проверки на этапе компиляции
	Ответить | Правка | Наверх | Cообщить модератору

	32. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+1 +/–
	Сообщение от Аноним (32), 28-Фев-21, 12:46
	переполнение буфера от присланного по сети кривого пакета раст тоже на этапе компиляции проверяет?
	Ответить | Правка | Наверх | Cообщить модератору

	35. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–1 +/–
	Сообщение от Аноним (35), 28-Фев-21, 13:20
	При обращении к буферу Rust автоматически сделает проверки на выход за границу. При выходе будет либо паника, либо вернется Option::None, зависит как обращаться. Если эти проверки гарантированно не нужны, их выкинет оптимизатор. Для чтения данных применяются методы, которые тоже проверяют границы переданного им буфера, и не выходят за границу. (Слайсы в Rust содержат не только голый указатель, но и длину). Я не работал с голыми пакетами, но если объясните подробнее, как при кривом пакете происходит переполнение буфера, буду благодарен.
	Ответить | Правка | Наверх | Cообщить модератору

	126. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Siborgium (ok), 01-Мрт-21, 09:49
	Так нет оверхеда, или есть автоматические проверки на выход за границу?
	Ответить | Правка | Наверх | Cообщить модератору

	158. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (158), 03-Мрт-21, 01:28
	> Так нет оверхеда, или есть автоматические проверки на выход за границу? Эти проверки и в Си по хорошему надо делать, поэтому никакого оверхеда, только автоматизация. Но если вотпрямкапецкакнадо, есть unsafe-метод.
	Ответить | Правка | Наверх | Cообщить модератору

	127. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Совершенно другой аноним (?), 01-Мрт-21, 10:57
	Например, кривой пакет состоит из заголовка плавающего размера и тела. Например, в заголовке,  по лучшим традициям Microsoft (у них часто применялся такой подход) в самом начале есть длина заголовка, на основании которого можно вычислить, где начинается тело и размер самого тела пакета. Ну и вот, вдруг, например размер заголовка кто-то сформировал не 10, а 100. Соответственно при разборе такого пакета можно вылететь за буфер на 90 байт, если взаимно не контролировать все эти длины и между собой и с общей длиной пакета.
	Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

	159. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от тот самый Аноним (?), 03-Мрт-21, 01:37
	> Например, кривой пакет состоит из заголовка плавающего размера и тела. Например, в > заголовке,  по лучшим традициям Microsoft (у них часто применялся такой > подход) в самом начале есть длина заголовка, на основании которого можно > вычислить, где начинается тело и размер самого тела пакета. Ну и > вот, вдруг, например размер заголовка кто-то сформировал не 10, а 100. > Соответственно при разборе такого пакета можно вылететь за буфер на 90 > байт, если взаимно не контролировать все эти длины и между собой > и с общей длиной пакета. Пакет с такой неверной длиной считается криво, но без вылетов за границу. Если читать стандартными методами, то будет считано ровно под размер выделенного буфера. Ну или можно читать до конца, но только в расширяемый вектор. Это, конечно, не фича языка, просто в стандартной библиотеке есть вот такая готовая абстракция https://doc.rust-lang.org/std/io/trait.Read.html
	Ответить | Правка | Наверх | Cообщить модератору

	182. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (-), 03-Мрт-21, 20:46
	> Это, конечно, не фича языка, просто в стандартной библиотеке есть вот > такая готовая абстракция Особенно интересно будет когда ты попробуешь все это в кернел моде провернуть. А хочешь прикол? Нет, никто в здравом уме и твердой памяти в ядро даже libc не засунул. Как максимум, для очень сильно нагруженных сисколов у них есть забавный хак с vDSO, когда ядро :) подпихивает типа-либу в адреса процесса. Но вот у самого по себе ядра стандартного сишного рантайма, внезапно, нет. Более того - окружение в котором работает кернел и допущения о том что там и как здорово отличаются от "апликушных" подходов и либ. И на это были хорошие причины. Например фундаментально разная цена сбоев. Если у вас out of memory в программе, ну, хрен с ней с программой. А вот если это уже с ядром - ну, допустим, та абстракция не сможет отрастить буфер. Что будет дальше? Жоский кернелпаник с обрушением ВСЕЙ СИСТЕМЫ? А такая система будет кому-то нужна вообще?
	Ответить | Правка | Наверх | Cообщить модератору

	44. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (-), 28-Фев-21, 14:38
	> переполнение буфера от присланного по сети кривого пакета раст тоже на этапе > компиляции проверяет? Пинание погроммиста использовать итератор, если он не хочет по умолчанию получить баундчек в рантайме, происходит на этапе компиляции.
	Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору

	53. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–2 +/–
	Сообщение от Сишник (?), 28-Фев-21, 15:10
	Ну так и в сишке можно массив гарантированно обойти без промаха и проверок - макрос тип FOR(list, pointer, type) юзаешь и всё.
	Ответить | Правка | Наверх | Cообщить модератору

	55. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–2 +/–
	Сообщение от Аноним (12), 28-Фев-21, 15:15
	Кто-то говорил, что нельзя? А почему все не юзают? А говорит ли об этом компилятор? А почему мне язык не даст по рукам, если я использую небезопасную версию, если безопасная версия не имеет штрафа по перформансу?
	Ответить | Правка | Наверх | Cообщить модератору

	70. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+2 +/–
	Сообщение от Сишник (?), 28-Фев-21, 16:01
	> А говорит ли об этом компилятор? Так это ж не встроено в язык. >  А почему мне язык не даст по рукам, если я использую небезопасную версию > Такова иделогия языка, что он ничего не навязывает. Впрочем компилятор делает проверки и выводит предупреждения в подозрительных случаях. В случае, когда цена ошибки - человеческая жизнь (автопром, авиация, ракетчики, медицина) - придерживаются определённых в стандарте MISRA C ограничений. Ну а если цена ошибки - вылетающая в 0.0001% случаях игра, зато можно поиметь на 20fps больше, пишут быстро, но небезоапсно.
	Ответить | Правка | Наверх | Cообщить модератору

	73. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–2 +/–
	Сообщение от Аноним (-), 28-Фев-21, 16:16
	> Такова иделогия языка, что он ничего не навязывает. Таково древнее наследие обратной совместимости и отсутствие проработанной базы (и вычислительных возможностей) теории типов 50 лет назад.
	Ответить | Правка | Наверх | Cообщить модератору

	78. Скрыто модератором	–2 +/–
	Сообщение от Сишник (?), 28-Фев-21, 16:43
	А ещё мощности ЦП подросли для выполнения смузихлёбного кода за приемлимое время и сишных библиотек на все случаи написали, которые смузихлёбы своим смузи-кодом склеивают в относительно юзабельные приложения.
	Ответить | Правка | Наверх | Cообщить модератору

	88. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+2 +/–
	Сообщение от Аноним (88), 28-Фев-21, 20:27
	> А почему все не юзают? По той же причине по которой используют неэффективные алгоритмы или пишут свой велосипед(например язык) когда есть другой. > А говорит ли об этом компилятор? Зависит от хотелок. Может и говорить. > А почему мне язык не даст по рукам, если я использую небезопасную версию, если безопасная версия не имеет штрафа по перформансу? Потому что считается что ты достаточно умный и самостоятельный и тебя не надо ограждать со всех сторон как веб-макак. По этой же причине разрешены UB - разработчики языка никак не могли знать на каком компиляторе ты собираешься компилить и под какой процессор и честно об этом заявляют. При этом настроить предупреждения о UB тебе никто не мешает.
	Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

	101. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–1 +/–
	Сообщение от Аноним (12), 28-Фев-21, 23:22
	То есть эта хитрая штука не переносима между платформами? Язык Си точно для кросплатформенной разработки?
	Ответить | Правка | Наверх | Cообщить модератору

	128. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+1 +/–
	Сообщение от Совершенно другой аноним (?), 01-Мрт-21, 11:02
	Скажем так, по всей видимости разработчики стандарта C никак не могли повлиять на разработчиков аппаратуры (тем более тогда архитектур было побольше). Соответственно, там где не получалось найти консенсус меж разработчиками аппаратуры, и где эта самая аппаратура вела себя по-разному, там разработчики стандарта C писали - мы не знаем, как на Вашем железе, с Вашим компилятором оно будет. Это сейчас Rust-а всего одна реализация, и там его разработчики могут сказать - у нас в компиляторе оно так, и мы говорим, что оно так стандартно.
	Ответить | Правка | Наверх | Cообщить модератору

	135. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (135), 01-Мрт-21, 18:23
	Ну то есть эта штука не кросплатформенна
	Ответить | Правка | Наверх | Cообщить модератору

	144. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Совершенно другой аноним (?), 02-Мрт-21, 10:16
	> Ну то есть эта штука не кросплатформенна На тот момент было: "а других кроссплатформенных языков у меня для Вас нет" (с). Мне кажется, Вы всё-таки, пытаетесь оценивать без учёта тогдашней специфики: - тогда было больше аппаратных архитектур - тяжелее было договориться производителям аппаратуры между собой - каждый гнул свою линию и не хотел подстраиваться под других - ведь уже в аппаратуре реализовано так, и никто под компилятор переделывать железо не будет. Что говорить, что тот-же представление float/double более-менее стандартизировали в 85-то году; - тогда было гораздо больше разработчиков компиляторов, и C в частности, причём каждый из которых скорее всего ориентировался на свою родную аппаратную архитектуру, а другие плевал с большой колокольни (даже сейчас маленькая фирма Microsoft, которая активно участвует в разработке стандартов на язык C не реализовала у себя даже C99, не говоря об более новых C11 и д.р.). На одной платформе x86 были и borland C/C++, и несколько компиляторов от Microsoft, и Intel-евский компилятор, GCC, Watcom C/C++, Digital Mars C/C++ и, небось, ещё пяток компиляторов, про которые сейчас никто даже и не вспомнит; - железо было, по сегодняшним меркам, очень слабое и заставить какую-то из аппаратных платформ делать что-то дополнительно, только для абстрактной совместимости, которая пользователям этого железа была не нужна, ну или явно не просматривалась, было тяжеловато. С другой стороны у Rust сейчас: - аппаратных архитектур, по сравнению со всем тем многообразием - раз два и обчёлся - кто там остались. В Rust более-менее нормально поддерживаются только 686, x86-64 и aarch64, без тестов (т.е. без гарантии того, что они хоть что-то правильно там компилируют) - arm, mips*, sparc*, power, riscv, 586. - всего одна реализация компилятора, без всяких стандартов и необходимости хоть с кем-нибудь договариваться; - аппаратное обеспечение гораздо мощнее, что позволяет как наворачивать сам компилятор, так и программно всех "стандартизировать" - добиваться того, что с точки зрения программы на разных аппаратных платформах она ведёт себя абсолютно одинаково - например нормализуя результат для тех платформ, которые по какой-либо причине выбиваются из строя. Так-что, имхо, сравнивать в каких условиях развивался C, а в каких Rust не совсем корректно.
	Ответить | Правка | Наверх | Cообщить модератору

	162. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Siborgium (ok), 03-Мрт-21, 07:08
	> То есть эта хитрая штука не переносима между платформами? Язык Си точно > для кросплатформенной разработки? Раст работает на всех (даже если принять работающими tier-3 платформы) платформах, поддерживаемых LLVM. Си работает на всех платформах, поддерживаемых LLVM, GCC, MSVC, ICC и многими другими компиляторами. Не адептам раста блеять про кроссплатформенность.
	Ответить | Правка | К родителю #101 | Наверх | Cообщить модератору

	183. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (-), 03-Мрт-21, 20:49
	> То есть эта хитрая штука не переносима между платформами? Язык Си точно > для кросплатформенной разработки? Так то си есть для сильно большего количества архитектур чем хруст. А что, хруст умеет в MSP430 или там STM8 какой? Да, они продаются. Сейчас. Миллионами.
	Ответить | Правка | К родителю #101 | Наверх | Cообщить модератору

	72. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+2 +/–
	Сообщение от Аноним (-), 28-Фев-21, 16:12
	> Ну так и в сишке можно массив гарантированно обойти без промаха и > проверок - макрос тип FOR(list, pointer, type) юзаешь и всё. Понимаешь, алгебраические типы данных и отсутствие null - это не только модные слова акедемических смузихлебов последних 30 лет, но и возможность для компилятора сильно ограничить некорректные состояния вычислений и выкинуть на*рен все лишние проверки, заэнфорсив только одну - при проверке входящих данных.
	Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

	74. Скрыто модератором	–1 +/–
	Сообщение от Сишник (?), 28-Фев-21, 16:21
	На днях подобное смузихлёбство переписал по-человечески в императивном стиле, с той же в точности логикой - перформанс в ~10 раз вырос. Хотя там у компилятора был шанс выкинуть ненужное, но что-то не смог он, вопреки верованиям смузихлёбов.
	Ответить | Правка | Наверх | Cообщить модератору

	163. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–1 +/–
	Сообщение от Siborgium (ok), 03-Мрт-21, 07:09
	>> Ну так и в сишке можно массив гарантированно обойти без промаха и >> проверок - макрос тип FOR(list, pointer, type) юзаешь и всё. > Понимаешь, алгебраические типы данных и отсутствие null - это не только модные > слова акедемических смузихлебов последних 30 лет, но и возможность для компилятора > сильно ограничить некорректные состояния вычислений и выкинуть на*рен все лишние проверки, > заэнфорсив только одну - при проверке входящих данных. Покажи, где ты в С нашел null, и где в switch-case по union с тегом у тебя будут лишние проверки.
	Ответить | Правка | К родителю #72 | Наверх | Cообщить модератору

	185. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (-), 03-Мрт-21, 20:52
	> Понимаешь, алгебраические типы данных и отсутствие null - это не только модные > слова акедемических смузихлебов последних 30 лет, но и возможность для компилятора > сильно ограничить некорректные состояния вычислений и выкинуть на*рен все лишние проверки, > заэнфорсив только одну - при проверке входящих данных. Как ни странно, GCC в этом довольно неплохо преуспевает. А прикинь, он сам умеет в range check и если видит что я никогда не вызываю вон ту функцию с вон теми параметраим - выкидывает к хренам и проверки, и имплементацию этого случая. Внезапно, в кернелмоде, с модулями и всем таким, это может сыграть дурную шутку: компилер внезапно не видит всех возможных сценариев. Как будет юзать вон тот код вот это и это - ок, а что насчет юзерского loadable module? Его видите ли совсем не было compile time :)
	Ответить | Правка | К родителю #72 | Наверх | Cообщить модератору

	187. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	+/–
	Сообщение от Аноним (-), 04-Мрт-21, 01:15
	>> Понимаешь, алгебраические типы данных и отсутствие null - это не только модные >> слова акедемических смузихлебов последних 30 лет, но и возможность для компилятора >> сильно ограничить некорректные состояния вычислений и выкинуть на*рен все лишние проверки, >> заэнфорсив только одну - при проверке входящих данных. > Как ни странно, GCC в этом довольно неплохо преуспевает. А прикинь, он > сам умеет в range check и если видит что я никогда > не вызываю вон ту функцию с вон теми параметраим - выкидывает > к хренам и проверки, и имплементацию этого случая. А прикинь - как ни странно, для этого используются наработки "смузихлебов" по оптимизации, можешь глянуть на md или pd файлы или как выглядит RTL (хинт: (set (reg:SI 140)      (plus:SI (reg:SI 138)               (reg:SI 139))) да и gcc-extensions типа pure - как раз про это. > Внезапно, в кернелмоде, с модулями и всем таким, это может сыграть дурную > шутку: компилер внезапно не видит всех возможных сценариев. Как будет юзать > вон тот код вот это и это - ок, а что > насчет юзерского loadable module? Его видите ли совсем не было compile time :) Вы не поверите, но эти проблемы - как раз из-за слабой (unsound) системы типов си. Потому что вон тот вон указатель - может указывать на хрень любой длины (разработчику просто не предоставляется достаточный инструментарий для уточнения), а может быть и NULL.
	Ответить | Правка | Наверх | Cообщить модератору

	173. "В ядро Linux 5.12 принята подсистема KFence для выявления ош..."	–1 +/–
	Сообщение от Аноним (-), 03-Мрт-21, 20:25
	> раст, в отличии от, делает проверки на этапе компиляции А тут их железка делает. Условно халявно - она всегда это делает, просто более креативное использование paging. Хруст, кстати, без MMU тоже, видите ли, много чего не могет - так он тоже на поддержку некоторых constraints железками полагается.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

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

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