Телеграмм чат группы embedded

Не обязательно же, можно достаточно высоко на стеке, просто в си легко выстрелить в ногу с таким подходом. В расте как раз всё про облегчение таких кейсов , но из-за существования мем::фогет мы от этого откажемся. Давайте ещё от мьютексов и мьютексгардов откажемся - их тоже можно фогетом сломать.

источник

15:57пожаловаться #10

e🦀

eupn 🦀 in embedded.rs

Почему этот фогет не ансейфный?

источник

16:28пожаловаться #11

e🦀

eupn 🦀 in embedded.rs

>forget is not marked as unsafe, because Rust's safety guarantees do not include a guarantee that destructors will always run.
Понятно

источник

16:28пожаловаться #12

Alexey Shmalko in embedded.rs

Потому что не нарушает memory safety

источник

17:45пожаловаться #13

Alexey Shmalko in embedded.rs

Rust не гарантирует отсутствие утечек

источник

17:45пожаловаться #14

Mikhail Cheshkov in embedded.rs

sticker.webp

(31.69 Кб)

источник

18:14пожаловаться #15

Mikhail Cheshkov in embedded.rs

Alexey Shmalko

Потому что не нарушает memory safety

Да, но через фогет можно нарушать безопасность памяти

источник

18:14пожаловаться #16

Mike Lubinets in embedded.rs

Mikhail Cheshkov

Да, но через фогет можно нарушать безопасность памяти

Как?

источник

18:15пожаловаться #17

Mikhail Cheshkov in embedded.rs

Создать скопед тред, писать в нём в массив, забыть его джоин гард, рбаотать с массивом дальше

источник

18:15пожаловаться #18

Mikhail Cheshkov in embedded.rs

Ну и там так и пишут
> Unstable: memory unsafe if destructor is avoided

источник

18:16пожаловаться #19

Mikhail Cheshkov in embedded.rs

скопед треды в стд уже выпилили
в crossbeam например обошли это примерно так же как жапарик предлагал в статье про дма - сделать фунарг, передавать в него нечто по ссылке, чтобы нельзя было позвать фогет, и в дропе этого нечто делать дела.
Ну и работа с дма и массивом на стеке ничем не отличается от скопед тредов так-то
Вот тут можно на русском почитать подробности
https://habrahabr.ru/post/348344/

habrahabr.ru

Leakpocalypse: Rust может неприятно удивить

Прим. пер.: Кто-то должен был сделать перевод этой статьи, несмотря на то, что она достаточно стара (2015 год), поскольку она показывает очень важную...

источник

18:28пожаловаться #20