SRBase

Steckbrief
Kategorie:	Mathematik
Betreiber:	Privat in Zusammenarbeit mit dem Mersenne CRUS Projekt
Nationalität:	Deutschland
Start:	27. November 2014
Status:	Stabil
Checkpoints:	Ja
Webseite:	SRBase
Anmelde-URL:	http://srbase.my-firewall.org/sr5/
Einladungscode:	pillepalle
Clients
x86	x	x	-	-	-
x86-64	x	x	x	-	-
GPU (opencl_ati_101)	x	x	-	-	-
GPU (cuda100)	x	x	-	-	-
GPU (cuda110)	-	x	-	-	-
GPU (cuda111)	-	x	-	-	-
GPU (cuda112)	x	-	-	-	-
Planet 3DNow! Teamstatistik
Platzierung Planet 3DNow!: (powered by BOINCstats)

SRBase ist ein mathematisches Forschungsprojekt, bei dem versucht wird, Sierpinski- / Riesel-Basen ≤ 1030 zu lösen.

Projektbeschreibung

SRBase wird in Zusammenarbeit mit dem Projekt Mersenne CRUS durchgeführt.

Vor einem Jahr wurde zum ersten Mal die PRP-Primalitätsprüfung mit Beweisen eingeführt. Sie war ein großer Erfolg und ersparte GIMPS (Great Internet Mersenne Prime Search) zehntausende von zukünftigen Doppelprüfungen. Künftig wird der Server keine Exponenten mehr für Lucas-Lehmer-Erstmaligkeitstests zur Verfügung stellen. Benutzer, die noch nicht auf prime95 Version 30.3 oder gpuowl für GPUs upgegradet haben, sollten dies tun. Wird das Upgrade nicht durchgeführt, führt dies zu notwendigen Doppelprüfungen. GIMPS hat einen mehrjährigen Rückstau an Doppelprüfungen, der abgearbeitet werden muss. Es besteht sogar die Möglichkeit, dass eine neue Mersenne-Primzahl in all diesen Doppelprüfungen versteckt ist.

Der Server wird weiterhin Lucas-Lehmer-Ergebnisse akzeptieren.

Erfolge des Projekts

Seit fast 25 Jahren sucht GIMPS nach neuen Mersenne-Primzahlen, indem es einen Primzahltest auf einem Computer durchführt und später den exakt gleichen Primzahltest auf einem anderen Computer laufen lässt, um auszuschließen, dass Hardwarefehler den ersten Primzahltest verfälscht haben.

Ein Durchbruch von Krzysztof Pietrzak macht es möglich, den zweiten Primzahltest zu eliminieren! Der erste Primärtest erzeugt eine Beweisdatei, die mit weniger als 0,5 % der Arbeit, die für die erneute Durchführung des Primärtests erforderlich ist, sicher verifiziert werden kann. Dieser Durchbruch wird den Durchsatz von GIMPS auf lange Sicht fast verdoppeln.

Version 30.3 ist jetzt mit PRP-Beweisen verfügbar. Obwohl es sich nicht um ein erforderliches Upgrade handelt, werden irgendwann in der Zukunft nur noch Benutzer, die Version 30.3 mit PRP-Beweisen verwenden, Primärtests zum ersten Mal zugewiesen bekommen. Sollten Sie auf Probleme stoßen, finden Sie Unterstützung in diesem Thread im Mersenne Forum.

Vielen Dank an Mihai Preda für die Entdeckung des Papers über den Durchbruch und das Erkennen seiner Bedeutung für das GIMPS-Projekt. Ein weiterer Dank geht an Pavel Atnashev für wichtige Ideen zur Anpassung der Entdeckung für die Verwendung durch GIMPS.

Übersetzt mit www.DeepL.com/Translator (kostenlose Version)

Planet 3DNow!

Planet 3DNow! nimmt seit dem 10.01.2015 mit einem eigenen Team an SRBase teil.

Teilnahme

Da das Projekt mit einem Anmeldecode arbeitet, muss das Benutzerkonto vorher über die Projektseite erstellt werden.
In diesem Fall funktioniert die Erstellung über den BoincManager nicht.

Sollte der BOINC-Client noch nicht installiert sein, kann er von boinc.berkeley.edu heruntergeladen und installiert werden. Für Fragen zur Installation des BOINC-Clienten steht der Teil Windows-Installation von BOINC mit Text und Bildern zur Verfügung.

Um SRBase nun als Projekt anzumelden, muss der BOINC-Manager geöffnet werden. In der Menüleiste wird der Eintrag "Assistenten" und dann "Projekt anmelden" ausgewählt. Im sich dann öffnenden Fenster wird die "Anmelde-URL" aus dem obigen Steckbrief eingegeben, oder aus der Liste ausgewählt.

