Что произойдет с программой, если поставить GOMAXPROCS = 1 и запустить горутину с бесконечным циклом?

Влияние GOMAXPROCS=1 на программу с бесконечным циклом в горутине

При установке GOMAXPROCS=1 и запуске горутины с бесконечным циклом произойдет полная блокировка планировщика Go (scheduler), что приведет к необратимой остановке выполнения всех остальных горутин в программе, включая основную горутину main. Это классический пример голодания планировщика (scheduler starvation) в однопоточном режиме выполнения.

Детальный механизм блокировки

1. Планировщик Go в однопоточном режиме:

   • При GOMAXPROCS=1 планировщик имеет только один системный поток (M), который выполняет горутины.
   • Планировщик использует кооперативную многозадачность между горутинами, переключаясь между ними в определенных точках (preemption points).

2. Поведение бесконечного цикла:

   • Бесконечный цикл без вызовов блокирующих операций не создает точек вытеснения (preemption).
   • В версиях Go до 1.14 планировщик полагался на кооперативное вытеснение, поэтому бесконечный цикл мог вечно удерживать поток.
   • Начиная с Go 1.14, реализовано асинхронное вытеснение на основе сигналов ОС, но оно имеет ограничения.

Практический пример

Рассмотрим код, демонстрирующий проблему:

package main

import (
    "fmt"
    "runtime"
    "time"
)

func main() {
    runtime.GOMAXPROCS(1) // Устанавливаем один логический процессор
    
    go func() {
        for {
            // Бесконечный цикл без точек вытеснения
            // В современных версиях Go компилятор может вставить
            // неявные точки вытеснения в некоторые циклы
        }
    }()
    
    time.Sleep(time.Millisecond * 100) // Даем время на запуск горутины
    
    // Эта горутина никогда не выполнится
    go func() {
        fmt.Println("Эта строка никогда не будет выведена")
    }()
    
    // Основная горутина также заблокируется
    fmt.Println("Эта строка может быть выведена, если планировщик успеет переключиться")
    time.Sleep(time.Second * 2)
}

Ключевые аспекты поведения

В современных версиях Go (1.14+):

• Компилятор Go автоматически вставляет точки вытеснения в некоторые циклы
• Асинхронное вытеснение может прервать горутину через отправку сигнала SIGURG
• Однако, если цикл не содержит вызовов функций и оптимизирован компилятором, вытеснение может не сработать

Версии Go до 1.14:

• Бесконечный цикл гарантированно блокировал планировщик
• Единственный способ избежать блокировки - добавить явные точки вытеснения

Как предотвратить блокировку

Для корректной работы с GOMAXPROCS=1 необходимо добавлять в циклы явные точки вытеснения:

func worker() {
    for {
        // Полезная работа
        
        // Явная точка вытеснения
        runtime.Gosched() // Добровольно уступаем процессор
        
        // Или блокирующие операции
        time.Sleep(time.Nanosecond)
        
        // Или вызов любой функции, которая может быть прервана
        someFunctionCall()
    }
}

Практические последствия

1. Отладка и тестирование:

   • GOMAXPROCS=1 иногда используется для детерминированного тестирования конкурентных программ
   • Необходимо тщательно проектировать горутины, чтобы избежать голодания

2. Производительность:

   • Даже с одним потоком планировщик может эффективно работать, если горутины периодически уступают управление
   • Длительные вычисления без точек вытеснения нарушают fairness планировщика

3. Системные ограничения:

   • В реальных приложениях редко устанавливают GOMAXPROCS=1, кроме специальных случаев
   • По умолчанию Go использует значение, равное количеству ядер CPU

Вывод

Установка GOMAXPROCS=1 с бесконечным циклом в горутине создает критическую ситуацию блокировки планировщика, которая в современных версиях Go частично mitigated за счет асинхронного вытеснения, но все равно требует осторожности при проектировании. Разработчикам следует всегда добавлять явные или неявные точки вытеснения в длительные вычисления, особенно при работе с ограниченным количеством потоков выполнения.