Есть чудесный файл https://cs.opensource.google/go/go/+/refs/tags/go1.16.6:src/runtime/preempt.go Прямо в заголовке которого кратко описан весь

// Preemption at asynchronous safe-points is implemented by suspending // the thread using an OS mechanism (e.g., signals) там ясно написано про вытеснение и как оно реализовано, а не юзерспейс и ядерный планировщик

0

14.07.2021

Sergey Z.

Roman Timofeev
Ну компилятор навтыкал флажков + инспекция в обраб...

Ну. Да. Ты сам ответил на свой вопрос "Почему бы руками не вызывать планировщик?" Потому что это можно автоматизировать и оптимизировать.

0

14.07.2021

Sergey Z.

c
// Preemption at asynchronous safe-points is imple...

Ядро ничего не знает про горутины. Оно не планирует их выполнение.

0

14.07.2021

Roman Timofeev

Sergey Z.
Ну. Да. Ты сам ответил на свой вопрос "Почему бы р...

Меня смутила история про планировщик в отдельном треде и какую-то инспекцию извне. С таким же успехом можно было вместо safe points раскладывать runtime.Goshed() срабатывающий в какой-то % итераций

0

14.07.2021

c

Roman Timofeev
Меня смутила история про планировщик в отдельном т...

там скорее unsafe points, нежели чем safe points

0

14.07.2021

c

Roman Timofeev
Меня смутила история про планировщик в отдельном т...

я боюсь оно не очень эффективно будет раскладываться

0

14.07.2021

Sergey Z.

Roman Timofeev
Меня смутила история про планировщик в отдельном т...

Goshed, вроде, просто помечает горутину безопасной и дёргает планировщик. У него масштаб другой. А то за тебя компилятор все точечно разметит под каждую конкретную архитектуру процессора, на уровне инструкций.

0

14.07.2021

Roman Timofeev

c
я боюсь оно не очень эффективно будет раскладывать...

Хотя, признаюсь честно что идея с сигналами-изящная

0

14.07.2021

c

Roman Timofeev
Хотя, признаюсь честно что идея с сигналами-изящна...

оно только на *nix на сигналах

0

14.07.2021