Обязательно ли все потоки в программе работают одновременно?

Нет, не обязательно. Потоки в программе создаются для выполнения задач параллельно или асинхронно, но это не значит, что все они всегда работают одновременно. В зависимости от планировщика операционной системы и доступных ресурсов, потоки могут поочерёдно получать время процессора.

Например, если у вас 4 потока и 2 ядра CPU, то одновременно могут выполняться только 2 потока, остальные будут ждать своей очереди. Также потоки могут быть заблокированы, ожидая ввода-вывода или синхронизации.

Таким образом, наличие нескольких потоков не гарантирует их одновременное выполнение, но позволяет эффективнее использовать ресурсы и организовывать асинхронную работу.