Wenn noch kein SiDock@home-Account vorhanden ist, wird dieser nun durch Auswahl des ersten Punktes "Nein, neues Teilnehmerkonto" erstellt. Dazu werden die Emailadresse und das gewünschte Passwort eingegeben und bestätigt. Unter [...] kann man sich nun mit diesen Daten anmelden und Änderungen an den Einstellungen vornehmen. Siehe hierzu auch den Artikel zur BOINC-Konfiguration. Hier kann man auch den Namen eintragen, unter dem man in den Statistiken geführt werden möchte. Dem Team von Planet 3DNow! kann man beitreten, indem man die [....] öffnet und auf "Join this team" klickt.

Falls bereits ein ....-Account vorhanden ist, lässt dieses sich durch Auswahl des Punkts "Ja, existierendes Teilnehmerkonto" und anschließender Eingabe der Emailadresse und des Passworts auf dem Rechner einrichten.

Anschließend verbindet sich der BOINC-Client mit dem Projekt und lädt die Anwendung für Rosetta sowie die ersten Work-Units herunter.

Besondere Einstellungen

• Es gibt maximal 100 WUs pro Kern. Aber nicht mehr als ~1.000 WUs pro Rechner.

GPU Einstellungen

• Es gibt maximal 80 WUs pro GPU.
• Die Fortschrittsanzeige der GPU-WUs springt nach Neustart auf 0, im Hintergrund wurde aber ein Checkpoint abgelegt.
• Multi-GPU funktioniert nicht. Lösung. Da diese offizielle Lösung nicht richtig funktioniert, siehe Punkt 5.4
• Alle anderen Abbrüche werden auch auf dieser Seite behandelt.
• Wer mit Ubuntu 18.04 oder niedriger arbeitet, bitte hier gucken.

Multi-Threading

app_config.xml

Checkpoints

In den FAQ der Projektseite wird darauf verwiesen, dass das Projekt mit Checkpoints arbeitet.
Hierzu ein Post von JagDoc zum Thema

Multi-GPU-Lösung

Stony666 Lösung geht über die app_config.xml im Projektverzeichnis!!!

<app_config>
 <app>
   <name>TF</name>
   <max_concurrent>1</max_concurrent>
   <report_results_immediately/>
   <gpu_versions>
     <gpu_usage>1</gpu_usage>
     <cpu_usage>1</cpu_usage>
   </gpu_versions>
 </app>
</app_config>

Banner

Weblinks

• Internetpräsenz des Projekts
• Planet 3DNow! Teamstatistik

Quellen

BOINC-Projekte

- Astronomie & Astrophysik -

Cosmology@Home | Einstein@Home | MilkyWay@home | orbit@home | SETI@home

- Biologie & Medizin -

BCL@Home | Cels@Home | Docking@Home | DrugDiscovery@Home | Malariacontrol.net | POEM@HOME | Predictor@home* | Proteins@Home | RNA World | Rosetta@home | SIMAP | Superlink@Technion | TANPAKU* | Virtual Prairie

- Chemie -

GPUGRID | Hydrogen@Home | QMC@Home

- Geologie -

Quake-Catcher Network

- Internet -

Anansi | DepSpid*

- Kryptographie -

DistrRTgen | DNETC@HOME | Enigma@Home | SHA-1 Collision Search Graz

- Künstliche Intelligenz -

Artificial Intelligence System* | distributedDataMining | FreeHAL@home | MindModeling@Home

- Mathematik -

3x+1@home* | ABC@home | Collatz Conjecture | Goldbach's Conjecture Project | Genetic Life | NFS@Home | PrimeGrid | Ramsey@Home | Rectilinear Crossing Number | Riesel Sieve* | SZTAKI Desktop Grid | TSP* | WEP-M+2 Project

- Metaprojekte -

AlmereGrid | Leiden Classical | The Lattice Project | World Community Grid | yoyo@home

- Meteorologie -

APS@Home | BBC Climate Change Experiment* | ClimatePrediction.net | Climate Prediction Seasonal Attribution Project

- Nanotechnologie -

NanoHive@Home* | Spinhenge@home

- Physik -

AQUA@home | EDGeS@Home | IBERCIVIS | LHC@home | Magnetism@home | QuantumFIRE | Zivis Superordenador Ciudadano* | µFluids@Home

- Rendering -

BURP | PicEvolvr | Open Rendering Environment

- Spiele -

Chess960@Home | NQueens@Home | pPot Tables* | Sudoku

- Tests der BOINC-Plattform -

Pirates@Home | Project Neuron* | UCT: malariacontrol.net | vtu@home

* Beendetes Projekt

Nicht-BOINC-Projekte

- Astronomie & Astrophysik -

SETI@home Classic*

- Biologie & Medizin -

Folding@Home | Lifemapper*

- Mathematik -

RC5-72

* Beendetes Projekt