Determining the Minimum Number of Virtual Networks for Different Coherence Protocols

<p>This is the docker of the artifact for the paper: Determining the Minimum Number of Virtual Networks for Different Coherence Protocols, which is conditionally accpeted by ISCA 2024.</p> <p>Since the paper still in the conditional acceptance stage, we keep the authors' names blind. This document is only used for the artifact volunteer to access the docker.</p> <p>This artifact includes Python code for determining the minimum number of VNs for a given protocol, as well as generating mappings from message types to VNs. </p> <p>It also includes all evaluated protocols in Murphi, corresponding to Experiments (2), (4), (5), and (6) in Table 1. (Note: Protocols in categories (1) and (3) of Table 1 do not need to be evaluated)</p> <p>We provide scripts to run the algorithm and the model checking for all protocols, either individually or all together.</p&gt