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

Для Linux и Redox представлена реализация Libc на языке Rust, opennews (??), 09-Мрт-18, (0) [смотреть все] Давайте теперь посмотрим на тесты скорости по сравнению с обычной библиотекой , Аноним (-), 09:51 , 09-Мрт-18, (1) +2 // Зачем Оно не ради скорости делалось А ради блин, я х з ради чего, но точно, A.Stahl (ok), 10:19 , 09-Мрт-18, (3) +18 // Для того чтобы показать, что уменьшение скорости выполнения на 10 даже если код, Аноним (-), 10:31 , 09-Мрт-18, (5) –3 // А скорость всегда будет падать А если отключить всякие проверки на выход за гран, Bvz (?), 10:39 , 09-Мрт-18, (8) –2 Если отключить проверки, тогда зачем нужен раст , Аноним (-), 10:44 , 09-Мрт-18, (10) +2 В Rust все проверки при компиляции проходят , Аноним (-), 11:02 , 09-Мрт-18, (14) +3 Тогда насколько они эффективны Что-то мне подсказывает, что 99 выходов за пред, A.Stahl (ok), 11:08 , 09-Мрт-18, (15) +5 Спасибо за Мудрость и приоткрытие Изначальных Законов Вселенной Хотелось бы знат, Аноним (-), 16:28 , 09-Мрт-18, (41) –2 Доказать, что индекс всегда внутри правильного диапазона, например Про rust не , 0xd34df00d (??), 05:12 , 10-Мрт-18, (68) Это практически всегда невозможно А в тех тривиальных случаях когда такая возмо, A.Stahl (ok), 10:02 , 10-Мрт-18, (71) –4 ну это как вставить cppcheck какой-нибудь в препроцессор , Аноним (-), 11:20 , 09-Мрт-18, (16) +2 Замечательно Теперь продолжите логическую цепочку Почему cppcheck какой-нибуд, Аноним (-), 12:07 , 09-Мрт-18, (20) +2 Как это не эффективен Просто язык не лоялен к тем кто делает все наполовину Сде, Аноним (-), 12:12 , 09-Мрт-18, (21) –1 На раз поймается и valgrind и asan , Аноним (-), 14:48 , 09-Мрт-18, (31) +1 Он точнее, более живые анализаторы очень даже эффективен для отлова отхода от , Crazy Alex (ok), 13:31 , 09-Мрт-18, (27) –2 Лайфтаймы, владение и заимствование , Nexmean (?), 14:54 , 10-Мрт-18, (75) unique_ptr или auto_ptr RAII Но там есть множество других идей, пришедших из M, Vkni (ok), 02:26 , 11-Мрт-18, (87) +1 Только если вы при этом ещё запретите get и ссылки на unique_ptr, что вряд ли ре, 0xd34df00d (??), 02:40 , 11-Мрт-18, (88) –1 О Спасибо, чё-то не задумывался об этом И тут, значит, уши ML-ей конкретно - , Vkni (ok), 06:16 , 11-Мрт-18, (89) Выход за границы массива бросает исключение в расте Проверка в рантайм , Alex (??), 04:13 , 10-Мрт-18, (66) Бросает, да Да ладно Почему же в рантайме, если её можно выполнить статически в, Ordu (ok), 12:51 , 10-Мрт-18, (74) Он читает мысли , pavlinux (ok), 19:21 , 10-Мрт-18, (79) Ну точно, так же как и в JAVA , bOOster (ok), 17:44 , 11-Мрт-18, (94) Сколько ни изобретай свой собственный велосипед с треугольными колёсами, всё рав, dq0s4y71 (ok), 14:52 , 13-Мрт-18, (113) –1 Давайте Но только когда проект дорастёт до первого стабильного релиза , Sunderland93 (ok), 10:29 , 09-Мрт-18, (4) +8 // Это когда версия будет 248 0 3 , Аноним (-), 12:16 , 12-Мрт-18, (98) // Через еще одну неделю , Iaaa (ok), 13:05 , 12-Мрт-18, (100) Скорее всего всё ок, т к в rust управление памятью не создаёт оверхеда все про, Аноним (-), 10:39 , 09-Мрт-18, (9) +2 // Даже для динамических массивов Ну, ребята, ну что же это такое Почему не ра, Аноним (-), 12:38 , 09-Мрт-18, (23) +3 // То есть проверок для динамических массивов в рантайме лучше не делать , VladSh (?), 14:54 , 09-Мрт-18, (32) +1 Мы же про статический анализатор динамических массивов разве нет , Аноним (-), 15:07 , 09-Мрт-18, (33) –1 Иногда и для них Rust предоставляет достаточно информации llvm, чтобы тот мог у, pda (?), 15:08 , 09-Мрт-18, (35) –1 А если я в цикле присвою счетчику другое значение А если обращусь к a i 1 на п, angra (ok), 21:12 , 09-Мрт-18, (53) Дада, это всё очень просто отлавливается компилятором , Аноним (-), 22:31 , 09-Мрт-18, (60) –1 Разве что в самых простейших случаях, типа тела цикла из одного выражения При н, angra (ok), 00:53 , 10-Мрт-18, (63) for mut i in 0 10 println , i i 1 результат , Ordu (ok), 01:58 , 10-Мрт-18, (65) +3 Ох уж эти титеретикиfn main let a i32 5 1,2,3,4,5 for i in 0 a , angra (ok), 04:43 , 10-Мрт-18, (67) И Вы хотите сказать, что проверка осталась и выполнялась на каждой итерации цик, Ordu (ok), 12:09 , 10-Мрт-18, (72) +1 type _ZN3tmp4main17hd307395e913df02cE, function_ZN3tmp4main17hd307395e913df02c, Ordu (ok), 12:23 , 10-Мрт-18, (73) +2 С одной стороны это круто, с другой - компилятор явно недоделан, а с третьей, по, Vkni (ok), 21:38 , 10-Мрт-18, (80) –1 Сегодня это уже не круто, это нормальное поведение для любого уважающего себя ко, Ordu (ok), 23:00 , 10-Мрт-18, (85) +1 Ох После большого количества inline ов и всяких мудрых мыслей может получиться, , Vkni (ok), 02:24 , 11-Мрт-18, (86) Такие вещи будет сложно отловить анализируя чисто машинный код, всё равно придёт, Ordu (ok), 10:25 , 11-Мрт-18, (91) О да Вот что они взяли из плюсов - так это вот это А в сях таки в этих случаях, Аноним (-), 22:21 , 10-Мрт-18, (82) –1 Что, так сложно накидать скрипт, который будет парсить такой вывод и деманглить , Iaaa (ok), 13:13 , 12-Мрт-18, (101) –1 c filt вполне себе справляется Код из 73 CODE cat tmp tst type _ZN3, Аноним84701 (ok), 15:29 , 12-Мрт-18, (107) +2 Не пользуюсь, но все равно - большое спасибо Когда-нибудь точно пригодится , Iaaa (ok), 16:37 , 12-Мрт-18, (108) Я хочу сказать ровно одно, сказанное титеретиком не выдержало проверки практикой, angra (ok), 18:10 , 10-Мрт-18, (77) –1 А, ну да, я там ошибся -- я всё ж не компилятор Но давай вернёмся тогда чуть на, Ordu (ok), 18:32 , 10-Мрт-18, (78) +1 И как статически проверить конкатенацию 2 строк вводимых юзером, например , Аноним (-), 18:16 , 09-Мрт-18, (48) +1 Бла-бла-бла, математика использует openlibm, а оно на C Алокаторы памяти и прочи, фывфыв (?), 10:32 , 09-Мрт-18, (6) +8 // Есть примеры , Аноним (-), 10:36 , 09-Мрт-18, (7) +1 // Модуль реализации строк посмотри , Аноним (-), 10:51 , 09-Мрт-18, (11) +2 https github com redox-os relibc search utf8 E2 9C 93 q unsafe type , Аноним (-), 10:51 , 09-Мрт-18, (12) +1 Лучше молчи Когда я сказал что без unsafe на rust далеко не уедешь, любители , lfx (ok), 11:33 , 09-Мрт-18, (18) +11 // кедами, Аноним (-), 15:08 , 09-Мрт-18, (34) Вот и выросло поколение школьников, которое думает, что кеды придумали хипстеры , Аноним (-), 09:36 , 10-Мрт-18, (70) +3 Вообще касательно самого языка Идея хорошая, только зря они его назвали rust Б, Аноним (-), 10:53 , 09-Мрт-18, (13) –7 // Это когда FreeBSD переименовать успели , кверти (ok), 12:25 , 09-Мрт-18, (22) –2 // У вас фиаско с FreeBSD , Аноним (-), 12:50 , 09-Мрт-18, (25) +3 Надо кому переписать игру Rust на язык Rust , Аноним (-), 12:46 , 09-Мрт-18, (24) –1 И что Похоже вы как и многие не правильно понимают назначение unsafe так же ка, pda (?), 15:20 , 09-Мрт-18, (37) // О чем и речь, что в коде там дофига unsafe и смысла писать на Rust нет А вообще,, sadasd (?), 21:24 , 09-Мрт-18, (54) –2 // А -fpermissive можно А то на с такое бывает блаблабла предупреждение декла, Тот же Аноним (?), 00:31 , 10-Мрт-18, (62) Смысла есть - во-первых, внутре unsafe тоже rust, а не C Во-вторых, ошибки быва, Vkni (ok), 21:48 , 10-Мрт-18, (81) +1 хоть как то работающие программы Не надо песен, у нас их тоже есть Наивня, _ (??), 21:46 , 09-Мрт-18, (55) // Вы так ничего и не поняли Бессмысленное сравнение В Java визитной карточкой ко, pda (?), 01:07 , 10-Мрт-18, (64) Все объекты, используемые хоть раз в программе, что, сразу нужно инициализироват, iZEN (ok), 12:35 , 12-Мрт-18, (99) Да забей ты Поносятся годик второй с этой модной молодежной поделкой Накопится, Iaaa (ok), 13:26 , 12-Мрт-18, (102) Вы сами то поняли, что сказали Типа указатель у нас уже есть на память, но там , Nexmean (?), 14:03 , 12-Мрт-18, (104) https en wikipedia org wiki Lazy_evaluationЭто ничего, что Вы чего-то не знает, Andrey Mitrofanov (?), 14:22 , 12-Мрт-18, (106) Ну а ещё есть Option T , который от null отличается тем, что если в нем лежит НИ, Nexmean (?), 14:07 , 12-Мрт-18, (105) Работа над проектом началась неделю назад и функциональность библиотеки пока си, Crazy Alex (ok), 13:29 , 09-Мрт-18, (26) +7 // Вопрос, дотянет ли оно хотя бы до четвёртой недели , Аноним (-), 14:23 , 09-Мрт-18, (28) +1 Первый релиз нового быстрого офиса, без глюков работающего с doc и docx int main, RobotsCantPoop (?), 14:41 , 09-Мрт-18, (29) +5 // exit EXIT_SUCCESS , Anonymous Coward (?), 14:47 , 09-Мрт-18, (30) +3 // Вот Уже можно ещё одну новость писать про значительные улучшения, про сообществ, A.Stahl (ok), 15:13 , 09-Мрт-18, (36) +7 Смысл новости в подтексте видимо, который такой некоторые люди считают, что rus, freehck (ok), 09:09 , 10-Мрт-18, (69) Пиарят Rust как могут Только лучше бы толковых библиотке понаписали и примеров , Аноним (-), 15:30 , 09-Мрт-18, (38) // С нетерпением жду когда питонисты подхватят знамя и напишут стандартную либу для, Аноним (-), 16:58 , 09-Мрт-18, (42) +1 // Там знамя , AFAIK, немного не о том Поэтому питонистам придется сначала написа, Аноним84701 (ok), 17:32 , 09-Мрт-18, (45) +3 // Они бы может и написали, но если растаманы только немного подтыривают си и асм, , Аноним (-), 17:54 , 09-Мрт-18, (46) +1 Ну а нафиг на опеннте еще одно не нужное мнение о не нужности не нужного J, Аноним84701 (ok), 18:46 , 09-Мрт-18, (49) +2 Очередной пеар от раст боев У раста ещё меньше каких то полезных работающих прое, Ivan_83 (ok), 15:47 , 09-Мрт-18, (39) +1 // Что, так и хочется сказать прямо, да , Аноним (-), 14:38 , 13-Мрт-18, (110) Зачем тащить этот образчик, как не надо делать в новую ось , анонимус (??), 17:05 , 09-Мрт-18, (43) –3 // Избыток свободного времени и неумение найти ему лучшее применение Давайте перепи, Вареник (?), 20:45 , 09-Мрт-18, (52) –1 и приобрести 5 новых типов указателей , Аноним (-), 17:32 , 09-Мрт-18, (44) +3 Особенно при написании функции strlen, например Или при реализации printf Кстат, Ordu (ok), 19:57 , 09-Мрт-18, (50) Про безопасность ранней Жавы говорил что-то схожее безопасности нынешнего сыро, Вареник (?), 20:43 , 09-Мрт-18, (51) +2 // Вот Просто таких старых как мы с тобой уже почти не осталось, другие забыли, а , _ (??), 21:50 , 09-Мрт-18, (57) +1 Безопасненько no_mangle pub unsafe extern C fn strncat s1 mut c_char, s2 , Нет ты (?), 21:47 , 09-Мрт-18, (56) +1 Так и запишем go для безделушек типа сервисов, rust для системных безделушек Х, Аноним (-), 22:28 , 09-Мрт-18, (59) // Они полезны Одно выпячивает титиретиков от програмизма и прочих страдальцев фиг, Аноним (-), 22:32 , 10-Мрт-18, (84) +1 Заметьте, снова под нормальной свободной лицензией MIT , а не вирусным несвобод, Аноним (-), 09:59 , 11-Мрт-18, (90) –2 // Кстати да, MIT лицензия может стать очень серьёзным конкурентным преимуществом д, Nexmean (?), 11:37 , 11-Мрт-18, (92) +2 // Не ново Musl несколько лет уже есть, он под MIT , Аноним (-), 14:34 , 13-Мрт-18, (109) Чем бы дитя не тешилось , Аноним (-), 14:46 , 13-Мрт-18, (111) Интересно, а malloc и вообще работу с динамической памятью они в этой библиоте, dq0s4y71 (ok), 14:47 , 13-Мрт-18, (112)   // https github com redox-os relibc blob 1b1ff5c750cac0db2324df7a9d51fbd1e445a70e, Аноним (-), 15:33 , 13-Мрт-18, (114) +1   1,6,26,38,39,43,44,50,51,56,59,90,111,112

