История изменений
Исправление Nervous, (текущая версия) :
есть альтернативные технологии для многопоточности где возникает каким-то образом доказательство корректности?
Можно глянуть тут. Это, конечно, не альтернативные волшебные технологии, которые сделают блокировки в принципе ненужными — но, по крайней мере, тебе не придётся заниматься этим самому вручную. Примерно как сборщик мусора не искореняет необходимость выделять и освобождать память, просто автоматизирует процесс.
Исходная версия Nervous, :
есть альтернативные технологии для многопоточности где возникает каким-то образом доказательство корректности?
Можно глянуть тут. Это, конечно, не альтернативные волшебные технологии, которые сделают блокировки ненужными — но, по крайней мере, тебе не придётся заниматься этим самому вручную. Примерно как сборщик мусора не искореняет необходимость выделять и освобождать память, просто автоматизирует процесс.