Determining the Minimum Number of Virtual Networks for Different Coherence Protocols

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.

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.

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. 

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)

We provide scripts to run the algorithm and the model checking for all protocols, either individually or all together.