Spin lock issue and *double* free