1 / 31

BOINC Projects promotion – SAT@home experience

BOINC Projects promotion – SAT@home experience. Oleg Zaikin Institute for System Dynamics and Control Theory SB RAS, Irkutsk, Russia. Promotion of BOINC project. Information on the BOINC side Feedback Competitions. Information on the BOINC side. 57 projects on Formula BOINC

yitta
Download Presentation

BOINC Projects promotion – SAT@home experience

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. BOINC Projects promotion – SAT@home experience Oleg Zaikin Institute for System Dynamics and Control Theory SB RAS, Irkutsk, Russia

  2. Promotion of BOINC project • Information onthe BOINC side • Feedback • Competitions

  3. Information on the BOINC side 57 projects on Formula BOINC 43 projects on BOINCsite, 20 of them has publications Example – SAT@home.

  4. SAT@home • Volunteer computing project for solving hard problems that can be effectively reduced to Boolean satisfiability problem (SAT). • Applicability: • cryptography • search for combinatorial structures • bioinformatics • Started on 29 September 2011 by ISDCT SB RAS and ISA RAS.

  5. Solving of A5/1 cryptanalysis problem

  6. Information on the BOINC side 1. Item in the list of projects

  7. Information on the BOINC side • 2. Item in the list of publications • From BOINC main site: • “In deciding whether to participate in a project, read its web site and consider the following questions: • Does it clearly describe its goals? Are these goals important and beneficial? • Do they have any published results? See A list of scientific publications of BOINC projects”

  8. Information on the BOINC side 2. Item in the list of publications

  9. Information on the BOINC side 3. Item in the BOINC manager

  10. Feedback. Main forums My support: SAT@home site http://sat.isa.ru/pdsat/forum_index.php Portal boinc.ru http://forum.boinc.ru/ Portal distributed.ru http://distributed.ru/forum/

  11. Feedback. SAT@home threads on Boinc.ru forum (18.07.2012) About project (52 pages) Optimization of application (4 pages) Competitions (4 pages) News (11 pages) Errors (6 pages) Advertising (5 pages) Application for GPU (2 pages)

  12. Feedback. Volunteers wishes • applications for every platform • Win, Linux, Mac. 32 and 64-bit. Different compilations instructions • (SSE, SSE2, AVX) • GPU application (NVIDIA, ATI) • popular description of the project • FAQ, site update, papers • smart scheduling system

  13. Feedback. Smart scheduling system Low credit and slow processing from wingman – annoying thing. For example a wingman solves job fast (in 2 hour), another one – in 14 days. Credits will be granted after 14 days to both. TODO: divide set of crunchers into a classes by speed of jobs processing.

  14. Feedback. Changes due to a cruncher’s wishes Deadline (days) 3 -> 14 Count of tasks for 1 core: 4 -> 12 Memory (mb) 1024 -> 150 Weight of task 10 mb-> 2 kb Replicas3-> 2 Style of description Scientific -> Popular FAQ No -> Yes Item in BOINC manager list No -> Yes

  15. Feedback. Scientists wishes • Achieve results faster. • Minimum resources for non-scientific things (forum, site update, etc).

  16. Feedback. Results One of the best motivation for cruncher – possibility to obtain particular result. List of obtained results in SAT@home.

  17. Feedback. Results This of diagonal Latin squares of order 9 was found in SAT@home 0 1 2 3 4 5 6 7 8 1 2 0 7 8 4 3 6 5 4 8 3 1 6 7 5 2 0 6 3 4 8 5 2 7 0 1 5 4 6 0 7 3 8 1 2 7 6 5 4 2 1 0 8 3 8 5 1 2 0 6 4 3 7 2 0 7 6 3 8 1 5 4 3 7 8 5 1 0 2 4 6 1 2 8 0 4 5 6 3 7 6 5 4 7 1 8 2 0 3 7 0 3 8 5 2 4 1 6 2 6 5 4 8 3 1 7 0 0 3 7 5 6 1 8 4 2 8 1 6 2 0 7 3 5 4 3 7 1 6 2 4 0 8 5 4 8 0 3 7 6 5 2 1 5 4 2 1 3 0 7 6 8

  18. Feedback. Cruncher’s help Volunteers can help project. Tasks for them are like jobs in project. Alexone (Samara) – main tester of client applications hoarfrost (Volgograd) – development of progress bar for experiment and showing of DB statistics (country, users)

  19. Feedback. Cruncher’s help Volunteers support: hoarfrost Astroforum http://www.astronomy.ru/forum/ Alexone Group in social network Vkontakte http://vk.com/boinc

  20. SAT@home resources 18 July 2012 • All hosts: 7586 • Windows: 6285 (82 %) • Linux: 1179 • Mac: 74 • All CPU cores 30167 • Users 2349 (from 80 countries) • Active users 1062 • Active means “returned a result in the last month”.

  21. Feedback. Cruncher’s help Statistics by hoarfrost

  22. Feedback. Cruncher’s help Statistics by hoarfrost

  23. Feedback. Cruncher’s help Statistics by hoarfrost

  24. Feedback. Cruncher’s help Statistics by hoarfrost

  25. SAT@home statistics from boincstats

  26. SAT@home statistics from boincstats

  27. SAT@home statistics from boincstats

  28. Competitions BOINCStats 1st SAT@home competition results

  29. Competitions Participating in Formula BOINC – very important thing for a new projects. Every project can gain equal points for teams. 1st place 25 points 2nd 18 points … 10th place 1 point

  30. Conclusion Crunchers and scientists have common goal – understandable project with high performance

  31. BOINC http://boinc.berkeley.edu SAT@home http://sat.isa.ru Thank you for your attention! Thanks to all volunteers! Join the volunteer computing!

More Related