Using the __syncthreads() device function