Как в языке Go реализована модель работы с конкурентностью и синхронизацией?