macOS GCD - Grand Central Dispatch

htARTE (HackTricks AWS Red Team Expert)からゼロからヒーローまでAWSハッキングを学ぶ htARTE (HackTricks AWS Red Team Expert)を学ぶ！

HackTricksをサポートする他の方法:

HackTricksで企業を宣伝するまたはHackTricksをPDFでダウンロードするにはSUBSCRIPTION PLANSをチェックしてください！
公式PEASS＆HackTricksスウォッグを入手する
The PEASS Familyを発見し、独占的なNFTsのコレクションを見つける
💬 Discordグループまたはtelegramグループに参加するか、Twitter 🐦 @carlospolopmをフォローしてください。
ハッキングトリックを共有するために HackTricksとHackTricks CloudのgithubリポジトリにPRを提出する。

基本情報

Grand Central Dispatch (GCD)、またの名をlibdispatch (libdispatch.dyld) は macOS と iOS の両方で利用可能です。これは、Appleが開発した技術であり、マルチコアハードウェア上での並行（マルチスレッド）実行を最適化するためのアプリケーションサポートを提供します。

GCD は、アプリケーションがブロックオブジェクトの形でFIFOキューにタスクを送信できるように提供し、システムによって完全に管理されるスレッドプールでタスクを実行します。GCD は、ディスパッチキューに送信されたブロックを実行するためにスレッドを自動的に作成し、それらのタスクを利用可能なコアで実行するようスケジュールします。

要するに、並列でコードを実行するために、プロセスはGCDにコードブロックを送信し、その実行を管理します。したがって、プロセスは新しいスレッドを作成しません。GCDは独自のスレッドプールで指定されたコードを実行します（必要に応じて増減する可能性があります）。

これは、並列実行を成功裏に管理するのに非常に役立ち、プロセスが作成するスレッドの数を大幅に減らし、並列実行を最適化します。これは、大規模な並列性（総当たり？）を必要とするタスクや、メインスレッドをブロックすべきでないタスクに最適です。たとえば、iOSのメインスレッドはUIの相互作用を処理するため、アプリがフリーズする可能性のある他の機能（検索、Webへのアクセス、ファイルの読み取りなど）はこの方法で処理されます。

ブロック

ブロックは自己完結型のコードセクション（引数を取り値を返す関数のようなもの）であり、バインド変数を指定することもできます。ただし、コンパイラレベルではブロックは存在せず、os_objectです。これらのオブジェクトのそれぞれは2つの構造体で構成されています:

ブロックリテラル:
ブロックのクラスを指す**isa**フィールドで始まります:
NSConcreteGlobalBlock（__DATA.__constからのブロック）
NSConcreteMallocBlock（ヒープ内のブロック）
NSConcreateStackBlock（スタック内のブロック）
flags（ブロック記述子に存在するフィールドを示す）といくつかの予約バイト
呼び出すための関数ポインタ
ブロック記述子へのポインタ
インポートされた変数（ある場合）
ブロック記述子: データに応じてサイズが異なります（前述のフラグで示されている）
いくつかの予約バイト
サイズ
通常、パラメータに必要なスペースの量を知るためにObjective-Cスタイルのシグネチャへのポインタが含まれます（フラグBLOCK_HAS_SIGNATURE）
変数が参照されている場合、このブロックには値をコピーするコピー補助プログラム（開始時に値をコピーする）と解放補助プログラム（解放する）へのポインタも含まれます。

キュー

ディスパッチキューは、ブロックの実行のためのFIFO順序を提供する名前付きオブジェクトです。

ブロックは実行されるためにキューに設定され、これらはDISPATCH_QUEUE_SERIALとDISPATCH_QUEUE_CONCURRENTの2つのモードをサポートします。もちろん、シリアルは競合状態が発生しないため、前のブロックが終了するまで次のブロックは実行されません。しかし、もう一方のタイプのキューはそれを持つかもしれません。

デフォルトのキュー:

.main-thread: dispatch_get_main_queue()から
.libdispatch-manager: GCDのキューマネージャ
.root.libdispatch-manager: GCDのキューマネージャ
.root.maintenance-qos: 最低優先度のタスク
.root.maintenance-qos.overcommit
.root.background-qos: DISPATCH_QUEUE_PRIORITY_BACKGROUNDとして利用可能
.root.background-qos.overcommit
.root.utility-qos: DISPATCH_QUEUE_PRIORITY_NON_INTERACTIVEとして利用可能
.root.utility-qos.overcommit
.root.default-qos: DISPATCH_QUEUE_PRIORITY_DEFAULTとして利用可能
.root.background-qos.overcommit
.root.user-initiated-qos: DISPATCH_QUEUE_PRIORITY_HIGHとして利用可能
.root.background-qos.overcommit
.root.user-interactive-qos: 最高の優先度
.root.background-qos.overcommit

