Xorshift - Xorshift - Wikipedia

Xorshift128 tasodifiy taqsimotining misoli

Xorshift tasodifiy raqamlar generatorlari, shuningdek chaqiriladi smenali registr generatorlari sinfidir pseudorandom tasodifiy generatorlar tomonidan kashf etilgan Jorj Marsagliya.[1] Ular chiziqli teskari aloqa smenali registrlari (LFSR), bu juda kam polinomlardan foydalanmasdan, ayniqsa samarali bajarishga imkon beradi.[2] Ular ketma-ketlikdagi navbatdagi raqamni qayta-qayta olish orqali hosil qiladi eksklyuziv yoki bilan raqamning biroz siljigan o'zi versiyasi. Bu ularni zamonaviy kompyuter arxitekturalarida nihoyatda tezkor qiladi. Barcha LFSRlar singari, uzoq muddatga erishish uchun parametrlarni juda ehtiyotkorlik bilan tanlash kerak.[3]

Xorshift generatorlari eng tezkor bo'lmagankriptografik jihatdan xavfsiz tasodifiy raqamlar generatorlari, juda kichik kod va holatni talab qiladi. Garchi ular har bir statistik testni qo'shimcha takomillashtirmasdan o'tmagan bo'lsalar ham, bu zaiflik taniqli va osonlikcha o'zgartirilgan (asl qog'ozda Marsaglia ta'kidlaganidek) ularni chiziqli bo'lmagan funktsiya bilan birlashtirib, natijada, masalan. xorshift + yoki xorshift * generatorida. BigCrush to'plamidan barcha sinovlardan o'tgan xorshift + generatorining mahalliy C dasturi (kattaligi buyrug'idan kamroq muvaffaqiyatsizlik bilan Mersen Tvister yoki Xo'sh ) odatda 10 dan kam soat aylanishiga to'g'ri keladi x86 tufayli tasodifiy son hosil qilish truboprovodga ko'rsatma.[4]

+ Va * deb nomlangan skramblerlar hali ham past darajadagi zaiflikni qoldiradilar,[5] shuning uchun ular suzuvchi nuqtadan foydalanish uchun mo'ljallangan, chunki tasodifiy sonni suzuvchi nuqtaga o'tkazish past bitlarni bekor qiladi. Umumiy maqsadda scrambler ** ("yulduzcha" deb nomlanadi) LFSR generatorlarini barcha bitlarga o'tkazishga majbur qiladi.

Oddiy xorshift generatorlari (chiziqli bosqichsiz) bir nechta statistik testlardan yiqilganligi sababli, ular ishonchsizlikda ayblangan.[3]:360

Misolni amalga oshirish

A C versiyasi[eslatma 1] uchta xorshift algoritmlari[1]:4,5 bu erda berilgan. Birinchisida bitta 32 bitlik shtat so'zi va 2-davr mavjud32−1. Ikkinchisida bitta 64 bitlik shtat so'zi va 2-davr mavjud64−1. Ikkinchisida to'rtta 32-bitli shtat so'zlari va 2-davr mavjud128−1. Hammasi uch smenali va uchta yoki to'rtta eksklyuziv operatsiyalardan foydalanadi:

# shu jumladan <stdint.h>tuzilmaviy xorshift32_state {  uint32_t a;};/ * Davlat so'zini nolga tenglashtirmaslik kerak * /uint32_t xorshift32(tuzilmaviy xorshift32_state *davlat){	/ * P-dan "xor" algoritmi. Marsagliyadan 4 tasi, "Xorshift RNGs" * /	uint32_t x = davlat->a;	x ^= x << 13;	x ^= x >> 17;	x ^= x << 5;	qaytish davlat->a = x;}tuzilmaviy xorshift64_state {  uint64_t a;};uint64_t xorshift64(tuzilmaviy xorshift64_state *davlat){	uint64_t x = davlat->a;	x ^= x << 13;	x ^= x >> 7;	x ^= x << 17;	qaytish davlat->a = x;}tuzilmaviy xorshift128_state {  uint32_t a, b, v, d;};/ * Holat massivini nolga tenglashtirmaslik uchun boshlash kerak * /uint32_t xorshift128(tuzilmaviy xorshift128_state *davlat){	/ * "Xor128" algoritmi p. 5 Marsaglia, "Xorshift RNGs" * /	uint32_t t = davlat->d;	uint32_t konst s = davlat->a;	davlat->d = davlat->v;	davlat->v = davlat->b;	davlat->b = s;	t ^= t << 11;	t ^= t >> 8;	qaytish davlat->a = t ^ s ^ (s >> 19);}

