[RFC] Rename TVMContext to TVMDevice

Thanks for bringing this up!

Context is indeed a bad name when it is used to indicate a certain device, because its meaning really varies depending on the “context”. In this case, “device” is certainly an acceptable name and is a lot better than “context”.

Two thoughts:

  1. when referring to a remote device in TVM RPC, what word should we use? Right now we still use ctx.
  2. in dlpack, we still use DLContext, so are we going to propose a name change in dlpack as well?