Исследование свойств диагональных латинских квадратов в проектах добровольных распределенных вычислений и не только...
Цитата: evatutin от 12.03.2020, 10:00В OEIS подтверждены правки по двум новым последовательностям:
* https://oeis.org/A329685 — число главных классов самоортогональных диагональных латинских квадратов порядка N (N<9);
* https://oeis.org/A330391 — число главных классов ОДЛК порядка N (N<9).
В OEIS подтверждены правки по двум новым последовательностям:
* https://oeis.org/A329685 — число главных классов самоортогональных диагональных латинских квадратов порядка N (N<9);
* https://oeis.org/A330391 — число главных классов ОДЛК порядка N (N<9).
Цитата: evatutin от 12.03.2020, 10:03Цитата: SerVal от 11.03.2020, 23:43Сбросил ошибки для оставшихся 24-х ВУшек с ошибками и назначил, чтобы задания от этих ВУшек выдавались только мне.
Задания получил, и половина уже посчиталась текущей версией приложения spstarter.
Остальные - досчитываются.
Значит возможно был какой-то глюк с версиями расчетника и они пытались посчитаться старой версией, которая их не понимала. Формат входного файла я менял, но довольно давно. Код внутри расчетника тоже периодически меняется, всех правок уже и не упомнишь, я тут отписываюсь после каждой из них. Посчитались и хорошо, пойдет в общий зачет (список ОДЛК). Если бы вдруг эта серия не посчиталась, ничего страшного, т.к. по сути выполняется случайная разведка пространства ДЛК на предмет поиска ОДЛК
Цитата: SerVal от 11.03.2020, 23:43Сбросил ошибки для оставшихся 24-х ВУшек с ошибками и назначил, чтобы задания от этих ВУшек выдавались только мне.
Задания получил, и половина уже посчиталась текущей версией приложения spstarter.
Остальные - досчитываются.
Значит возможно был какой-то глюк с версиями расчетника и они пытались посчитаться старой версией, которая их не понимала. Формат входного файла я менял, но довольно давно. Код внутри расчетника тоже периодически меняется, всех правок уже и не упомнишь, я тут отписываюсь после каждой из них. Посчитались и хорошо, пойдет в общий зачет (список ОДЛК). Если бы вдруг эта серия не посчиталась, ничего страшного, т.к. по сути выполняется случайная разведка пространства ДЛК на предмет поиска ОДЛК
Цитата: evatutin от 12.03.2020, 10:12Я вчера ковырял свои машины на работе в компьютерных классах, давно этого не делал, заметил кое-что интересное...
- На некоторых машинах служба BOINC'а оказалась в состоянии "отключено". Соответственно никакие расчеты не выполнялись, BOINC Manager не мог подключиться к хосту. Почему это произошло, не понял. То ли антивирусник так поработал, то ли кто-то из коллег с админскими правами добрался... Но до отключения службы еще догадаться надо (а, как известно, слегка перефразируя, выключать службы умеют не все, вернее не только лишь все, мало кто может это делать :), грамотные коллеги не признаются. В общем включил обратно, будем наблюдать...
- На некоторых машинах, которые давно не коннектились к серверу проекта, в отправке висели старые задания. В рабочей базе Герасима видимо их уже нет, он их не принимает, говорит, что нет, задание будет висеть в отправке бесконечно. Наверное об этом писал чуть ранее yura12... SerVal, как вы думаете, возможно имеет смысл на стороне сервера такие принимать, но в базу не помещать и просто удалять. Иначе чистить вручную несколько десятков считающих машин тяжко, да и не все этим захотят заниматься...
Я вчера ковырял свои машины на работе в компьютерных классах, давно этого не делал, заметил кое-что интересное...
- На некоторых машинах служба BOINC'а оказалась в состоянии "отключено". Соответственно никакие расчеты не выполнялись, BOINC Manager не мог подключиться к хосту. Почему это произошло, не понял. То ли антивирусник так поработал, то ли кто-то из коллег с админскими правами добрался... Но до отключения службы еще догадаться надо (а, как известно, слегка перефразируя, выключать службы умеют не все, вернее не только лишь все, мало кто может это делать :), грамотные коллеги не признаются. В общем включил обратно, будем наблюдать...
- На некоторых машинах, которые давно не коннектились к серверу проекта, в отправке висели старые задания. В рабочей базе Герасима видимо их уже нет, он их не принимает, говорит, что нет, задание будет висеть в отправке бесконечно. Наверное об этом писал чуть ранее yura12... SerVal, как вы думаете, возможно имеет смысл на стороне сервера такие принимать, но в базу не помещать и просто удалять. Иначе чистить вручную несколько десятков считающих машин тяжко, да и не все этим захотят заниматься...
Цитата: Yura12 от 12.03.2020, 10:53
Да, я писал как раз именно про это - на машинах, которые давно не коннектились к серверу проекта, в отправке висят старые задания конца 2019 года.
Их я удаляю вручную.
Да, я писал как раз именно про это - на машинах, которые давно не коннектились к серверу проекта, в отправке висят старые задания конца 2019 года.
Их я удаляю вручную.
Цитата: evatutin от 12.03.2020, 17:40Последовательность https://oeis.org/A329685 в OEIS оперативно обновлена для размерности 9 путем добавления в нее 470 главных классов SODLS (см. https://vk.com/wall162891802_1086).
Последовательность https://oeis.org/A329685 в OEIS оперативно обновлена для размерности 9 путем добавления в нее 470 главных классов SODLS (см. https://vk.com/wall162891802_1086).
Цитата: SerVal от 12.03.2020, 20:01SerVal, как вы думаете, возможно имеет смысл на стороне сервера такие принимать, но в базу не помещать и просто удалять
То есть, разрешить закачивать на сервер всё что угодно? Не. разрешать закачивать на сервер всё что попало нельзя.
Конечно, в базу можно не помещать, но закачка в буфер на сервере будет происходить. Иначе, файлы у клиента всё так же будут висеть невыгруженными. А если размер заданий будет не 100 байт, а 100 килобайт? Это будут гигабайты никому не нужного трафика. И, разумеется, жуткие тормоза.
Кроме того, такие компики хотят не только выгрузить несуществующие результаты, но и загрузить несуществующие уже задания (которые были посчитаны год назад и давно удалены).
Я согласен, что проблема есть. И её желательно решить. Но пока самым простым решением является "Project reset".
p.s.
Вообще-то, Боинк Менеджер присылает шедулеру всю информацию о находящихся на компике заданий.
И можно посмотреть - все ли задания у клиента есть в рабочей базе. Если не все, то добавить в ответ шедулера команду на удаление заданий у клиента, которые отсутствуют в базе. При числе ВУшек на сервере в 1 миллион, такая операция занимает ~40 секунд.
То есть, ответ шедулера задержится ещё на 40 секунд. Вряд ли это сильно понравится клиентам. На эти грабли разок наступили в Эйнштейне, после чего 2 недели команда разработчиков Боинк решала эту проблему. Решили. Но каким образом - я не знаю.
SerVal, как вы думаете, возможно имеет смысл на стороне сервера такие принимать, но в базу не помещать и просто удалять
То есть, разрешить закачивать на сервер всё что угодно? Не. разрешать закачивать на сервер всё что попало нельзя.
Конечно, в базу можно не помещать, но закачка в буфер на сервере будет происходить. Иначе, файлы у клиента всё так же будут висеть невыгруженными. А если размер заданий будет не 100 байт, а 100 килобайт? Это будут гигабайты никому не нужного трафика. И, разумеется, жуткие тормоза.
Кроме того, такие компики хотят не только выгрузить несуществующие результаты, но и загрузить несуществующие уже задания (которые были посчитаны год назад и давно удалены).
Я согласен, что проблема есть. И её желательно решить. Но пока самым простым решением является "Project reset".
p.s.
Вообще-то, Боинк Менеджер присылает шедулеру всю информацию о находящихся на компике заданий.
И можно посмотреть - все ли задания у клиента есть в рабочей базе. Если не все, то добавить в ответ шедулера команду на удаление заданий у клиента, которые отсутствуют в базе. При числе ВУшек на сервере в 1 миллион, такая операция занимает ~40 секунд.
То есть, ответ шедулера задержится ещё на 40 секунд. Вряд ли это сильно понравится клиентам. На эти грабли разок наступили в Эйнштейне, после чего 2 недели команда разработчиков Боинк решала эту проблему. Решили. Но каким образом - я не знаю.
Цитата: Yura12 от 13.03.2020, 13:04
А может чтобы легче было разобраться с ситуацией, может временно приостановить генерацию новых заданий?
А может чтобы легче было разобраться с ситуацией, может временно приостановить генерацию новых заданий?
Цитата: SerVal от 14.03.2020, 03:10может временно приостановить генерацию новых заданий?
Так это ничем не поможет. Ну, не будет Герасим выдавать задания и получать результаты. И что?
Всё будет замечательно и без ошибок. 🙂
Лучше я пока почищу код от всякого мусора и удалю ненужные проверки и логирования.
Ещё , я давно вставил в Герасим чат и личные сообщения для участников.
Как оказалось, это никому не нужно. Поэтому, личные сообщения в Герасиме я отключил, а сейчас вычищаю их совсем(в том числе и лишние поля в таблицах). А таблицы и нужные только для личных сообщений SQL процедуры - удаляю.
От ошибок это не избавит, но быстродействие сервера должно возрасти. На много или нет - не знаю. Полагаю, процентов на 10-15.
*****
Всем привет и хорошего настроения. 🙂
может временно приостановить генерацию новых заданий?
Так это ничем не поможет. Ну, не будет Герасим выдавать задания и получать результаты. И что?
Всё будет замечательно и без ошибок. 🙂
Лучше я пока почищу код от всякого мусора и удалю ненужные проверки и логирования.
Ещё , я давно вставил в Герасим чат и личные сообщения для участников.
Как оказалось, это никому не нужно. Поэтому, личные сообщения в Герасиме я отключил, а сейчас вычищаю их совсем(в том числе и лишние поля в таблицах). А таблицы и нужные только для личных сообщений SQL процедуры - удаляю.
От ошибок это не избавит, но быстродействие сервера должно возрасти. На много или нет - не знаю. Полагаю, процентов на 10-15.
*****
Всем привет и хорошего настроения. 🙂
Цитата: Yura12 от 14.03.2020, 08:31Цитата: SerVal от 14.03.2020, 03:10может временно приостановить генерацию новых заданий?
Так это ничем не поможет. Ну, не будет Герасим выдавать задания и получать результаты. И что?
Всё будет замечательно и без ошибок.
Ну если просто не будет выдавать задания и получать результаты - то тогда действительно будет замечательно.
А я-то рассчитывал на то, что теоретически после этого останутся висеть задания которые не могут досчитаться.
Цитата: SerVal от 14.03.2020, 03:10может временно приостановить генерацию новых заданий?
Так это ничем не поможет. Ну, не будет Герасим выдавать задания и получать результаты. И что?
Всё будет замечательно и без ошибок.
Ну если просто не будет выдавать задания и получать результаты - то тогда действительно будет замечательно.
А я-то рассчитывал на то, что теоретически после этого останутся висеть задания которые не могут досчитаться.
Цитата: evatutin от 14.03.2020, 13:08Попытаемся посчитать число SODLS порядка 10. Список различных канонических форм (по одной для каждого главного класса) был получен whitefox'ом (А.Д. Белышевым) путем применения ограниченного множества M-преобразований (по сути, канонизации) к известному списку SOLS порядка 10 от Jan Harm van Vuuren (http://www.vuuren.co.za/data/SOLS_Repository/SOLSNonRCParatopic10x10.txt, см. также статью https://www.litnet.co.za/enumerasie-van-self-ortogonale-latynse-vierkante-van-orde/). Ссылку на описание эксперимента whitefox'а, к сожалению, в настоящий момент дать не могу ввиду того, что старая версия форума forum.boinc.ru по прежнему недоступна по широко известным в узких кругах причинам и в данный момент не известно, будет ли доступна вообще... Могу сказать лишь, что сохранившийся список включает в своем составе 30534 КФ SODLS порядка 10 (т.е. 30534 главных классов SODLS порядка 10). Если для каждой КФ M-преобразованиями построить соответствующий ей класс изоморфизма (в данном случае — главный класс) нормализованных ДЛК, отобрать в нем SODLS и посчитать их количество, мы получим общее число SODLS порядка 10 с фиксированной первой строкой, равное 234501120 (время соответствующего вычислительного эксперимента — 23,5 ч на Core i7 4770 в один поток). И, наконец, умножая полученное число на 10! можно получить общее число SODLS порядка 10, равное 850957664256000. Полученные цифры позволяют расширить известные числовые ряды
* https://oeis.org/A329685 — Число главных классов самоортогональных диагональных латинских квадратов порядка N,
* https://oeis.org/A287761 — Число самоортогональных диагональных латинских квадратов порядка N c фиксированной первой строкой,
* https://oeis.org/A287762 — Число самоортогональных диагональных латинских квадратов порядка Nна размерность N=10. Было бы неплохо, если бы кто-то независимо перепроверил полученные цифры...
Максимальная мощность главного класса ДЛК для размерности N=10, как известно, составляет 15360. Несложно показать, что если квадрат является самоортогональным только от преобразования транспонирования от главной диагонали, то ровно половина квадратов в главном классе будут являться SODLS, а другая половина — ESODLS с самоортогональностью от транспонирования от побочной диагонали. С учетом того, что 30534 * 15360 / 2 = 234501120, можно сделать вывод о том, что:
1. ни один из SODLS порядка 10 не является одновременно ESODLS с самоортогональностью от транспонирования от побочной диагонали (такие квадраты в некоторых источниках именуются дважды самоортогональными, англ. Doubly Self-Orthogonal Diagonal Latin Square, сокр. DSODLS) или, другими словами, число DSODLS порядка 10 равно 0;
2. ни один из SODLS порядка 10 не является обобщенно симметричным или, другими словами, не имеет автоморфизмов (в противном случае мощность его главного класса была бы в целое число раз меньше чем 15360 и соотношение ЧислоГлавныхКлассовSODLS * Максимальная мощностьГлавногоКласса / 2 = ЧислоНормализованныхSODLS не выполнялось, как это происходит для меньших размерностей).Из последнего свойства вытекает скудный набор комбинаторных структур, образуемых SODLS порядка 10 (см. http://evatutin.narod.ru/evatutin_ls_all_structs_rus.pdf), в сравнении, например, с богатым набором структур для ДЛК порядка 9 (см. http://evatutin.narod.ru/evatutin_ls_all_structs_n9_rus.pdf), где квадраты, входящие в состав структур, одновременно обладают и обобщенными симметриями, и, по-видимому, являются SODLS/ESODLS.
[upd 09.04.20]
Число SODLS порядка 10 указано неверно. Правильные значения тут: https://vk.com/wall162891802_1136 .
[upd 08.06.20]
"Ни один из SODLS порядка 10 не является обобщенно симметричным или, другими словами, не имеет автоморфизмов". Уточнение: обобщенные симметрии могут быть, нет M-симметрий, уменьшающих мощность главного класса. См. https://vk.com/wall162891802_1229
Попытаемся посчитать число SODLS порядка 10. Список различных канонических форм (по одной для каждого главного класса) был получен whitefox'ом (А.Д. Белышевым) путем применения ограниченного множества M-преобразований (по сути, канонизации) к известному списку SOLS порядка 10 от Jan Harm van Vuuren (http://www.vuuren.co.za/data/SOLS_Repository/SOLSNonRCParatopic10x10.txt, см. также статью https://www.litnet.co.za/enumerasie-van-self-ortogonale-latynse-vierkante-van-orde/). Ссылку на описание эксперимента whitefox'а, к сожалению, в настоящий момент дать не могу ввиду того, что старая версия форума forum.boinc.ru по прежнему недоступна по широко известным в узких кругах причинам и в данный момент не известно, будет ли доступна вообще... Могу сказать лишь, что сохранившийся список включает в своем составе 30534 КФ SODLS порядка 10 (т.е. 30534 главных классов SODLS порядка 10). Если для каждой КФ M-преобразованиями построить соответствующий ей класс изоморфизма (в данном случае — главный класс) нормализованных ДЛК, отобрать в нем SODLS и посчитать их количество, мы получим общее число SODLS порядка 10 с фиксированной первой строкой, равное 234501120 (время соответствующего вычислительного эксперимента — 23,5 ч на Core i7 4770 в один поток). И, наконец, умножая полученное число на 10! можно получить общее число SODLS порядка 10, равное 850957664256000. Полученные цифры позволяют расширить известные числовые ряды
* https://oeis.org/A329685 — Число главных классов самоортогональных диагональных латинских квадратов порядка N,
* https://oeis.org/A287761 — Число самоортогональных диагональных латинских квадратов порядка N c фиксированной первой строкой,
* https://oeis.org/A287762 — Число самоортогональных диагональных латинских квадратов порядка N
на размерность N=10. Было бы неплохо, если бы кто-то независимо перепроверил полученные цифры...
Максимальная мощность главного класса ДЛК для размерности N=10, как известно, составляет 15360. Несложно показать, что если квадрат является самоортогональным только от преобразования транспонирования от главной диагонали, то ровно половина квадратов в главном классе будут являться SODLS, а другая половина — ESODLS с самоортогональностью от транспонирования от побочной диагонали. С учетом того, что 30534 * 15360 / 2 = 234501120, можно сделать вывод о том, что:
1. ни один из SODLS порядка 10 не является одновременно ESODLS с самоортогональностью от транспонирования от побочной диагонали (такие квадраты в некоторых источниках именуются дважды самоортогональными, англ. Doubly Self-Orthogonal Diagonal Latin Square, сокр. DSODLS) или, другими словами, число DSODLS порядка 10 равно 0;
2. ни один из SODLS порядка 10 не является обобщенно симметричным или, другими словами, не имеет автоморфизмов (в противном случае мощность его главного класса была бы в целое число раз меньше чем 15360 и соотношение ЧислоГлавныхКлассовSODLS * Максимальная мощностьГлавногоКласса / 2 = ЧислоНормализованныхSODLS не выполнялось, как это происходит для меньших размерностей).
Из последнего свойства вытекает скудный набор комбинаторных структур, образуемых SODLS порядка 10 (см. http://evatutin.narod.ru/evatutin_ls_all_structs_rus.pdf), в сравнении, например, с богатым набором структур для ДЛК порядка 9 (см. http://evatutin.narod.ru/evatutin_ls_all_structs_n9_rus.pdf), где квадраты, входящие в состав структур, одновременно обладают и обобщенными симметриями, и, по-видимому, являются SODLS/ESODLS.
[upd 09.04.20]
Число SODLS порядка 10 указано неверно. Правильные значения тут: https://vk.com/wall162891802_1136 .
[upd 08.06.20]
"Ни один из SODLS порядка 10 не является обобщенно симметричным или, другими словами, не имеет автоморфизмов". Уточнение: обобщенные симметрии могут быть, нет M-симметрий, уменьшающих мощность главного класса. См. https://vk.com/wall162891802_1229