Аудит потокобезопасности подсистем кэша

testing

audit-subsystem-safety — это скилл для Claude Code, который проводит целевой аудит конкурентной корректности одного из подсистем кэша: eviction, refresh, write-buffer, compute, expiration, references или read. Для каждого метода в области видимости скилл перечисляет разделяемые мутируемые поля с режимами доступа (plain, opaque, acquire, release, volatile, CAS), фиксирует удерживаемые блокировки и анализирует happens-before отношения между парами операций записи и чтения. Отдельно строятся конкретные 2- или 3-поточные чередования, способные нарушить постусловия методов — особенно в точках перехода состояния узла (alive → retired → dead). Проверяются инварианты: однонаправленность жизненного цикла узла, сходимость weightedSize, порядок блокировок evictionLock → CHM bin lock → synchronized(node) и семантика acquire/release поля value. Подходит командам, разрабатывающим высоконагруженные кэши на JVM и ищущим data race и нарушения JMM в конкретных подсистемах.