Todos os threads num programa precisam de funcionar ao mesmo tempo?

Não, não é obrigatório. Os threads num programa são criados para executar tarefas em paralelo ou de forma assíncrona, mas isso não significa que todos eles estejam sempre a trabalhar ao mesmo tempo. Dependendo do agendador do sistema operativo e dos recursos disponíveis, os threads podem alternar o uso do processador.

Por exemplo, se tiver 4 threads e 2 núcleos de CPU, apenas 2 threads podem estar a executar ao mesmo tempo, os outros aguardam a sua vez. Além disso, os threads podem estar bloqueados à espera de entrada/saída ou sincronização.

Assim, a existência de múltiplos threads não garante a sua execução simultânea, mas permite usar os recursos de forma mais eficiente e organizar o trabalho assíncrono.