AngouriMath

Navigation

← Back to list of members

ScratchPool

 Field

Summary

Held across any call that reaches GenericTensor's shared scratch-matrix pool -- which
is DeterminantLaplace, Adjoint, and InvertMatrix, since inverting
goes through the adjugate. DeterminantGaussianSafeDivision and
MatrixMultiply do not touch the pool and are deliberately not covered.

Remarks

It is private, and the three operations below are the whole surface, because mutual
exclusion here is not a property any one caller can hold up: a single call that skips
the lock corrupts every call that takes it, and reads corrupted minors back. Exposing
the lock lets a caller reach GenericTensor without it; exposing only the operations
does not.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online