在計算機領域，同步就是指一個進程在執行某個請求的時候，若該請求需要一段時間才能返回信息，那麼這個進程將會一直等待下去，直到收到返回信息才繼續執行下去；異步是指進程不需要一直等下去，而是繼續執行下面的操作，不管其他進程的狀態。當有消息返回時系統會通知進程進行處理，這樣可以提高執行的效率。
而我們平時經常討論的同步問題多發生在多線程環境中的數據共享問題。即當多個線程需要訪問同一個資源時，它們需要以某種順序來確保該資源在某一特定時刻只能被一個線程所訪問，如果使用異步，程序的運行結果將不可預料。因此，在這種情況下，就必須對數據進行同步，即限制只能有一個進程訪問資源，其他線程必須等待。
實現同步的機制主要有臨界區、互斥、信號量和事件
1、臨界區：通過對多線程的串行化來訪問公共資源或一段代碼，速度快，適合控制數據訪問。在任意時刻只允許一個線程對共享資源進行訪問，如果有多個線程試圖訪問公共資 源，那麼在有一個線程進入後，其他試圖訪問公共資源的線程將被掛起，並一直等到進入臨界區的線程離開，臨界區在被釋放後，其他線程纔可以搶佔。
2、互斥量：採用互斥對象機制。 只有擁有互斥對象的線程纔有訪問公共資源的權限，因爲互斥對象只有一個，所以能保證公共資源不會同時被多個線程訪問。互斥不僅能實現同一應用程序的公共資源安全共享，還能實現不同應用程序的公共資源安全共享 .互斥量比臨界區複雜。因爲使用互斥不僅僅能夠在同一應用程序不同線程中實現資源的安全共享，而且可以在不同應用程序的線程之間實現對資源的安全共享。
3、信號量：它允許多個線程在同一時刻訪問同一資源，但是需要限制在同一時刻訪問此資源的最大線程數目 。信號量對象對線程的同步方式與前面幾種方法不同，信號允許多個線程同時使用共享資源，這與操作系統中的PV操作相同。它指出了同時訪問共享資源的線程最大數目。它允許多個線程在同一時刻訪問同一資源，但是需要限制在同一時刻訪問此資源的最大線程數目。