Советуем процессору Prolog использовать огромные страницы

Существуют ли какие-либо реализации Prolog, которые поддерживают использование огромных страниц (2 МБ / 4 МБ на страницу памяти) вместо ванильных страниц памяти 4 КБ.

В идеале я хотел бы объявить интерпретатору/компилятору/времени выполнения, что можно использовать огромные страницы X для различных куч/стеков/блокнота памяти для некоторого конкретного приложения.

Конечно, от этого выиграют не все приложения, но я уверен, что есть несколько таких приложений. Мегабайты — это новые килобайты, в конце концов :)


person repeat    schedule 27.03.2015    source источник
comment
Размер страницы будет определяться операционной системой; а не работающая на нем реализация пролога.   -  person user3344003    schedule 30.03.2015
comment
Нет. Информацию по этому вопросу см. на странице wiki.debian.org/Hugepages.   -  person repeat    schedule 30.03.2015
comment
Да, я, кажется, припоминаю, что Arity/Prolog позволял использовать страницы большего размера, чем 4 КБ, но быстрый поиск ничего не дал. Крутой вопрос.   -  person vmg    schedule 17.10.2015
comment
Например, это: eclipseclp.org/doc/userman/umsroot152.html?   -  person coredump    schedule 17.10.2015
comment
@coredump. Спасибо за эту ссылку! Как эта информация связана с огромными страницами? (На других страницах других процессоров Prolog есть довольно много переключателей, связанных с использованием памяти в целом, но не по отношению к huge-pages, например, sicstus. sics.se/sicstus/docs/latest4/html/sicstus.html/)   -  person repeat    schedule 17.10.2015
comment
@repeat О, теперь я понял вопрос. Это не было действительно связано, извините.   -  person coredump    schedule 17.10.2015
comment
@coredump. Без вреда! Это было связано, но не так точно, как мне бы хотелось...   -  person repeat    schedule 17.10.2015
comment
@coredump. Как насчет того, чтобы взять несколько бенчмарков и протестировать их с помощью JekeJeke Prolog на JVM (с включенными огромными страницами и без них) и сообщить эмпирические измерения времени выполнения в качестве ответа здесь? Щедрость в размере 200 ждет максимум до субботы!   -  person repeat    schedule 23.10.2015


Ответы (1)


Поскольку некоторые прологи работают на Java JVM, а некоторые Java JVM имеют соответствующий флаг, я думаю, что ответ положительный. Смотрите также:

Поддержка Java для больших страниц памяти
http://www.oracle.com/technetwork/java/javase/tech/largememory-jsp-137182.html

На Java JVM работает несколько прологов:

Сравнение реализаций Пролога
https://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations

Пока

person Mostowski Collapse    schedule 18.08.2015
comment
Вы проводили тесты производительности с JekeJeke на какой-нибудь JVM, один раз с отключенными огромными страницами, другой раз с включенными огромными страницами? - person repeat; 18.10.2015
comment
Я не хочу напрямую сравнивать измерения производительности JekeJeke и других процессоров Prolog, которые не работают на JVM)... Мне любопытно, полезны ли огромные страницы, и если да, то для какого эталона. - person repeat; 18.10.2015