作者丨shankss ? ?

這是某大廠的面試原題，我當時第一問回答對了，然后第二問就涼涼了。

題目描述： 一問：GCD是同步還是異步情況會開啟多線程

答：同步是不會開啟新的線程的，異步才會開啟新的線程。

這個沒啥難度，基本都是必會的。通過代碼驗證同步在串行隊列和并發隊列情況下會不會創建新的線程

驗證代碼：

    dispatch_queue_t serialQueue = dispatch_queue_create("serialQueue", DISPATCH_QUEUE_SERIAL);
    dispatch_queue_t conQueue = dispatch_queue_create("conQueue", DISPATCH_QUEUE_CONCURRENT);

    NSLog(@"(1).=====%@",[NSThread currentThread]);
    dispatch_sync(serialQueue, ^{
      NSLog(@"(2).=====%@",[NSThread currentThread]);
    });
    dispatch_sync(conQueue, ^{
      NSLog(@"(3).=====%@",[NSThread currentThread]);
    });

輸出結果：

(1).====={number = 1, name = main}
(2).====={number = 1, name = main}
(3).====={number = 1, name = main}

可以看出同步是不會產生新的線程。當然問題肯定不會這么簡單就結束了。

二問：異步一定會開啟新的線程嗎。

答：不會，異步在主隊列里不會創建新的線程，在其他串行和并發隊列都會創建新的子線程

驗證代碼：

    dispatch_queue_t mainQueue = dispatch_get_main_queue();
    dispatch_queue_t serialQueue = dispatch_queue_create("serialQueue", DISPATCH_QUEUE_SERIAL);
    dispatch_queue_t conQueue = dispatch_queue_create("conQueue", DISPATCH_QUEUE_CONCURRENT);

    NSLog(@"(1).=====%@",[NSThread currentThread]);
    dispatch_async(serialQueue, ^{
      NSLog(@"(2).=====%@",[NSThread currentThread]);
    });
    dispatch_async(conQueue, ^{
      NSLog(@"(3).=====%@",[NSThread currentThread]);
    });
    dispatch_async(mainQueue, ^{
      NSLog(@"(4).=====%@",[NSThread currentThread]);
    });

輸出結果：

(1).====={number = 1, name = main}
(2).====={number = 3, name = (null)}
(3).====={number = 3, name = (null)}
(4).====={number = 1, name = main}

看結果(1)和(4)可以確定，在異步主隊列確實沒有開啟新的線程，兩個都是main線程，number號為1.

再看(2)和(3)，發現確實是創建了新的線程。但是仔細看線程號?發現（2）和（3） 對應的 number 都是3?。也就是這兩個異步動作只創建了一個新的線程。按照常識來說不是應該創建兩個不同線程嗎？

這兒就要從時間和空間談到GCD對線程調度優化問題了。

GCD在執行多個異步操作的時候，會從時間和空間進行權衡會不會創建新的線程，一般每一個任務開啟一個線程這樣時間最優，但是線程太多會消耗內存空間。所以GCD會自動權衡根據任務分配合適的線程數，從而達到空間和時間的最優。

當然具體GCD是怎么做的，可能需要看源碼了...

這是我給這個問題的總結：

同步：不具備開啟線程的能力，一定串行執行任務

異步：具有開啟線程的能力，但是在主隊列里不會開啟新的線程。如果在串行隊列和并發隊列里開啟n個子線程，gcd優化之后未必會真的有n個子線程。

審核編輯：湯梓紅