mutex between syncreq and syncack