Source code for pyro.contrib.funsor.handlers.named_messenger

# Copyright Contributors to the Pyro project.
# SPDX-License-Identifier: Apache-2.0

from collections import OrderedDict
from contextlib import ExitStack

from pyro.contrib.funsor.handlers.runtime import (
from pyro.poutine.reentrant_messenger import ReentrantMessenger

[docs]class NamedMessenger(ReentrantMessenger): """ Base effect handler class for the :func:`~pyro.contrib.funsor.to_funsor` and :func:`~pyro.contrib.funsor.to_data` primitives. Any effect handlers that invoke these primitives internally or wrap code that does should inherit from :class:`~NamedMessenger`. This design ensures that the global name-dim mapping is reset upon handler exit rather than potentially persisting until the entire program terminates. """ def __init__(self, first_available_dim=None): assert first_available_dim is None or first_available_dim < 0, first_available_dim self.first_available_dim = first_available_dim self._saved_dims = set() return super().__init__() def __enter__(self): if self._ref_count == 0: if self.first_available_dim is not None: self._prev_first_dim = _DIM_STACK.set_first_available_dim(self.first_available_dim) if _DIM_STACK.outermost is None: _DIM_STACK.outermost = self for name, dim in self._saved_dims: _DIM_STACK.global_frame[name] = dim self._saved_dims = set() return super().__enter__() def __exit__(self, *args, **kwargs): if self._ref_count == 1: if self.first_available_dim is not None: _DIM_STACK.set_first_available_dim(self._prev_first_dim) if _DIM_STACK.outermost is self: _DIM_STACK.outermost = None _DIM_STACK.set_first_available_dim(_DIM_STACK.DEFAULT_FIRST_DIM) self._saved_dims |= set(_DIM_STACK.global_frame.name_to_dim.items()) for name, dim in self._saved_dims: del _DIM_STACK.global_frame[name] return super().__exit__(*args, **kwargs) @staticmethod # only depends on the global _DIM_STACK state, not self def _pyro_to_data(msg): funsor_value, = msg["args"] name_to_dim = msg["kwargs"].setdefault("name_to_dim", OrderedDict()) dim_type = msg["kwargs"].setdefault("dim_type", DimType.LOCAL) batch_names = tuple(funsor_value.inputs.keys()) # interpret all names/dims as requests since we only run this function once name_to_dim_request = name_to_dim.copy() for name in batch_names: dim = name_to_dim.get(name, None) name_to_dim_request[name] = dim if isinstance(dim, DimRequest) else DimRequest(dim, dim_type) # request and update name_to_dim in-place # name_to_dim.update(_DIM_STACK.allocate_name_to_dim(name_to_dim_request)) name_to_dim.update(_DIM_STACK.allocate(name_to_dim_request)) msg["stop"] = True # only need to run this once per to_data call @staticmethod # only depends on the global _DIM_STACK state, not self def _pyro_to_funsor(msg): if len(msg["args"]) == 2: raw_value, output = msg["args"] else: raw_value = msg["args"][0] output = msg["kwargs"].setdefault("output", None) dim_to_name = msg["kwargs"].setdefault("dim_to_name", OrderedDict()) dim_type = msg["kwargs"].setdefault("dim_type", DimType.LOCAL) event_dim = len(output.shape) if output else 0 try: batch_shape = raw_value.batch_shape # TODO make make this more robust except AttributeError: full_shape = getattr(raw_value, "shape", ()) batch_shape = full_shape[:len(full_shape) - event_dim] batch_dims = tuple(dim for dim in range(-len(batch_shape), 0) if batch_shape[dim] > 1) # interpret all names/dims as requests since we only run this function once dim_to_name_request = dim_to_name.copy() for dim in batch_dims: name = dim_to_name.get(dim, None) dim_to_name_request[dim] = name if isinstance(name, DimRequest) else DimRequest(name, dim_type) # request and update dim_to_name in-place dim_to_name.update(_DIM_STACK.allocate(dim_to_name_request)) msg["stop"] = True # only need to run this once per to_funsor call
[docs]class MarkovMessenger(NamedMessenger): """ Handler for converting to/from funsors consistent with Pyro's positional batch dimensions. :param int history: The number of previous contexts visible from the current context. Defaults to 1. If zero, this is similar to :class:`pyro.plate`. :param bool keep: If true, frames are replayable. This is important when branching: if ``keep=True``, neighboring branches at the same level can depend on each other; if ``keep=False``, neighboring branches are independent (conditioned on their shared ancestors). """ def __init__(self, history=1, keep=False): self.history = history self.keep = keep self._iterable = None self._saved_frames = [] super().__init__() def __call__(self, fn): if fn is not None and not callable(fn): self._iterable = fn return self return super().__call__(fn) def __iter__(self): assert self._iterable is not None _DIM_STACK.push_iter(_DIM_STACK.local_frame) with ExitStack() as stack: for value in self._iterable: stack.enter_context(self) yield value _DIM_STACK.pop_iter() def __enter__(self): if self.keep and self._saved_frames: frame = self._saved_frames.pop() else: frame = StackFrame( name_to_dim=OrderedDict(), dim_to_name=OrderedDict(), history=self.history, keep=self.keep, ) _DIM_STACK.push_local(frame) return super().__enter__() def __exit__(self, *args, **kwargs): if self.keep: self._saved_frames.append(_DIM_STACK.pop_local()) else: _DIM_STACK.pop_local() return super().__exit__(*args, **kwargs)
[docs]class GlobalNamedMessenger(NamedMessenger): """ Base class for any new effect handlers that use the :func:`~pyro.contrib.funsor.to_funsor` and :func:`~pyro.contrib.funsor.to_data` primitives to allocate ``DimType.GLOBAL`` or ``DimType.VISIBLE`` dimensions. Serves as a manual "scope" for dimensions that should not be recycled by :class:`~MarkovMessenger`: global dimensions will be considered active until the innermost :class:`~GlobalNamedMessenger` under which they were initially allocated exits. """ def __init__(self, first_available_dim=None): self._saved_frames = [] super().__init__(first_available_dim=first_available_dim) def __enter__(self): frame = self._saved_frames.pop() if self._saved_frames else StackFrame( name_to_dim=OrderedDict(), dim_to_name=OrderedDict()) _DIM_STACK.push_global(frame) return super().__enter__() def __exit__(self, *args): self._saved_frames.append(_DIM_STACK.pop_global()) return super().__exit__(*args)