Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors