¿Se puede decir con certeza que todas las tareas en la cola serán procesadas por un solo hilo sin excepciones?

En iOS, si se trata de una cola secuencial (serial) DispatchQueue, se puede decir con certeza que todas las tareas en esa cola se ejecutarán en un solo hilo de forma secuencial, sin ejecución paralela. Sin embargo, el hilo en el que se ejecutan las tareas no siempre tiene que ser el mismo: el sistema puede cambiar de hilo entre tareas, pero las tareas no se ejecutarán simultáneamente.

Si la cola es paralela (concurrent), entonces las tareas pueden ejecutarse simultáneamente en diferentes hilos.

Las excepciones pueden ocurrir si dentro de las tareas se crean hilos adicionales o se utilizan otros mecanismos de multihilo. Pero dentro de la propia DispatchQueue serial, las tareas se ejecutan secuencialmente en un solo hilo a la vez.