Rocket - config - implicit Parameters

https://mp.weixin.qq.com/s/OH_Z1gdSUpfgM-tjx0OlrA

 

追溯配置信息的源头。

 

0. HasRocketCoreParameters

 

​​

HasRocketCoreParameters中使用从HasTileParameters中继承的implicit Parameters p获取各个配置项的值。

 

这个p是抽象的，在HasRocketCoreParameters被混入（mixin）的类中实现或者推断（infer）。

 

 

1. class Rocket

 

​​

 

class Rocket的主要构造方法有一个参数列表提供了implicit Parameters p，这个p可以被推断（infer）为HasRocketCoreParameters中的p。

 

 

2. RocketTileModuleImp

 

​​

 

Rocket类在RocketTileModuleImp类中实例化，这里为Rocket类的主要构造方法的implicit Parameters p参数提供的实参为outer.p。

 

下一节追溯RocketTileModuleImp在哪里实例化并传入outer。

 

PS. 这里讲一个Intellij IDEA的细节。

 

按住Ctrl，鼠标左键点击outer.p中的p，跳转到如下位置：

​​

 

outer是RocketTile的实例：

​​

他的方法列表里也有一个implicit p: Parameters。

 

那么为什么点击outer.p的p定位到的不是RocketTile类的p呢？

 

看一下Structure窗口。

LazyModule的如下：

​​

这里的p作为一个数据成员存在；

 

RocketTile的如下：

​​

没有p；

 

如果把RocketTile的定义改一下：

​​

 

这说明类的主要构造方法的参数列表中，以var/val关键字修饰的是类的成员，不带的不是。

 

那么RocketTile类主要构造方法（primary constructor）参数列表中的implicit p: Parameters就不是覆盖父类的数据成员，而只是一个参数。向当前范围（scope）内提供一个Parameters变量，这个变量可以被推断（infer）为HasTileParameters中的p。

 

 

3. RocketTile

 

RocketTileModuleImp在RocketTile类中实例化：

​​

 

RocketTile类的定义如下：

​​

 

他也有一个implicit p: Parameters参数。

 

 

4. HasRocketTiles

 

​​

 

RocketTile在HasRocketTiles中实例化，使用的tp来自于：

​​

 

这个p来自于BaseSubsystem。

 

 

5. BaseSubsystem

 

​​

 

 

6. RocketSubsystem

 

BaseSubsystem的p来自于其子类，如RocketSubsystem：

​​

 

 

7. ExampleRocketSystem

 

RocketSubsystem的p来自于其子类，如ExampleRocketSystem：

​​

 

 

8. TestHarness

 

ExampleRocketSystem在TestHarness中实例化：

​​

 

TestHarness找不到被引用的地方。

 

 

9. Makefrag

 

TestHarness在Makefrag这个Makefile文件中使用：

​​

 

同时注意这里的CONFIG被赋值为DefaultConfig，这是一个配置类。

 

​​

 

这里调用Generator中的main函数，并把MODEL（TestHarness）和CONFIG（DefaultConfig）作为参数传入。

 

 

10. GeneratorApp

 

Generator中没有配置相关的内容，其继承自GeneratorApp：

​​

 

把传入的参数封装成ParsedInputNames：

​​

 

1) 先看CONFIG，亦即DefaultConfig

 

​​

 

fullConfigClass是DefaultConfig加上包名的路径，即：freechips.rocketchip.system.DefaultConfig。

 

这里加载这个类、实例化，并类型转换成为Parameters对象params。

 

2) 再看MODEL，亦即TestHarness

 

​​

 

fullTopModuleClass是TestHarness加上包名的路径，即：freechips.rocketchip.system.TestHarness。

 

elaborate中就比较熟悉了：

​​

 

调用chisel3.Driver.elaborate()返回一个Circuit实例。

 

top是一个无参但返回RawModule的函数：

​​

a. 加载TestHarness类：Class.forName(fullTopModuleClassName)

b. 获取参数为Parameters的构造方法：getConstructor(classOf[Parameters])

c. 调用该构造方法，把params作为参数传入：newInstance(params)

 

即相当于：new TestHarness(params)；

​​

 

11. 总结

 

可以发现，配置的源头是用户传入的配置类的类名。

 

 

12. Scala：构造方法中的implicit参数列表

 

CoreModule类只定义了一个参数列表，为什么要多加一个空的参数列表呢？

​​

 

​​

 

这在Scala语言规范中有讲：

If a class has no formal parameter section that is not implicit, an empty parameter section () is assumed.

也就是说，即便没有明写非implicit参数列表（formal parameter section），也默认有一个。实例化时需要加上。

 

参考如下链接：

https://www.scala-lang.org/files/archive/spec/2.12/05-classes-and-objects.html#class-definitions