Rocket - util - IDPool

介绍IDPool的实现。

1. 基本介绍

实现从ID池中分配和释放ID的功能。

2. 实现

1) numIds & idWidth

numIds为ID池中ID的个数；idWidth为表示这么多ID所需要的比特数；

2) io

alloc为从ID池中分配一个ID时所使用的接口，io.alloc.bits为返回的ID号；

free为从ID池中释放一个ID时所使用的接口，id.free.bits为要释放的ID号；

3) bitmap

位图：标识每个ID是否可用；

4) select

分配ID时选定的ID号；

5) valid

是否仍可以从池中分配ID，取决于当前池中是否还有ID可分配；

6) take

下一个要分配的ID位：

7) given

要释放的ID位。

8) bitmap1

分配或者释放之后的位图（bitmap for next clock cycle）：

9) select1

下一个待分配的ID号（从小号开始分配）：

其中leftOR生成一个掩码，以取出bitmap1中最低的可分配的位：

10) valid1

是否仍有ID可分配；

11) 更新bitmap

如果发生ID的分配和释放，则更新bitmap，以及valid（是否仍有ID可分配）：

12) 更新select

更新下一个要分配的ID号：

a. 发生了分配动作；

b. 在没有ID可分配的情况下，发生了释放动作；也就是说，分配是循环（round robin）的，在高ID没有分配过的情况下，即便低ID已经释放，仍然优先分配高ID。

3. 附录

略

巴特西