Я использую Sugar v2-3-3 (основанный на SAT Constraint Solver) с minisat solver2.2.0 для запуска эксперимента, я провожу свой эксперимент на сервере Kernel Linux с 16 ГБ ОЗУ и 4 VCPU и использую Java версии 10 (Java Максимальный размер кучи - 12 ГБ, а минимальный - 8 ГБ).
Эксперимент основан на запуске 5 различных файлов сахара 400 раз и извлекает среднее значение ЦП, памяти и времени (используя команду /usr/bin/time) для запуска каждого файла. Однако, прокручивая вывод команды time, я заметил, что существует много сбоев страниц, приводящих к иррациональным результатам, когда процент загрузки ЦП для некоторых больших файлов ниже, чем для меньших. Максимальный размер файла - 100 МБ.
Может ли кто-нибудь помочь мне объяснить, почему у меня сбой страницы, хотя у меня достаточно большой объем памяти, и как избежать сбоя страницы? Результаты приведены ниже:
⦁ 50.27% 00:05.03 211303.68
⦁ 43.22% 00:15.03 480789.36
⦁ 43.19% 00:21.25 577915.12
⦁ 40.86% 00:26.07 717707.88
⦁ 41.22% 00:30.49 853791.88