heavyball 1.7.1__py3-none-any.whl → 1.7.2__py3-none-any.whl

heavyball/utils.py

@@ -50,7 +50,7 @@ def decorator(func):
     return _fn
 
 
-def decorator_knowngood(func: Callable):
+def decorator_knowngood(func: Callable, fullgraph: bool = True):
     compiled = None
 
     @functools.wraps(func)
@@ -59,7 +59,7 @@ def decorator_knowngood(func: Callable):
             return func(*args, **kwargs)
         nonlocal compiled
         if compiled is None:
-            compiled = torch.compile(fullgraph=True, dynamic=dynamic, mode=compile_mode)(func)
+            compiled = torch.compile(fullgraph=fullgraph, dynamic=dynamic, mode=compile_mode)(func)
         return compiled(*args, **kwargs)
 
     return _fn
@@ -1332,6 +1332,7 @@ def divided_root(x: torch.Tensor, y: torch.Tensor, pow0: float, pow1: float, eps
 def precond_init_scale(scale, scale_scale, grad, hessian_vector, vector, scale_max: float = 1e6):
     automatic_scale = True
     manual_hint = " Set it manually using `precond_init_scale=0.1`"
+
     if scale is not None:
         automatic_scale = False
         warn_once(
@@ -1345,12 +1346,16 @@ def precond_init_scale(scale, scale_scale, grad, hessian_vector, vector, scale_m
         scale = mean_root(grad, 4) * scale_scale
     else:
         scale = divided_root(vector, hessian_vector, 2, 4) * scale_scale
+
     if isinstance(scale, torch.Tensor):
         scale = scale.item()  # slow, but necessary
+
     if np.isfinite(scale):
-        if scale > scale_max or scale < 1 / scale_max:
+        if scale > scale_max or scale < 1 / scale_max:  # fallthrough to later checks
             warn_once(f"The computed precond_init_scale {scale} is outside of the expected range.{manual_hint}")
-        return scale
+        else:
+            return scale
+
     if not automatic_scale:
         raise ValueError("The manually set precond_init_scale is not finite")
 
@@ -1361,6 +1366,10 @@ def precond_init_scale(scale, scale_scale, grad, hessian_vector, vector, scale_m
             raise ValueError(f"Grad or HVP is all 0s, causing NaNs in precond_init_scale computation.{manual_hint}")
         if not torch.isfinite(x).all().item():
             raise ValueError("Grad or HVP is not finite")
+
+    if np.isfinite(scale):
+        return scale
+
     raise ValueError(f"Computed precond_init_scale is not finite.{manual_hint}")
 
 
@@ -1634,35 +1643,58 @@ def dampen_multiple(g: List[Tensor], damp: float = 2**-13):
     return flatten(vs), flatten(gs)
 
 
-@decorator_knowngood
 def casted_einsum(expr: str, *args: Tensor) -> Tensor:
     md = min_dtype(args)
     return torch.einsum(expr, *[a.to(md) for a in args]).to(args[-1].dtype)
 
 
+@decorator_knowngood
+def _psgd_calc_scalars_(Qs: List[Tensor], conjB: Tensor):
+    triangular_qs = []
+    for i, q in enumerate(Qs):
+        q = promote(q)
+        if q.dim() <= 1:
+            shape = [1] * conjB.ndim
+            shape[i] = -1
+            conjB /= q.view(shape)
+        else:
+            triangular_qs.append((i, q))
+    return triangular_qs
+
+
+@decorator_knowngood
+def _reshape_conjB(solved: Tensor, original_shape: List[int], last_dim: int, new_shape: int):
+    solved = solved.reshape(original_shape)
+    solved.transpose(last_dim, -1)
+    return solved.reshape(new_shape).contiguous()
+
+
 def psgd_calc_A_and_conjB(exprA, G, Q, conjB):  # conjB ("V", "vector") == randn during hvp/whitening
     order = G.dim()
     if order > 1:
         conjB = conjB.view_as(G).permute(*range(1, order), 0)
     conjB = conjB.to(promote(G.dtype))
     A = casted_einsum(exprA, *Q, G)
-    for i, q in enumerate(Q):
-        q = promote(q)
-        if q.dim() <= 1:
-            conjB /= q
-        else:
-            solved = torch.linalg.solve_triangular(q, conjB.reshape(-1, q.size(0)).contiguous(), upper=True, left=False)
-            conjB = solved.reshape_as(conjB)
-        if i < order - 1:
-            conjB = conjB.transpose(i, -1)
+    solve = torch.compiler.disable(torch.linalg.solve_triangular)
+    original_shape = conjB.shape
+    prev_i = -1
+    for i, tri_q in _psgd_calc_scalars_(Q, conjB):
+        conjB = _reshape_conjB(conjB, original_shape, prev_i, [-1, tri_q.size(0)])
+        prev_i = i
+        conjB = solve(tri_q, conjB, upper=True, left=False)
+    conjB = _reshape_conjB(conjB, original_shape, prev_i, original_shape)
     return A, conjB
 
 
-def psgd_lb(A, max_abs):
+@decorator_knowngood
+def _max_select(to_index: Tensor, to_argmax: Tensor):
+    idx = to_argmax.argmax()
+    return to_index.index_select(1, idx).flatten().contiguous()
+
+
+def psgd_lb(A: Tensor, max_abs: Tensor):
     A /= max_abs
-    a0 = torch.einsum("ij,ij->j", A, A)
-    i = torch.argmax(a0)
-    x = torch.index_select(A, 1, i).flatten().contiguous()
+    x = _max_select(A, torch.einsum("ij,ij->j", A, A))
     x = torch.einsum("i,ij->j", x, A)
     x /= x.norm()
     x = torch.einsum("j,kj->k", x, A)
@@ -1671,30 +1703,51 @@ def psgd_lb(A, max_abs):
     return x
 
 
+@decorator_knowngood
+def _subtract_from_line_(state: Tensor, term: Tensor):
+    stochastic_add_([state], [triu_to_line([term])[0][1]], -1)
+
+
+@decorator_knowngood
+def _prescale_term_(term1: Tensor, fac: Tensor, norm: Tensor, lower_bound: Tensor):
+    out = term1.float().triu() * fac
+    out = out / torch.where(norm > 0, lower_bound, norm).clamp(tiny_bf16)
+    copy_stochastic_(term1, out)
+
+
+@decorator_knowngood
+def _compilable_stochastic_multiply_div_(x: Tensor, fac: Tensor, y: Tensor, z: Tensor):
+    copy_stochastic_(x, promote(x) * promote(fac) * promote(y) / promote(z).clamp(min=tiny_bf16))
+
+
+@decorator_knowngood
+def _compilable_add_sub_(x: Tensor, y: Tensor):
+    x = promote(x)
+    y = promote(y)
+    return x - y, x + y
+
+
 @decorator
 def psgd_update_precond(Q, exprs, G, precond_lr, oq, store_triu_as_line, V):
     """Update Kronecker product preconditioner Q with pair (V, G)."""
     exprA, exprGs, _ = exprs
     A, conjB = psgd_calc_A_and_conjB(exprA, G, Q, V)
+    precond_lr = scalar_guard(precond_lr, G)
 
     for q, exprG, o in zip(Q, exprGs, oq):
-        term1 = promote(torch.einsum(exprG, A, A))
-        term2 = promote(torch.einsum(exprG, conjB, conjB))
-        term1, term2 = term1 - term2, term1 + term2
-        term1 *= precond_lr
+        term1 = torch.einsum(exprG, A, A)
+        term2 = torch.einsum(exprG, conjB, conjB)
+        term1, term2 = _compilable_add_sub_(term1, term2)
         norm = term2.norm(float("inf"))
         if q.dim() < 2:
-            term1 *= q.to(term1.dtype) / norm.clamp_(min=tiny_bf16)
+            _compilable_stochastic_multiply_div_(term1, precond_lr, q, norm)
         else:
-            torch.triu(term1, out=term1)
-            term1 /= torch.where(norm > 0, psgd_lb(term2, norm), norm).clamp_(tiny_bf16)
-            term1 = torch.mm(term1, q.to(term1.dtype))
+            lower_bound = psgd_lb(term2, norm)
+            _prescale_term_(term1, precond_lr, lower_bound, norm)
+            torch.mm(term1, q.to(term1.dtype), out=term1)
         if store_triu_as_line:
-            term1 = triu_to_line([term1])[0][1]  # Convert update to line format
-            # Apply update directly to the tensor part of the state tuple o[1]
-            stochastic_add_(o[1], term1, -1)
+            _subtract_from_line_(q, term1)
         else:
-            # Apply update to the state tensor o
             stochastic_add_(o, term1, -1)
 
 

{heavyball-1.7.1.dist-info → heavyball-1.7.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: heavyball
-Version: 1.7.1
+Version: 1.7.2
 Summary: Efficient Optimizers
 Author-email: HeavyBall Authors <github.heavyball@nestler.sh>
 Project-URL: source, https://github.com/HomebrewML/HeavyBall

heavyball-1.7.2.dist-info/RECORD

@@ -0,0 +1,8 @@
+heavyball/__init__.py,sha256=tt0QMvIbU6IRDexpjSWmWdNEVfYvsPT6-hAWfKrbDQc,20379
+heavyball/chainable.py,sha256=jkiTzaXFjEMJztN3TRGkBV7s0-deCakmR1QGIZHb54o,32635
+heavyball/utils.py,sha256=Y7YkYQhyUEZFUcTPQv6hrAL1gPE9oSydkuIEW5_LxbY,73545
+heavyball-1.7.2.dist-info/licenses/LICENSE,sha256=G9fFZcNIVWjU7o6Pr_4sJBRCNDU5X-zelSxIJ2D48ms,1323
+heavyball-1.7.2.dist-info/METADATA,sha256=iUY20QhT8d6hnb1udkOUnQyfRN_r8MM3Vhb0aq5eGNI,43718
+heavyball-1.7.2.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
+heavyball-1.7.2.dist-info/top_level.txt,sha256=SzCxSVg_qCUPA4kZObW3Zyo4v-d_mMOD-p7a-WXTl2E,10
+heavyball-1.7.2.dist-info/RECORD,,

heavyball/optimizations/__init__.py

@@ -1,38 +0,0 @@
-"""
-PSGD optimization module - optimized implementations of PSGD functions
-to improve execution speed while maintaining numerical equivalence.
-"""
-
-# Import optimized functions
-# Import integrator API
-from .integrator import (
-    enable_optimizations,
-    get_optimization_status,
-    restore_original_functions,
-)
-from .optimizations import (
-    # LRA optimizations
-    low_rank_mm_optimized,
-    lra_precond_optimized,
-    precond_grad_cached_optimized,
-    # KRON optimizations
-    psgd_calc_A_and_conjB_optimized,
-    psgd_precond_grad_optimized,
-    psgd_update_precond_optimized,
-    update_lra_precond_optimized,
-)
-
-__all__ = [
-    # Optimized functions
-    "low_rank_mm_optimized",
-    "update_lra_precond_optimized",
-    "lra_precond_optimized",
-    "psgd_calc_A_and_conjB_optimized",
-    "psgd_update_precond_optimized",
-    "psgd_precond_grad_optimized",
-    "precond_grad_cached_optimized",
-    # Integrator API
-    "enable_optimizations",
-    "restore_original_functions",
-    "get_optimization_status",
-]

heavyball/optimizations/integrator.py

@@ -1,169 +0,0 @@
-"""
-Integration module to selectively enable optimized implementations
-of PSGD functions while maintaining API compatibility.
-"""
-
-import os
-import sys
-from typing import Any, Dict
-
-import torch
-
-from . import optimizations
-from .. import utils
-
-# Store original function references
-_original_functions = {}
-_optimized_functions = {}
-
-# Mapping of original functions to their optimized versions
-OPTIMIZATION_MAP = {
-    # LRA functions
-    utils.update_lra_precond_: optimizations.update_lra_precond_optimized,
-    utils.lra_precond: optimizations.lra_precond_optimized,
-    # KRON functions
-    utils.psgd_update_precond: optimizations.psgd_update_precond_optimized,
-    utils.psgd_precond_grad: optimizations.psgd_precond_grad_optimized,
-    utils.precond_grad_cached_: optimizations.precond_grad_cached_optimized,
-}
-
-# Config for enabling/disabling optimizations
-_config = {
-    "enabled": os.environ.get("HEAVYBALL_OPTIMIZE", "1") == "1",
-    "torch_compile_allowed": os.environ.get("HEAVYBALL_USE_COMPILE", "1") == "1",
-    "enable_lra": True,
-    "enable_kron": True,
-    "verbose": os.environ.get("HEAVYBALL_VERBOSE", "0") == "1",
-}
-
-
-def _apply_monkey_patch(original_func, optimized_func):
-    """Monkey patch a function with its optimized version."""
-    if original_func not in _original_functions:
-        _original_functions[original_func] = original_func
-
-    # Store reference to the optimized function
-    _optimized_functions[original_func] = optimized_func
-
-    # Get the module where the original function is defined
-    module = original_func.__module__
-    func_name = original_func.__name__
-
-    # Replace the function in its module
-    if hasattr(sys.modules[module], func_name):
-        setattr(sys.modules[module], func_name, optimized_func)
-
-        if _config["verbose"]:
-            print(f"Replaced {module}.{func_name} with optimized version")
-    else:
-        if _config["verbose"]:
-            print(f"Warning: Could not find {func_name} in module {module}")
-
-
-def enable_optimizations(
-    enable: bool = True, lra: bool = True, kron: bool = True, torch_compile: bool = True, verbose: bool = False
-):
-    """
-    Enable or disable PSGD optimizations.
-
-    Args:
-        enable: Whether to enable optimizations at all
-        lra: Whether to enable LRA-specific optimizations
-        kron: Whether to enable Kron-specific optimizations
-        torch_compile: Whether to allow torch.compile optimizations
-        verbose: Whether to print optimization status messages
-    """
-    _config["enabled"] = enable
-    _config["enable_lra"] = lra
-    _config["enable_kron"] = kron
-    _config["torch_compile_allowed"] = torch_compile
-    _config["verbose"] = verbose
-
-    if verbose:
-        print(f"PSGD Optimizations: {'enabled' if enable else 'disabled'}")
-        print(f"  - LRA optimizations: {'enabled' if lra else 'disabled'}")
-        print(f"  - KRON optimizations: {'enabled' if kron else 'disabled'}")
-        print(f"  - torch.compile: {'allowed' if torch_compile else 'disabled'}")
-
-    if not enable:
-        # Restore original functions
-        restore_original_functions()
-        return
-
-    # Apply optimizations based on config
-    for orig_func, opt_func in OPTIMIZATION_MAP.items():
-        # Skip LRA functions if disabled
-        if not _config["enable_lra"] and orig_func in [utils.update_lra_precond_, utils.lra_precond]:
-            continue
-
-        # Skip KRON functions if disabled
-        if not _config["enable_kron"] and orig_func in [
-            utils.psgd_update_precond,
-            utils.psgd_precond_grad,
-            utils.precond_grad_cached_,
-        ]:
-            continue
-
-        _apply_monkey_patch(orig_func, opt_func)
-
-    # Disable torch.compile if not allowed
-    if not _config["torch_compile_allowed"]:
-        # Monkey patch torch.compile to be a no-op
-        def _noop_compile(fn, **kwargs):
-            return fn
-
-        if not hasattr(torch, "_original_compile"):
-            torch._original_compile = torch.compile
-            torch.compile = _noop_compile
-            if verbose:
-                print("Disabled torch.compile (replaced with no-op)")
-    else:
-        # Restore original torch.compile
-        if hasattr(torch, "_original_compile"):
-            torch.compile = torch._original_compile
-            del torch._original_compile
-            if verbose:
-                print("Restored original torch.compile")
-
-
-def restore_original_functions():
-    """Restore all original function implementations."""
-    for orig_func, func_ref in _original_functions.items():
-        module = orig_func.__module__
-        func_name = orig_func.__name__
-
-        if hasattr(sys.modules[module], func_name):
-            setattr(sys.modules[module], func_name, func_ref)
-
-            if _config["verbose"]:
-                print(f"Restored original implementation of {module}.{func_name}")
-
-    # Also restore torch.compile if it was modified
-    if hasattr(torch, "_original_compile"):
-        torch.compile = torch._original_compile
-        del torch._original_compile
-        if _config["verbose"]:
-            print("Restored original torch.compile")
-
-
-def get_optimization_status() -> Dict[str, Any]:
-    """Get current optimization status."""
-    return {
-        "enabled": _config["enabled"],
-        "lra_enabled": _config["enable_lra"],
-        "kron_enabled": _config["enable_kron"],
-        "torch_compile_allowed": _config["torch_compile_allowed"],
-        "optimized_functions": list(_optimized_functions.keys()),
-        "original_functions": list(_original_functions.keys()),
-    }
-
-
-# Auto-initialize optimizations based on environment
-if os.environ.get("HEAVYBALL_AUTO_OPTIMIZE", "1") == "1":
-    enable_optimizations(
-        enable=_config["enabled"],
-        lra=_config["enable_lra"],
-        kron=_config["enable_kron"],
-        torch_compile=_config["torch_compile_allowed"],
-        verbose=_config["verbose"],
-    )

heavyball/optimizations/optimizations.py

@@ -1,329 +0,0 @@
-import random
-from typing import List, Optional
-
-import torch
-from torch import Tensor
-
-from .. import utils
-from ..utils import decorator, decorator_knowngood, min_dtype, scalar_guard, tiny_bf16
-
-#############################
-# PSGD LRA OPTIMIZATIONS
-#############################
-
-
-@decorator
-def low_rank_mm_optimized(U: Tensor, V: Tensor, x: Tensor) -> Tensor:
-    """Optimized version of low_rank_mm using fused operations and memory reuse"""
-    dtype = min_dtype([U, V, x])
-    # Convert only once and cache the result
-    U_dt, V_dt, x_dt = U.to(dtype), V.to(dtype), x.to(dtype)
-
-    # Use a more efficient implementation that avoids multiple conversions
-    # torch.bmm can be more efficient than einsum for this specific pattern
-    if U.dim() == 2:  # This is the common case (batch, rank)
-        # Shape of result: (batch, )
-        tmp = torch.mul(U_dt, x_dt.unsqueeze(-1)).sum(dim=0)  # (rank, )
-        result = torch.mv(V_dt, tmp)  # (batch, )
-        return result.to(x.dtype) + x
-    else:
-        # Fallback to original implementation for other dimensionalities
-        return x + torch.einsum("br,gr,g->b", U_dt, V_dt, x_dt).to(x.dtype)
-
-
-@torch.compile(mode="reduce-overhead")
-def update_lra_precond_core(
-    U: Tensor, V: Tensor, d: Tensor, vector: Tensor, hessian_vector: Tensor, eps: float, step: float, delayed: bool
-):
-    """Core computational part of update_lra_precond optimized with torch.compile"""
-    # Here we apply torch.compile to the computational bottleneck
-    # All inputs are already properly typed and processed
-
-    Qh = low_rank_mm_optimized(U, V, d * hessian_vector)
-    Ph = d * low_rank_mm_optimized(V, U, Qh)
-    rank = U.size(1)
-
-    # Cache VtU computation which is used multiple times
-    VtU = torch.einsum("br,bn->rn", V, U)  # (rank, rank)
-    I = torch.eye(rank, dtype=VtU.dtype, device=VtU.device)
-    IpVtU = I + VtU
-    invQtv = vector / d
-
-    # LU factorization to reuse computation
-    LU, pivots = torch.linalg.lu_factor(IpVtU)
-
-    # Compute vectors inline to reduce memory allocation
-    invQtv = invQtv - V @ torch.linalg.lu_solve(LU, pivots, (U.T @ invQtv).view(-1, 1), adjoint=True).flatten()
-    invPv = invQtv - U @ torch.linalg.lu_solve(LU, pivots, (V.T @ invQtv).view(-1, 1)).flatten()
-    invPv = invPv / d
-
-    # Compute nabla D
-    nablaD = Ph * hessian_vector - vector * invPv
-
-    # Compute divisor more efficiently using fused operations
-    Ph_squared = Ph.square()
-    vector_squared = vector.square()
-    hv_squared = hessian_vector.square()
-    invPv_squared = invPv.square()
-
-    divisor = (Ph_squared + vector_squared) * (hv_squared + invPv_squared)
-    divisor = divisor.add(eps).sqrt().max()
-    d_step = step / divisor
-
-    # Compute for gradient update
-    a, b = Qh, invQtv
-
-    # Update either U or V, not both at the same time
-    precond_u = random.random() < 0.5
-    precond = V if precond_u else U
-
-    # Cache computations that get reused
-    atV = torch.einsum("b,br->r", a, precond)
-    btV = torch.einsum("b,br->r", b, precond)
-    atVVt = torch.einsum("r,br->b", atV, precond)
-    btVVt = torch.einsum("r,br->b", btV, precond)
-
-    # Compute step size
-    precond_step = step / (a.norm() * atVVt.norm() + b.norm() * btVVt.norm() + eps)
-
-    # Update precond matrix
-    if precond_u:
-        a_new = torch.einsum("b,r,rg->bg", a, atV, IpVtU)
-        b_new = torch.einsum("b,r,rg->bg", b, btV, IpVtU)
-    else:
-        # Optimize with in-place operations where possible
-        a_new = a + torch.einsum("br,r->b", V, atV)
-        b_new = b + torch.einsum("br,r->b", V, btV)
-        a_new = torch.einsum("b,r->br", a_new, atV)
-        b_new = torch.einsum("b,r->br", b_new, btV)
-
-    # Return updated values
-    return d, nablaD, d_step, U if precond_u else V, b_new - a_new, precond_step, precond_u
-
-
-def update_lra_precond_optimized(
-    U: List[Tensor],
-    V: List[Tensor],
-    d: List[Tensor],
-    vector: Tensor,
-    hessian_vector: Tensor,
-    eps: float,
-    step: float,
-    delayed: bool,
-):
-    """
-    Optimized version of update_lra_precond_ with:
-    1. Reduced memory allocations
-    2. Fused operations
-    3. Torch.compile for core computations
-    4. Better caching of intermediate results
-    """
-    U_orig, V_orig, d_orig = U, V, d
-
-    # Flatten once
-    U_flat, V_flat, d_flat = utils.flatten(U, 1), utils.flatten(V, 1), utils.flatten(d)
-
-    # Convert dtype once
-    dtype = min_dtype([U_flat, V_flat, vector, hessian_vector])
-    U_dt = U_flat.to(dtype)
-    V_dt = V_flat.to(dtype)
-    vector_dt = vector.to(dtype)
-    hv_dt = hessian_vector.to(dtype)
-
-    # Convert scalar once
-    eps_tensor = scalar_guard(eps, vector)
-
-    try:
-        # Run optimized core computation with torch.compile
-        d_flat, nablaD, d_step, precond, update, precond_step, precond_u = update_lra_precond_core(
-            U_dt, V_dt, d_flat, vector_dt, hv_dt, eps, step, delayed
-        )
-
-        # Apply updates efficiently
-        utils.apply_flat_add(d_orig, d_flat * nablaD, -d_step)
-        utils.apply_flat_add(U_orig if precond_u else V_orig, update, precond_step)
-
-        # For immediate updates
-        if not delayed:
-            utils.stochastic_add_([d], [d_flat * nablaD], -d_step)
-            utils.stochastic_add_([U if precond_u else V], [update], precond_step)
-
-        return U_flat.to(U_orig[0].dtype), V_flat.to(V_orig[0].dtype), d_flat.to(d_orig[0].dtype)
-
-    except RuntimeError:
-        # Fallback to original implementation on failure
-        return utils.update_lra_precond_(U, V, d, vector, hessian_vector, eps, step, delayed)
-
-
-@decorator
-def lra_precond_optimized(U, V, d, g):
-    """
-    Optimized version of lra_precond using memory caching and fused operations
-    """
-    # Get the common dtype only once
-    dtype = min_dtype([U, V, d, g])
-
-    # Convert to this dtype once
-    U_dt, V_dt, d_dt, g_dt = U.to(dtype), V.to(dtype), d.to(dtype), g.to(dtype)
-
-    # First part: g_mid = d * g
-    g_mid = d_dt * g_dt
-
-    # Second part: Qh = low_rank_mm(U, V, g_mid)
-    # Use optimized low_rank_mm
-    Qh = low_rank_mm_optimized(U_dt, V_dt, g_mid)
-
-    # Third part: result = d * low_rank_mm(V, U, Qh)
-    result = d_dt * low_rank_mm_optimized(V_dt, U_dt, Qh)
-
-    # Return result in original dtype
-    return result.to(g.dtype)
-
-
-#############################
-# PSGD KRON OPTIMIZATIONS
-#############################
-
-
-@decorator
-def psgd_calc_A_and_conjB_optimized(exprA, G, Q, conjB):
-    """Optimized version of psgd_calc_A_and_conjB using torch.compile and memory reuse"""
-    order = G.dim()
-    if order > 1:
-        conjB = conjB.view_as(G).permute(*range(1, order), 0)
-
-    # Convert dtype once
-    G_dtype = utils.promote(G.dtype)
-    conjB = conjB.to(G_dtype)
-
-    # Compute A using einsum (could be cached if called multiple times with same Q, G)
-    A = utils.casted_einsum(exprA, *Q, G)
-
-    # Process each Q matrix with potential optimizations
-    for i, q in enumerate(Q):
-        q = utils.promote(q)
-        if q.dim() <= 1:
-            # Scalar case - use in-place division
-            conjB.div_(q)
-        else:
-            # Matrix case - use optimized triangular solve
-            # Reshape once and contiguous to optimize memory access
-            conjB_reshaped = conjB.reshape(-1, q.size(0)).contiguous()
-            solved = torch.linalg.solve_triangular(q, conjB_reshaped, upper=True, left=False)
-            conjB = solved.reshape_as(conjB)
-
-        # Only transpose if needed for next iteration
-        if i < order - 1:
-            conjB = conjB.transpose(i, -1)
-
-    return A, conjB
-
-
-@torch.compile(mode="reduce-overhead")
-def psgd_update_precond_core(Q, term1, term2, precond_lr, norm, q):
-    """Core computation of psgd_update_precond optimized with torch.compile"""
-    term1 *= precond_lr
-    if q.dim() < 2:
-        term1 *= q / norm.clamp_(min=tiny_bf16)
-    else:
-        torch.triu(term1, out=term1)
-        term1 /= torch.where(norm > 0, utils.psgd_lb(term2, norm), norm).clamp_(tiny_bf16)
-        term1 = torch.mm(term1, q)
-    return term1
-
-
-def psgd_update_precond_optimized(Q, exprs, G, precond_lr, oq, store_triu_as_line, V):
-    """Optimized version of psgd_update_precond with reduced allocations and torch.compile"""
-    exprA, exprGs, _ = exprs
-
-    # Use optimized A and conjB calculation
-    A, conjB = psgd_calc_A_and_conjB_optimized(exprA, G, Q, V)
-
-    # Process each Q matrix with optimizations
-    for q, exprG, o in zip(Q, exprGs, oq):
-        # Use optimized einsum implementations
-        term1 = utils.promote(torch.einsum(exprG, A, A))
-        term2 = utils.promote(torch.einsum(exprG, conjB, conjB))
-
-        # Compute the update using compiled core function
-        term1, term2 = term1 - term2, term1 + term2
-        norm = term2.norm(float("inf"))
-
-        try:
-            # Try to use the optimized core calculation
-            term1 = psgd_update_precond_core(Q, term1, term2, precond_lr, norm, q.to(term1.dtype))
-        except (RuntimeError, TypeError):
-            # Fallback to original implementation
-            term1 *= precond_lr
-            if q.dim() < 2:
-                term1 *= q.to(term1.dtype) / norm.clamp_(min=tiny_bf16)
-            else:
-                torch.triu(term1, out=term1)
-                term1 /= torch.where(norm > 0, utils.psgd_lb(term2, norm), norm).clamp_(tiny_bf16)
-                term1 = torch.mm(term1, q.to(term1.dtype))
-
-        # Convert to line format if needed
-        if store_triu_as_line:
-            term1 = utils.triu_to_line([term1])[0][1]
-            # Apply update directly
-            if o.dim() > 0:
-                o.add_(term1)
-            else:
-                o = term1
-        else:
-            # Apply update directly
-            o.add_(term1)
-
-
-@decorator_knowngood
-def psgd_precond_grad_optimized(
-    expr: str, ea: Tensor, *preconds: Tensor, caution: bool = False, grad: Optional[Tensor] = None
-):
-    """Optimized version of psgd_precond_grad with better memory management"""
-    if caution:
-        ea = utils._compilable_cautioning(grad, ea)
-
-    # Determine minimum dtype once
-    md = min_dtype(list(preconds) + [ea])
-
-    # Convert all tensors to the same dtype once
-    args = [q.to(md) for q in preconds]
-    ea_md = ea.to(md)
-
-    # Optimize the einsum operation by avoiding duplicate conversions
-    # and potentially making args contiguous if beneficial
-    args_contiguous = [arg.contiguous() if not arg.is_contiguous() else arg for arg in args]
-    args_double = args_contiguous + args_contiguous
-
-    # Call einsum once with the combined args list
-    new = torch.einsum(expr, *(args_double + [ea_md]))
-
-    # Convert result back to original dtype
-    return new.to(ea.dtype)
-
-
-@decorator_knowngood
-def precond_grad_cached_optimized(
-    expr: str, ea: Tensor, *cached_q: Tensor, caution: bool = False, grad: Optional[Tensor] = None, cast: bool = True
-):
-    """Optimized version of precond_grad_cached_ with better memory management"""
-    if caution:
-        ea = utils._compilable_cautioning(grad, ea)
-
-    # Determine minimum dtype once
-    md = min_dtype(list(cached_q) + [ea])
-
-    # Convert all tensors to the same dtype once and make contiguous if needed
-    args = [q.to(md).contiguous() if not q.is_contiguous() else q.to(md) for q in cached_q]
-    ea_md = ea.to(md).contiguous() if not ea.is_contiguous() else ea.to(md)
-
-    # Add ea_md to args
-    args.append(ea_md)
-
-    # Call einsum once with the optimized args
-    new = torch.einsum(expr, *args)
-
-    # Convert result back if needed
-    if cast:
-        return new.to(ea.dtype)
-    return new

heavyball-1.7.1.dist-info/RECORD

@@ -1,11 +0,0 @@
-heavyball/__init__.py,sha256=tt0QMvIbU6IRDexpjSWmWdNEVfYvsPT6-hAWfKrbDQc,20379
-heavyball/chainable.py,sha256=jkiTzaXFjEMJztN3TRGkBV7s0-deCakmR1QGIZHb54o,32635
-heavyball/utils.py,sha256=UoY9XxFD8G0n56Dg7gSIQrt4pfvUAmQDU1Wc6tG5aiM,72135
-heavyball/optimizations/__init__.py,sha256=RZTs49nVN1XURYKchAG6D0V2fNNhq6td8eQ-9waK2OQ,1021
-heavyball/optimizations/integrator.py,sha256=HSkuLldED6Q1krc5oB9gL3ZcsEls7D8wI5GWgXRff5U,5923
-heavyball/optimizations/optimizations.py,sha256=CeGtYenW5lEQzPVMGQ5g6ls1-RRmpYsLVITzVC7vWCM,11541
-heavyball-1.7.1.dist-info/licenses/LICENSE,sha256=G9fFZcNIVWjU7o6Pr_4sJBRCNDU5X-zelSxIJ2D48ms,1323
-heavyball-1.7.1.dist-info/METADATA,sha256=IMsUAVKx3e7JWFWKqj2A78x8nHUQO7CIa3Hh9j3LW88,43718
-heavyball-1.7.1.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
-heavyball-1.7.1.dist-info/top_level.txt,sha256=SzCxSVg_qCUPA4kZObW3Zyo4v-d_mMOD-p7a-WXTl2E,10
-heavyball-1.7.1.dist-info/RECORD,,