提交 6d99dd0d authored 作者: Reto Merz's avatar Reto Merz

Use PageStore lock to access cache (issue #1371)

上级 5c4719de
...@@ -2077,7 +2077,7 @@ public class Database implements DataHandler { ...@@ -2077,7 +2077,7 @@ public class Database implements DataHandler {
} }
cacheSize = kb; cacheSize = kb;
if (pageStore != null) { if (pageStore != null) {
pageStore.getCache().setMaxMemory(kb); pageStore.setMaxMemory(kb);
} }
if (store != null) { if (store != null) {
store.setCacheSize(Math.max(1, kb)); store.setCacheSize(Math.max(1, kb));
......
...@@ -2028,4 +2028,8 @@ public class PageStore implements CacheWriter { ...@@ -2028,4 +2028,8 @@ public class PageStore implements CacheWriter {
backupLevel += start ? 1 : -1; backupLevel += start ? 1 : -1;
} }
public synchronized void setMaxMemory(int size) {
cache.setMaxMemory(size);
}
} }
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论