Bagaimana Intertangle Terbentuk
Dua subsistem awalnya merupakan modul independen. Seiring waktu, masing-masing menambahkan field pada god-object bersama: sebuah global config struct, singleton manager, atau static class. Setiap penambahan tampak benar jika dilihat secara terpisah. Namun, coupling ini tidak terlihat saat pengujian skala kecil.
Tiga substrat tempat pola ini mengeras:
VLC media player. Audio, video, dan playlist berbagi satu lock yang menjaga global player state. Permintaan skip-to-timestamp mengambil lock, mengubah posisi pemutaran, dan membersihkan audio buffer. Subsistem video yang menunggu lock yang sama menjadi terhenti. Subsistem playlist yang juga menunggu tidak dapat melakukan prefetch. Hasilnya: tiga subsistem independen diserialisasi melalui satu objek state. Biaya performa: O(N) lock contention di mana N = jumlah subsistem, semuanya sebanding dengan latensi operasi.
Redis event loop. AOF fsync (penulisan disk), replikasi (penulisan jaringan), & eksekusi perintah (CPU) berbagi event loop single-threaded. Masing-masing: benar secara terpisah. fsync yang lambat menghentikan eksekusi perintah. Lag replikasi bertambah di bawah beban tulis. Titik penggabungan: satu konteks eksekusi yang dibagi oleh operasi dengan profil latensi berbeda.
LevelDB VersionSet. Jalur tulis (flush memtable) & kompaksi latar belakang berbagi kunci VersionSet. Job kompaksi menahan kunci selama puluhan milidetik. Jalur tulis terhenti. Kedua operasi: diperlukan. Penggabungan: struktural, bukan masalah waktu.
Perbedaan Kritis
Intertangle memiliki penggabungan struktural, bukan masalah waktu. Race condition: dua thread mengakses state bersama tanpa sinkronisasi. Perbaikan: tambahkan mutex.
Intertangle: dua subsistem berbagi state secara desain. Menambahkan mutex tidak memperbaiki penggabungan; itu hanya membuat akses menjadi serial. Subsistem tetap berbagi state. Bottleneck semakin ketat.
Menambahkan mutex pada Intertangle VLC membuatnya lebih buruk: sekarang audio, video, & playlist semua menunggu satu kunci. Perbaikan struktural: berikan setiap subsistem state-nya sendiri. Phase snapshot: bekukan snapshot state bersama di batas fase, biarkan setiap subsistem membaca snapshot secara independen, gabungkan tulisan kembali di akhir.
Struktural vs Waktu
Pertanyaan diagnostik kunci untuk Intertangle: apakah menambahkan mutex akan memperbaikinya, atau justru membuatnya lebih buruk?
Kondisi race: menambahkan mutex memperbaikinya. Pengurutan akses yang benar menghilangkan korupsi data.
Intertangle: menambahkan mutex membuat akses menjadi serial, tetapi tetap mempertahankan kopling struktural. Subsistem-subsistem tersebut masih berbagi state. Di bawah beban, mereka tetap saling memblokir. Bottleneck semakin sempit.
Cara Menemukan Intertangle
Tiga sinyal deteksi:
1. Bidang mutable yang dibagikan antar subsistem. Sebuah god-object dengan field yang dibaca & ditulis oleh lebih dari satu subsistem. Jika menghapus akses field dari satu subsistem merusak subsistem lain, maka mereka berbagi state.
2. Satu mutex yang mengawal operasi yang tidak terkait. Satu kunci yang mengawal audio flush DAN video decode DAN playlist fetch: tiga subsistem dengan profil latensi berbeda, semuanya saling menunggu. Bau kodenya: operasi yang tidak terkait berada di bawah nama kunci yang sama.
3. Regresi performa saat menambah beban. Latensi operasi A meningkat ketika operasi B berjalan secara bersamaan, meskipun A & B tampak independen. Mereka sebenarnya tidak independen: mereka berbagi state.
Perbaikan Phase-Snapshot
Pola phase snapshot:
# SEBELUM: subsistem membaca dan menulis state bersama secara langsung
class GameWorld:
position = {} # state bersama yang bisa berubah
velocity = {} # state bersama yang bisa berubah
def physics_tick(world):
for entity in world.entities:
world.position[entity] += world.velocity[entity] # menulis state bersama di tengah loop# AFTER: snapshot dibekukan sebelum fase; penulisan ditujukan ke buffer next_state
def physics_tick(world):
snapshot = world.freeze() # tampilan yang tidak dapat diubah
next_state = {}
for entity in snapshot.entities:
next_state[entity] = snapshot.position[entity] + snapshot.velocity[entity]
world.merge(next_state) # penggabungan atomik pada batas faseSetiap subsistem membaca snapshot. Tidak ada subsistem yang menulis ke dalamnya. Penulisan terakumulasi di buffer & digabungkan secara atomik pada batas fase. Subsistem kini berjalan secara independen: tidak ada kontensi kunci, tidak ada ketergantungan urutan, tidak ada kopling tersembunyi.
Terapkan Perbaikan
Sebuah tim melaporkan cacat: sistem animasi dan sistem tabrakan pada mesin game mereka sama-sama menulis ke objek transform entitas bersama. Ketika keduanya berjalan dalam tick yang sama, hasil tabrakan bergantung pada apakah animasi dijalankan lebih dulu. Menambahkan mutex memperbaiki urutan, tetapi sekarang animasi tertunda setiap kali collision menjalankan broad-phase sweep.