Efficient operating system scheduling for performance-asymmetric multi-core architectures | Synapse