BOINC@Poland

Rozważam zakup laptopa w ciągu kilku miesięcy. Żeby to miało dla mnie sens, musi on mieć od razu odpowiednie oprogramowanie - jeśli chodzi o jakieś niestandardowe instalacje, to ja w tym jestem lewy. Znalazłem firmę, która w ramach ceny laptopa instaluje klientowi co trzeba. Z grubsza podałem ile i co będzie - powiedzieli OK, jeśli jest freeware to ściągną i zainstalują (jak nie freeware, to też OK, tylko muszę wykupić licencję).

No i teraz muszę wiedzieć, jakie konkretnie elementy mi są potrzebne (dokładnie: skąd mają ściągnąć i co).

1. Dwa systemy: Win64 i Linux64 - tu zakładam, że nic nie muszę mówić, bo powiedzieli, że bez problemu.

2. Kompilator C/C++ 64bit (może być nawet odpalany z linii poleceń):

a) Linux64 - ma to chyba standardowo, więc NO PROBLEM

b) Win64 - jak grzebię po internecie, to mi wychodzi, że kompilatory są na ogół 32-bitowe, a do 64 bitów w najlepszym razie trzeba doinstalować jakieś cudeńka. No więc jak poskładać freewarowy soft, żeby można było kompilować programy C/C++ na Win64.

3. Biblioteka GMP:

a) Linux64 - u mnie w pracy GMP jest, ale to może dzięki dobrym administratorom, którzy doinstalowali. Jeśli to nie jest standardowo instalowane z linuxem, to skąd to najlepiej ściągnąć. Czy z http://gmplib.org/  ?

b) Win64 - to samo pytanie.

4. OpenCl/CUDA:

Nie wiem jak wygląda stan na chwilę obecną z pisaniem, kompilowaniem i uruchamianiem programów na GPU - co jest do tego używane? Co i skąd trzeba ściągnąć, żeby to poszło? Nie chodzi mi o wydajność, ale o platformę testową do nauki programowania - najlepiej żeby było prosto i chodziło bez zgrzytów.

Czy pod Win i Linuxem to idzie równie łatwo?

Grafa najprawdopodobniej NVIDIA, ale nic nie jest przesądzone.

**********

Będę wdzięczny za sugestie wyłożone "jak krowie przy rowie": stąd ściągamy to, stąd to, tu są instrukcje instalacyjne.

Znalezione nowe AP24+ --- stan i przebieg rywalizacji BOINC@Poland - Reszta Świata

BOINC@Poland 15 23.02.2009 ksysju ---------- 27.03.2009 ksysju 5.04.2009 stachu @ fiddex Były rekord AP24 <== 6.04.2009 stachu @ fiddex Były rekord AP25 <== 8.04.2009 SKB@P ---------- ---------- ---------- ---------- ---------- ---------- 5.07.2009 mindc ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- 9.10.2009 ksysju ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- 25.11.2009 sosnahojna torun 27.11.2009 mindc ---------- <== 2.12.2009 Piotr M. Zalewski Były rekord AP24 <== ---------- ---------- 16.12.2009 mindc 17.12.2009 sciagacz ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- 21.12.2009 ksysju ---------- ---------- ---------- ---------- ---------- ---------- ---------- 26.12.2009 Jan Stenzel ---------- ---------- ===================================== ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- AP25 <== 30.01.2010 Jan Stenzel

- : 1:0 1:1 2:1 3:1 4:1 5:1 5:2 --- 5:3 --- 5:4 --- 6:4 6:5 6:6 6:7 6:8 6:9 6:10 6:11 6:12 6:13 --- 6:14 --- 6:15 6:16 --- 6:17 --- 6:18 --- 6:19 --- 6:20 6:21 6:22 6:23 --- 7:23 7:24 7:25 7:26 --- 7:27 --- 7:28 --- 7:29 --- 7:30 7:31 7:32 --- 8:32 9:32 9:33 10:33 --- 10:34 --- 11:34 12:34 12:35 12:36 --- 12:37 12:38 12:39 12:40 12:41 --- 13:41 13:42 13:43 13:44 13:45 13:46 13:47 --- 14:47 14:48 14:49 ===== 14:50 14:51 14:52 14:53 14:54 14:55 14:56 --- 14:57 14:58 14:59 14:60 14:61 15:61

