From 723f19a73c8e21b622bde380f5c0d752ec741578 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 18 Feb 2014 08:47:43 -0600
Subject: [PATCH] Add Device.persistent_unique_id

---
 pyopencl/__init__.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pyopencl/__init__.py b/pyopencl/__init__.py
index 2cb9d082..6e60f793 100644
--- a/pyopencl/__init__.py
+++ b/pyopencl/__init__.py
@@ -350,8 +350,14 @@ def _add_functionality():
         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
-- 
GitLab