EG
SQL,
p.s. если общего то с++
p.s. если общего то с++
C++ умеет выделять память на куче и уж точно умеет течь
Size: a a a
2020 November 19
M
Ни один известный мне язык не предотвращает утечки памяти в общем виде. Это невозможно.
Или возможно?
EG
Я не готов учить neut для того, чтобы выразить на нём утечку памяти.
Но нет, это невозможно — утечка памяти это когда «память освобождается позже, чем тебе бы хотелось», а компилятор не может знать, когда тебе хочется освободить память.
Но нет, это невозможно — утечка памяти это когда «память освобождается позже, чем тебе бы хотелось», а компилятор не может знать, когда тебе хочется освободить память.
M
Я не готов учить neut для того, чтобы выразить на нём утечку памяти.
Но нет, это невозможно — утечка памяти это когда «память освобождается позже, чем тебе бы хотелось», а компилятор не может знать, когда тебе хочется освободить память.
Но нет, это невозможно — утечка памяти это когда «память освобождается позже, чем тебе бы хотелось», а компилятор не может знать, когда тебе хочется освободить память.
Мне кажется, утечка, это когда память в принципе больше не может быть освобожденна до завершения программы. Потому как , если использовать ваше определение, выходит, что это дело вкуса и субъективная характеристика
EG
Мне кажется, утечка, это когда память в принципе больше не может быть освобожденна до завершения программы. Потому как , если использовать ваше определение, выходит, что это дело вкуса и субъективная характеристика
neut в текущем виде, скорее всего, просто не предоставляет доступа к достаточному количеству системных API.
Поэтому я и поставил ограничение на «практический» язык.
Поэтому я и поставил ограничение на «практический» язык.
EG
Можно, например, создать пайп с буфером побольше и забить его данными
M
Это тоже субъективно, никто не ограничивает писать на neut
EG
Память никогда не освободится до завершения программы. Отловить на уровне языка нельзя.
EG
Это тоже субъективно, никто не ограничивает писать на neut
Никто не пишет на neut.
M
Память никогда не освободится до завершения программы. Отловить на уровне языка нельзя.
Ну дак, это же не значит, что память у текает?
M
Если статический анализ говорит, о том что данные могут быть использованы, то мы и не можем их освободить
EG
Если статический анализ говорит, о том что данные могут быть использованы, то мы и не можем их освободить
Ну вот именно поэтому нельзя статическим анализом превентить утечки.
M
Что значит утечка?
M
В вашем случае это субъективное понимание реальности
EG
> In computer science, a memory leak is a type of resource leak that occurs when a computer program incorrectly manages memory allocations in a way that memory which is no longer needed is not released.
> no longer needed
> no longer needed
EG
У тебя тавтологичное определение — «утечка памяти это то, что наш статический анализ считает утечкой».
M
Нет, утечка это к примеру в чикле использовать маллок а освободить только один раз после
M
> In computer science, a memory leak is a type of resource leak that occurs when a computer program incorrectly manages memory allocations in a way that memory which is no longer needed is not released.
> no longer needed
> no longer needed
Ключевое тут no longer needed
EG
Создай два треда, сделай между ними пайп. Один тред пишет в пайп сто гигов данных, а второй читает их только после того, как выполнит программу на брейнфаке.
Если программа на брейнфаке зацикливается навечно, то буфер пайпа больше не нужен и его следует освободить. Статическому анализатору потребовалось бы решить halting problem, чтобы предотвратить эту утечку.
Если программа на брейнфаке зацикливается навечно, то буфер пайпа больше не нужен и его следует освободить. Статическому анализатору потребовалось бы решить halting problem, чтобы предотвратить эту утечку.