Reszta Świata 61 ---------- 5.03.2009 Blast (Team Picard) ---------- ---------- ---------- ---------- 5.05.2009 Lexs ==> Były rekord AP24 (Gentoo Linux Users Everywhere) 29.06.2009 AF>XTBA Pitheque ==> Były rekord AP24 (L'Alliance Francophone) 3.07.2009 SG Arsenic ==> Były rekord AP24 (SETI.Germany) ---------- 9.07.2009 Narwhal (Team Picard) 11.07.2009 mfl0p ([H]ard|OCP) 17.07.2009 SG Arsenic (SETI.Germany) 18.07.2009 janm ==> Były rekord AP24 20.07.2009 andmore (SETI.Germany) 20.07.2009 Penguirl (Team MacNN) 30.07.2009 Tostada (Ars Technica) 3.08.2009 [FVG] bax (BOINC.Italy) 23.08.2009 mfl0p ([H]ard|OCP) ==> ==> Były rekord AP24 1.09.2009 dh1saj ==> Były rekord AP25 (SETI.Germany) 6.09.2009 Karsten Hilbich 7.09.2009 GreenFish ==> Były rekord AP25 (SETI.USA) 12.09.2009 [XTBA>TSA] IvanleFou (Xtrem Team Boinc Addicted) 13.09.2009 Kevin Erickson ==> Były rekord AP24 (BOINCstats) 15.09.2009 [XTBA>TSA] IvanleFou (Xtrem Team Boinc Addicted) 15.09.2009 sigi67 (SwissTeam.NET) 28.09.2009 Danial L Puckett (Solar Extreme) 4.10.2009 K7DMA ==> Były rekord AP24 5.10.2009 Rebirther ==> Były rekord AP24 (BOINC Confederation) ---------- 11.10.2009 Curly (BOINCstats) 15.10.2009 Lumiukko (PrimeSearchTeam) 29.10.2009 Vato ==> Były rekord AP24 (Team-Goobee.org) 2.11.2009 skinny9699 ==> Były rekord AP24 (Ubuntu Linux) 7.11.2009 Ritzgit ==> Były rekord AP24 (Gay USA) 12.11.2009 Roald ==> Były rekord AP24 (Team Norway) 16.11.2009 Loewie (BOINC.BE) 18.11.2009 s-yama (Tamagawa Data Center) 24.11.2009 Vato ==> Były rekord AP25 (Team-Goobee.org) ---------- ---------- 1.12.2009 James ---------- ---------- 15.12.2009 runesk ==> Rekord AP25 (Team Norway) ---------- ---------- 18.12.2009 shanky 19.12.2009 wmjekag ==> Były rekord AP24 (BOINC Synergy) 19.12.2009 shanky 19.12.2009 Siegfried Niklas (Crunching Family) 20.12.2009 [SG]marodeur6 (SETI.Germany) 21.12.2009 Mumps (SETI.USA) ==> Rekord AP24 21.12.2009 [XTBA>XTC] FRED (Xtrem Team Boinc Addicted) ---------- 22.12.2009 j2satx (US Navy) 23.12.2009 shanky ==> AP25 24.12.2009 shanky 24.12.2009 Irondog (SETI.USA) 25.12.2009 SETI.USA Cluster (SETI.USA) 25.12.2009 [AF>XTBA>XTC] Markken ==> AP25 (L'Alliance Francophone) ---------- 28.12.2009 Robert Scullin 30.12.2009 Uwe Boll (Wetter-Board) ======================================= 2.01.2010 diz_Child (Team China) 3.01.2010 Campion (Team Picard) 4.01.2010 endearingswan ==> AP25 5.01.2010 Mr. Hankey (SETI.USA) 9.01.2010 Floh von Mausefang (SETI.Germany) 11.01.2010 Mr. Hankey (SETI.USA) 12.01.2010 roadrunner_gs ==> AP25 (Special: Off-Topic) 14.01.2010 Swirl (boinc.at) 15.01.2010 Don Hatland (USA) 20.01.2010 Fair Weather Cruncher (Ars Technica) 28.01.2010 mfl0p ([H]ard|OCP) 30.01.2010 Geoffrey Leist ----------

