misc: Add name property to Compiler

devitocodes · Jul 31, 2023 · e4ab797 · e4ab797
1 parent 9b69c1f
commit e4ab797
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git a/devito/arch/compiler.py b/devito/arch/compiler.py
@@ -216,6 +216,10 @@ def __new_with__(self, **kwargs):
                               mpi=kwargs.pop('mpi', configuration['mpi']),
                               **kwargs)
 
+    @property
+    def name(self):
+        return self.__class__.__name__
+
     @memoized_meth
     def get_jit_dir(self):
         """A deterministic temporary directory for jit-compiled objects."""

diff --git a/devito/operator/operator.py b/devito/operator/operator.py
@@ -1186,7 +1186,7 @@ def parse_kwargs(**kwargs):
 
     # `allocator`
     kwargs['allocator'] = default_allocator(
-        '%s.%s.%s' % (kwargs['compiler'].__class__.__name__,
+        '%s.%s.%s' % (kwargs['compiler'].name,
                       kwargs['language'],
                       kwargs['platform'])
     )

diff --git a/devito/parameters.py b/devito/parameters.py
@@ -247,10 +247,7 @@ def __exit__(self, exc_type, exc_val, exc_tb):
                 configuration[k] = self.previous[k]
             except ValueError:
                 # E.g., `platform` and `compiler` will end up here
-                try:
-                    configuration[k] = self.previous[k].name
-                except AttributeError:
-                    super(Parameters, configuration).__setitem__(k, self.previous[k])
+                super(Parameters, configuration).__setitem__(k, self.previous[k])
 
     def __call__(self, func, *args, **kwargs):
         @wraps(func)