Efficient Synchronization Primitives for GPUs