commit | 9302be8f42656a9faac39248e20fffcf96837b62 | [log] [tgz] |
---|---|---|
author | Johannes Doerfert <johannes@jdoerfert.de> | Mon Nov 27 11:42:12 2023 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Mon Nov 27 11:46:03 2023 -0800 |
tree | 3c61de4227a9f98280c174b5a668be41103c3b96 | |
parent | 22f2e2fed22c728b520484b0e157282d87001597 [diff] |
[OpenMP] Tear down GenericDeviceTy's with GenericPluginTy (#73557) There is no point in keeping GenericDeviceTy objects alive longer than the associated GenericPluginTy. Instead of the old API we now tear them down with the plugin, avoiding ordering issues. GitOrigin-RevId: 7bfcce3e940f401a519906ecad3632978ccd0fb5