iOS Thread Synchronization Mechanisms and Lock Implementations

iOS provides a rich set of synchronization primitives that allow developers to protect shared resources and coordinate concurrent execution. Understanding their internal behavior and performance characteristics is essential for writing correct and efficient multithreaded code.

NSLock is an Objective‑C wrapper around a pthread_mutex with error‑checking. Its interface includes - (void)lock; , - (void)unlock; , - (BOOL)tryLock; and timed variants. The underlying implementation uses a macro that expands to a call to pthread_mutex_lock and handles error checking.

NSRecursiveLock extends NSLock by using a PTHREAD_MUTEX_RECURSIVE mutex, allowing the same thread to acquire the lock multiple times while tracking the lock count. This is useful for recursive algorithms where re‑entrancy is required.

NSConditionLock adds a condition value to a lock. Methods such as - (void)lockWhenCondition:(NSInteger)condition; and - (void)unlockWithCondition:(NSInteger)condition; let a thread wait until the lock’s condition matches a desired state before proceeding.

NSCondition combines a mutex with a POSIX condition variable ( pthread_cond_t ). It provides - (void)wait; , - (BOOL)waitUntilDate:(NSDate *)limit; , - (void)signal; and - (void)broadcast; to block and wake threads based on arbitrary conditions.

The @synchronized directive offers a concise way to create a scoped lock around any Objective‑C object. Internally it calls objc_sync_enter(obj) at the start of the block and objc_sync_exit(obj) in a @finally clause, ensuring the lock is released even if an exception occurs.

dispatch_semaphore is a GCD‑based counting semaphore. It is created with dispatch_semaphore_create(long value) , waited on with dispatch_semaphore_wait(sema, timeout) , and signaled with dispatch_semaphore_signal(sema) . When the count is zero, waiting threads block without consuming CPU cycles.

pthread_mutex is the POSIX mutex API. It can be initialized statically with PTHREAD_MUTEX_INITIALIZER or dynamically with pthread_mutex_init and attribute objects to select types such as PTHREAD_MUTEX_NORMAL , PTHREAD_MUTEX_ERRORCHECK , PTHREAD_MUTEX_RECURSIVE , or PTHREAD_MUTEX_DEFAULT . Functions pthread_mutex_lock , pthread_mutex_trylock , and pthread_mutex_unlock control access.

OSSpinLock (now deprecated) is a lightweight spin lock implemented as an int32_t . It repeatedly polls the lock variable, which can waste CPU time for long waits and cause priority‑inversion problems, leading Apple to recommend newer primitives instead.

In practice, for simple mutual exclusion without performance constraints, @synchronized is the safest choice. For high‑performance or recursive locking, pthread_mutex (especially with the recursive attribute) or NSRecursiveLock are preferred. When a counting semaphore is needed, dispatch_semaphore offers low overhead and integrates well with GCD. Deprecated spin locks should be avoided in favor of these modern alternatives.