4 nowe AP24+ : ksysju, *shanky
3 nowe AP24+ : mindc, mfl0p ([H]ard|OCP)
2 nowe AP24+ :
stachu @ fiddex
SG Arsenic (SETI.Germany)
[XTBA>TSA] IvanleFou (Xtrem Team Boinc Addicted)
*Vato (Team-Goobee.org)
Mr. Hankey (SETI.USA)
*Jan Stenzel

* - w tym AP25

W trakcie poszukiwań PrimeGrid AP26 Search znajdowane i specjalnie odnotowywane są nowe AP24 i dłuższe (czyli postępy arytmetyczne złożone z co najmniej 24 liczb pierwszych).
Powyżej przebieg rywalizacji BOINC@Poland z Resztą Świata w liczbie odkrytych nowych AP24+.

Oficjalne ogłoszenia nowych wyników PrimeGrid:
http://www.primegrid.com/forum_thread.php?id=1246

Lista wszystkich znanych AP24 i AP25:
http://users.cybercity.dk/~dsl522332/math/aprecords.htm#ap24

Takie cóś dziś rano zobaczyłem na stronie głównej PrimeGrid-a:

Top teams by work done in the last 24 hours
ZTSystems   436297.77
BOINC@Poland   99667.9
BOINC@AUSTRALIA   96747.81
L'Alliance Francophone   95288.72
Special: Off-Topic   89564.1

Oto wskazówki dla szukających AP21 o minimalnym znanym wyrazie początkowym.

Po pierwsze, skompilować program z Ap21.zip z http://www.math.uni.wroc.pl/~jwr/BaP/ i postępować zgodnie ze wskazówkami w pliku Opis.txt. W razie problemów można zamiast PrimeQ64.h wczytać procedurę z PrimeQ.zip z tegoż katalogu.

Sugeruję, aby na początek brać kolejne s=17,18,...,96 i dla każdego s liczyć K do 10M.

Jeśli ktoś napisze "Biorę s=17", to znaczy, że uruchomi
./ap21 17 1 10000000

No dobra, kształtuje mi się takie wyobrażenie.

Każda przewidywalna aplikacja ma, powiedzmy, 3 argumenty liczbowe określające zakres, np.:

./ap20 s KMIN KMAX

Aplikacja produkuje plik z rozwiązaniami. Wielkość WU oraz pliku można praktycznie dowolnie regulować w miarę potrzeby. Ten plik jest dowodem przeprowadzenia obliczeń.

Być może w jednym momencie dobrze byłoby mieć jednocześnie kilka aplikacji. Wtedy można mieć jednocześnie kilka programów, a podmiana programu na inny byłaby mniej bolesna - bo stać by nas było na wsadzenie takiej aplikacji do kwarantanny.

Aplikacje muszą jakoś rozpoznawać, czy dany WU jest ich - ja nie wiem jakie są tu opcje.

Licząc w wąskim gronie można mieć chyba dość duże WU.

Jak rozumiem, TJM, potrzebowałbyś mieć konkretny działający program, żeby zacząć go obudowywać. Trzeba też pewnie ustalić pewne standardy co do nazw plików i aplikacji. Czy to jest łatwo zmienialne?

AP20 jest tu dość dobrym modelowym przykładem. Aplikacja ma dostać 3 parametry jak opisane wyżej, produkuje plik SOL-AP15.TXT i ten plik należy odesłać do weryfikacji.

Jej bliźniaczka, AP21 działa w sposób analogiczny, znaczenie parametrów jest takie samo, plik wynikowy nazywa się tak samo. To oczywiście można łatwo zmieniać.

Wyobraźmy sobie, że w przyszłości dokładamy aplikację TUP19, którą wywołuje się identycznie:
./tup19 s KMIN KMAX
i która też produkuje plik wynikowy, który należy odesłać do serwera.

W zasadzie chyba każdą przyszłą aplikację można wsadzić w ten schemat.

Czy to jest duży problem, zaplanować tak, aby było miejsce dla 3-5 różnych aplikacji jednocześnie?

