This repository was archived by the owner on Mar 22, 2023. It is now read-only.
This repository was archived by the owner on Mar 22, 2023. It is now read-only.
EBR: handle using workers when ebr is already destroyed. #1109
Open
Description
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).