>>Потому что менеджмент памяти -- это проблема Computer Science, которая не разрешима в общем случае теоретически, и, как следствие, неразрешима практически.
> Кто автор сего доказательства неразрешимости? Ссылочку в студию плиз.Не, давай лучше ты дашь ссылку на доказательство разрешимости? Неразрешимость сводится к тому, что нет fool-proof способа менеджить память, которого хватит всем. Это не значит, между прочим, что такой способ невозможен в принципе, но он, как минимум, неизвестен общественности. Если ты считаешь, что знаешь такой способ, то расскажи его. Можно ссылкой.
Я в каком-то соседнем комменте задал наводящие вопросы: как ты доказываешь про свой код, что там нет проблем с mm? Ты не доказываешь это заказчику? Ну ок, а себе ты это доказываешь как-то? В какой момент ты удовлетворённо откидываешься на спинку стула, и говоришь "ну вот, теперь код безбажен"? Что ты делаешь для этого?
Вот когда тебе надо доказать асимптотическую сложность алгоритма, ты берёшь и доказываешь это. Когда тебе надо доказать, что проблема не разрешима алгоритмически, ты достаёшь с антресоли машину Тьюринга, сдуваешь с неё пыль, и доказываешь, и дальше уже не ты дурак, что не можешь написать решение задачи, а тот кто тебе такую задачу поставил дурак, потому что хочет Солнце с неба. Про алгоритмы не всё можно доказать, что хочется -- проблема останова, например, неразрешима в общем случае. Но про mm что ты можешь доказать?
Ты знаешь алгоритм как детерминированно показать про любую программу наличие/отсутствие проблем с mm? Или ты просто _веришь_ в то, что ты можешь любую программу избавить от багов с mm за конечное время? На чём эта вера основана? На "мамой клянус"? Может у тебя хоть статистика есть, типа ты написал 100k строк кода, они широко используются 10+ лет, и там до сих пор не нашли ни одного бага с mm? На чём основана твоя вера?