128-bitli algoritm diehard sinovlari. Ammo, bu BigCrush test to'plamining MatrixRank va LinearComp testlarini bajarolmaydi Test U01 ramka.

O'zgarishlar

Barcha xorshift generatorlari ba'zi sinovlardan o'ta olmaydi Test U01 BigCrush sinov to'plami. Bu kabi chiziqli takrorlanishga asoslangan barcha generatorlar uchun amal qiladi Mersen Tvister yoki Xo'sh. Biroq, bunday generatorlarning sifatini yaxshilash uchun ularning mahsulotlarini chayqash oson.

xorwow

Marsaglia mahsulotni oddiy qo'shimchali hisoblagich 2-modul bilan birlashtirib, mahsulotni tezlashtirishni taklif qildi32 (keyin uni "Veyl ketma-ketligi" deb ataydi) Veylning teng taqsimot teoremasi ). Bu shuningdek davrni 2 baravar oshiradi32, 2 ga192−232:

# shu jumladan <stdint.h>tuzilmaviy xorwow_state {    uint32_t a, b, v, d, e;    uint32_t hisoblagich;};/ * Birinchi to'rtta so'zda nol bo'lmasligi uchun davlat qatorini boshlash kerak * /uint32_t xorwow(tuzilmaviy xorwow_state *davlat){    / * Algoritm "xorwow" dan p. 5 Marsaglia, "Xorshift RNGs" * /    uint32_t t = davlat->e;    uint32_t s = davlat->a;    davlat->e = davlat->d;    davlat->d = davlat->v;    davlat->v = davlat->b;    davlat->b = s;    t ^= t >> 2;    t ^= t << 1;    t ^= s ^ (s << 4);    davlat->a = t;    davlat->hisoblagich += 362437;    qaytish t + davlat->hisoblagich;}

Bu yaxshi ishlaydi, lekin BigCrush-da bir nechta sinovlardan o'tmaydi.[6] Ushbu generator Nvidia-da standart hisoblanadi CUDA asboblar to'plami.[7]

xorshift *

A xorshift * generator oladi xorshift ishlab chiqaruvchisi va o'zgaruvchan ko'paytmani (so'zning kattaligi modulini) o'z chiqishiga Marsalya taklif qilganidek, chiziqli bo'lmagan transformatsiya sifatida qo'llaydi.[1] 64 bitlik holatga ega bo'lgan quyidagi 64 bitli generator maksimal 2 davrga ega64−1[8] va faqat BigCrush-ning MatrixRank testini bajarolmaydi:

# shu jumladan <stdint.h>tuzilmaviy xorshift64s_state {  uint64_t a;};uint64_t xorshift64s(tuzilmaviy xorshift64s_state *davlat){	uint64_t x = davlat->a;	/ * Vaziyat nolga teng bo'lmagan qiymatga ega bo'lishi kerak. * /	x ^= x >> 12; // a	x ^= x << 25; // b	x ^= x >> 27; // v	davlat->a = x;	qaytish x * UINT64_C(0x2545F4914F6CDD1D);}

Shunga o'xshash generator taklif qilingan Raqamli retseptlar[9] kabi RanQ1, lekin u BirthdaySpacings testidan ham muvaffaqiyatsiz bo'ladi.

Agar generator faqat yuqori 32 bitni qaytarish uchun o'zgartirilgan bo'lsa, u holda BigCrush nolinchi ishlamay qoladi.[10]:7 Aslida, faqat 40 bit ichki holatga ega bo'lgan qisqartirilgan versiya to'plamdan o'tadi va bu katta xavfsizlik chegarasini taklif qiladi.[10]:19

Vigna[8] quyidagilarni taklif qiladi xorshift1024 * 1024 bit holati va maksimal davri 2 bo'lgan generator1024−1; u har doim ham BigCrush-dan o'tib ketavermaydi.[5] xoshiro256 ** - bu juda yaxshi variant.

# shu jumladan <stdint.h>/ * Massivda kamida bitta nolga teng bo'lmagan element bo'lishi uchun holatni ekish kerak * /tuzilmaviy xorshift1024s_state {	uint64_t qator[16];	int indeks;};uint64_t xorshift1024s(tuzilmaviy xorshift1024s_state *davlat){	int indeks = davlat->indeks;	uint64_t konst s = davlat->qator[indeks++];	uint64_t t = davlat->qator[indeks &= 15];	t ^= t << 31;		// a	t ^= t >> 11;		// b	t ^= s ^ (s >> 30);	// v	davlat->qator[indeks] = t;	davlat->indeks = indeks;	qaytish t * (uint64_t)1181783497276652981;}

Ikkala generator ham, hamma bilan sodir bo'lganidek xorshift * generatorlar, mumkin bo'lgan maksimal o'lchamda teng taqsimlangan 64-bitli qiymatlar ketma-ketligini chiqaradilar (bundan tashqari ular hech qachon 16 ta qo'ng'iroq uchun nol chiqmaydi, ya'ni ketma-ket 128 bayt).[8]

