Use CountingSemaphore in SyncWriter too