Prímrekord, 2005 Csajbók Tímea, Kasza János Komputeralgebra Tanszék ELTE IK január ± 1
A keresés menete A H halmaz megválasztása (kandidátusok) Szitálások – „Kisprímek” előállítása – Szitatáblák elkészítése – Általánosított szita Valószínűségi prímteszt Egzakt prímteszt
Erathosztenész szitája
Általánosított szita h · ± 1 alakú számot keresünk A kandidátusok számának csökkentéséhez a h-kat kell megszitálnunk Ezt az általánosított szita segítségével tudjuk elvégezni
Hardware SGI Altix 3700 Intel Itanium 2 –3 MB cache –128 db processzorregiszter –2 GB memória ~ 5 TB háttérkapacitás ~ 400 db processzor
Software Redhat GNU/Linux (ia64), 2.4-es kernel Fordítóprogramok (C): –GNU C Compiler (gcc) –Intel C Compiler (icc) Párhuzamosító software-ek: –PVM library –MPI library
Fordítóprogramok Kezdetben mind gcc-vel, mind icc-vel kipróbáltuk a programot Később, az optimalizáláskor az icc 2x-3x gyorsabb kódot tudott előállítani
Párhuzamosítás Egy vezérlő processz –Csak az intervallumok kiosztása a feladata –Ha az összes elkészült, STOP signal-t küld a szitálóknak Sok szitáló processz –Csak saját intervallumába eső prímekkel szitál –A vezérlő processztől kér egy új intervallumot, mindaddig, amíg van hátra –Ha STOP signal-t kap, minden adatot a merevlemezre elment.
Mentés Az ún. batch node-ok instabilak voltak 2-3 naponta megszakadt a futás Adatvesztés lép fel, a futási idő pedig fogy Mi lett volna, ha az utolsó pillanatban az adatok mentése előtt megszakad a futás?
Mentés 2 Menteni kell! A szitáló processzek 10 intervallumonként automa- tikusan mentenek, azaz a h értékeket egy az egyben a merevlemezre írja Vészhelyzet esetén mentés és maximum 5 percen belül vészleállás
Vészleállítás Egy “stop” nevű file létrehozásának hatására a vezérlő nem ad új intervallumot Amikor egy szitáló processz új intervallumért fordul a kiszolgálóhoz, STOP signal-t kap Ekkor azonnali mentés indul Ha minden mentés befejeződött, a program (szabályosan) leáll
Adattárolás Hogy tároljuk a számokat a szitatáblában? –Leggazdaságosabb módja, hogy minden szám egyetlen bitnek felel meg –Ekkor egyetlen “egész típusú” változóban 64 számról tudunk információt tárolni
Betöltés Helytakarékossági és adatfeldolgozási okokból adódott a következő ötlet: Dolgozik n db processzor, majd végeznek és mentenek Következő munkafolyamat során minden processz megmarkol egy előzőleg elkészült file-t, és folytatja
Betöltés 2 Hogyan lehetséges mindez? Amikor egy számmal szitálunk, adott pozíción lévő egyeseket nullákra cserélünk Ha már az előző munkának köszönhetően kiütöttünk egy lehetséges értéket, nem befolyásolja az aktuális folyamatot.
Az eredmények összegzése Miután minden szükséges intervallummal végeztünk, az n db-ból egyetlen file-t kell csinálnunk Összeéseljük az azonos pozíción lévő elemeket Például: &
Az eredmények összegzése 2 Ez a művelet már egyetlen processzoron elvégezhető Első lépésben két file-t fésülünk össze, majd mindig egy újat hozzáveszünk Minden file-t csak egyszer olvasunk be a merevlemezről
A legnagyobb ismert ikerprímpár szeptember 9 – től ± számjegy