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!