EP3752922A1 - TRACE RECORDING BY LOGGING INFLUXES TO AN UPPER-LAYER SHARED CACHE, PLUS CACHE COHERENCE PROTOCOL TRANSITIONS AMONG LOWER-LAYER CACHES