Must Dav1dPicAllocator be thread-safe?

Does a user-defined Dav1dPicAllocator need to be thread-safe? Will Dav1d ever make multiple concurrent calls to the allocator's functions?

Ideally this would be documented in the public API so users know whether or not they need to protect their internal allocator structures with a mutex.