x86-64-v4

Chiḍḍu ca t'hà sapiri

Comu funziona

Lu liveddu junci AVX512F, AVX512BW, AVX512CD, AVX512DQ e AVX512VL a tutti li requisiti v3. Lu statu vitturi nicissariu pi sti funziunalità havi a èssiri cumpletamenti abbilitatu, nclusi li cumpunenti di statu AVX-512 addizziunali. Un mudellu di CPU cu AVX-512 sulu parziarmenti espostu nun è abbasta.

Unni e' ùtili

Na varianti v4 di na libbrarìa pò usari lu suttansemi difinitu mantinennu na varianti di basi o v3 pi l'àutri màchini. Un prugramma ca 'n cchiù havi bisognu di VNNI, BF16 o n'àutra estinsioni l'havi a rilivari siparatamenti puru doppu aviri stabbilitu v4.

Comu cuntrollari lu supportu e l'abbilitazzioni

Validati tutti li requisiti psABI e li cuntrolli XCR0 AVX-512 di l'SDM. Usati lu nsemi effittivu di carattirìstichi visìbbili ô prucessu, 'n particulari nta màchini virtuari o sistemi cu esposizzioni dî carattirìstichi dipinnenti dî pulìtichi.

Na capacitati hardware, l'ambienti upirativu 'n esecuzzioni e li requisiti binari di n'appricazzioni sunnu liveddi diversi. Li noma d'architittura e li liveddi ABI s'avìssiru a ntirpritari comu cuntratti esprìciti cchiuttostu ca comu na règula ginirali dû tipu lu-cchiù-novu-è-cumpatìbbili.

Zoccu la funziunalitati nun stabbilisci

Un flag AVX-512 ginèricu nun è na prova di v4, e v4 nun è na prumisa ca ogni appricazzioni và megghiu dâ sò build v3. AMX e l'estinsioni AVX-512 succissivi sunnu fora di stu liveddu a menu ca nun vèninu richiesti siparatamenti.

Cumpatibbilitati e pristazzioni nnâ pràtica

Cuntrullati li requisiti ereditati cumpleti e l'ambienti effittivu visìbbili ô prucessu. Pi na VM, ispizziunati lu guest cchiuttostu ca dàrisi pi scuntatu ca lu mudellu host veni espostu senza canciamenti. Na build di riserva supportata avissi a dìciri chiaramènti lu sò liveddu di basi.

Na lista di virìfica pràtica

1. 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.
2. 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.
3. 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.
4. 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.
5. 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.

Funziunalitati currilati e distinzioni ùtili

x86-64-v3 · AVX-512 · AVX-VNNI · AMX, Advanced Matrix Extensions

Funti e scanciu di st'esplicazzioni

psABI x86-64: liveddi d'architittura e micrarchitittura dû prucissuri · Intel 64 and IA-32 Architectures Software Developer's Manual · Linux kernel: using XSTATE features in user space

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.

Currilati

St'entità si cullèganu a st'artìculu. U tipu è ammustratu supra ogni culligamentu.

Funti e virìfica

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

• 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.
• 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.
• Linux kernel: using XSTATE features in user space · Statu vitturiali abbilitatu dû SO, statu dî tile abbilitatu dinamicamenti, requisiti dû signal stack e flussu di pirmissu AMX. Lu cumpurtamentu spicìficu di Linux nun e' na prumissa supra n'àutru SO.