Jonathan Basseri b874d2789b Add metrics to equivalence cache. ...

This adds counters to equiv. cache reads & writes. Reads are labeled by
hit/miss, while writes are labeled to indicate whether the write was
discarded.

This will give us visibility into,
- hit rate of cache reads
- ratio of reads to writes
- rate of discarded writes

2018-08-15 15:51:13 -07:00

5.9 KiB

Raw Blame History

View Raw