Jak utworzyć zakleszczenie w Grand Central Dispatch?

Question

W docs Apple, to mówi:

Ważne: Nigdy nie powinno wywołać dispatch_sync lub dispatch_sync_f funkcję z zadania, które jest wykonywany w tej samej kolejce, że jesteś planuje przekazać do funkcji. Jest to szczególnie ważne w przypadku kolejek szeregowych, które są zabezpieczone przed zakleszczeniem, ale powinny też być unikane w przypadku równoległych kolejek.

Jak napisać kod, aby zrobić dokładnie to?

Answer 1

Celowo impas na pewnej kolejki:

dispatch_queue_t queue = dispatch_queue_create("my.label", DISPATCH_QUEUE_SERIAL); 
dispatch_async(queue, ^{ 
    dispatch_sync(queue, ^{ 
     // outer block is waiting for this inner block to complete, 
     // inner block won't start before outer block finishes 
     // => deadlock 
    }); 

    // this will never be reached 
}); 

To jasne tutaj, że zewnętrzne i wewnętrzne bloki działają na tej samej kolejce. Większość przypadków, w których do tego dojdzie, znajduje się w miejscach, w których mniej oczywiste jest, w którym kolejce dzwoni rozmówca z dispatch_sync. Zwykle występuje to w (głęboko) zagnieżdżonym stosie, w którym wykonywany jest kod w pewnej klasie, która została pierwotnie uruchomiona w określonej kolejce, i przez przypadek wywołujesz dispatch_sync do tej samej kolejki.

Answer 2

prosty kod, który tworzy impasu:

dispatch_queue_t q = dispatch_queue_create("deadlock queue", DISPATCH_QUEUE_SERIAL); 

NSLog(@"1"); 
dispatch_async(q, ^{ 
    NSLog(@"2"); 
    dispatch_sync(q, ^{ 
     NSLog(@"3"); 
    }); 
    NSLog(@"4"); 
}); 
NSLog(@"5"); 

wyjście Log:

1 
5 
2 

Tutaj wewnętrzny blok ma zostać uruchomiony na kolejce szeregowego q ale nie może uruchomić aż aktualny blok jest gotowy, natomiast obecny blok, z kolei, czeka wewnętrznie, aby zakończyć, jak nazywaliśmy to synchronicznie.

Answer 3

Najprostszym sposobem zablokowania jest dispatch_sync od aktualnego kolejki:

dispatch_sync(dispatch_get_current_queue(), ^{}); 

Blokuje gdy prąd kolejka jest kolejką seryjny, na przykład główny kolejek.

Answer 4

W najnowszej składni Swift:

let queue = DispatchQueue(label: "label") 
queue.async { 
    queue.sync { 
     // outer block is waiting for this inner block to complete, 
     // inner block won't start before outer block finishes 
     // => deadlock 
    } 
    // this will never be reached 
}