Выделение памяти с использованием ключевого слова new и исключения

@Undisputed · Регистрация: 10.06.2014

Студворк — интернет-сервис помощи студентам

Где-то читал, что наличие в коде throw, даже в том случае когда нет try/catch может приводить к некоторым замедлению потому что где-то внутри генерируется специальный код что бы бросить исключение.
Верно ли данное утверждение? Если оно верно, выходит malloc может оказаться куда более эффективным чем new, просто потому что не кидает исключения?

Добавлено через 2 минуты
И как ведет себя в таких случаях placement new? Ведь он не выделяет память а просто использует переданный ему указатель. Он не бросается исключениями?

Убежденный · 05.03.2017, 20:39

Сообщение от sys_beginner

Верно ли данное утверждение?

Зависит от ОС, компилятора, платформы и прочих условий.

Сообщение от sys_beginner

выходит malloc может оказаться куда более эффективным чем new, просто потому что не кидает исключения?

Как можно сравнивать функции, которые выполняют совершенно разные действия и
предназначены для разных вещей? Тоже самое, что сравнивать скорость include в C и
std::vector.push_back в C++...

@Undisputed · 05.03.2017, 20:46 **[ТС]**

Сообщение от Убежденный

Как можно сравнивать функции, которые выполняют совершенно разные действия и
предназначены для разных вещей?

Имелось ввиду в контексте выделения памяти

Убежденный · 05.03.2017, 20:56

Ну в MS C++, например, new является простой оберткой над malloc,
которая проверяет возвращаемое значение, а затем конструирует объект.
О каком выигрыше в скорости тогда может идти речь?

@Undisputed · 05.03.2017, 20:58 **[ТС]**

Убежденный,
Ну new вроде как эксепшенами кидается... Значит где то под капотом должен быть throw
Где то читал что throw чего-то там генерит что замедляет выполнение

Убежденный · 05.03.2017, 21:12

Ну не знаю, не знаю...
Глянул ассемблерный листинг new - там тупо malloc с проверкой на NULL.
Если не NULL, то сразу выход. Иначе throw. Все. Никаких "побочных"
накладных расходов, связанных с throw, не увидел.

@Renji · 05.03.2017, 23:46

Сообщение от sys_beginner

Где-то читал, что наличие в коде throw, даже в том случае когда нет try/catch может приводить к некоторым замедлению потому что где-то внутри генерируется специальный код что бы бросить исключение.
Верно ли данное утверждение?

Если говорить именно про замедление, то zero cost exceptions его не создают. Другой вопрос - что вам в нагрузку к этим zero cost exceptions, запросто прилинкуют еще сто кило непонятного мусора. Просто потому что авторам компилятора традиционно лень нормально распилить предварительно скомпилированные библиотеки на "это нужно, это не нужно, здесь рыбу заворачивали". А еще лучше - выкинуть наконец предварительно скомпилированные библиотеки и заменить на header only (да, да, я знаю что компилятор на них может задуматься).

@DU3 · 05.03.2017, 23:56

автор спрашивает что в рантайме под капотом происходит в случае бросания исключения.
какие приседания делаются в рантайме при наличии try/catch блоков в коде.
естественно это все не бесплатно, проседание будет зависеть от реализации компилятора.
но делать выбор в пользу маллока или еще какого-то другого механизма выделения памяти - это большая глупость.
до тех пор, пока вы не уверены в том, что у вас производительность проседает именно из-за этого, писать по другому не стоит. сперва вообще стоит сделать корректно работающий вариант программы. и вот там, где нет исключений, раскрутки стека и прочих плюсовых плюшек написать корректную не текущую программу на много сложнее.

допустим вы решились таки не глядя не использовать исключения. окей. получили программу, потратив в 3 раза больше времени и даже получили результат в производительности. она у вас работает в 1000!!!! раз быстрее, но в целом запускается раз в сутки и работает сто микросекунд, а не 10 миллисекунд. стоило оно того?

@Renji · 06.03.2017, 00:51

Сообщение от DU3

допустим вы решились таки не глядя не использовать исключения. окей. получили программу, потратив в 3 раза больше времени и даже получили результат в производительности. она у вас работает в 1000!!!! раз быстрее, но в целом запускается раз в сутки и работает сто микросекунд, а не 10 миллисекунд. стоило оно того?

Зачем в три раза больше времени?
Линукс стайл - malloc всегда успешно выделяет память, потому что технология overcommit (со своими веселыми граблями, да). Обработка ошибок выделения памяти просто ненужна. Вернее, она уже вшита в систему.
Qt-стайл - ошибка выделения памяти, ведет к немедленному аварийному завершению процесса. Вот прям в недрах malloc. Так что никаких дополнительных обработок ошибок опять же не нужно.
Ну да, такие фокусы тоже имеют свою цену, но вы прикиньте, код "в 1000!!!! раз быстрее".

@DU3 · 06.03.2017, 01:00

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

@Renji · 06.03.2017, 01:29

Сообщение от DU3

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

При zero cost exceptions успешное выделение памяти замедлится на один if(!pointer). А не успешное выделение - аварийная ситуация, которая случается редко, в ней можно и потормозить. Если же исключения собраны на чем-то типа сишных longjmp, то по всему коду будут неявно раскиданы вызовы setjmp, вызываемые всегда. И вот тут я бы не был так уверен в незначительности возникающих тормозов.
Но повторюсь, основной смысл воевать с исключениями - сокращение исполняемого файла. Плюс-минус сто кило статически прилинкованных библиотек, это для маленького проектика весьма много.

