Java Collection磁盘满时会在磁盘上加载哪些页面？

Question

一位同事提到他听说过一个轻量级的收藏集，当内容太满时会自动分页到磁盘上-但是他不记得这个名字了。我想它看起来像这样：

PagingCollection<Serializable> pagingCollection = new PagingArrayList<>();
pagingCollection.setMaxSizeInMemory(500);
for (int x = 0; x < 1000; x++) { pagingcollection.add("x="+x); }

然后将x = 0推到x = 500到磁盘。关键是能够在不将整个内容加载到内存的情况下对其进行迭代。

这是针对具有少量内存的胖客户端。

有人知道吗（或类似的东西）？

Answer 1

好吧，我所知道的唯一具有这种功能的工具是流行系统：prevayler和space4j。尽管它们的界面乍一看对您来说很奇怪，但是它们使用起来非常简单，并提供了方便的功能集。