forum.opennet.ru

"Для Linux и Redox представлена реализация Libc на языке Rust"

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

Исходное сообщение

[ Отслеживать ]

Отдельный RSS теперь доступен для каждого обсуждения в форуме и каждого минипортала.

. "Для Linux и Redox представлена реализация Libc на языке Rust"	+1 +/–
Сообщение от Ordu (ok), 10-Мрт-18, 18:32
> Но > так как ты страдаешь избирательной амнезией, то я процитирую, что именно > ты сказал: "гарантированно не выполняется, значит можно ругнуться о dead_code и > вышвырнуть из кода println!, а затем и весь if тоже, а > затем ещё и цикл, потому что это код не имеющий побочных > эффектов." А, ну да, я там ошибся -- я всё ж не компилятор. Но давай вернёмся тогда чуть назад: мы ведь говорим о лишних проверках в рантайме нет? Я тебе дал ассемблерный листинг, в нём нет ни одной проверки. Немного не по тем причинам как я ошибочно описал: условие цикла гарантированно выполняется на последней итерации и гарантированно не выполняется на предыдущих, компилятор может это доказать, что позволяет ему оторвать последнюю итерацию от цикла статически и реализовать её отдельно. При таком подходе ни одна проверка не нужна, и поэтому ни одной проверки в коде нету. Ещё какие-нибудь возражения у "практика" есть?
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Для Linux и Redox представлена реализация Libc на языке Rust, opennews, 09-Мрт-18, 09:51 [смотреть все]

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

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру