Describir: Scalability Techniques for Practical Synchronization Primitives.