Modeling of Live Lines and True Sharing in Multi-Cache Memory Systems