libpmemobj-cpp
libpmemobj-cpp copied to clipboard
EBR: handle using workers when ebr is already destroyed.
Currently, if we register a new worker and destroy the ebr object before destroying the worker, there will be a segmentation fault when we try to use the worker (in worker::critical we will use a deleted pointer to ebr).