Cómo se forma un entretejido
Dos subsistemas comienzan la vida como módulos independientes. Con el tiempo, cada uno acumula un campo en un objeto compartido de tipo dios: una estructura de configuración global, un administrador singleton, una clase estática. Cada adición: correcta en aislamiento. El acoplamiento: invisible en pruebas a pequeña escala.
Tres subsistemas donde esto se calcificó:
VLC reproductor de medios. Audio, video y reproducción de lista compartan un solo bloqueo que protege el estado de jugador global. Una solicitud de salto a un punto temporal adquiere el bloqueo, modifica la posición de reproducción y vacía el búfer de audio. El subsistema de video, esperando el mismo bloqueo, se detiene. El subsistema de la lista de reproducción, también esperando, no puede prefetchear. Resultado: tres subsistemas independientes serializados a través de un solo objeto de estado. Costo de rendimiento: O (N) donde N es el número de subsistemas, todos proporcionales a la latencia de la operación.
Bucle de eventos Redis. fsync AOF (escritura en disco), replicación (escritura en red) y ejecución de comandos (CPU) comparten el bucle de eventos unificado. Cada uno: correcto en aislamiento. Un fsync lento detiene la ejecución de comandos. La replicación se retrasa bajo carga de escritura. El punto de acoplamiento: un solo contexto de ejecución compartido por operaciones con perfiles de latencia diferentes.
LevelDB VersionSet. Ruta de escritura (flush de memtable) y compactación de fondo comparten el bloqueo de VersionSet. Un trabajo de compactación mantiene el bloqueo durante decenas de milisegundos. La ruta de escritura se detiene. Ambas operaciones: necesarias. El acoplamiento: estructural, no de tiempo.
La distinción crítica
Un entretejido tiene un acoplamiento estructural, no un problema de tiempo. Una condición de carrera: dos hilos acceden al estado compartido sin sincronización. Solución: agregar un mecanismo de exclusión mutua (mutex).
Un entretejido: dos subsistemas comparten estado por diseño. Agregar un mecanismo de exclusión mutua (mutex) no resuelve el acoplamiento; serializa el acceso. Los subsistemas aún comparten estado. El botella se estrecha.
Agregar un mecanismo de exclusión mutua (mutex) a un entretejido de VLC empeora la situación: ahora audio, video y reproducción de lista esperan un solo bloqueo. La solución estructural: dar a cada subsistema su propio estado. Captura de fase: congela una instantánea del estado compartido en el límite de fase, permite que cada subsistema lea la instantánea independientemente y fusiona las escrituras al final.
Estructural vs. Tiempo
La pregunta diagnóstica clave para un Intertangle: ¿agregar un mecanismo de exclusión (mutex) lo arreglaría, o lo empeoraría?
Una condición de carrera: agregar un mutex lo resuelve. El orden correcto del acceso elimina la corrupción.
Un Intertangle: agregar un mutex serializa el acceso pero conserva la acoplamiento estructural. Los sub-sistemas aún comparten estado. Bajo carga, aún se bloquean entre sí. El botella se estrecha.
Cómo encontrar un Intertangle
Tres señales de detección:
1. Campos mutables compartidos entre sub-sistemas. Un objeto divino con campos leídos y escritos por más de un sub-sistema. Si eliminar el acceso a los campos de otro sub-sistema rompe otro sub-sistema, comparten estado.
2. Un mecanismo de exclusión (mutex) protegiendo operaciones no relacionadas. Un bloqueo protegiendo la descarga de audio y la decodificación de video y la recuperación de la lista de reproducción: tres sub-sistemas con diferentes perfiles de latencia, todos esperando entre sí. El olor: operaciones no relacionadas con el mismo nombre de bloqueo.
3. Regresión de rendimiento al agregar carga. El retraso para la operación A aumenta cuando la operación B ejecuta concurrentemente, incluso aunque A y B parezcan independientes. No son independientes: comparten estado.
La solución de instantánea de fase
Patrón de instantánea de fase:
# ANTES: los sub-sistemas lean y escriban directamente en el estado compartido
class GameWorld:
position = {} # mutable compartido
velocity = {} # mutable compartido
def physics_tick(world):
for entity in world.entities:
world.position[entity] += world.velocity[entity] # escribe el estado compartido en medio del bucle# DESPUÉS: instantánea congelada antes del fase; las escrituras van al buffer 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 la frontera de faseCada sub-sistema lee la instantánea. Ningún sub-sistema escribe en ella. Las escrituras se acumulan en un buffer y se fusionan atómicamente en la frontera de fase. Los sub-sistemas ahora ejecutan de manera independiente: no hay contención de bloqueo, no hay dependencia de orden, no hay acoplamiento oculto.
Aplicar la solución
Un equipo informa un defecto: el motor de juego de su equipo tiene el sistema de animación y el sistema de colisión escribiendo en un objeto de transformación de entidad compartida. Cuando ambos corren en el mismo tick, los resultados de colisión dependen de si el sistema de animación corrió primero. Agregar un mutex solucionó el orden, pero ahora el sistema de animación se bloquea cuando el sistema de colisión realiza una búsqueda de amplia fase.