Post on 05-Feb-2016
description
BOINC Projects promotion – BOINC Projects promotion – SAT@home experienceSAT@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 BOINC43 projects on BOINCsite, 20 of them has publications
Example – SAT@home.
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.
Solving of A5/1 cryptanalysis problem
Information on the BOINC side
1. Item in the list of projects
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”
Information on the BOINC side
2. Item in the list of publications
Information on the BOINC side
3. Item in the BOINC manager
Feedback. Main forums
My support:
SAT@home sitehttp://sat.isa.ru/pdsat/forum_index.php
Portal boinc.ruhttp://forum.boinc.ru/
Portal distributed.ruhttp://distributed.ru/forum/
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)
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
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.
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
Replicas 3 -> 2
Style of description Scientific -> Popular
FAQ No -> Yes
Item in BOINC manager list No -> Yes
Feedback. Scientists wishes
• Achieve results faster.
• Minimum resources for non-scientific things (forum, site update, etc).
Feedback. Results
One of the best motivation for cruncher – possibility to obtain particular result.
List of obtained results in SAT@home.
Feedback. Results
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
This of diagonal Latin squares of order 9 was found in SAT@home
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)
Feedback. Cruncher’s help
Volunteers support:hoarfrost
Astroforum http://www.astronomy.ru/forum/
Alexone Group in social network Vkontakte
http://vk.com/boinc
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”.
Feedback. Cruncher’s help
Statistics by hoarfrost
Feedback. Cruncher’s help
Statistics by hoarfrost
Feedback. Cruncher’s help
Statistics by hoarfrost
Feedback. Cruncher’s help
Statistics by hoarfrost
SAT@home statistics from boincstats
SAT@home statistics from boincstats
SAT@home statistics from boincstats
Competitions
BOINCStats
1st SAT@home competition results
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
Conclusion
Crunchers and scientists have common goal –
understandable project
with high performance
BOINChttp://boinc.berkeley.edu
SAT@homehttp://sat.isa.ru
Thank you for your attention!
Thanks to all volunteers!
Join the volunteer computing!