BMI1

Rifirimentu d'archititturaFeex

BMI1 esti n'estinzioni x86 pâ manipulazzioni di bit scalari, nclusi l'estrazzioni di bit, l'isulamentu di bit e lu cunteggiu dî zeri finali. Funziuna supra riggistri a nteri pi scopi ginirali cchiutostu ca supra corsii vitturiali.

Chiḍḍu ca t'hà sapiri

Comu funziona

L'estinzioni ncludi ANDN, BEXTR, BLSI, BLSMSK, BLSR e TZCNT. St'upirazzioni cùncianu passaggi di màschira, silizzioni o cunteggiu chi si no avìssiru bisognu di siquenzi cchiù longhi. L'effetti dî flag spicìfici di l'istrubbzioni e li casi lìmiti fannu parti dû cuntrattu, spiciarmenti quannu n'input esti zeru.

Unni e' ùtili

N'itiraturi di bitset pò annullari lu so bit impostu cchiù vasciu cu BLSR, mentri un dicudificaturi pò estràriri un campu cu BEXTR. Si chistu aiuta o menu dipenni dî dipinnenzi e di l'implimintazzioni di target. BEXTR non esti un gather arbitràriu di bit non cuntìgui.

Comu cuntrollari lu supportu e l'abbilitazzioni

Cuntrolla CPUID.07H.00H:EBX bit 3 pi BMI1. Usa lu dispatch dî carattirìstichi cchiutostu ca pruvari si TZCNT pari ca s'esègui. Lu risurtatu cu input a zeru e lu cumpurtamentu dî flag hannu a currispùnniri â semàntica privista pi l'istrubbzioni.

Cuntrolla la struzzioni esatta e la forma di l'upirannu mmeci d'accanzari lu supportu d'una estinzioni vicina. Li funziunalitati a nteri scalari ùsanu ginirarmenti riggistri pi scopi ginirali; na cudìfica assuciata chî vettura nun signìfica autumaticamenti un requisitu di statu vitturiali.

Zoccu la funziunalitati nun stabbilisci

BMI1 non ìngròbba BMI2, POPCNT, LZCNT o lu supportu dû statu OS AVX. TZCNT sparti na rilazzioni di cudìfica cu n'istrubbzioni cchiù antica, pirciò n'esecuzzioni non suppurtata pò prudùciri semàntichi diffirenti mmeci d'un fallimentu pulitu.

Cumpatibbilitati e pristazzioni nnâ pràtica

La currittizza dipenni dî casi lìmiti accussì comu dâ vilucitati. Input zeru, overflow, flag di riportu, larghizza di l'upirannu, alliniamentu e urdinamentu dâ mimoria ponnu canciari la semàntica. Prifirisci li ntirfacci di cumpilaturi o di libbrirìi ca ducumèntanu sti dittagghi e dùnanu un fallback suppurtatu.

Na lista di virìfica pràtica

Riggistra lu mudellu esattu dû prucissuri o dâ piattafurma e li virsioni di l'applicazzioni, dû SO e dû runtime cuinvorti. Manteni la formulazzioni di l'erruri o dû requisitu riali.
Cuntrolla lu rifirimentu dû prudutturi pi ddu mudellu esattu, poi spizziona la capacitati effittiva e lu statu abbilitatu nta l'ambienti unni lu prugramma gira.
Cunfrunta ogni requisitu dû binariu o dû backend silizziunatu. Na funziunalitati cû nomu sìmili, un pseudònimu o n'etichetta ticnulòggica ginèrica nun abbàstanu.
Cunferma ca l'applicazzioni hà silizziunatu la mplimintazzioni privista. Usa la sò diagnòstica ducumintata e un fallback suppurtatu quannu li requisiti nun sunnu suddisfatti.
Fai un canciamentu suppurtatu a la vota e ripeti lu stissu caricu di travagghiu. Manteni dispunìbbili la cunfigurazzioni urigginali e lu pircorsu di ricùp ситуаazzioni.

Si la funziunalitati e' ndicata ma lu software nun la po usari

Accumenza cû cumpunenti esattu ca fallisci. Un database d'hardware discrivi la capacitati riggistrata; lu sistema upirativu o l'hypervisor ponnu ammustrari n'ambienti effittivu diffirenti. N'erruri di struzzioni illigali addanna puru n'indàggini supra la struzzioni ca fallisci pi daveru e supra la build binaria, picchì la curruzzioni o na struzzioni nun currilata e nun suppurtata ponnu fari un sìntumu sìmili.

Installa la virsioni di l'applicazzioni, dû driver o dû runtime suppurtata pâ piattafurma esatta, e usa la build di basi o di fallback ducumintata dû prudutturi si n'hai bisognu. N'aggiurnamentu dû software nun po criari na struzzioni ca manca nnô prucissuri. Li canciamenti di firmware e di pulìtica di sicurizza avìssiru a sèquiri la prucidura dû prudutturi dû sistema e un pianu di ricùpiru mmeci d'un ricittariu d'uttimizzazzioni ginèricu.

Funti e scanciu di st'esplicazzioni

Intel 64 and IA-32 Architectures Software Developer's Manual · psABI x86-64: liveddi d'architittura e micrarchitittura dû prucissuri

Sti rifirimenti stabbilìscinu lu cumpurtamentu architittùnicu e li requisiti dû software. Nun virìficanu di manera ndipinnenti ogni valuri di funziunalitati nta na pàggina d'un mudellu hardware culligatu. Pû supportu dû mudellu, usa li provi dû prudutturi di dda pàggina e cuntrolla la cunfigurazzioni effittiva dû sistema. St'artìculu nun duna un benchmark, na cirtificazzioni o na data di rivisioni ndipinnenti.

Funti e virìfica

Titularità editoriali: Feex. Nudda data di rivisioni nnipinnenti è riggistrata. Comu facemu i ricerchi.

Intel 64 and IA-32 Architectures Software Developer's Manual · Li Vulumi 1 e 2 discrìvinu li famigghi di struzzioni muntuati e CPUID; lu Vulumi 3 discrivi statu, pagginazzioni, VMX e cuntrolli di prutizzioni. La ducumintazzioni d'architittura nun stabbilisci lu supportu pi un mudellu particulari.
psABI x86-64: liveddi d'architittura e micrarchitittura dû prucissuri · Machine Interface, Processor Architecture: tabbella dî carattirìstichi baseline e cumulativi v2/v3/v4, cuntrolli dû statu di l'OS e raccumannazzioni pâ distribbuzzioni.

Fu ùtili st'artìculu?

Un sì o un no abbasta. Scegghi un mutivu si voi, o junci na nota curta.