Телеграмм чат группы ProCxx страница 17484

Ты хоть понял, что написал?)
Есть объекты, которые в асинхронном C++ коде шарятся с помощью shared_ptr (да еще и с pmr-аллокатором)
Как меня спасет boost::intrusive_ptr?
Переделок гораздо больше светит

источник

22:00пожаловаться #5

UsernameAK in pro.cxx

а, я недочитал тред)

источник

22:01пожаловаться #6

Dmitriy in pro.cxx

Си-код будет выполнять только асинхронную операцию, а уже затем вызывать мой коллбэк, передавая ему void*-контекст
В коллбэке shared_ptr нужен для контроля времени жизни объекта, который мог во всех других местах уже, возможно, уничтожен

источник

22:20пожаловаться #7

Dmitriy in pro.cxx

intrusive_ptr здесь вряд ли обойтись ещё и по той причине, что сам объект - на который хранится указатель в intrusive_ptr - тоже должен где-то жить...

источник

22:22пожаловаться #8

Dmitriy in pro.cxx

Нет, на Си - не придется

источник

22:28пожаловаться #9

Dmitriy in pro.cxx

Задача в данном конкретном случае состоит исключительно в пробросе контекста до плюсового коллбэка через Сишный (асинхронный) API

источник

22:29пожаловаться #10

Sergey Skvortsov in pro.cxx

Можно им обойтись, хранить intrusive_ptr и передавать сырой указатель на объект; по сырому указателю можно получить обратно inrusive_ptr. Достаточно счетчик руками инкрементнуть при установке коллбека и декрементнуть в коллбеке (не обязательно)

источник

22:32пожаловаться #11

Dmitriy in pro.cxx

А кто будет удалять объект?)

источник

22:33пожаловаться #12

Sergey Skvortsov in pro.cxx

Кто последний будет держать intrusive_ptr

источник

22:33пожаловаться #13

Sergey Skvortsov in pro.cxx

Коллбек ровно так же сможет

источник

22:33пожаловаться #14

Dmitriy in pro.cxx

К сожалению, операция

ptr.decrease();
if(ptr.use_count() == 0) {
     delete context;
}

Не атомарна

источник

22:34пожаловаться #15

Sergey Skvortsov in pro.cxx

Так это не так делается

источник

22:34пожаловаться #16

Sergey Skvortsov in pro.cxx

Операция

if (counter_.fetch_sub(1) == 1) {
    Deleter{}(this);
}

Атомарна, это UnRef() в intrusve_ptr, который зовется в деструкторе

источник

22:35пожаловаться #17

Dmitriy in pro.cxx

Не согласен. Объект мог храниться *где-то*, и удерживать его удаление из хранилищ до окончания использования копий как минимум нерационально

источник

22:36пожаловаться #18

Dmitriy in pro.cxx

Таки да, но выше я говорил про аллокаторы... :(

источник

22:36пожаловаться #19

Sergey Skvortsov in pro.cxx

А что с ними меняется?

источник

22:36пожаловаться #20