Optimized ARM RWSEM Algorithm