Edge case of Release and Probe

[Jerry-Tianchen]

Hi:

I was walking through the code.
Just wondering what will happen if for example:

At time = 1, a Probe to Cacheline A is sent from LLC to MLC via SourceB at LLC.
At time = 2, a Release to Cacheline A is received by LLC from SinkC.

What will the MLC do when it receives the Probe? I notice from the code that it simply assumes the meta is valid via assert (new_meta.hit) at line 656.

The LLC will temporarily block the incoming Release request, but what will happen after the LLC finishes processing the in-flight Probe request?