Add Device.persistent_unique_id

inducer · Feb 18, 2014 · 723f19a · 723f19a
1 parent d04f9c3
commit 723f19a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/pyopencl/__init__.py b/pyopencl/__init__.py
@@ -350,8 +350,14 @@ def device_repr(self):
         return "<pyopencl.Device '%s' on '%s' at 0x%x>" % (
                 self.name.strip(), self.platform.name.strip(), self.int_ptr)
 
+    def device_persistent_unique_id(self):
+        return (self.vendor, self.vendor_id, self.name, self.version)
+
     Device.__repr__ = device_repr
 
+    # undocumented for now:
+    Device.persistent_unique_id = property(device_persistent_unique_id)
+
     # }}}
 
     # {{{ Context