To chyba z grubsza opis standardów, w które powinno się dać wsadzić każdy program.

Oto wskazówki dla szukających AP20 o minimalnym początku.

Po pierwsze, skompilować program z Ap20.zip z http://www.math.uni.wroc.pl/~jwr/BaP/ i postępować zgodnie ze wskazówkami w pliku Opis.txt. W razie problemów można zamiast PrimeQ64.h wczytać procedurę z PrimeQ.zip z tegoż katalogu.

Sugeruję, aby na początek brać kolejne s=1,2,...,46 i dla każdego s liczyć K do 10M.

Jeśli ktoś pisze "Biorę s=7", to znaczy, że uruchomi
./ap20 7 1 10000000

***************************

Statystyki oraz ranking (s -> liczby AP20 do AP15, kto)

0-10M 1 -> {0, 0, 1, 5, 4, 13} emik
0-10M 2 -> {0, 1, 1, 1, 4, 14} emik
0-10M 3 -> {0, 0, 0, 6, 4, 17} emik
0-10M 4 -> {0, 0, 1, 3, 7, 8} sesef
0-10M 5 -> {0, 1, 1, 0, 5, 18} sesef
0-10M 6 -> {0, 0, 1, 2, 7, 20} sesef
0-10M 7 -> {0, 0, 1, 4, 5, 18} Szopler
0-10M 8 -> {0, 0, 1, 1, 7, 21} emik
0-10M 9 -> {0, 0, 0, 1, 5, 19} emik
0-10M 10 -> {0, 0, 0, 2, 2, 16} sesef
0-10M 11 -> {0, 0, 0, 4, 5, 24} sesef
0-10M 12 -> {0, 0, 0, 3, 3, 13} sesef
0-10M 13 -> {0, 0, 2, 5, 9, 16} sesef
0-10M 14 -> {0, 0, 3, 3, 4, 12} emik
0-10M 15 -> {0, 0, 3, 1, 2, 22} sesef
0-10M 16 -> {1, 0, 0, 2, 7, 20} sesef
10M-20M 1 -> {0, 0, 1, 0, 2, 13} sesef
10M-20M 2 ->  emik
10M-20M 3 -> {0, 0, 0, 1, 1, 10} sesef
10M-20M 4 -> {0, 0, 0, 1, 4, 9} sesef
10M-20M 5 ->  sesef

Razem: {1, 2, 16, 45, 87, 303}

1. sesef {1, 1, 9, 24, 54, 189}
2. emik {0, 1, 6, 17, 28, 96}
3. Szopler {0, 0, 1, 4, 5, 18}

Ja swoje algorytmy rozwiązujące różne zagadnienia matematyczne tworzę w pewnym sensie w izolacji, tzn. trudno mi znaleźć kogoś, kto byłby skłonny ze mną w tej materii współpracować. OK, nic na to nie poradzę, pogodziłem się, że jestem tu skazany sam na siebie.

Jeśli chodzi o uruchamianie programów, to jest lepiej, ale niewiele. W ostatnim czasie współpracę zaoferował mi Raanan Chermoni oraz PrimeGrid. Poza tym jestem skazany na samotną zabawę komputerami dostępnymi w pracowniach studenckich, na których programy uruchamiam dość prymitywnie, tzn. za pomocą skryptów odpalanych ręcznie.

Czuję pewien niedosyt, że nie udało mi się wciągnąć do współpracy więcej osób, zwłaszcza z Polski.

Nie wiem na ile jest to sensowne, ale chodzi mi po głowie następujący pomysł. Na stronie
http://hjem.get2net.dk/jka/math/aprecords.htm
odnotowującej rekordy związane z postępami arytmetycznymi liczb pierwszych, jest jeszcze parę rekordów, których pobicie nie powinno być zbyt trudne. Myślę, że byłbym w stanie wyprodukować program, który dawałby spore szanse na wpisanie się na listę rekordzistów, np. Smallest AP-k with minimal start k=19,20,21,22. Gdyby było takie zainteresowanie, chętnie przekazałbym w użytkowanie taki program BOINC@Poland. Ja umiem zrobić tylko procedurę liczącą, ale nawet przy braku systemu podziału zadań można ją odpalać ręcznie umawiając się kto bierze jaki przedział parametrów. Proszę spojrzeć na
http://hjem.get2net.dk/jka/math/simultprime.htm
gdzie część wyników została uzyskana przez zorganizowane projekty. W tabeli rekordów wymieniane są: nazwisko odkrywcy (czyli właściciela komputera), nazwa projektu oraz nazwa użytego programu.

