수정하기 - 커널의 동기화 기법에는 어떤 것들이 있나요?