- Представлена библиотека Aya для создания eBPF-обработчиков н..., lockywolf, 10:39 , 16-Июн-21 (1) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Ordu, 11:24 , 16-Июн-21 (7) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., lockywolf, 12:14 , 16-Июн-21 (14) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 20:59 , 16-Июн-21 (38) –4 [V]
А вот и жертвы пропаганды нарисовались. Модель памяти раста не предполагает конкурентного доступа, а когда нет конкурентного доступа нет гонок. Тебя обманули. Меньше лозунгов ретранслируй и больше тему изучай.Представляешь, отличается. Раз раст не может в конкурентный доступ, то любое его наличие требует unsafe, хотя unsafe к расту не имеет никакого отношения, потому как имеет как минимум другую модель памяти, даже базовые примитивы иные. Потому как это просто обёртка поверх llvm-ir и сишного интеропа с llvm.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Ordu, 21:20 , 16-Июн-21 (41) +6 [^]
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 21:36 , 16-Июн-21 (46) +1
>race condition в расте делается элементарно. Сделай два mutex'а, и попробуй залочить их оба последовательно из параллельных потоков.Раст не умеет в mutex - он не реализуется на расте. Это раз. Два - мутекс это не конкурентный доступ. Это костыль, который делает из конкурентного неконкурентный. К тому же, даже если обернуть ворованный сишный мутекс в фейковое safe, то это не будет работать. Конкурентного доступа всё равно не будет. Т.е. обращаться ты сможешь только через глобальный мутекс. Это уже не гарантия раста, а гарантия рантайма. И повторю - ссылку можно получить только при захвате мутекса, а значит никакого конкурентного доступа нет. Доступ есть только к мутексу, который вопрованный сишный. >data race в расте элементарно не делается, unsafe нужен, как раз в силу этой самой модели памяти. Ещё раз - тебя поимела пропаганда. Никакие data race в расте не делаются. Гонка предполагает шаринг, а наличие шаринга в расте - это уб. Шаринг возможен только в ворованных llvm-ir-указателях, которые нельзя обернуть в safe. Потому как это другая модель памяти, отличная от раста. Давай ещё раз. Раст не даёт возможность шарить данные, а если не шарить данные гонок нет. Поэтому попытка написать шаринг на расте продуцирует невозможность. >И если Arc и Mutex -- это творения стандартной библиотеки и дают простор порассуждать, что это не раст как таковой, а библиотека к нему, то Send и Sync -- это трейты-маркеры типов, прошитые в язык, наряду с другими трейтами-маркерами формирующими модель памяти раста (чтобы это не означало), такими как Clone, Copy, ?Sized.
Нет, никакая эта херня не имеет никакого отношения к языку. Всё это ансейф-хаки не выражаемые на расте. То, что она валяются в stdlib - причина одна. Любая скриптуха не способна выразить свою stdlib, поэтому эта stdlib всегда пишется на отдельном языке. >Да, ты прикинь, они врут всё про безопасность: массивы тоже в расте не реализуются без unsafe'ов. Ты реально можешь заглянуть в сорцы core::slice и увидеть там как unsafe на unsafe unsafe'ом погоняет: https://doc.rust-lang.org/src/core/slice/mod.rs.html#86 Зачем мне куда-то заглядывать, если я, в отличии от жертвы пропаганды, понимаю модель памяти используемую растом. И, очевидно, могу вывести из неё возможное и невозможное. Мне ненужна для этого табличка для дошколят с готовыми ответами.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., zig, 22:23 , 16-Июн-21 (60) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Ordu, 22:33 , 16-Июн-21 (63) +5
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 12:57 , 17-Июн-21 (80) +1 [V]
>А я не понимаю. Я даже не понимаю, что ты имеешь в виду под "моделью памяти". Что за модель памяти? Что-то типа RAM, EM, VAT[1]? Нет, наверное, это всё ж теоретические модели памяти _машины_, а не языка. Или что-то типа этого[2]? Не мог бы ты поделиться ссылкой, на тот теоретический фреймворк, в который позволяет тебе выстроить модель памяти раста?Что за нелепая херня? Идёшь и гуглишь memory model в контексте раста, можешь на гитхабе в ишьюсах поискать. Там спросишь сектантов что это такое. Нет, ни к какой машине модель памяти отношения не имеет. Это именно модель памяти языка, потому как язык где-то исполняется и у языка должны быть представления о том где. Под языком здесь понимается не то, что у языка есть какая-то память. Память есть у железяки. Понимаются именно представления языка о памяти. У говнораста, как и у любой скриптухи - нет какой-либо модели памяти. Говнораст существует только в рамках vm и его не заботит подобное.
При этом даже по части скриптухи это не всегда так, в силучая когда скриптуха является первичной по отношению к вм, то вм считается частью языка. Допустим, поэтому если взять ту же жаву - модель памяти там жавы, хотя на самом деле jvm, потому как жава этим не занимается. А вот если взять какой-нибудь котлин, либо любую херню поверх jvm, то никакой котлин-модели-памяти не появится. Потому как скриптуха её делегирует vm, а вторичная скриптуха не определяет vm. Вот llvm это такая же vm, которая имеет свою модель памяти. Которая, в свою очередь, определяется сишной моделью памяти. Она куда более конкретна.
В самом же говнорасте есть два языка. Это unsafe, который не более чем другой синтаксис для си. Там сишная модель памяти, многопоточности. Сишный же интероп и прочее. Если чуть более конкретней, то это обёртка над llvm-ir, вернее llvm-кодогеном. llvm даёт билдеры для функций, агрегатов, глобалов и прочего. Исключений. Того, что есть в си. Именно поэтому в гонорвасте более ничего нет.
А сам же llvm-ir - это просто более формальная версия си. Потому как реализует его и его окружение в себе. Далее есть safe-говнораст. Это уже обёртка под unsafe, там совершенно левая модель памяти. Она в принципе памятью не занимается, а занимается ссылками. Поэтому моделью памяти её звать жирно, а зовётся так потому, что БЧ базируется именно на ней.
Сам же БЧ - это максимально примитивное дерьмом. По-сути там есть единственный инвариант. mut ref == unique ref. Это все правила.
Из них напрямую следует запрет шаринга. !mut ref == !unique ref, т.е. ридонли-шаринг. Ридонли-шаринг не считается за шаринг, потому как проблем не имеет. Там нет ни гонок ни прочей херне, о которой тебе рассказала пропаганда. unique ref так же не может быть шарингом. Шаринг предполагает не-уникальные ссылки. Далее unique ref == mut ref, только так в говнорасте может взяться мутабельная ссылка.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 15:30 , 18-Июн-21 (134)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., mos87, 10:47 , 16-Июн-21 (2) –1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Qwerty, 10:52 , 16-Июн-21 (3) –12 [V]
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 11:09 , 16-Июн-21 (5) –1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 11:21 , 16-Июн-21 (6) +13 [V]
- Представлена библиотека Aya для создания eBPF-обработчиков н..., псевдонимус, 11:24 , 16-Июн-21 (8) +5
- Представлена библиотека Aya для создания eBPF-обработчиков н..., anonymous, 17:39 , 16-Июн-21 (27) +2
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 17:54 , 16-Июн-21 (28) +2
- Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 18:13 , 16-Июн-21 (30)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 18:34 , 16-Июн-21 (31)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 18:42 , 16-Июн-21 (32)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 18:57 , 16-Июн-21 (34)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 21:16 , 16-Июн-21 (39) +1 [V]
Ещё одна жертва пропаганды. Сообщаю новость - сисколы и ядро никакой жопой не зависят от libc - её там в принципе нет. И libc - это не "platforms’ system libraries", потому как таких вообще не существует. Это "системные библиотеки" си, а не просто системные библиотеки. Да и само это понятие нелепо.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 21:34 , 16-Июн-21 (45)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 21:41 , 16-Июн-21 (49)
Жертва пропаганды поплыла. Тебе сообщили, что libc ненужна ни для сисколов ни для ядра. Это не говоря о том, что в переносимую либц, о который ты попытался закукарекать, сисколы в принципе не входят.Ну и да, типичная методичка обгадившегося трепла вида "да ты будешь" - показывай где буду. Бегом. В результате что я вижу? Блеял про сисколоы - обгадился с сисколами. начал нести какую-то херню. Это не говоря о том, что libc в принципе ненужна ни для интеропа с си ни для чего угодно. libc в этой скриптухе существует только по одной причине - скрипуха бездарная не может в системщину. Поэтому приходится весь рантайм воровать. Начиная от юзерспейс-рантайм заканчивая компилятором. В школу, позорище.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 22:02 , 16-Июн-21 (52)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 07:07 , 17-Июн-21 (68)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 20:34 , 17-Июн-21 (107)
>Начинаю подозревать, что это правда. Стандартную библиотеку С++ (которому Rust якобы замена) возможно реализовать на С++ (+ вызовы ядра) а libc сделать вокруг неё обёрткой.C++ является си, поэтому здесь нет никаких проблем. Проблема не в том, что какая-то скриптуха берёт что-то у си. Проблема в том, что эта помойная скриптуха декларирует свою самодостаточность и в принципе ортогональность с си. >Всё же компилятор это не столь простая часть, как системная библиотека. Разумно использовать готовый для экономии времени и потенциальной поддержки новых архитектур. Нет, это подход дерьма. У всех адекватных языков есть свой компилятор. Это основа любого языка. И компилятора у скриптухи этой позорной нет не потому, чтобы что-то упростить - это сказки для бедных. А потому что языка в принципе нет. Вот выше там сектанты помойные спорили со мною на эту тему. Ты просто иди и посмотрим что в си есть, чтобы быть языком. Это и модель памяти и модель многопоточность и модель исполнения. Ничего этого в этой позорной скриптухе нет и никогда не будет. И именно это, в первую очередь, эти бездарности воруют, а не какие-то "новые архитектуры". Тебя просто обманули. Полноценный язык должен являться первичным. Очевидно, что очень просто оттрансировать своё дерьмо в си, ведь ненужно ни о чём думать. А ещё лучше когда уже есть готовый кодогенратор в си(llvm и есть тот самый кодогенератор. Т.е. этот бездарный огрызок сам даже ir не генерирует).
Но в чём проблема? Проблема в том, что ты становишься заложником чужой воли. Ты будешь исполнятся так, как нужно не тебе. И если ты захочешь пойти против - не сможешь. Вот си первичен по отношению к ллвм, ллвм сделан сишниками и так, как нужно сям. Предположим, что если завтра в си введут изменения, которые потребуют изменения в llvm такого, что это поломает говнораст - всем будет похрен на говнораст.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 07:00 , 17-Июн-21 (66) –1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним., 13:38 , 17-Июн-21 (83) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 14:20 , 17-Июн-21 (88) –1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 14:26 , 17-Июн-21 (90) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 20:44 , 17-Июн-21 (109) –1 [V]
>Бремя доказательства "всё равно без libc ничего не могут"? Несомненно!Срочно в школу, клоун. Не могут не требует доказательств. Как и "не существует". Ты настолько бездарность, что даже правильно методичку использовать не может. Бремя доказательств не работает так, как ты блеешь. Оно касается не того, кто заявляет, а того, кто что-то заявляет. Утверждающий это не тот, кто выдвигает тезис, а тот кто выдвигает тезис утверждающий существование чего-то.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Урри, 11:20 , 17-Июн-21 (75)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним., 13:51 , 17-Июн-21 (84)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 14:24 , 17-Июн-21 (89) –2
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 14:40 , 17-Июн-21 (91) +2
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Прорыв_запарты_фелиал, 20:39 , 17-Июн-21 (108) [V]
>Логика уровня "А что, из С++ нельзя дернуть сискол напрямую или почему так никто не делает?!"Жертва пропаганды, С++ итак дёргает сисколы напрямую. ``` asm!("syscall" : "={rax}"(ret) : "{rax}"(n) : "rcx", "r11", "memory" : "volatile"); ``` Это не говнораст - это ворованный из сишного компилятора инлайн-ассемблер. Ты опять обгадился. >А теперь ты мне приведешь список реальных юзерспейсных программ, дергающих сисколлы напрямую?
Все, тупая ты обезьяна. Дёргать напрямую - это из родного рантайма, а не ворованного. Поэтому любой, кто пишет на С/С++ - дёргает их напрямую. Даже, насколько я помню, в го они дёргаются напрямую. Твоя проблема не в том, что тебе говорят дёргать их через ворованный asm, твоя проблема в том, что ты украл чужой рантайм. Бери свой рантайм. Почему это бездарное дерьмо не взяло это говнулибу, а украло libc? Правильно, потому что а) либоа говно, б) нужны не только сисколы. - Представлена библиотека Aya для создания eBPF-обработчиков н..., n00by, 07:49 , 18-Июн-21 (126) –2 [V]
- Заменили одну обёртку на другую, Алексей, 18:12 , 16-Июн-21 (29) +1
- Заменили одну обёртку на другую, Аноним, 18:45 , 16-Июн-21 (33) +1
- Заменили одну обёртку на другую, Прорыв_запарты_фелиал, 21:19 , 16-Июн-21 (40) [V]
Похоже это ещё одна потуга жертвы пропаганды с соседней ветки. Для начала - цитирование определений сектантов не является каким-либо доказательством. Далее, выше уже показали libc, а значит никакого pure уже нет. Это ещё никто не считал количество unsafe + ffi в тоннах лефтпадов. А любое unsafe по определению не раст. Потому как это не более чем интероп с c-vm.На расте нет ничего и ты этого никогда не покажешь. Даже компилятора и того нет. Даже рантайма и того нет. Даже аллокатора и того нет. Самых элементарных вещей нет.
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 21:28 , 16-Июн-21 (44) +7 [^]
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 22:20 , 16-Июн-21 (59)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., растоманам надо, 22:31 , 16-Июн-21 (62) +2
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Annoynymous, 08:57 , 17-Июн-21 (72) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., YetAnotherOnanym, 12:03 , 17-Июн-21 (77) +2
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Fractal cucumber, 12:10 , 17-Июн-21 (78) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., балмер в маске V, 20:15 , 17-Июн-21 (105) +1
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 01:35 , 18-Июн-21 (119)
- Представлена библиотека Aya для создания eBPF-обработчиков н..., Аноним, 01:42 , 18-Июн-21 (121)
|