Сообщения

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

112. "Для Linux и Redox представлена реализация Libc на языке Rust"	+/–
Сообщение от dq0s4y71 (ok), 13-Мрт-18, 14:47
> Автоматическое управление памятью в Rust избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера. Интересно, а malloc (и вообще работу с динамической памятью) они в этой библиотеке каким образом реализовали? Похоже, ребята придумали такую "безопасную версию" пилорамы - с циркулярной пилой без зубьев. А когда на ней нужно что-нибудь распилить, пилу нужно временно поменять на нормальную, с зубьями. Зато она теперь Безопасная, чо.
Ответить | Правка | Наверх | Cообщить модератору

	114. "Для Linux и Redox представлена реализация Libc на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 13-Мрт-18, 15:33
	> Интересно, а malloc (и вообще работу с динамической памятью) они в этой > библиотеке каким образом реализовали? https://github.com/redox-os/relibc/blob/1b1ff5c750cac0db2324... pub unsafe extern "C" fn malloc(size: size_t) -> *mut c_void {         let align = 8;         let ptr = ralloc::alloc(size + 16, align); > Похоже, ребята придумали такую "безопасную версию" пилорамы - с циркулярной пилой без > зубьев. А когда на ней нужно что-нибудь распилить, пилу нужно временно > поменять на нормальную, с зубьями. Зато она теперь Безопасная, чо. Похоже, опять пришла пора притянутых за уши аналогий? Просто воспользоваись общим прогрессом последних 30 лет, установили МК, кучу сенсоров и управляющий комп, отключающий питание и мгновенно перекрывающее физический доступ с самых опасных направлений. А еще бьющий током злостных нарушителей техники безопасности. В итоге травматичность снизилась на порядок, особенно среди новичков. Но ветераны, с некомплектом пальцев на руках, говорят, что все фигня это и достаточно было просто пообвыкнуть и не щелкать клювом.
	Ответить | Правка | Наверх | Cообщить модератору

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

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