¿Es posible una situación en la que el número de hilos supere la cantidad de núcleos del procesador?

Sí, esa situación es posible. En Go (Golang), la cantidad de hilos (goroutines) puede ser mucho mayor que el número de núcleos de procesador físicos. Las goroutines son hilos ligeros gestionados por el runtime de Go, y pueden ser miles o incluso millones, mientras que el número de núcleos generalmente está limitado por el hardware.

El runtime de Go programa la ejecución de las goroutines en los hilos del sistema disponibles, que a su vez se distribuyen entre los núcleos del procesador. Por lo tanto, la cantidad de goroutines no está limitada por el número de núcleos, sino por los recursos del sistema (memoria y tiempo de CPU). Esto permite aprovechar eficazmente la multitarea y el paralelismo.

Ejemplo:

package main

import (
    "fmt"
    "time"
)

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

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

Aquí se crean 1000 goroutines, mucho más que el número de núcleos, pero el programa funciona correctamente.