А какие вообще есть сейфовые способы случайно вызвать утечку памяти?

Видел несколько багрепортов об утечках в токио, и все они сводились к тому, что один кусок рантайма держал Arc на другой кусок рантайма и наоборот, и поэтому они текли.

0

04.02.2021

ozkriff🇺🇦 Lesnikóv

Mikail Bagishov
Видел несколько багрепортов об утечках в токио, и ...

+ аналогичные по сути проблемы, когда мы храним данные в массивах или еще каких контейнерах и работаем с ними через индексы-ключи

0

04.02.2021

Jøhn Đøꝩsøn Автор вопроса

ozkriff🇺🇦 Lesnikóv
+ аналогичные по сути проблемы, когда мы храним да...

Это скорей use after free уже

0

04.02.2021

ozkriff🇺🇦 Lesnikóv

Jøhn Đøꝩsøn
Это скорей use after free уже

почему? нам на самом деле могут уже перестать быть нужными какие-то значения и мы никогда за ними не полезем, но язык и типы нам в такой ситуации об этом никак не напомнят

0

04.02.2021

Jøhn Đøꝩsøn Автор вопроса

ozkriff🇺🇦 Lesnikóv
почему? нам на самом деле могут уже перестать быть...

Ну я как раз про это. Если ты используешь индексы как референсы, то ты можешь случайно сделать use after free и язык никак не сможет тебя спасти.

0

04.02.2021

вафель 🧇🍓

Jøhn Đøꝩsøn
Ну я как раз про это. Если ты используешь индексы ...

use after free не можешь, у тебя индекс упадёт паникой

0

04.02.2021

Jøhn Đøꝩsøn Автор вопроса

вафель 🧇🍓
use after free не можешь, у тебя индекс упадёт пан...

Это если индекс теперь за границами контейнера.

0

04.02.2021

ozkriff🇺🇦 Lesnikóv

Jøhn Đøꝩsøn
Ну я как раз про это. Если ты используешь индексы ...

хм. я бы сказал, что эта ситуация может и ликом быть, и uaf - в зависимости от твоих инвариантов в логике

0

04.02.2021

вафель 🧇🍓

Jøhn Đøꝩsøn
Это если индекс теперь за границами контейнера.

индекс это не указатель, ты не можешь просто так из него значение получить

0

04.02.2021

Αλεχ Zhukovsky

Jøhn Đøꝩsøn
Ну я как раз про это. Если ты используешь индексы ...

два вида утечек: 1. вектор в который пушатся данные но он никогда не удаляется/уменьшается 2. циклические ссылки первые даже в гц возможны, а вот второй - бич раста

0

04.02.2021

Jøhn Đøꝩsøn Автор вопроса

вафель 🧇🍓
индекс это не указатель, ты не можешь просто так и...

Смотри, вот у нас вектор в десять элементов. У нас индекс на пятый элемент, а мы дропаем первый. Теперь индекс 5 индексирует не то что мы ожидали.

0

04.02.2021

вафель 🧇🍓

Jøhn Đøꝩsøn
Смотри, вот у нас вектор в десять элементов. У нас...

да, это неприятная логическая ошибка, но совсем не use after free

0

04.02.2021

Jøhn Đøꝩsøn Автор вопроса

вафель 🧇🍓
да, это неприятная логическая ошибка, но совсем не...

Это и есть use after free. Адрес в памяти в принципе ничем не отличается от индекса в массив.

0

04.02.2021

Jøhn Đøꝩsøn Автор вопроса

Jøhn Đøꝩsøn
Это и есть use after free. Адрес в памяти в принци...

Вернее, это является use after free конкретно в том случае если ты используешь вектор как арену.

0

04.02.2021

вафель 🧇🍓

Jøhn Đøꝩsøn
Это и есть use after free. Адрес в памяти в принци...

У нас видимо разные определения use after free. Для меня это когда получают доступ к очищенной памяти (можно сказать что у значение на которое мы ссылаемся уже вызван drop) например: let v = vec![1]; let ptr = &v[0] as *const _; drop(v); unsafe { dbg!(*ptr) }; // use after free у тебя другое определение?

0

04.02.2021

Коля🇺🇦

вафель 🧇🍓
У нас видимо разные определения use after free. Дл...

Что за выстрелы в колена? :)

0

04.02.2021

Mikail Bagishov · Accepted Answer

Mikail Bagishov

Ну всякие сложные хитросплетения Arc-шек, думаю, самое частое.

0

04.02.2021

172 похожих чатов

А какие вообще есть сейфовые способы случайно вызвать утечку памяти?

19 ответов

Похожие вопросы