¿Todos los hilos en un programa deben ejecutarse simultáneamente?

No, no es obligatorio. Los hilos en un programa se crean para realizar tareas en paralelo o de forma asíncrona, pero eso no significa que todos funcionen siempre al mismo tiempo. Dependiendo del planificador del sistema operativo y los recursos disponibles, los hilos pueden recibir tiempo de CPU de forma alterna.

Por ejemplo, si tienes 4 hilos y 2 núcleos de CPU, solo 2 hilos pueden ejecutarse simultáneamente, los demás esperarán su turno. También, los hilos pueden estar bloqueados esperando entrada/salida o sincronización.

Por lo tanto, tener varios hilos no garantiza su ejecución simultánea, pero permite usar los recursos de manera más eficiente y organizar el trabajo asíncrono.