Croessmah · 06.03.2017, 06:05

Сообщение от Renji

Линукс стайл - malloc всегда успешно выделяет память, потому что технология overcommit (со своими веселыми граблями, да).

Опять же, зависит от настроек данной политики.

Собственно, вот

Сообщение от DU3

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

Будет сильно зависеть от реализации самих исключений.
https://habrahabr.ru/post/208006/

@Renji · 06.03.2017, 06:08

Сообщение от Croessmah

Опять же, зависит от настроек данной политики.

Ну по умолчанию то она активна. Хотя да, можно настройки и поменять.

Croessmah · 06.03.2017, 09:30

Не по теме:

Сообщение от Renji

Ну по умолчанию то она активна.

В убунту, вроде, промежуточный вариант по дефолту стоит.
Но я всегда вырубаю overcommit сразу после установки системы.
Пусть уж лучше приложения падаю, если кривые,
нежели жрут непомерно ресурсов.
Какой-нибудь банальный

C++
1
2
while(new int[100500]){
}

может "повесить" систему к чертовой бабушке.
Собственно, когда одно моё тренировочное
приложение для исследования утечек,
стало вешать систему, вот тогда я и узнал о overcommit. :D

Evg · 06.03.2017, 12:52

Сообщение от Renji

Если говорить именно про замедление, то zero cost exceptions его не создают

sys_beginner обычно задаёт вопросы в контексте переносимости кода, правда здесь он об этом не говорил. Но на всякий случай. Zero cost exceptions (обычного термин сокращают до 0eh) - это всего лишь один из методов реализации исключений. На культурных архитектурах типа intel-linux он уже давно работает. На "других" архитектурах - не везде

В любом случае тормоза при работе new vs malloc с оглядкой на наличие 0eh - это просто мелочь по сравнению с тем, что в случае отсутствия 0eh будет обвес вокруг каждого вызова функции в тех местах, где присутствуют объекты с деструктором. Как уже выше описал коллега - в лучшем случае будет просто экономия на спичках. В худшем случае - программа превратится в бесконечно завёрнутую кишку ради экономии пару спичек

Новые блоги и статьи Все статьи Все блоги /
Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка SDL3 из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700

	Выделение памяти с использованием ключевого слова new и исключения 05.03.2017, 13:56. Показов 2051. Ответов 14 Метки нет (Все метки) Где-то читал, что наличие в коде throw, даже в том случае когда нет try/catch может приводить к некоторым замедлению потому что где-то внутри генерируется специальный код что бы бросить исключение. Верно ли данное утверждение? Если оно верно, выходит malloc может оказаться куда более эффективным чем new, просто потому что не кидает исключения? Добавлено через 2 минуты И как ведет себя в таких случаях placement new? Ведь он не выделяет память а просто использует переданный ему указатель. Он не бросается исключениями? 0

Убежденный Ушел с форума 16481 / 7444 / 1187 Регистрация: 02.05.2013 Сообщений: 11,616 Записей в блоге: 1
	05.03.2017, 20:56
	Ну в MS C++, например, new является простой оберткой над malloc, которая проверяет возвращаемое значение, а затем конструирует объект. О каком выигрыше в скорости тогда может идти речь? 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	05.03.2017, 20:58 [ТС]
	Убежденный, Ну new вроде как эксепшенами кидается... Значит где то под капотом должен быть throw Где то читал что throw чего-то там генерит что замедляет выполнение 0

Убежденный Ушел с форума 16481 / 7444 / 1187 Регистрация: 02.05.2013 Сообщений: 11,616 Записей в блоге: 1
	05.03.2017, 21:12
	Ну не знаю, не знаю... Глянул ассемблерный листинг new - там тупо malloc с проверкой на NULL. Если не NULL, то сразу выход. Иначе throw. Все. Никаких "побочных" накладных расходов, связанных с throw, не увидел. 1

@DU3 284 / 232 / 114 Регистрация: 07.09.2016 Сообщений: 584
	05.03.2017, 23:56
	автор спрашивает что в рантайме под капотом происходит в случае бросания исключения. какие приседания делаются в рантайме при наличии try/catch блоков в коде. естественно это все не бесплатно, проседание будет зависеть от реализации компилятора. но делать выбор в пользу маллока или еще какого-то другого механизма выделения памяти - это большая глупость. до тех пор, пока вы не уверены в том, что у вас производительность проседает именно из-за этого, писать по другому не стоит. сперва вообще стоит сделать корректно работающий вариант программы. и вот там, где нет исключений, раскрутки стека и прочих плюсовых плюшек написать корректную не текущую программу на много сложнее. допустим вы решились таки не глядя не использовать исключения. окей. получили программу, потратив в 3 раза больше времени и даже получили результат в производительности. она у вас работает в 1000!!!! раз быстрее, но в целом запускается раз в сутки и работает сто микросекунд, а не 10 миллисекунд. стоило оно того? 2

@DU3 284 / 232 / 114 Регистрация: 07.09.2016 Сообщений: 584
	06.03.2017, 01:00
	окей. тогда неплохо бы замерить, на сколько наличие throw замедляет процесс выделения памяти. какая разница в процентах. есть у кого-нибудь данные? сравнить скажем nothrow new, просто new и маллок какой-нибудь. 0