xorshift +

Ko'paytirishni ishlatishdan ko'ra, tezroq chiziqli bo'lmagan transformatsiya sifatida qo'shimchadan foydalanish mumkin. Ushbu g'oyani birinchi bo'lib Saito va Matsumoto taklif qilishgan (ular uchun ham mas'ul Mersen Tvister ) asosidagi ketma-ket ikkita chiqishni qo'shadigan XSadd generatorida xorshift 32-bitli o'zgarishlarga asoslangan generator.[11]

XSadd, shu bilan birga, uning chiqishi past tartibli bitlarida ba'zi zaifliklarga ega; chiqish so'zlari bit-teskari bo'lganda bir nechta BigCrush testlaridan o'tmaydi. Ushbu muammoni tuzatish uchun Vigna[12] tanishtirdi xorshift + 64 bitli o'zgarishlarga asoslangan oila: quyidagilar xorshift128 + generator 128 bit holatdan foydalanadi va maksimal davri 2 ga teng128−1. BigCrush-dan o'tadi, lekin teskari bo'lganda emas.[5]

# shu jumladan <stdint.h>tuzilmaviy xorshift128p_state {  uint64_t a, b;};/ * Davlat barcha nolga teng bo'lmasligi uchun urug'lantirilishi kerak * /uint64_t xorshift128p(tuzilmaviy xorshift128p_state *davlat){	uint64_t t = davlat->a;	uint64_t konst s = davlat->b;	davlat->a = s;	t ^= t << 23;		// a	t ^= t >> 17;		// b	t ^= s ^ (s >> 26);	// v	davlat->b = t;	qaytish t + s;}

Ushbu generator BigCrush-dan o'tgan eng tezkor generatorlardan biridir.[4] Ketma-ket natijalarni qo'shishning bir kamchiliklari bu yotgan narsadir xorshift128 generator 2 o'lchovli teng taqsimlangan, bog'liqdir xorshift128 + generator faqat 1 o'lchovli teng taqsimlanadi.[12]

Xorshift + generatorlari, hatto kattaroq xorshift1024 +, ularning chiqishi past tartibli bitlarida ba'zi aniqlanadigan chiziqliligini namoyish etadi.[5]

xoshiro va xoroshiro

xoshiro va xoroshiro - bu smenali registr generatorlarining boshqa o'zgarishlari bo'lib, ular smenalarga qo'shimcha ravishda aylanishlardan foydalanadilar. Vigna-ga ko'ra, ular tezroq va xorshift-ga qaraganda sifatli mahsulot ishlab chiqaradilar.[13][14]

Ushbu generator generatorining 32 va 64 bitli butun sonlari va suzuvchi nuqta chiqishi uchun variantlari mavjud; suzuvchi nuqta uchun yuqori 53 bitni oladi (uchun ikkilik 64 ) yoki yuqori 23 bit (uchun ikkilik32 ), chunki yuqori bitlar suzuvchi nuqta generatorlarida pastki bitlarga qaraganda sifatli. Algoritmlar tarkibiga a sakramoq holat, bu holatni bir necha qadamlar bilan oldinga siljitadigan funktsiya - odatda ikkiga teng kuch, bu ko'plarga imkon beradi ijro etish mavzulari aniq boshlang'ich holatlardan boshlash.

xoshiro256 **

xoshiro256 ** - bu oilaning umumiy maqsadli tasodifiy 64-bitli raqamli generatori.

/ * Sebastian Vigna veb-saytiga kiritilgan kodga moslashtirilgan * /# shu jumladan <stdint.h>uint64_t rol64(uint64_t x, int k){	qaytish (x << k) | (x >> (64 - k));}tuzilmaviy xoshiro256ss_state {	uint64_t s[4];};uint64_t xoshiro256ss(tuzilmaviy xoshiro256ss_state *davlat){	uint64_t *s = davlat->s;	uint64_t konst natija = rol64(s[1] * 5, 7) * 9;	uint64_t konst t = s[1] << 17;	s[2] ^= s[0];	s[3] ^= s[1];	s[1] ^= s[2];	s[0] ^= s[3];	s[2] ^= t;	s[3] = rol64(s[3], 45);	qaytish natija;}

xoshiro256 +

xoshiro256 + xoshiro256 ** ga qaraganda taxminan 15% tezroq, lekin eng past uchta bitning chiziqli murakkabligi past; shuning uchun uni faqat yuqori 53 bitni ajratib olish orqali suzuvchi nuqta natijalari uchun ishlatish kerak.

# shu jumladan <stdint.h>uint64_t rol64(uint64_t x, int k){	qaytish (x << k) | (x >> (64 - k));}tuzilmaviy xoshiro256p_state {	uint64_t s[4];};uint64_t xoshiro256p(tuzilmaviy xoshiro256p_state *davlat){	uint64_t (*s)[4] = &davlat->s;	uint64_t konst natija = s[0] + s[3];	uint64_t konst t = s[1] << 17;	s[2] ^= s[0];	s[3] ^= s[1];	s[1] ^= s[2];	s[0] ^= s[3];	s[2] ^= t;	s[3] = rol64(s[3], 45);	qaytish natija;}

Boshqa variantlar

Agar bo'sh joy birinchi darajali bo'lsa, xoroshiro128 ** xoshiro256 ** ga, xoroshiro128 + esa xoshiro256 + ga teng. Ularning holati kichikroq va shuning uchun massiv parallel dasturlar uchun unchalik foydali emas. xoroshiro128 + shuningdek, Hamming og'irliklariga yumshoq bog'liq bo'lib, 5 TB chiqqandan keyin ishlamay qolmoqda. Mualliflar buni haqiqiy dunyo dasturlarida aniqlash mumkinligiga ishonmaydilar.

32-bitli chiqish uchun xoshiro128 ** va xoshiro128 + to'liq xoshiro256 ** va xoshiro256 + ga teng, uint32_t o'rniga uint64_t va har xil siljish / aylantirish konstantalari bilan; Xuddi shunday, xoroshiro64 ** va xoroshiro64 * navbati bilan xoroshiro128 ** va xoroshiro128 + ga teng. Xoroshiro64 ** va xoroshiro64 * kattaroq holatdagi funktsiyalardan farqli o'laroq, yuqori aniqlikdagi o'xshashlarining to'g'ridan-to'g'ri portlari emas.

Yaqinda ++ generatorlari ** generatorlariga alternativa sifatida ishlab chiqarilgan.

Boshlash

Xoshiro qog'ozi mualliflarining ta'kidlashicha, generatorlarni holatini initsializatsiyalangan generatorlardan tubdan farq qiladigan, shuningdek, hech qachon "umuman nol" holatini bermaydigan generator yordamida ishga tushirish; smenali registr generatorlari uchun bu holatdan qochib bo'lmaydi.[14][15] Mualliflar SplitMix64 generatorini 64 bitli urug'dan quyidagicha foydalanishni tavsiya qilishadi:

# shu jumladan <stdint.h>tuzilmaviy splitmix64_state {	uint64_t s;};uint64_t splitmix64(tuzilmaviy splitmix64_state *davlat) {	uint64_t natija = davlat->s;	davlat->s = natija + 0x9E3779B97f4A7C15;	natija = (natija ^ (natija >> 30)) * 0xBF58476D1CE4E5B9;	natija = (natija ^ (natija >> 27)) * 0x94D049BB133111EB;	qaytish natija ^ (natija >> 31);}// misol sifatida; boshqa generatorlar uchun ham xuddi shunday qilish mumkintuzilmaviy xorshift128_state xorshift128_init(uint64_t urug ') {	tuzilmaviy splitmix64_state davlat = {urug '};	tuzilmaviy xorshift128_state natija = {0};	uint64_t tmp = splitmix64(&davlat);	natija.a = (uint32_t)tmp;	natija.b = (uint32_t)(tmp >> 32);	tmp = splitmix64(&davlat);	natija.v = (uint32_t)tmp;	natija.d = (uint32_t)(tmp >> 32);	qaytish natija;}

Izohlar

  1. ^ C va boshqa C tillariga asoslangan boshqa tillarda karet (^) ifodalaydi bitli XOR, va " << "va" >> "operatorlari chap va o'ng tomonlarni ifodalaydi bitli siljishlar navbati bilan.

Adabiyotlar

  1. ^ a b v Marsagliya, Jorj (2003 yil iyul). "Xorshift RNGs". Statistik dasturiy ta'minot jurnali. 8 (14). doi:10.18637 / jss.v008.i14.
  2. ^ Brent, Richard P. (2004 yil avgust). "Marsaglia ning Xorshift tasodifiy sonli generatorlari to'g'risida eslatma". Statistik dasturiy ta'minot jurnali. 11 (5). doi:10.18637 / jss.v011.i05.
  3. ^ a b Panneton, Fransua; L'Ekuyer, Per (2005 yil oktyabr). "Tasodifiy xorshift generatorlari to'g'risida" (PDF). Modellashtirish va kompyuter simulyatsiyasi bo'yicha ACM operatsiyalari. 15 (4): 346–361. doi:10.1145/1113316.1113319. S2CID  11136098.
  4. ^ a b Vigna, Sebastiano. "xorshift * / xorshift + generatorlari va PRNG otishmasi". Olingan 2014-10-25.
  5. ^ a b v d Lemire, Doniyor; O'Nil, Melissa E. (2019 yil aprel). "Xorshift1024 *, Xorshift1024 +, Xorshift128 + va Xoroshiro128 + Lineerlik uchun statistik testlar bajarilmadi". Hisoblash va amaliy matematika. 350: 139–142. arXiv:1810.05313. doi:10.1016 / j.cam.2018.10.019. S2CID  52983294. Har bir 64-bitli so'zdan 32 ta eng past tartibli bitni teskari tartibda olishda ushbu chalg'itilgan generatorlar muntazam ravishda Big Crush-ni, xususan chiziqliligini aniqlaydigan chiziqli-murakkablik va matritsa-darajadagi testlarni muvaffaqiyatsiz bajarishi haqida xabar beramiz.
  6. ^ Le Floc'h, Fabien (2011 yil 12-yanvar). "XORWOW L'ecuyer TestU01 natijalari". Iblisni ta'qib qilish (blog). Olingan 2017-11-02.
  7. ^ "cuRAND sinovi". Nvidia. Olingan 2017-11-02.
  8. ^ a b v Vigna, Sebastiano (2016 yil iyul). "Marsaglia xorshift generatorlarini eksperimental tadqiq qilish, aralashtirilgan" (PDF). Matematik dasturiy ta'minot bo'yicha ACM operatsiyalari. 42 (4): 30. arXiv:1402.6246. doi:10.1145/2845077. S2CID  13936073. Xorshift * generatorlarini taklif qiladi va doimiy songa ko'paytmani qo'shadi.
  9. ^ Matbuot, WH; Teukolskiy, SA; Vetterling, WT; Flannery, BP (2007). "7.1.2.A. 64-bitli Xorshift usuli".. Raqamli retseptlar: Ilmiy hisoblash san'ati (3-nashr). Nyu-York: Kembrij universiteti matbuoti. ISBN  978-0-521-88068-8.
  10. ^ a b O'Nil, Melissa E. (2014 yil 5 sentyabr). PCG: Tasodifiy raqamlarni yaratish uchun oddiy tezkor makon va statistik jihatdan yaxshi algoritmlar oilasi (PDF) (Texnik hisobot). Harvi Mudd kolleji. 6-8 betlar. HMC-CS-2014-0905.
  11. ^ Saito, Mutsuo; Matsumoto, Makoto (2014). "XORSHIFT-ADD (XSadd): XORSHIFTning bir varianti". Olingan 2014-10-25.
  12. ^ a b Vigna, Sebastiano (2017 yil may). "Marsaglia xorshift generatorlarini keyingi urinishlari" (PDF). Hisoblash va amaliy matematika jurnali. 315 (C): 175-181. arXiv:1404.0390. doi:10.1016 / j.cam.2016.11.006. S2CID  6876444. Xorshift + generatorlarini, XSadd-ning umumlashtirilishini tavsiflaydi.
  13. ^ Vigna, Sebastiano. "xoshiro / xoroshiro generatorlari va PRNG otishmasi". Olingan 2019-07-07.
  14. ^ a b Blekman, Devid; Vigna, Sebastiano (2018). "Shifrlangan chiziqli psevdandom tasodifiy generatorlar". arXiv:1805.01407. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  15. ^ Matsumoto, Makoto; Vada, Isaku; Kuramoto, Ai; Ashihara, Xyo (sentyabr 2007). "Soxta tasodifiy sonlar generatorlarini ishga tushirishda keng tarqalgan nuqsonlar". Modellashtirish va kompyuter simulyatsiyasi bo'yicha ACM operatsiyalari. 17 (4): 15 yosh. doi:10.1145/1276927.1276928. S2CID  1721554.

Qo'shimcha o'qish