How does dispatch queue achieve thread safety without locks?

Serial queues guarantee ordered execution of blocks.

GCD serial queues enforce FIFO execution. Only one block executes at a time, eliminating race conditions without mutex locks. Internally uses work queues and thread pool scheduling.