OS-based cache partitioning method for multicores is used in Linux kernel for production systems