When P0 writes 100 to X and invalidates X, why is X invalidated for P1 also?

@nassosterz I think it is a characteristic of a write-through cache policy

No, it's the cache controller broadcasting an invalidation message.