Простой тест показал, что это имеет место в одном случае, но я должен убедиться. Гарантируется ли это свойство платформой OpenTK для всех потенциальных устройств?
Да, события UpdateFrame и RenderFrame гарантированно возникают в потоке, создавшем GameWindow.