Micro-architectural support for metadata coherence in multi-core dynamic information flow tracking