システムがどのスレッドが各キューを各時点で処理するかを決定します（複数のスレッドが同じキューで作業するか、同じスレッドが異なるキューで作業する可能性があります）

属性

**dispatch_queue_create**でキューを作成する際、3番目の引数はdispatch_queue_attr_tであり、通常はDISPATCH_QUEUE_SERIAL（実際にはNULL）またはDISPATCH_QUEUE_CONCURRENT（キューのいくつかのパラメータを制御できるdispatch_queue_attr_t構造体へのポインタ）です。

ディスパッチオブジェクト

libdispatchが使用するオブジェクトにはいくつかあり、キューとブロックはそのうちの2つです。これらのオブジェクトはdispatch_object_createで作成できます:

block
data: データブロック
group: ブロックのグループ
io: 非同期I/Oリクエスト
mach: Machポート
mach_msg: Machメッセージ
pthread_root_queue: pthreadスレッドプールとワークキューを持つキュー
queue
semaphore
source: イベントソース

Objective-C

Objective-Cでは、並列で実行するためにブロックを送信するための異なる関数があります:

dispatch_async: ブロックを非同期でディスパッチキューに送信し、すぐに返します。
dispatch_sync: ブロックオブジェクトを実行するために送信し、そのブロックの実行が終了した後に返ります。
dispatch_once: アプリケーションのライフタイム中にブロックオブジェクトを1回だけ実行します。
dispatch_async_and_wait: ワークアイテムを実行し、その実行が終了するまでのみ返ります。dispatch_syncとは異なり、この関数はブロックを実行する際にキューのすべての属性を尊重します。

これらの関数は次のパラメータを期待します: dispatch_queue_t queue, dispatch_block_t block

これがブロックの構造体です:

struct Block {
void *isa; // NSConcreteStackBlock,...
int flags;
int reserved;
void *invoke;
struct BlockDescriptor *descriptor;
// captured variables go here
};

そして、dispatch_asyncを使用して並列処理を行う例が以下になります：

#import <Foundation/Foundation.h>

// Define a block
void (^backgroundTask)(void) = ^{
// Code to be executed in the background
for (int i = 0; i < 10; i++) {
NSLog(@"Background task %d", i);
sleep(1);  // Simulate a long-running task
}
};

int main(int argc, const char * argv[]) {
@autoreleasepool {
// Create a dispatch queue
dispatch_queue_t backgroundQueue = dispatch_queue_create("com.example.backgroundQueue", NULL);

// Submit the block to the queue for asynchronous execution
dispatch_async(backgroundQueue, backgroundTask);

// Continue with other work on the main queue or thread
for (int i = 0; i < 10; i++) {
NSLog(@"Main task %d", i);
sleep(1);  // Simulate a long-running task
}
}
return 0;
}

Swift

libswiftDispatchは、元々Cで書かれたGrand Central Dispatch（GCD）フレームワークへのSwiftバインディングを提供するライブラリです。 **libswiftDispatch**ライブラリは、CのGCD APIをよりSwift向けにラップし、Swift開発者がGCDとより簡単かつ直感的に作業できるようにします。

DispatchQueue.global().sync{ ... }
DispatchQueue.global().async{ ... }
let onceToken = DispatchOnce(); onceToken.perform { ... }
async await
var (data, response) = await URLSession.shared.data(from: URL(string: "https://api.example.com/getData"))

コード例:

import Foundation

// Define a closure (the Swift equivalent of a block)
let backgroundTask: () -> Void = {
for i in 0..<10 {
print("Background task \(i)")
sleep(1)  // Simulate a long-running task
}
}

// Entry point
autoreleasepool {
// Create a dispatch queue
let backgroundQueue = DispatchQueue(label: "com.example.backgroundQueue")

// Submit the closure to the queue for asynchronous execution
backgroundQueue.async(execute: backgroundTask)

// Continue with other work on the main queue
for i in 0..<10 {
print("Main task \(i)")
sleep(1)  // Simulate a long-running task
}
}

Frida

次のFridaスクリプトを使用して、複数のdispatch関数にフックし、キュー名、バックトレース、およびブロックを抽出できます：https://github.com/seemoo-lab/frida-scripts/blob/main/scripts/libdispatch.js

frida -U <prog_name> -l libdispatch.js

dispatch_sync
Calling queue: com.apple.UIKit._UIReusePool.reuseSetAccess
Callback function: 0x19e3a6488 UIKitCore!__26-[_UIReusePool addObject:]_block_invoke
Backtrace:
0x19e3a6460 UIKitCore!-[_UIReusePool addObject:]
0x19e3a5db8 UIKitCore!-[UIGraphicsRenderer _enqueueContextForReuse:]
0x19e3a57fc UIKitCore!+[UIGraphicsRenderer _destroyCGContext:withRenderer:]
[...]