之后会考虑再整理下。

1. A的n和B的n是如何被计算出来的？

A 和 B 的 n 是自己算的。保证两点就可以，递增并全局唯一。

一个简单的算法，就是在创建提议者的时候给他们一个 id 号，比如 1、2、3。然后 n 从 1 开始并把 id 当做小数部分。

比如 1.001，下一个 n 就是 2.001，以此类推。

代码实现 https://github.com/yfractal/concurrency-lab/blob/master/paxos/src/paxos_proposer.erl#L154

1. C是如何判断出A的n和B的n的谁大谁小呢？

假设 A 给的是 1.001，B 给的是 1.002 ，那么认为 B 的大。

https://github.com/yfractal/concurrency-lab/blob/master/paxos/src/paxos_acceptor.erl#L70

代码说明 https://ruby-china.org/topics/38909

@zzz6519003 加了 erlang 的实现 https://ruby-china.org/topics/38909。之后会考虑加图片的

不是 uniq key，用了 limit，会漏数据。

虽然觉得对我没什么用，还是谢谢。

求代码，伪代码也行。

ror，不会内存溢出，因为每次拿 1000个，就是上面的代码。

直接遍历，是每个都查一次 sql？数据量大一点，会很慢。

我误以为 spirngboot 和 ror 一样是个全家桶。。。

既然说 orm，我们就把问题放在 orm 里讨论。

现在的问题是：遍历一样表，考虑到内存，需要分批次获取。

方便给代码吗？随便哪种 orm 的都可以，伪代码也行。

我知道 java 可以这么写（这种方法不是最好的，想知道更好的方法）

@Query("SELECT * FROM users WHERE id >= :startId"
       + " and ORDER BY id ASC LIMIT :limit")
List<User> getBatch(@Param("limit") long limit,
                         @Param("startId") long startId);

public List<User> getBatch(@NonNull Long limit, @NonNull Long startId) {
  List<User> users = this.dbRepository.getBatch(limit, startId);
  return users.stream().collect(Collectors.toList());
}

要遍历所有的，外面还要有一个循环。。。

RoR 里面，这么写

User.find_each do |user|
end

一样的功能，一次拿 1000 条，我忘了可不可以设置 1000 这个值了，但这个值一般没必要改。

比如数据库里有 users 表，提供这样一个 API，一次可以拿 1000 个。 多次调用 API 后，可以拿到所有的 users。

求具体说一说。

比如 批量获取 ，用 SpringBoot 除了手撸以外，有没有更好的办法？

就是拼字符串方便，dehug 方便。所以用啊。

拼接字符串方便，好 debug。

启动 java 项目的时候，我总是在想，到底要不要传环境变量，这个环境是 dev 呢，还是 development 呢？schema 在哪呢，要怎么跑呢？

我写了小 100 行的 Java 代码，搞了一个批量获取的 API，RoR/Grape 10 行可以搞定吧？

Clojure 呢，语言本身不支持 debug。。。先完成什么，都靠干撸，都撸秃噜皮了，一手老茧。

有测试、开发环境的还好，很多都是没有的。。。

目录结构，完全看项目搭建者高兴。debug 都是从头 debug 到尾。