| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383 |
- # mypy: allow-untyped-defs
- import contextlib
- import copy
- import hashlib
- import inspect
- import io
- import pickle
- import tokenize
- import unittest
- from types import FunctionType, ModuleType
- from typing import Any, Dict, Optional, Set, Union
- from typing_extensions import deprecated
- from unittest import mock
- # Types saved/loaded in configs
- CONFIG_TYPES = (int, float, bool, type(None), str, list, set, tuple, dict)
- def install_config_module(module):
- """
- Converts a module-level config into a `ConfigModule()`.
- See _config_typing.pyi for instructions on how to get the converted module to typecheck.
- """
- class ConfigModuleInstance(ConfigModule):
- _bypass_keys = set({"_is_dirty", "_hash_digest"})
- def visit(source, dest, prefix):
- """Walk the module structure and move everything to module._config"""
- for key, value in list(source.__dict__.items()):
- if (
- key.startswith("__")
- or isinstance(value, (ModuleType, FunctionType))
- or (hasattr(value, "__module__") and value.__module__ == "typing")
- ):
- continue
- name = f"{prefix}{key}"
- if isinstance(value, CONFIG_TYPES):
- config[name] = value
- default[name] = value
- if dest is module:
- delattr(module, key)
- elif isinstance(value, type):
- assert value.__module__ == module.__name__
- # a subconfig with `class Blah:` syntax
- proxy = SubConfigProxy(module, f"{name}.")
- visit(value, proxy, f"{name}.")
- setattr(dest, key, proxy)
- else:
- raise AssertionError(f"Unhandled config {key}={value} ({type(value)})")
- config: Dict[str, Any] = dict()
- default: Dict[str, Any] = dict()
- compile_ignored_keys = get_assignments_with_compile_ignored_comments(module)
- visit(module, module, "")
- module._config = config
- module._default = default
- module._allowed_keys = set(config.keys())
- module._compile_ignored_keys = compile_ignored_keys
- module.__class__ = ConfigModuleInstance
- module._is_dirty = True
- module._hash_digest = None
- COMPILE_IGNORED_MARKER = "@compile_ignored"
- # Gets all the keys (i.e. assignments) with a @compile_ignored comment
- def get_assignments_with_compile_ignored_comments(module):
- source_code = inspect.getsource(module)
- assignments = set()
- # Tokenize the source code to retrieve comments
- tokens = tokenize.tokenize(io.BytesIO(source_code.encode("utf-8")).readline)
- current_comment = "", -1
- prev_name = ""
- for token in tokens:
- if token.type == tokenize.COMMENT:
- prev_name = ""
- maybe_current = token.string.strip()
- if COMPILE_IGNORED_MARKER in maybe_current:
- assert current_comment == (
- "",
- -1,
- ), f"unconsumed {COMPILE_IGNORED_MARKER}"
- current_comment = maybe_current, token.start[0]
- elif token.type == tokenize.NAME:
- # Only accept the first name token, to handle if you have
- # something like foo: Bar = ...
- if not prev_name:
- prev_name = token.string
- elif token.type == tokenize.OP and token.string == "=":
- # Check if the current assignment follows a comment
- # with COMPILE_IGNORED_MARKER
- if (
- COMPILE_IGNORED_MARKER in current_comment[0]
- and current_comment[1] == token.start[0] - 1
- ):
- assignments.add(prev_name)
- current_comment = "", -1 # reset
- prev_name = ""
- assert current_comment == ("", -1), f"unconsumed {COMPILE_IGNORED_MARKER}"
- return assignments
- class ConfigModule(ModuleType):
- # NOTE: This should be kept in sync with _config_typing.pyi.
- # The default values of the configuration settings. This can be used to
- # determine if the config has been changed or not.
- _default: Dict[str, Any]
- # The actual configuration settings. E.g., torch._dynamo.config.debug
- # would live as "debug" in the key, and torch._inductor.config.triton.cudagraphs
- # maps as "triton.cudagraphs"
- _config: Dict[str, Any]
- _allowed_keys: Set[str]
- _bypass_keys: Set[str]
- _compile_ignored_keys: Set[str]
- _is_dirty: bool
- _hash_digest: Optional[bytes]
- def __init__(self):
- raise NotImplementedError(
- f"use {__name__}.install_config_module(sys.modules[__name__])"
- )
- def __setattr__(self, name, value):
- if name in self._bypass_keys:
- super().__setattr__(name, value)
- elif name not in self._allowed_keys:
- raise AttributeError(f"{self.__name__}.{name} does not exist")
- else:
- self._config[name] = value
- def __getattr__(self, name):
- try:
- return self._config[name]
- except KeyError as e:
- # make hasattr() work properly
- raise AttributeError(f"{self.__name__}.{name} does not exist") from e
- def __delattr__(self, name):
- # must support delete because unittest.mock.patch deletes
- # then recreate things
- del self._config[name]
- def save_config(self) -> bytes:
- """Convert config to a pickled blob"""
- config = dict(self._config)
- for key in config.get("_save_config_ignore", ()):
- config.pop(key)
- return pickle.dumps(config, protocol=2)
- def save_config_portable(self) -> Dict[str, Any]:
- """Convert config to portable format"""
- config: Dict[str, Any] = {}
- for key in sorted(self._config):
- if key.startswith("_"):
- continue
- if any(
- key.startswith(e) for e in self._config["_cache_config_ignore_prefix"]
- ):
- continue
- config[key] = self._config[key]
- return config
- def codegen_config(self) -> str:
- """Convert config to Python statements that replicate current config.
- This does NOT include config settings that are at default values.
- """
- lines = []
- mod = self.__name__
- for k, v in self._config.items():
- if k in self._config.get("_save_config_ignore", ()):
- continue
- if v == self._default[k]:
- continue
- lines.append(f"{mod}.{k} = {v!r}")
- return "\n".join(lines)
- def get_hash(self) -> bytes:
- """Hashes the configs that are not compile_ignored"""
- if self._is_dirty or self._hash_digest is None:
- dict_to_hash = {
- k: v
- for k, v in self._config.items()
- if k not in self._compile_ignored_keys
- }
- string_to_hash = repr(sorted(dict_to_hash.items()))
- self._hash_digest = hashlib.md5(string_to_hash.encode("utf-8")).digest()
- self._is_dirty = False
- return self._hash_digest
- @deprecated(
- "`config.to_dict()` has been deprecated. It may no longer change the underlying config."
- " use `config.shallow_copy_dict()` or `config.get_config_copy()` instead",
- category=FutureWarning,
- )
- def to_dict(self) -> Dict[str, Any]:
- return self.shallow_copy_dict()
- def shallow_copy_dict(self) -> Dict[str, Any]:
- return {**self._config}
- def load_config(self, maybe_pickled_config: Union[bytes, Dict[str, Any]]) -> None:
- """Restore from a prior call to save_config() or shallow_copy_dict()"""
- if not isinstance(maybe_pickled_config, dict):
- config = pickle.loads(maybe_pickled_config)
- else:
- config = maybe_pickled_config
- self._config.update(config)
- def get_config_copy(self) -> Dict[str, Any]:
- return copy.deepcopy(self._config)
- def patch(
- self,
- arg1: Optional[Union[str, Dict[str, Any]]] = None,
- arg2: Any = None,
- **kwargs,
- ):
- """
- Decorator and/or context manager to make temporary changes to a config.
- As a decorator:
- @config.patch("name", val)
- @config.patch(name1=val1, name2=val2)
- @config.patch({"name1": val1, "name2", val2})
- def foo(...):
- ...
- As a context manager:
- with config.patch("name", val):
- ...
- """
- changes: Dict[str, Any]
- if arg1 is not None:
- if arg2 is not None:
- assert isinstance(arg1, str)
- # patch("key", True) syntax
- changes = {arg1: arg2}
- else:
- assert isinstance(arg1, dict)
- # patch({"key": True}) syntax
- changes = arg1
- assert not kwargs
- else:
- # patch(key=True) syntax
- changes = kwargs
- assert arg2 is None
- assert isinstance(changes, dict), f"expected `dict` got {type(changes)}"
- prior: Dict[str, Any] = {}
- config = self
- dirty = False
- class ConfigPatch(ContextDecorator):
- def __enter__(self):
- assert not prior
- nonlocal dirty
- for key in changes.keys():
- # KeyError on invalid entry
- prior[key] = config._config[key]
- dirty = key not in config._compile_ignored_keys
- config._config.update(changes)
- config._is_dirty = dirty
- def __exit__(self, exc_type, exc_val, exc_tb):
- nonlocal dirty
- config._config.update(prior)
- config._is_dirty = dirty
- prior.clear()
- return ConfigPatch()
- def _make_closure_patcher(self, **changes):
- """
- A lower-overhead version of patch() for things on the critical path.
- Usage:
- # do this off the critical path
- change_fn = config.make_closure_patcher(foo=True)
- ...
- revert = change_fn()
- try:
- ...
- finally:
- revert()
- """
- config = self._config
- def change():
- prior = {k: config[k] for k in changes}
- config.update(changes)
- def revert():
- config.update(prior)
- return revert
- return change
- class ContextDecorator(contextlib.ContextDecorator):
- """
- Same as contextlib.ContextDecorator, but with support for
- `unittest.TestCase`
- """
- def __enter__(self):
- raise NotImplementedError("NYI")
- def __exit__(self, exc_type, exc_val, exc_tb):
- raise NotImplementedError("NYI")
- def __call__(self, func):
- if isinstance(func, type) and issubclass(func, unittest.TestCase):
- class _TestCase(func): # type: ignore[valid-type, misc]
- @classmethod
- def setUpClass(cls):
- self.__enter__()
- try:
- super().setUpClass()
- except Exception:
- self.__exit__(None, None, None)
- raise
- @classmethod
- def tearDownClass(cls):
- try:
- super().tearDownClass()
- finally:
- self.__exit__(None, None, None)
- _TestCase.__name__ = func.__name__
- _TestCase.__qualname__ = func.__qualname__
- _TestCase.__module__ = func.__module__
- return _TestCase
- return super().__call__(func)
- class SubConfigProxy:
- """
- Shim to redirect to main config.
- `config.triton.cudagraphs` maps to _config["triton.cudagraphs"]
- """
- def __init__(self, config, prefix):
- # `super().__setattr__` to bypass custom `__setattr__`
- super().__setattr__("_config", config)
- super().__setattr__("_prefix", prefix)
- def __setattr__(self, name, value):
- return self._config.__setattr__(self._prefix + name, value)
- def __getattr__(self, name):
- return self._config.__getattr__(self._prefix + name)
- def __delattr__(self, name):
- return self._config.__delattr__(self._prefix + name)
- def patch_object(obj, name, value):
- """
- Workaround `mock.patch.object` issue with ConfigModule
- """
- if isinstance(obj, ConfigModule):
- return obj.patch(name, value)
- return mock.patch.object(obj, name, value)
|