macOS GCD - Grand Central Dispatch
Leer & oefen AWS-hacking:HackTricks Opleiding AWS Red Team Expert (ARTE)
Leer & oefen GCP-hacking:
HackTricks Opleiding GCP Red Team Expert (GRTE)
Basiese Inligting
Grand Central Dispatch (GCD), ook bekend as libdispatch (libdispatch.dyld
), is beskikbaar op beide macOS en iOS. Dit is 'n tegnologie ontwikkel deur Apple om programondersteuning te optimaliseer vir gelyktydige (multidraad) uitvoering op multikern hardeware.
GCD voorsien en bestuur FIFO-rye waar jou program kan take indien in die vorm van blokvoorwerpe. Blokke wat na verspreidingsrye gestuur word, word uitgevoer op 'n poel van drade wat volledig deur die stelsel bestuur word. GCD skep outomaties drade vir die uitvoering van die take in die verspreidingsrye en skeduleer daardie take om op die beskikbare kerne uit te voer.
Kortliks, om kode gelyktydig uit te voer, kan prosesse blokke kode na GCD stuur, wat sal sorg vir hul uitvoering. Daarom skep prosesse nie nuwe drade nie; GCD voer die gegewe kode uit met sy eie poel van drade (wat moontlik vermeerder of verminder soos nodig).
Dit is baie nuttig om parallelle uitvoering suksesvol te bestuur, wat die aantal drade wat prosesse skep aansienlik verminder en die parallelle uitvoering optimaliseer. Dit is ideaal vir take wat groot parallelisme vereis (brute-forcing?) of vir take wat nie die hoofdraad moet blokkeer nie: Byvoorbeeld, die hoofdraad op iOS hanteer UI-interaksies, dus enige ander funksionaliteit wat die program kan laat vashang (soek, 'n web besoek, 'n lêer lees...) word op hierdie manier hanteer.
Blokke
'n Blok is 'n selfstandige afdeling kode (soos 'n funksie met argumente wat 'n waarde teruggee) en kan ook gebonde veranderlikes spesifiseer.
Tog, op kompilervlak bestaan blokke nie, hulle is os_object
s. Elkeen van hierdie voorwerpe word gevorm deur twee strukture:
blokliteraal:
Dit begin met die
isa
veld, wat na die blok se klas wys:NSConcreteGlobalBlock
(blokke van__DATA.__const
)NSConcreteMallocBlock
(blokke in die hoop)NSConcreateStackBlock
(blokke in stapel)Dit het
vlaggies
(wat velde aandui wat teenwoordig is in die blokbeskrywing) en 'n paar gereserveerde byteDie funksie-aanwysers om te roep
'n aanwyser na die blokbeskrywing
Ingevoerde blokveranderlikes (indien enige)
blokbeskrywing: Dit se grootte hang af van die data wat teenwoordig is (soos aangedui in die vorige vlaggies)
Dit het 'n paar gereserveerde byte
Die grootte daarvan
Dit sal gewoonlik 'n aanwyser na 'n Objective-C-stylhandtekening hê om te weet hoeveel spasie nodig is vir die parameters (vlag
BLOCK_HAS_SIGNATURE
)As veranderlikes verwys word, sal hierdie blok ook aanwysers hê na 'n kopiehulpprogram (wat die waarde aan die begin kopieer) en 'n verwyderhulpprogram (wat dit vrymaak).
Ryke
'n Verspreidingsry is 'n benoemde voorwerp wat FIFO-orden van blokke vir uitvoering voorsien.
Blokke word in rye geplaas om uitgevoer te word, en hierdie ondersteun 2 modusse: DISPATCH_QUEUE_SERIAL
en DISPATCH_QUEUE_CONCURRENT
. Natuurlik sal die seriële een geen wedstrydkondisieprobleme hê nie aangesien 'n blok nie uitgevoer sal word totdat die vorige een klaar is nie. Maar die ander tipe ry mag dit hê.
Verstekrye:
.main-thread
: Vanafdispatch_get_main_queue()
.libdispatch-manager
: GCD se rybestuurder.root.libdispatch-manager
: GCD se rybestuurder.root.maintenance-qos
: Laagste prioriteitstake.root.maintenance-qos.overcommit
.root.background-qos
: Beskikbaar asDISPATCH_QUEUE_PRIORITY_BACKGROUND
.root.background-qos.overcommit
.root.utility-qos
: Beskikbaar asDISPATCH_QUEUE_PRIORITY_NON_INTERACTIVE
.root.utility-qos.overcommit
.root.default-qos
: Beskikbaar asDISPATCH_QUEUE_PRIORITY_DEFAULT
.root.background-qos.overcommit
.root.user-initiated-qos
: Beskikbaar asDISPATCH_QUEUE_PRIORITY_HIGH
.root.background-qos.overcommit
.root.user-interactive-qos
: Hoogste prioriteit.root.background-qos.overcommit
Let daarop dat dit die stelsel sal wees wat besluit watter drade watter rye op enige tyd hanteer (veral drade kan in dieselfde ry werk of dieselfde draad kan op 'n stadium in verskillende rye werk)
Eienskappe
Wanneer 'n ry geskep word met dispatch_queue_create
is die derde argument 'n dispatch_queue_attr_t
, wat gewoonlik ofwel DISPATCH_QUEUE_SERIAL
(wat eintlik NULL is) of DISPATCH_QUEUE_CONCURRENT
is wat 'n aanwyser na 'n dispatch_queue_attr_t
struktuur is wat toelaat om sekere parameters van die ry te beheer.
Verspreidingsvoorwerpe
Daar is verskeie voorwerpe wat libdispatch gebruik en rye en blokke is net 2 van hulle. Dit is moontlik om hierdie voorwerpe te skep met dispatch_object_create
:
blok
data
: Datablokkegroep
: Groep van blokkeio
: Asyns I/O-versoekemach
: Mach-poortemach_msg
: Mach-boodskappepthread_root_queue
: 'n Ry met 'n pthread-draadpoel en nie werkrye niery
semaphore
bron
: Gebeurtenisbron
Objective-C
In Objective-C is daar verskillende funksies om 'n blok te stuur om parallel uitgevoer te word:
dispatch_async: Stuur 'n blok vir asynchrone uitvoering na 'n verspreidingsry en keer dadelik terug.
dispatch_sync: Stuur 'n blokvoorwerp vir uitvoering en keer terug nadat daardie blok klaar is met uitvoer.
dispatch_once: Voer 'n blokvoorwerp net een keer uit vir die leeftyd van 'n aansoek.
dispatch_async_and_wait: Stuur 'n werkeenheid vir uitvoering en keer slegs terug nadat dit klaar is met uitvoer. Anders as
dispatch_sync
, respekteer hierdie funksie alle eienskappe van die ry wanneer dit die blok uitvoer.
Hierdie funksies verwag hierdie parameters: dispatch_queue_t
ry,
dispatch_block_t
blok
Dit is die struktuur van 'n Blok:
En hierdie is 'n voorbeeld om parallelisme te gebruik met dispatch_async
:
Swift
libswiftDispatch
is 'n biblioteek wat Swift-bindings aan die Grand Central Dispatch (GCD) raamwerk voorsien wat oorspronklik in C geskryf is.
Die libswiftDispatch
biblioteek omhul die C GCD API's in 'n meer Swift-vriendelike koppelvlak, wat dit makliker en meer intuïtief maak vir Swift-ontwikkelaars om met GCD te werk.
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"))
Kodevoorbeeld:
Frida
Die volgende Frida-skrip kan gebruik word om in verskeie dispatch
-funksies in te hake en die tou-naam, die agtervolging en die blok te onttrek: https://github.com/seemoo-lab/frida-scripts/blob/main/scripts/libdispatch.js
Ghidra
Tans het Ghidra nie die ObjectiveC dispatch_block_t
struktuur nie, ook nie die swift_dispatch_block
een nie verstaan nie.
So as jy wil hê dit moet hulle verstaan, kan jy hulle net declare:
![](https://book.hacktricks.xyz/~gitbook/image?url=https%3A%2F%2F843477771-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FC6PyZhjUxJWWaN3uLo1y%252Fuploads%252Fgit-blob-be0bf70c1ce76f3498b587d9a47e30a8d75c64cc%252Fimage%2520%281160%29.png%3Falt%3Dmedia&width=768&dpr=4&quality=100&sign=d756a6b6&sv=1)
![](https://book.hacktricks.xyz/~gitbook/image?url=https%3A%2F%2F843477771-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FC6PyZhjUxJWWaN3uLo1y%252Fuploads%252Fgit-blob-63e406af6ae79cfec58f9bb2d27a0c92c0d01ff8%252Fimage%2520%281162%29.png%3Falt%3Dmedia&width=768&dpr=4&quality=100&sign=fd7688ca&sv=1)
![](https://book.hacktricks.xyz/~gitbook/image?url=https%3A%2F%2F843477771-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FC6PyZhjUxJWWaN3uLo1y%252Fuploads%252Fgit-blob-7fa96fc073762801b1f522126bbf96728c9bbbc6%252Fimage%2520%281163%29.png%3Falt%3Dmedia&width=768&dpr=4&quality=100&sign=12f9a955&sv=1)
Vind dan 'n plek in die kode waar hulle gebruik word:
Merk alle verwysings na "block" op om te verstaan hoe jy kan uitvind dat die struktuur gebruik word.
![](https://book.hacktricks.xyz/~gitbook/image?url=https%3A%2F%2F843477771-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FC6PyZhjUxJWWaN3uLo1y%252Fuploads%252Fgit-blob-03f6a138dbab5269ae9e672f9947daa6e7a745a0%252Fimage%2520%281164%29.png%3Falt%3Dmedia&width=768&dpr=4&quality=100&sign=b43fd21d&sv=1)
Regsklik op die veranderlike -> Herklassifiseer Veranderlike en kies in hierdie geval swift_dispatch_block
:
![](https://book.hacktricks.xyz/~gitbook/image?url=https%3A%2F%2F843477771-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FC6PyZhjUxJWWaN3uLo1y%252Fuploads%252Fgit-blob-46e4a0c83feb38559dddc62968780d804e9afc22%252Fimage%2520%281165%29.png%3Falt%3Dmedia&width=768&dpr=4&quality=100&sign=b18a9107&sv=1)
Ghidra sal outomaties alles herskryf:
![](https://book.hacktricks.xyz/~gitbook/image?url=https%3A%2F%2F843477771-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FC6PyZhjUxJWWaN3uLo1y%252Fuploads%252Fgit-blob-883a9665d63968d8d9051a6d4d2013c67aa4f4b2%252Fimage%2520%281166%29.png%3Falt%3Dmedia&width=768&dpr=4&quality=100&sign=6d02314c&sv=1)
Verwysings
Leer & oefen AWS Hacking:HackTricks Opleiding AWS Red Team Expert (ARTE)
Leer & oefen GCP Hacking:
HackTricks Opleiding GCP Red Team Expert (GRTE)
Last updated