Как гарантировать быстрые времена запуска mnesia
По соглашению (и по веским причинам ) только имена классов должны начинаться с заглавных букв. Похоже, что более новые версии компилятора предполагают (приводят в исполнение?) Это соглашение (заглавные буквы позже в имени принимаются, хотя это может вызвать другие проблемы ).
Решение простое: переименуйте подпакет в нижний регистр, что можно сделать, щелкнув его правой кнопкой мыши в представлении проекта Android и выбрав Refactor → Rename, или щелкнув его и открыв пункт меню Refactor → Rename. [113 ]
4 ответа
Вещи я узнал до сих пор:
- disk_only_tables, кажется, заканчиваются в намного более длительные времена запуска, чем disk_tables
- вызов
mnesia:create_table()с новой таблицей тип недостаточно для изменения типа таблицы. Использоватьmnesia:change_table_copy_type() - Кажется, что disk_only_tables не уменьшаются и не загружаются быстрее при удалении объектов.
Я решил свою проблему путем устранения проблемы типа таблицы на двух таблицах и уменьшения моего размера базы данных к 4 МБ.
В Вашем супервизоре, после того, как останавливаются все процессы, которые пишут в mnesia, необходимо звонить:
application:stop(mnesia)
Это правильно закроет mnesia на том узле.
q () должен отправить стоповый сигнал в mnesia приложение, которое совпадает с application:stop (mnesia) команда. Я рекомендовал бы пытаться использовать mnesia:stop () команда для перевода в нерабочее состояние его приятно.
Из документации mnesia:
-mnesia no_table_loaders ЧИСЛОуказывает количество параллельных таблиц погрузчики во время запуска. Больше погрузчиков могут быть хорошим, если задержка в сети высока или если много таблиц содержит несколько записи. Значение по умолчанию - 2.
Если у вас много таблиц, это позволит вам загружать их параллельно. Но это не ускорит время начала для одной таблицы. Для этого лучше всего иметь небольшие таблицы, чего можно добиться путем их фрагментации.