Что делает каналы в языке программирования безопасными для потоков и как это достигается?