Optimized ARM RWSEM algorithm]