Use mutex as temp replacement for spinlock
Use name-based PPC model selection