Вопрос по аллокаторам на фоне спора с jxy-s на Гитхабе.

Question

Вопрос по аллокаторам на фоне спора с jxy-s на Гитхабе.

Используемые средства платформы позволяют выделять память с некоторым тегом - четырехсимвольной константой - для дальнейшего удобства отладки.

С++ обёртка в виде шаблона аллокатора должна уметь использовать эти теги. Однако должен ли тег быть частью типа - или всё-таки состояния?

#c++ #embedded #programming #russian

0

20.09.2021

17 ответов

10 просмотров

Dmitriy [Отпуск] Автор вопроса

Vlad
а есть ли смысл платить за то, чтобы тег был часть...

Аргументы jxy-s за параметр шаблона: 1. Теги вряд ли будут меняться в рантайме 2. Отсутствует риск "растекания" аллокаций с конкретным тегом по коду - чётко прослеживается связь "codepath-tag" Мои аргументы за состояние: 1. Избавление от копирований контейнеров на границе тегов (и поддержка move-only сущностей) 2. Совместимость с тегонезависимым кодом (например, использующим дефолтный operator-new-based аллокатор)

0

20.09.2021

Vlad

Dmitriy [Отпуск]
Аргументы jxy-s за параметр шаблона: 1. Теги вряд...

про ваш первый аргумент: а у выделенной памяти можно поменять тег после ее выделения?

0

20.09.2021

Dmitriy [Отпуск] Автор вопроса

Vlad
про ваш первый аргумент: а у выделенной памяти мож...

Нельзя

0

20.09.2021

Kelbon

Dmitriy [Отпуск]
Аргументы jxy-s за параметр шаблона: 1. Теги вряд...

сделай тег отдельно и аллокатор использующий глобальную переменную =)

0

20.09.2021

Vlad

Dmitriy [Отпуск]
Нельзя

получается, что копировать все равно придется, чтобы данные лежали в памяти с правильным тегом?

0

20.09.2021

Dmitriy [Отпуск] Автор вопроса

Kelbon
сделай тег отдельно и аллокатор использующий глоба...

Вредные советы?)

0

20.09.2021

Dmitriy [Отпуск] Автор вопроса

Vlad
получается, что копировать все равно придется, что...

Смотря что считать "правильным" - термин "граница тегов" весьма тонкий. Можно смувать, например, вектор целиком - и данные, и аллокатор (сам по себе он trivially copyable). Считается, что условием эквивалентности аллокаторов всегда является равенство тегов.

0

20.09.2021

Dmitriy [Отпуск] Автор вопроса

Dmitriy [Отпуск]
Аргументы jxy-s за параметр шаблона: 1. Теги вряд...

Фактически - мой первый аргумент vs. второй аргумент jxy-s

0

20.09.2021

Kelbon

Dmitriy [Отпуск]
Фактически - мой первый аргумент vs. второй аргуме...

а почему это будет не тегонезависимым кодом, если сделать аллокатор-обертку над std::alocator, приводящийся к нему?)

0

20.09.2021

Vlad

Dmitriy [Отпуск]
Смотря что считать "правильным" - термин "граница ...

перемещать данные ок, но не аллокатор с тегом, насколько я себе представляю всю эту конструкцию. потому что тег перемещенного аллокатора не будет совпадать с тегом памяти, в которую данные перемещаются

0

20.09.2021

magras

Я бы сказал, что это дело вкуса. Лично я бы предпочел тэг в состоянии, потому что работал с тэгами аллокаторов на уровне типов - это много гемороя.

0

20.09.2021

Dmitriy [Отпуск] Автор вопроса

Vlad
перемещать данные ок, но не аллокатор с тегом, нас...

Так перемещение вектора подразумевает "кражу" буфера у исходного объекта, а не поэлементное перетаскивание содержимого в другую память :)

0

20.09.2021

Vlad

Dmitriy [Отпуск]
Так перемещение вектора подразумевает "кражу" буфе...

а, точно тогда есть смысл хранить тег как часть состояния

0

20.09.2021

magras

Dmitriy [Отпуск]
Смотря что считать "правильным" - термин "граница ...

Это может дать не очевидный результат: память выделенная через вектор перешедший границу модуля будет тэгаться старым тэгом. По-хорошему, наверное, тэгированные аллокации должны покидать модуль только в виде константных ссылок, чтобы такого не происходило.

0

20.09.2021

magras

magras
Это может дать не очевидный результат: память выде...

Плюс отключить пропагацию аллокаторов при копировании.

0

20.09.2021

Dmitriy [Отпуск] Автор вопроса

magras
Плюс отключить пропагацию аллокаторов при копирова...

С этим соглашусь - иначе точно получим нежелательную утечку тэгов

0

20.09.2021