tqchen commented on pull request #6292: URL: https://github.com/apache/incubator-tvm/pull/6292#issuecomment-675629739
NOTE that right now the DeviceAPIManager singleton is long-lived now, the value won't be cleared. Even if we choose to instead clear these values, there is no guarantee wrt to the order. So the best way is still to avoid global object in the code(if there are, avoid deleting them, like in this PR) ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
