Moeten alle threads in een programma gelijktijdig werken?

Nee, dat is niet verplicht. Threads in een programma worden gemaakt om taken parallel of asynchroon uit te voeren, maar dat betekent niet dat ze altijd gelijktijdig werken. Afhankelijk van de scheduler van het besturingssysteem en de beschikbare bronnen, kunnen threads afwisselend CPU-tijd krijgen.

Bijvoorbeeld, als je 4 threads en 2 CPU-kernen hebt, kunnen slechts 2 threads gelijktijdig worden uitgevoerd, de anderen wachten op hun beurt. Ook kunnen threads geblokkeerd zijn terwijl ze wachten op invoer/uitvoer of synchronisatie.

Dus, het hebben van meerdere threads garandeert niet dat ze gelijktijdig worden uitgevoerd, maar maakt het gebruik van bronnen efficiënter en organiseert asynchrone werkzaamheden.