Shared-Xor-Mutable (SXM) es un patrón de concurrencia y gestión de estado que aborda el desafío de la mutabilidad compartida en entornos donde múltiples actores pueden intentar modificar un recurso. A diferencia de los modelos de bloqueo tradicionales o la inmutabilidad pura, SXM permite que un recurso sea modificado por diferentes actores, pero impone una regla estricta: en cualquier instante, solo un actor tiene el 'derecho' de aplicar una mutación. Esta mutación se conceptualiza a menudo como una operación de tipo XOR, donde el nuevo estado es el resultado de aplicar una 'diferencia' o 'delta' al estado actual. Esto implica que los cambios no son simplemente reemplazos, sino transformaciones que pueden ser 'deshechas' o 'revertidas' aplicando la misma operación XOR, o que múltiples cambios pueden ser combinados de forma idempotente o conmutativa.
Aunque no es un término tan universalmente reconocido como 'CAP Theorem' o 'Paxos', los principios de SXM se encuentran implícitamente en varios sistemas. Por ejemplo, en sistemas de control de versiones distribuidos como Git, las operaciones de 'merge' y 'rebase' manejan cambios concurrentes a un estado compartido (el repositorio). Aunque no es un XOR directo, la resolución de conflictos y la aplicación de parches (deltas) a un estado base reflejan la idea de transformar un estado existente. Otro ejemplo se ve en ciertos sistemas de bases de datos distribuidas o CRDTs (Conflict-free Replicated Data Types) que permiten actualizaciones concurrentes y resuelven conflictos de manera determinista, donde las operaciones son a menudo conmutativas y pueden ser aplicadas en cualquier orden, similar a la propiedad de XOR. En sistemas de procesamiento de eventos, las transformaciones idempotentes aplicadas a un flujo de datos también pueden considerarse una forma de SXM, donde cada evento es un 'delta' que modifica el estado acumulado.
Para un arquitecto, SXM es crucial porque ofrece una alternativa a los modelos de concurrencia más restrictivos (bloqueos) o más costosos (inmutabilidad completa con copias). Permite diseñar sistemas con alta disponibilidad y tolerancia a fallos, ya que las operaciones pueden ser aplicadas de forma asíncrona y los conflictos resueltos de manera inteligente. El trade-off principal radica en la complejidad de diseñar operaciones que sean verdaderamente 'XOR-like' — es decir, conmutativas, asociativas e idempotentes, o al menos que permitan una resolución de conflictos determinista. La elección de SXM es estratégica cuando se necesita un alto rendimiento en escrituras concurrentes y la latencia de la consistencia estricta es inaceptable. Requiere una cuidadosa consideración del modelo de datos y las operaciones permitidas para asegurar la corrección y la coherencia eventual, siendo fundamental para sistemas que operan bajo el principio de 'eventual consistency' o 'optimistic concurrency control'.