GCD-主线程上同步执行主队列任务卡死的原因

主线程的特点：主线程会先执行主线程上的代码，然后去执行主队列中的任务。
同步执行dispatch_sync函数的特点：只有执行完通过该函数添加到某个队列的任务执行完，才会返回。
主队列是串行队列
全局队列是并行队列

1.验证主线程的特点

由于直接在主线程加入同步主线程队列会卡死，所以先开辟一个子线程，在子线程中验证

1.1在全局队列中开启异步任务，在这个异步任务中开启多个同步队列（非主队列）的同步任务。

   NSLog(@"主线程,没进入子线程代码");
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"子线程，开始同步队列（非主队列）任务之前");
        for (int i = 0; i < 10; i++) {
            dispatch_sync(dispatch_queue_create("serial", DISPATCH_QUEUE_SERIAL), ^{
                NSLog(@"i = %d,同步队列（非主队列）中的任务", i);
            });
        }
        NSLog(@"子线程，同步队列（非主队列）任务结束");
    });
    for (int j = 0; j < 10; j++) {
        NSLog(@"主线程，已经经过子线程代码j=%d", j);
    }

运行结果

主线程,没进入子线程代码
主线程，已经经过子线程代码j=0
子线程，开始同步队列（非主队列）任务之前
主线程，已经经过子线程代码j=1
主线程，已经经过子线程代码j=2
 i= 0,同步队列（非主队列）中的任务
主线程，已经经过子线程代码j=3
主线程，已经经过子线程代码j=4
 i= 1,同步队列（非主队列）中的任务
 i= 2,同步队列（非主队列）中的任务
 i= 3,同步队列（非主队列）中的任务
 i= 4,同步队列（非主队列）中的任务
子线程，同步队列（非主队列）任务结束

由运行结果可以知道，串行队列中的五个任务是按顺序执行的，主线程中的代码和串行队列中的任务是并列执行的（因为串行队列是在全局队列开辟的子线程中添加任务的）。

1.2在全局队列中开启异步任务，在这个异步任务中开启多个主队列的同步任务

NSLog(@"主线程,没进入子线程代码");
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"子线程，开始主队列任务之前");
        for (int i = 0; i < 5; i++) {
            dispatch_sync(dispatch_get_main_queue(), ^{
                NSLog(@"i = %d,主队列中的任务", i);
            });
        }
        NSLog(@"子线程，主队列任务结束");
    });
    for (int j = 0; j < 5; j++) {
        NSLog(@"主线程，已经经过子线程代码j=%d", j);
    }

打印结果

主线程,没进入子线程代码
主线程，已经经过子线程代码j=0
子线程，开始主队列任务之前
主线程，已经经过子线程代码j=1
主线程，已经经过子线程代码j=2
主线程，已经经过子线程代码j=3
主线程，已经经过子线程代码j=4
i = 0,主队列中的任务
i = 1,主队列中的任务
i = 2,主队列中的任务
i = 3,主队列中的任务
i = 4,主队列中的任务
子线程，主队列任务结束

多次打印结果发现，i =0,1,2,3,4的打印始终在j=0,1,2,3,4之后，子线程，开始主队列任务之前的打印则在j=0,1,2,3,4中间。
由上面两次执行结果对比可以得出结论：
主队列中的任务必须在主线程中的代码执行完之后才会调用。
普通的串行队列的任务可以跟主线程的代码并发执行。

2.验证dispatch_sync函数会先执行通过函数添加到队列的任务才会接下去执行主线程的代码

NSLog(@"主线程=%@,没进入循环", [NSThread currentThread]);
    for (int i = 0; i< 100; i++) {
        dispatch_sync(dispatch_queue_create("serial", DISPATCH_QUEUE_SERIAL), ^{
            NSLog(@"当前线程%@, i = %d", [NSThread currentThread], i);
        });
    }
    for (int j = 0; j < 5; j++) {
        NSLog(@"主线程=%@，已经经过循环j=%d", [NSThread currentThread],j);
    }

打印结果

主线程={number = 1, name = main},没进入循环
当前线程{number = 1, name = main}, i = 0
当前线程{number = 1, name = main}, i = 1
······
当前线程{number = 1, name = main}, i = 99
主线程={number = 1, name = main}，已经经过循环j=0
主线程={number = 1, name = main}，已经经过循环j=1
主线程={number = 1, name = main}，已经经过循环j=2
主线程={number = 1, name = main}，已经经过循环j=3
主线程={number = 1, name = main}，已经经过循环j=4

打印结果说明在主线程开启串行队列的同步任务，不会开启新线程，串行队列中的同步任务会在主线程中按顺序执行。并且主线程中dispatch_sync代码块之后的代码要等执行完dispatch中的代码后，才会接着执行。
所以通过上面的验证可以得出：
如果在主线程中开启主队列的同步任务

dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"在主线程中开启主队列的同步任务");
    });

会卡死，因为主线程需要等主线程中的任务完成之后才会去执行主队列的任务，而dispatch_sync函数中的代码需要等到执行完才会返回。两者互相等待，即主队列中的任务在等主线程执行完，主线程在等dispatch_sync函数中的任务执行完，所以卡死。