Z takich poszukiwań pewnie nie byłoby punktów w różnych klasyfikacjach, ale byłaby spora szansa na wpis do tabeli rekordów. Może w ten sposób dałoby się przyciągnąć do projektu nowych użytkowników i spopularyzować ideę tego typu poszukiwań.

Jeśli ten pomysł wydaje się sensowny, jestem gotów rozpocząć przygotowania odpowiedniego programu.

Kilka dni temu PrimeGrid uruchomił podprojekt AP26 Search.

Celem tego podprojektu jest znalezienie postępu arytmetycznego złożonego z 26 liczb pierwszych.

Najnowsza historia związana z postępami arytmetycznymi liczb pierwszych jest następująca:

17 marca 1993 A. Moran, P. Pritchard i A. Thyssen znaleźli pierwszy znany postęp arytmetyczny złożony z 22 liczb pierwszych (w skrócie AP22).

W kwietniu 2004 Ben Green i Terrence Tao udowodnili, że istnieją dowolnie długie postępy arytmetyczne liczb pierwszych. Dowód jest jednak niekonstruktywny i nie tylko nie pozwala na konstruowanie przykładów, ale nawet w żaden sposób nie ułatwia ich znajdowania.

24 lipca 2004 Markus Frind, Paul Jobling i Paul Underwood poprawili 11-letni rekord znajdując pierwszy znany AP23.

18 stycznia 2007 znalazłem pierwszy znany AP24. Do trwających tydzień obliczeń wykorzystałem komputery w pracowniach studenckich Instytutu Matematycznego Uniwersytetu Wrocławskiego. Formalnie komputerów było 75, ale faktycznie tylko 30 64-bitowych. Komputery 32-bitowe miały udział raczej symboliczny, ich wydajność w tym konkretnym programie jest bowiem żałośnie niska. Do poszukiwań użyłem programu w C, opartego na zaprojektowanym przeze mnie algorytmie szukania długich postępów arytmetycznych liczb pierwszych.

Szukanie postępu 25-wyrazowego przekraczało możliwości sieci komputerów w pracowniach studenckich. Jednak Raanan Chermoni, mający dostęp do całkiem wydajnej lokalnej sieci komputerowej, zaproponował mi współpracę. Mój program na jego komputerach doprowadził do znalezienia 17 maja 2008 pierwszego (i jak dotąd jedynego znanego) AP25.

Z kolei pobicie tego rekordu zdaje się przekraczać możliwości lokalnej sieci. Administratorzy PrimeGrid zaoferowali mi uruchomienie poszukiwań AP26 w systemie obliczeń rozproszonych. Geoff Reynolds udoskonalił i dostosował do potrzeb obliczeń rozproszonych w sieci moją wersję programu nakierowaną na szukanie postępów 26-wyrazowych.

Skutkiem ubocznym poszukiwań AP26 będzie zapewne wielokrotne poprawianie rekordów największych znanych AP24 i AP25 odnotowywanych na stronie:
http://users.cybercity.dk/~dsl522332/math/aprecords.htm

Nie będę ukrywał, że byłoby mi bardzo miło, gdyby członkowie drużyny BOINC@Poland dołożyli jakieś polskie akcenty do tych poszukiwań.

Więcej informacji można znaleźć na forum:
http://www.primegrid.com/forum_forum.php?id=38

Na razie do włączenia się do poszukiwań potrzebny jest 64-bitowy Linux, ma się też pojawić wersja programu dla 64-bitowego Windowsa.

Jednym z założeń algorytmu jest wyeliminowanie korzystania z pamięci RAM i zmieszczenie się w pamięci podręcznej procesora, zatem program w zależności od procesora może korzystać z RAM-u mało albo wcale.