CMPXCHG16B

Chello ca t'hê 'a sapé

Comme fonsiona

A strazziona confronta n'operando 'e memoria a 128-bit cu 'o valore 'nzertato dinto RDX:RAX, e po a cundizziona sarva RCX:RBX o carreca 'o valore 'e memoria truvato dinto 'e reggistre d'o valore 'nzertato. Ll'operando 'e memoria adda rispetti l'alliniamento a 16 byte. L'uso atomico dinto 'a memoria cundivisa cerca 'a semantica LOCK apposta.

Addò serve

Nu runtime po usa 'sta strazziona pe n'agghiuornamento atomico 'e nu puntatore taggato o d'un para 'e parole d'a machina. Ll'API atomica d'o cumpilatore tene cunto pure 'e ll'ordene 'e memoria, 'e ll'alliniamento d'o tipo e d'o riturno 'e riserva; l'assembly scanzato a mmano adda rispettà tutti 'sti patti.

Comme se cuntrolla 'o supporto e ll'abbilitazzione

CPUID.01H:ECX bit 13 fa vedé CMPXCHG16B. Cuntrolla 'e promesse atomiche d'a psABI e d'o runtime nzieme a 'o bit hardware. Usa 'a verifeca atomica d'a lengua pe decidere si n'operazziona e lock-free.

Cuntrolla 'a struzzione esatta e 'a forma 'e ll'operando mméce 'e supponere 'o supporto da n'estenzione vicina. 'E funzionalita scalari intere 'e soleto ausano riggistre p'uso generale; na codifeche assuciata ch' 'e vetturi nun vo dicere pe fforza ca serve 'o stato vetturiale.

Chello ca 'a funzionalita nun stabbilisce

A strazziona nun e n'uneta aritemmeteca generale a 128-bit, e 'a presenza soja nun vo dicere ca 'o tipo atomico a 128-bit 'e ogne lengua sia lock-free dinto a tutte 'e custruzzione. N'alliniamento scuncertato po da errore pure ngopp'a na CPU addo se po fa.

Cumpatibbilita e prestazziune dint' 'a prateca

'A currettezza dipènne d' 'e casi limite e pure d' 'a velocita. Input a zero, overflow, flag 'e carry, larghizza 'e ll'operando, allineamento e urdenamento d' 'a memoria ponno cagnà 'a semanteca. È meglio ausà 'e 'nterfacce d' 'o compilatore o d' 'e libbrerie ca documentano sti dettaglie e furnesceno n'alternativa supportata.

Na lista 'e verifeca prateca

1. Riggistra 'o mudello esatto d' 'o prucessore o d' 'a piattaforma e 'e vversione 'e ll'applicazzione, d' 'o sistema operativo e d' 'o runtime cumbulute. Mantien' 'e pparole esatte 'e ll'errore o d' 'o requisito overo.
2. Cuntrolla 'o riferimento d' 'o costruttore pe chillu mudello esatto, po verifeca 'a capacita effettiva e 'o stato abbilitato dint'a ll'ambiente addò gira 'o prugramma.
3. Cunfrunta ogne requisito d' 'o binario o backend sciveto. Na funzionalita cu nu nomme sumigliante, n'alias o n'etichetta tecnologgeca generale nun abbasta.
4. Cunferma ca ll'applicazzione ha sciveto ll'implementazzione vuluta. Ausa 'a diagnosteca documentata soja e n'alternativa supportata quanno 'e requisite nun songo rispettate.
5. Fa nu sulo cagnamento supportato a ll'avota e ripete 'o stesso carico 'e fatica. Mantien' 'a cunfigurazzione origginale e 'a via 'e recuppero a portata 'e mana.

Si 'a funzionalita sta scritta ma 'o software nun 'a po ausà

Pparti d' 'o cumponente esatto ca falla. Nu database hardware descrive 'a capacita riggistrata; 'o sistema operativo o ll'hypervisor po mustrà n'ambiente effettivo diverzo. N'errore 'e struzzione illegale addimanna pure 'e verificà 'a struzzione ca sgarra overamente e 'a build d' 'o binario, pecché na corruzzione o n'ata struzzione nun supportata po dà nu sintomo simile.

Stalla 'a vversione 'e ll'applicazzione, d' 'o driver o d' 'o runtime supportata p' 'a piattaforma esatta, e ausa 'a baseline documentata d' 'o costruttore o na build 'e fallback si serve. N'aggiurnamento software nun po crià na struzzione ca 'o prucessore nun tene. 'E cagnamiente a 'o firmware e 'e puliteche 'e sicurezza hann' 'a siguità 'a prucedura d' 'o costruttore d' 'o sistema e nu pピアノ 'e recuppero mméce 'e na ricetta generale 'e uttimizzazzione.

Funzionalita cullegate e distinzziune utele

x86-64-v2 · 64-bit (x86-64) · ADX

Funte e ambito 'e sta spiegazzione

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: levielle d'architettura e microarchitettura d'o prucessore

Sti riferimente stabbilisceno 'o cumpurtamento 'e ll'architettura e 'e requisite d' 'o software. Nun verificano 'e manera 'ndipennente ogne valore 'e funzionalita ngopp'a na paggena 'e nu mudello hardware culegato. P' 'o supporto d' 'o mudello, ausa ll'evidenze d' 'o costruttore 'e chella paggena e verifeca 'a cunfigurazzione effettiva d' 'o sistema. St'articulo nun furnesce benchmark, certificazzione o data 'e revisone 'ndipennente.

Cose cullegate

Sti ccose songo cullegate a chist'articulo. 'O tipo se vede 'ncopp'a ogne cullegamento.

Funte e verìfeca

Prupietà editoriale: Feex. Nisciuna data 'e revisizzione 'ndipennente è riggistrata. Comme facimmo 'e recerche.

• Intel 64 and IA-32 Architectures Software Developer's Manual · 'E Vulume 1 e 2 descrivono 'e ffamiglie 'e struzzione cu nomme e 'o CPUID; 'o Vulume 3 descrive 'o stato, 'a pagginazzione, VMX e 'e cuntrolle 'e prutezzione. 'A documentazzione 'e ll'architettura nun stabbilisce 'o supporto pe nu mudello particulare.
• x86-64 psABI: levielle d'architettura e microarchitettura d'o prucessore · Machine Interface, Processor Architecture: tabbella d'e cundizzione 'e base e cumulative v2/v3/v4, cuntrolle d'o stato d'o SO e cunsiglie p'o sveluppo.