Rocket - util - IDPool

https://mp.weixin.qq.com/s/Pe7FGKzfRufzzYDrl0fQ7g

 

介绍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. 附录

 

略