Сообщение Re[5]: Безопасный код без GC - вы готовы? от 17.10.2014 22:48
Изменено 17.10.2014 22:49 Sharowarsheg
Здравствуйте, Иван Дубров, Вы писали:
ИД>>>Ещё система с GC гарантирует отсутсвие ссылок на "освобождённые" куски памяти и на случайные объекты.
S>>Да нет, в общем-то. Напиши unsafe() и гарантии кончаются.
ИД>Ну это никак не противоречит тому, что я сказал. Не пиши unsafe -- будут гарантии.
Это ты в кучу смешал опять GC и гарантии. Не пиши unsafe — гарантии будут, но они будут независимо от того, есть ли GC или нет.
Равно как если GC есть, всё равно можно написать unsafe, и тогда будет GC, но без гарантий.
Система с GC гарантирует отсутствие ссылок на всякий мусор, но, скажем, система вообще без ссылок гарантрует отсутствие ссылок на всякий мусор уж точно не хуже. На фортране, кстати, я пару лет решал всякие задачки численные, и ссылками не пользовался вообще. Я даже не уверен до сих пор, есть ли в фортране вообще понятие указателя. Так вот, вполне естественно, ни разу ни одной проблемы с памятью — безо всякого GC.
ИД> Без GC утверждение превратится в "не освобождай память -- будут гарантии", что довольно сильно сужает тип решаемых задач.
Сужает или нет, это совершенно второе дело.
ИД>>>Ещё система с GC гарантирует отсутсвие ссылок на "освобождённые" куски памяти и на случайные объекты.
S>>Да нет, в общем-то. Напиши unsafe() и гарантии кончаются.
ИД>Ну это никак не противоречит тому, что я сказал. Не пиши unsafe -- будут гарантии.
Это ты в кучу смешал опять GC и гарантии. Не пиши unsafe — гарантии будут, но они будут независимо от того, есть ли GC или нет.
Равно как если GC есть, всё равно можно написать unsafe, и тогда будет GC, но без гарантий.
Система с GC гарантирует отсутствие ссылок на всякий мусор, но, скажем, система вообще без ссылок гарантрует отсутствие ссылок на всякий мусор уж точно не хуже. На фортране, кстати, я пару лет решал всякие задачки численные, и ссылками не пользовался вообще. Я даже не уверен до сих пор, есть ли в фортране вообще понятие указателя. Так вот, вполне естественно, ни разу ни одной проблемы с памятью — безо всякого GC.
ИД> Без GC утверждение превратится в "не освобождай память -- будут гарантии", что довольно сильно сужает тип решаемых задач.
Сужает или нет, это совершенно второе дело.
Re[5]: Безопасный код без GC - вы готовы?
Здравствуйте, Иван Дубров, Вы писали:
ИД>>>Ещё система с GC гарантирует отсутсвие ссылок на "освобождённые" куски памяти и на случайные объекты.
S>>Да нет, в общем-то. Напиши unsafe() и гарантии кончаются.
ИД>Ну это никак не противоречит тому, что я сказал. Не пиши unsafe -- будут гарантии.
Это ты в кучу смешал опять GC и гарантии. Не пиши unsafe — гарантии будут, но они будут независимо от того, есть ли GC или нет.
Равно как если GC есть, всё равно можно написать unsafe, и тогда будет GC, но без гарантий.
Система с GC гарантирует отсутствие ссылок на всякий мусор (это если unsafe не писать), но, скажем, система вообще без ссылок гарантрует отсутствие ссылок на всякий мусор уж точно не хуже. На фортране, кстати, я пару лет решал всякие задачки численные, и ссылками не пользовался вообще. Я даже не уверен до сих пор, есть ли в фортране вообще понятие указателя. Так вот, вполне естественно, ни разу ни одной проблемы с памятью — безо всякого GC.
ИД> Без GC утверждение превратится в "не освобождай память -- будут гарантии", что довольно сильно сужает тип решаемых задач.
Сужает или нет, это совершенно второе дело.
ИД>>>Ещё система с GC гарантирует отсутсвие ссылок на "освобождённые" куски памяти и на случайные объекты.
S>>Да нет, в общем-то. Напиши unsafe() и гарантии кончаются.
ИД>Ну это никак не противоречит тому, что я сказал. Не пиши unsafe -- будут гарантии.
Это ты в кучу смешал опять GC и гарантии. Не пиши unsafe — гарантии будут, но они будут независимо от того, есть ли GC или нет.
Равно как если GC есть, всё равно можно написать unsafe, и тогда будет GC, но без гарантий.
Система с GC гарантирует отсутствие ссылок на всякий мусор (это если unsafe не писать), но, скажем, система вообще без ссылок гарантрует отсутствие ссылок на всякий мусор уж точно не хуже. На фортране, кстати, я пару лет решал всякие задачки численные, и ссылками не пользовался вообще. Я даже не уверен до сих пор, есть ли в фортране вообще понятие указателя. Так вот, вполне естественно, ни разу ни одной проблемы с памятью — безо всякого GC.
ИД> Без GC утверждение превратится в "не освобождай память -- будут гарантии", что довольно сильно сужает тип решаемых задач.
Сужает или нет, это совершенно второе дело.