Cómo se forma un Intertangle
Dos subsistemas comienzan su vida como módulos independientes. Con el tiempo, cada uno acumula un campo en un god-object compartido: una estructura de configuración global, un gestor singleton, una clase estática. Cada adición: correcta de forma aislada. El acoplamiento: invisible en pruebas a pequeña escala.
Tres sustratos donde esto se calcificó:
Reproductor multimedia VLC. Audio, vídeo y lista de reproducción comparten un único candado que protege un estado global del reproductor. Una solicitud de saltar a una marca temporal adquiere el candado, modifica la posición de reproducción y vacía el búfer de audio. El subsistema de vídeo, esperando el mismo candado, se detiene. El subsistema de lista de reproducción, también en espera, no puede precargar. Resultado: tres subsistemas independientes serializados a través de un único objeto de estado. Costo de rendimiento: contención de candado O(N) donde N = número de subsistemas, todo proporcional a la latencia de la operación.
Bucle de eventos de Redis. AOF fsync (escritura en disco), replicación (escritura en red) y ejecución de comandos (CPU) comparten el bucle de eventos de un solo hilo. Cada uno: correcto de forma aislada. Un fsync lento bloquea la ejecución de comandos. El retraso de replicación se agrava bajo carga de escritura. El punto de acoplamiento: un único contexto de ejecución compartido por operaciones con perfiles de latencia diferentes.
VersionSet de LevelDB. La ruta de escritura (flush de memtable) y la compactación en segundo plano comparten el candado de VersionSet. Un trabajo de compactación retiene el candado durante decenas de milisegundos. La ruta de escritura se bloquea. Ambas operaciones: necesarias. El acoplamiento: estructural, no temporal.
La Distinción Crítica
Un Intertangle tiene un acoplamiento estructural, no un problema de temporización. Una condición de carrera: dos hilos acceden a un estado compartido sin sincronización. Solución: añadir un mutex.
Un Intertangle: dos subsistemas comparten estado por diseño. Añadir un mutex no soluciona el acoplamiento; serializa el acceso. Los subsistemas siguen compartiendo estado. El cuello de botella se estrecha.
Añadir un mutex a un Intertangle de VLC lo empeora: ahora audio, vídeo y lista de reproducción esperan por un único candado. La solución estructural: dar a cada subsistema su propio estado. Instantánea de fase: congelar una instantánea del estado compartido en el límite de fase, permitir que cada subsistema lea la instantánea de forma independiente, fusionar las escrituras al final.
Estructural vs Temporización
La pregunta diagnóstica clave para un Intertangle: ¿añadir un mutex lo solucionaría, o lo empeoraría?
Una condición de carrera: agregar un mutex la corrige. El orden correcto de acceso elimina la corrupción.
Un Intertangle: agregar un mutex serializa el acceso pero conserva el acoplamiento estructural. Los subsistemas siguen compartiendo estado. Bajo carga, siguen bloqueándose entre sí. El cuello de botella se estrecha.
Cómo encontrar un Intertangle
Tres señales de detección:
1. Campos mutables compartidos entre subsistemas. Un objeto-dios con campos leídos y escritos por más de un subsistema. Si eliminar el acceso a un campo de un subsistema rompe otro subsistema, comparten estado.
2. Un solo mutex protegiendo operaciones no relacionadas. Un solo candado protegiendo el vaciado de audio Y la decodificación de vídeo Y la obtención de listas de reproducción: tres subsistemas con perfiles de latencia diferentes, todos esperando entre sí. El olor: operaciones no relacionadas bajo el mismo nombre de candado.
3. Regresión de rendimiento al añadir carga. La latencia de la operación A aumenta cuando la operación B se ejecuta de forma concurrente, aunque A y B parezcan independientes. No son independientes: comparten estado.
La solución Phase-Snapshot
Patrón de instantánea de fase:
# ANTES: los subsistemas leen y escriben estado compartido directamente
class GameWorld:
position = {} # estado mutable compartido
velocity = {} # estado mutable compartido
def physics_tick(world):
for entity in world.entities:
world.position[entity] += world.velocity[entity] # escribe estado compartido dentro del bucle# DESPUÉS: instantánea congelada antes de la fase; las escrituras van al búfer next_state
def physics_tick(world):
snapshot = world.freeze() # vista inmutable
next_state = {}
for entity in snapshot.entities:
next_state[entity] = snapshot.position[entity] + snapshot.velocity[entity]
world.merge(next_state) # fusión atómica en el límite de faseCada subsistema lee la instantánea. Ningún subsistema escribe en ella. Las escrituras se acumulan en un búfer y se fusionan de forma atómica en el límite de fase. Los subsistemas ahora se ejecutan de forma independiente: sin contención de bloqueos, sin dependencia de orden, sin acoplamiento oculto.
Aplicar la corrección
Un equipo informa de un defecto: el sistema de animación y el sistema de colisiones del motor de juego escriben ambos en un objeto de transformación de entidad compartido. Cuando ambos se ejecutan en el mismo tick, los resultados de colisión dependen de si la animación se ejecutó primero. Añadir un mutex corrigió el orden, pero ahora la animación se detiene cada vez que la colisión realiza un barrido de fase amplia.