Gameserver update

[Parzival-05]

1. Убран параллельный запуск, теперь обучение запускается по очереди.
2. Теперь при обучения в файле c логами отображается статус каждого сеанса обучения
3. Целевая функция абстрагирована от svm_info, теперь информация о svm хранится в карте
4. Process pool ловит ошибки и, в случае падения одной из SVM, обучение не прерывается (хотя выглядит это удручающе)
5. Информация о гиперпараметрах обучения есть лишь в лог файлах, в папке run_tables.
6. Изменен конфигурационный файл, см. здесь. Добавлена валидация конфига c pydantic. Парсинг конфига стал приятнее.

Пример нового лог файла:

VSharp : status=finished, epochs=2, batch_size=109, lr=0.0003, num_hops_1=5, num_hops_2=4, num_of_state_features=30
VSharp2 : status=finished, epochs=1, batch_size=109, lr=0.0003, num_hops_1=5, num_hops_2=4, num_of_state_features=30
Epoch#0 Average coverage: 64.82142857142857
Average coverage of VSharp = 62.714285714285715
Average coverage of VSharp2 = 66.92857142857143
+-------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+
|             | VSharp : BinarySearch_0                                   | VSharp : BinarySearch_100_BFS                             | VSharp : BinarySearch_100_DFS                             | VSharp : NestedFors_0                                     | VSharp : Combination.Find_0                               | VSharp : BpTree.Delete_0                                  | VSharp : CompactList.LastIndexOf_0                         | VSharp : CompactList.Add_0                                 | VSharp : BubbleSorter.BubbleSortAscending_0               | VSharp : DiscHasher.OldHash_0                             | VSharp : DiskIIController.ReadIoRegionC0C0_0             | VSharp : SlotValueHelper.AreCompatible_0                 | VSharp : LiteEngine.DropCollection_0                      | VSharp : LiteEngine.Delete_0                              | VSharp2 : BinarySearch_0                                  | VSharp2 : BinarySearch_100_BFS                            | VSharp2 : BinarySearch_100_DFS                            | VSharp2 : NestedFors_0                                    | VSharp2 : Combination.Find_0                              | VSharp2 : BpTree.Delete_0                                 | VSharp2 : CompactList.LastIndexOf_0                       | VSharp2 : CompactList.Add_0                                | VSharp2 : BubbleSorter.BubbleSortAscending_0               | VSharp2 : DiscHasher.OldHash_0                            | VSharp2 : DiskIIController.ReadIoRegionC0C0_0             | VSharp2 : SlotValueHelper.AreCompatible_0                 | VSharp2 : LiteEngine.DropCollection_0                    | VSharp2 : LiteEngine.Delete_0                            |
|-------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------|
| Game result | actual %: 76.00, steps: 200, test count: 5 error count: 0 | actual %: 90.00, steps: 200, test count: 5 error count: 1 | actual %: 76.00, steps: 200, test count: 5 error count: 0 | actual %: 100.00, steps: 38, test count: 1 error count: 0 | actual %: 66.00, steps: 200, test count: 0 error count: 1 | actual %: 13.00, steps: 200, test count: 1 error count: 6 | actual %: 100.00, steps: 121, test count: 6 error count: 1 | actual %: 100.00, steps: 145, test count: 3 error count: 0 | actual %: 100.00, steps: 76, test count: 1 error count: 1 | actual %: 42.00, steps: 200, test count: 1 error count: 7 | actual %: 0.00, steps: 200, test count: 0 error count: 0 | actual %: 0.00, steps: 200, test count: 0 error count: 0 | actual %: 55.00, steps: 200, test count: 1 error count: 0 | actual %: 60.00, steps: 200, test count: 1 error count: 0 | actual %: 100.00, steps: 63, test count: 6 error count: 0 | actual %: 100.00, steps: 23, test count: 7 error count: 0 | actual %: 100.00, steps: 21, test count: 7 error count: 0 | actual %: 100.00, steps: 40, test count: 2 error count: 0 | actual %: 100.00, steps: 37, test count: 1 error count: 0 | actual %: 13.00, steps: 200, test count: 1 error count: 6 | actual %: 96.00, steps: 200, test count: 5 error count: 2 | actual %: 100.00, steps: 137, test count: 3 error count: 1 | actual %: 100.00, steps: 108, test count: 2 error count: 1 | actual %: 23.00, steps: 200, test count: 0 error count: 5 | actual %: 14.00, steps: 200, test count: 1 error count: 3 | actual %: 91.00, steps: 200, test count: 1 error count: 0 | actual %: 0.00, steps: 200, test count: 0 error count: 0 | actual %: 0.00, steps: 200, test count: 0 error count: 0 |
+-------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+
Epoch#1 Average coverage: 63.857142857142854
Average coverage of VSharp = 63.857142857142854
+-------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+
|             | VSharp : BinarySearch_0                                   | VSharp : BinarySearch_100_BFS                             | VSharp : BinarySearch_100_DFS                             | VSharp : NestedFors_0                                     | VSharp : Combination.Find_0                               | VSharp : BpTree.Delete_0                                  | VSharp : CompactList.LastIndexOf_0                         | VSharp : CompactList.Add_0                                 | VSharp : BubbleSorter.BubbleSortAscending_0               | VSharp : DiscHasher.OldHash_0                             | VSharp : DiskIIController.ReadIoRegionC0C0_0             | VSharp : SlotValueHelper.AreCompatible_0                 | VSharp : LiteEngine.DropCollection_0                      | VSharp : LiteEngine.Delete_0                              |
|-------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------|
| Game result | actual %: 92.00, steps: 200, test count: 5 error count: 1 | actual %: 90.00, steps: 200, test count: 5 error count: 1 | actual %: 76.00, steps: 200, test count: 5 error count: 0 | actual %: 100.00, steps: 44, test count: 1 error count: 0 | actual %: 66.00, steps: 200, test count: 0 error count: 1 | actual %: 13.00, steps: 200, test count: 1 error count: 3 | actual %: 100.00, steps: 121, test count: 6 error count: 1 | actual %: 100.00, steps: 145, test count: 3 error count: 0 | actual %: 100.00, steps: 76, test count: 1 error count: 1 | actual %: 42.00, steps: 200, test count: 1 error count: 7 | actual %: 0.00, steps: 200, test count: 0 error count: 0 | actual %: 0.00, steps: 200, test count: 0 error count: 0 | actual %: 55.00, steps: 200, test count: 1 error count: 0 | actual %: 60.00, steps: 200, test count: 1 error count: 0 |
+-------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+------------------------------------------------------------+------------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+----------------------------------------------------------+----------------------------------------------------------+-----------------------------------------------------------+-----------------------------------------------------------+

[Anya497]

Сейчас в запуске обучения подразумевается, что всегда будет использоваться символьная машина. Это не так. Важно иметь возможность запускать классическое обучение.
Информация о символьной машине нужна только в play_game. На клиенте она не нужна.
Кажется, отдельная функция run_training лишняя.

[emnigma]

тэгни еще раз пожалуйста, когда Анины штуки поправишь

[Parzival-05]

На клиенте она не нужна.

Нужно переписать коллектор статистики, чтобы не приходилось прокидывать инфу о названии SVM. Сейчас пока занес SVM в карту, далее еще валидацию причешу.

Кажется, отдельная функция run_training лишняя.

Сейчас в main происходит лишь чтение конфига, а полезная работа делегируется run training. Мне кажется такое разделение более логичным.

[Parzival-05]

5. В валидации заменил процесс пул на тред пул, т.к. иначе ошибки не ловятся и падает все обучение.

@emnigma, я попытался с процесс пулом, но при ловле ошибок он зависает. Полагаю, что основным бутылочным горлышком при распараллеливании карт будет общение c сервером, поэтому даже c учетом GIL не должно стать на порядок медленнее.

[Parzival-05]

Поправил мелочи (или прокомментировал)

[emnigma]

💪