수직동기화는 뭐냐?