Write a function swap(int a, int b) that exchanges the values of these two variables. Make sure this function is thread-safe (i.e. make sure no race conditions can occur).