├── .gitignore ├── AUTHORS ├── Dockerfile ├── LICENSE ├── README.md ├── codemeta.json ├── models ├── haswell_l1.dot ├── haswell_l2.dot ├── kabylake_l1.dot ├── kabylake_l3-w4.dot ├── simul │ ├── fifo_4.dot │ ├── fifo_4.png │ ├── lip_4.dot │ ├── lip_4.png │ ├── lru_4.dot │ ├── lru_4.png │ ├── mru_4.dot │ ├── mru_4.png │ ├── plip_4.dot │ ├── plip_4.png │ ├── plru_4.dot │ ├── plru_4.png │ ├── srripfp_4.dot │ ├── srripfp_4.png │ ├── srriphp_4.dot │ └── srriphp_4.png ├── skylake_l1.dot ├── skylake_l2.dot └── skylake_l3-w4.dot ├── polca.sh ├── pom.xml ├── scripts ├── dot_to_constraints.sh ├── isomorph.py └── sketch │ ├── fifo4.sk │ ├── lip4.sk │ ├── lru4.sk │ ├── mru4.sk │ ├── output │ ├── fifo4.clean │ ├── fifo4.out │ ├── fifo4_new.out │ ├── lip4.clean │ ├── lip4.out │ ├── lip4_new.out │ ├── lru4.clean │ ├── lru4.out │ ├── lru4_new.out │ ├── mru4.clean │ ├── mru4.out │ ├── mru4_new.out │ ├── skyl2.clean │ ├── skyl2.out │ ├── skyl2_new.clean │ ├── skyl2_new.out │ ├── skyl3-w4_new.clean │ ├── skyl3-w4_new.out │ ├── skyl3.clean │ ├── skyl3.out │ ├── srripfp4.clean │ ├── srripfp4.out │ ├── srripfp4_new.clean │ ├── srripfp4_new.out │ ├── srriphp4.clean │ ├── srriphp4.out │ ├── srriphp4_new.clean │ └── srriphp4_new.out │ ├── plru4.sk │ ├── skyl2.sk │ ├── skyl3-w4.sk │ ├── srripfp2.sk │ ├── srripfp4.sk │ ├── srriphp2.sk │ ├── srriphp4.sk │ └── templates │ ├── extra.sk │ └── simple.sk ├── src └── main │ └── java │ └── net │ └── vwzq │ └── polca │ ├── CacheSUL.java │ ├── CacheSULOracle.java │ ├── HW.java │ ├── Polca.java │ └── simulator │ ├── Cache.java │ ├── FIFO.java │ ├── LIP.java │ ├── LRU.java │ ├── MRU.java │ ├── PLIP.java │ ├── PLRU.java │ ├── SKYL2.java │ ├── SKYL3.java │ ├── SRRIP-FP.java │ └── SRRIP-HP.java └── tmp └── index /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/.gitignore -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/AUTHORS -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/README.md -------------------------------------------------------------------------------- /codemeta.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/codemeta.json -------------------------------------------------------------------------------- /models/haswell_l1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/haswell_l1.dot -------------------------------------------------------------------------------- /models/haswell_l2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/haswell_l2.dot -------------------------------------------------------------------------------- /models/kabylake_l1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/kabylake_l1.dot -------------------------------------------------------------------------------- /models/kabylake_l3-w4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/kabylake_l3-w4.dot -------------------------------------------------------------------------------- /models/simul/fifo_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/fifo_4.dot -------------------------------------------------------------------------------- /models/simul/fifo_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/fifo_4.png -------------------------------------------------------------------------------- /models/simul/lip_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/lip_4.dot -------------------------------------------------------------------------------- /models/simul/lip_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/lip_4.png -------------------------------------------------------------------------------- /models/simul/lru_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/lru_4.dot -------------------------------------------------------------------------------- /models/simul/lru_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/lru_4.png -------------------------------------------------------------------------------- /models/simul/mru_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/mru_4.dot -------------------------------------------------------------------------------- /models/simul/mru_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/mru_4.png -------------------------------------------------------------------------------- /models/simul/plip_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/plip_4.dot -------------------------------------------------------------------------------- /models/simul/plip_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/plip_4.png -------------------------------------------------------------------------------- /models/simul/plru_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/plru_4.dot -------------------------------------------------------------------------------- /models/simul/plru_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/plru_4.png -------------------------------------------------------------------------------- /models/simul/srripfp_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/srripfp_4.dot -------------------------------------------------------------------------------- /models/simul/srripfp_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/srripfp_4.png -------------------------------------------------------------------------------- /models/simul/srriphp_4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/srriphp_4.dot -------------------------------------------------------------------------------- /models/simul/srriphp_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/simul/srriphp_4.png -------------------------------------------------------------------------------- /models/skylake_l1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/skylake_l1.dot -------------------------------------------------------------------------------- /models/skylake_l2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/skylake_l2.dot -------------------------------------------------------------------------------- /models/skylake_l3-w4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/models/skylake_l3-w4.dot -------------------------------------------------------------------------------- /polca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/polca.sh -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/pom.xml -------------------------------------------------------------------------------- /scripts/dot_to_constraints.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/dot_to_constraints.sh -------------------------------------------------------------------------------- /scripts/isomorph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/isomorph.py -------------------------------------------------------------------------------- /scripts/sketch/fifo4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/fifo4.sk -------------------------------------------------------------------------------- /scripts/sketch/lip4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/lip4.sk -------------------------------------------------------------------------------- /scripts/sketch/lru4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/lru4.sk -------------------------------------------------------------------------------- /scripts/sketch/mru4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/mru4.sk -------------------------------------------------------------------------------- /scripts/sketch/output/fifo4.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/fifo4.clean -------------------------------------------------------------------------------- /scripts/sketch/output/fifo4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/fifo4.out -------------------------------------------------------------------------------- /scripts/sketch/output/fifo4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/fifo4_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/lip4.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/lip4.clean -------------------------------------------------------------------------------- /scripts/sketch/output/lip4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/lip4.out -------------------------------------------------------------------------------- /scripts/sketch/output/lip4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/lip4_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/lru4.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/lru4.clean -------------------------------------------------------------------------------- /scripts/sketch/output/lru4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/lru4.out -------------------------------------------------------------------------------- /scripts/sketch/output/lru4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/lru4_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/mru4.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/mru4.clean -------------------------------------------------------------------------------- /scripts/sketch/output/mru4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/mru4.out -------------------------------------------------------------------------------- /scripts/sketch/output/mru4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/mru4_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/skyl2.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl2.clean -------------------------------------------------------------------------------- /scripts/sketch/output/skyl2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl2.out -------------------------------------------------------------------------------- /scripts/sketch/output/skyl2_new.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl2_new.clean -------------------------------------------------------------------------------- /scripts/sketch/output/skyl2_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl2_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/skyl3-w4_new.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl3-w4_new.clean -------------------------------------------------------------------------------- /scripts/sketch/output/skyl3-w4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl3-w4_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/skyl3.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl3.clean -------------------------------------------------------------------------------- /scripts/sketch/output/skyl3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/skyl3.out -------------------------------------------------------------------------------- /scripts/sketch/output/srripfp4.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srripfp4.clean -------------------------------------------------------------------------------- /scripts/sketch/output/srripfp4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srripfp4.out -------------------------------------------------------------------------------- /scripts/sketch/output/srripfp4_new.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srripfp4_new.clean -------------------------------------------------------------------------------- /scripts/sketch/output/srripfp4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srripfp4_new.out -------------------------------------------------------------------------------- /scripts/sketch/output/srriphp4.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srriphp4.clean -------------------------------------------------------------------------------- /scripts/sketch/output/srriphp4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srriphp4.out -------------------------------------------------------------------------------- /scripts/sketch/output/srriphp4_new.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srriphp4_new.clean -------------------------------------------------------------------------------- /scripts/sketch/output/srriphp4_new.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/output/srriphp4_new.out -------------------------------------------------------------------------------- /scripts/sketch/plru4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/plru4.sk -------------------------------------------------------------------------------- /scripts/sketch/skyl2.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/skyl2.sk -------------------------------------------------------------------------------- /scripts/sketch/skyl3-w4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/skyl3-w4.sk -------------------------------------------------------------------------------- /scripts/sketch/srripfp2.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/srripfp2.sk -------------------------------------------------------------------------------- /scripts/sketch/srripfp4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/srripfp4.sk -------------------------------------------------------------------------------- /scripts/sketch/srriphp2.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/srriphp2.sk -------------------------------------------------------------------------------- /scripts/sketch/srriphp4.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/srriphp4.sk -------------------------------------------------------------------------------- /scripts/sketch/templates/extra.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/templates/extra.sk -------------------------------------------------------------------------------- /scripts/sketch/templates/simple.sk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/scripts/sketch/templates/simple.sk -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/CacheSUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/CacheSUL.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/CacheSULOracle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/CacheSULOracle.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/HW.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/HW.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/Polca.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/Polca.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/Cache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/Cache.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/FIFO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/FIFO.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/LIP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/LIP.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/LRU.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/LRU.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/MRU.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/MRU.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/PLIP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/PLIP.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/PLRU.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/PLRU.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/SKYL2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/SKYL2.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/SKYL3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/SKYL3.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/SRRIP-FP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/SRRIP-FP.java -------------------------------------------------------------------------------- /src/main/java/net/vwzq/polca/simulator/SRRIP-HP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cgvwzq/polca/HEAD/src/main/java/net/vwzq/polca/simulator/SRRIP-HP.java -------------------------------------------------------------------------------- /tmp/index: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------