Pode-se afirmar com segurança que todas as tarefas na fila serão processadas por um único thread sem exceções?

No iOS, se estiver a falar de uma fila serial (serial) DispatchQueue, pode dizer com certeza que todas as tarefas nesta fila serão executadas por um único thread de forma sequencial, sem execução paralela. No entanto, o thread em que as tarefas são executadas nem sempre precisa ser o mesmo: o sistema pode alterar o thread entre tarefas, mas as tarefas não serão executadas simultaneamente.

Se a fila for paralela (concurrent), então as tarefas podem ser executadas simultaneamente em diferentes threads.

Exceções podem ocorrer se dentro das tarefas forem criados threads adicionais ou utilizados outros mecanismos de multithreading. Mas no âmbito da própria DispatchQueue serial, as tarefas são executadas sequencialmente por um único thread de cada vez.