Make device_resources accessed from device_resources_manager thread-safe#2030

Merged

rapids-bot[bot] merged 4 commits intorapidsai:branch-24.02from wphicks:bug-drm_thread_safety

Dec 5, 2023

+28-62

Commits on Nov 30, 2023

Commits on Dec 4, 2023

Merge branch 'branch-24.02' into bug-drm_thread_safety
wphicks
authored