É possível uma situação em que o número de threads exceda o número de núcleos do processador?

Sim, essa situação é possível. Em Go (Golang), o número de threads (goroutines) pode exceder significativamente o número de núcleos físicos do processador. As goroutines são threads leves gerenciadas pelo runtime do Go, e podem ser milhares ou até milhões, enquanto o número de núcleos geralmente é limitado pelo hardware.

O runtime do Go agenda a execução das goroutines nos threads do sistema disponíveis, que por sua vez são distribuídos pelos núcleos do processador. Assim, o número de goroutines não é limitado pelo número de núcleos, mas pelos recursos do sistema (memória e tempo de CPU). Isso permite usar eficientemente a multitarefa e o paralelismo.

Exemplo:

package main

import (
    "fmt"
    "time"
)

func worker(id int) {
    fmt.Printf("Trabalhador %d iniciado\n", id)
    time.Sleep(time.Second)
    fmt.Printf("Trabalhador %d terminado\n", id)
}

func main() {
    for i := 0; i < 1000; i++ {
        go worker(i) // Inicia 1000 goroutines
    }
    time.Sleep(2 * time.Second) // Espera terminar
}

Aqui, são criadas 1000 goroutines, muito mais que o número de núcleos, mas o programa funciona corretamente.