Ну не, деструктор наверняка мешает оптимизации

Ну, тут либо деструктор, либо GC

Хуй знает, надо бенчи сделать

аллокаторы умеют оптимизировать

Ну, тут либо деструктор, либо GC

Либо сам знаешь что

Лики?

аллокаторы умеют оптимизировать

Вот тут не понял, как связано с компилятором

С компилятором никак, но в RAII боттлнек в том, что деаллокация происходит всегда при выходе из скопа. А она как бы не мгновенная. Аллокаторы делают отложенную деаллокацию и/или переиспользуют локальный буффер аллокатора треда, не делая вообще никаких действий при возможности

Хм, интересно

Где почитать?

Пфф... щас, так прям не вспомню, это больше остаточные знания без привязанного источника

Но это все равно аллокатор, прибитый к компилятору. В каком-нибудь jemallocе не сделать

Ибо инфы нет, что деаллок во время выхода из скопа, очевидно

Почитай про jemalloc, вообще

Ибо инфы нет, что деаллок во время выхода из скопа, очевидно

Как это нет

Сорцы Box, реализация Drop

И прочие деструкторы в крестах

А, в смысле в обертке (деструктор) оптимизация, а не в аллокаторе

А что там оптимизировать?

Он вызывает аллокатор

Ну вот отложенная деаллокация

Это часть алгоритма аллокатора

Где код, который откладывает?

В аллокаторе)

Хотя я хз, насколько unique_ptr влияет на производительность

атомик внутри

а бля

shared внутри атомик

Ну и когда таки реальная деаллок я происходит?

насчет деаллокации, то зачем нужна какая-то дополнительная информация о том вышел объект из скопа

Ну и когда таки реальная деаллок я происходит?

ну мне кажется это разумным менеджить память в отдельном потоке

Не нашел пруфлинк, с доками у этих штук вечные проблемы Но ЕМНИП, у jemalloс есть на каждый тред свой мини-хип, который он переиспользует, чтобы не блокировать всё приложение на время аллокации/деаллокации.

Не нашел пруфлинк, с доками у этих штук вечные проблемы Но ЕМНИП, у jemalloс есть на каждый тред свой мини-хип, который он переиспользует, чтобы не блокировать всё приложение на время аллокации/деаллокации.

Ну так работа с этим мини-хипов тож не бесплатная, наверное

ну мне кажется это разумным менеджить память в отдельном потоке

Не, операции с памятью блокируют адресное пространство, так что что в лоб что по лбу. Разве что ты арену себе заведешь свою с кастомным алокатором — тогда да, можно на этом выиграть. Аллокаторы как я выше написал (ЕМНИП) хэндлят аллокации по возможности не затрагивая адресное пространство всего потока

Ну так работа с этим мини-хипов тож не бесплатная, наверное

Почти бесплатная по сравнению с запросами у ОС, которые вешают процесс

насчет деаллокации, то зачем нужна какая-то дополнительная информация о том вышел объект из скопа

Ну, free разный бывает. Я к тому, что как минимум нужен free_now в таком случае

Почти бесплатная по сравнению с запросами у ОС, которые вешают процесс

Не понял, зачем ему просить у ОС что-то, кроме brk?

Ладно, надо просто почитать нормально jemalloc доку

Не понял, зачем ему просить у ОС что-то, кроме brk?

Странички подпихнуть свежие, непрерывный участок памяти там, итд

Не уходить из юзерспейса всегда дешевле

ежу понятно

Почти бесплатная по сравнению с запросами у ОС, которые вешают процесс

Хотя в линуксах разница между процессом и потоком не существует для ОС

Так что для меня это тож загадка

Зачем jemalloc так делает

Но видимо чисто на юзерспейсе выигрыш есть

а причем там разница процесс/поток?

В тред приграшаются затычки в каждой бочке, которые знают всё

жемалок научился шарить аллокатор между процессами?

жемалок научился шарить аллокатор между процессами?

Не

Я возможно сам себя сейчас мислиднул насчет блокирования на операциях с VM

Надо тож почитать поподробнее

Чёт кроме mmap/munmap ничего из сисколов не нахожу в jemalloc-е

Ткнёшь?

Память не сисколами выделяется, ммапается и потом по дереференсу ядро прерывается процессором на выделить физическую память

Хотя в линуксах разница между процессом и потоком не существует для ОС

Это для шедулинга. С памятью разное жеж

Память не сисколами выделяется, ммапается и потом по дереференсу ядро прерывается процессором на выделить физическую память

А mmap, по-твоему, не сискол?

А mmap, по-твоему, не сискол?

Я к тому что там не будет других сисколлов)

(но это не точно)

Память не сисколами выделяется, ммапается и потом по дереференсу ядро прерывается процессором на выделить физическую память

Будет minor page fault или сразу это детали реализации, никто тебе не гарантирует

Конечно нет

В винде таки вроде не так, ибо там не дадут тебе сто раз подрят сделать malloc(4гиб), в отличие от

Не

Тогда что за мини-хип, если он и так ничего не шарит?

Ладно, RTFM, видимо (

Мдаужмда)

Тогда что за мини-хип, если он и так ничего не шарит?

Между потоками то шарит, адресное пространство одно

Ну, верно. Ибо он на процесс работает

Или ты про мини-хипы на потоки?

Но один поток не мешает другому с памятью работать, это на сколько я понял

Да, у каждого потока

Не процесса

Хм, надо почитать

Не проще было на процесс, но lock-free?

Хз, не уверен, что это возможно

Структурки данных то из двух потоков лок фри менять не комильфо

Если только аллокатор не на расте либой

С бороучекером

На mpsc

с crossbeam

В скопед треде

Напомню что потоки на ядра могут быть раскиданы и нума ноды

Потому тред-локал хип дешевле

интересная логика