2010-11-03 13:06:19| 分类： SystemVerilog | 标签： |举报 |字号大中小 订阅
说明：SystemVerilog Wiki上对此语言的讲解比较实质化，比其他大众化的教科书更有特点，所以我坚持翻译，从而也巩固自己的知识。其推荐的参考文献也需要看看。
英文来源：http://systemverilog.co/wiki/Queues
SystemVerilog语言手册提供了队列容器， 基本上是一个双端口队列[1]. 队列就好象一个一维数组，可以自动在两端增长和减小。队列数据结构有如下特征：
当队列被声明后，它将被分配一块连续的内存区域，其头尾迭代指针被初始化用来跟踪队列两端的状态。如果一直往队列的某一段增加成员，这块内存最终将被耗尽，此时，内存管理器会从系统中再分配一块内存用来存放新的数据。 当需要访问某一个特定的成员时，内存管理器简单的查询该成员存放的相应内存块。一旦找到其位置，访问该成员仅仅需要一个类似的数组访问操作。
当成员从队列的某一端被删除时，有可能让内存块得到释放，内存管理器将此内存释放给系统.
现在我们来看看在队列中间增加和删除一个成员的操作方式。因为内存块本身是连续且固定大小的，这些操作可能导致这些数据成员的物理存储位置移动以提供位置给新插入的成员（删除的时候，是填补空位）. 根据列表的长度和操作成员的位置，插入和删除操作可能会移动很多成员，因此队列的插入和删除操作不是固定时间。
SystemVerilog中的队列声明是通过在标识符加后缀[$]. 例如，声明一个unsigned int类型的队列，使用如下方式：
| 1 | int unsigned intQ[$]; |
| 1 2 3 4 5 6 7 | // Initializing a Queueint unsigned intQ[$] = {1, 2, 3, 5, 8, 13};// An already existing array may be used to// initialize a queueint unsigned intDA[] = {1, 2, 3, 5, 8, 13};int unsigned intQalt[$] = intDA; |
队列声明可以限制长度。限制长度的队列成员将不会超过最大长度. 如果你只需要一个小队列，并且确认不会超过某个范围，那么最好声明成限制长度的队列。特别是队列本身是类的一部分。如果没有声明为限制长度，那么队列至少会消耗一整个内存块(如上描述的架构). 一个内存块一般占用1K甚至更多(由编译器实现决定). 为了让队列消耗更少的内存，队列声明为限制长度的：
| 1 2 | // A queue that can grow only up to a size of 32int unsigned intBQ[$:32]; |
一旦队列被声明，其成员可以像普通的数组一样被访问。实际上，SystemVerilog手册认为队列是通用未打包的数组的一种[3][4]. 类似其他数组，队列通过值传递。如果需要传递队列的引用，需要将参数声明为ref.
队列可以和其他队列以及其他类型的数组直接进行复制[5].
除了所有的数组都支持的索引和片选操作，SystemVerilog队列还支持许多其他操作：
| 队列的方法和操作 | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 方法/操作 | 功能描述 | ||||||||
| q[a] | 索引操作——返回对应索引的成员。如果超出范围，则返回此成员类型的缺省值。 | ||||||||
| q[a:b] | 片选操作——返回指定范围的队列成员。如果a为负数，则从0开始，如果b大于最后成员的索引，则截至到最后一个成员。 | ||||||||
| q.size() | 返回队列中成员的个数 | ||||||||
| q.insert(index,item) | 指定索引处插入item. 第1个参数index必须是整数，第2个参数item必须和队列成员类型一致。如果队列已经到达设定的大小(队列满)，则最后一个成员被隐式的删除 | ||||||||
| q.delete(index) | 从队列中删除对应索引的成员 | ||||||||
| q.delete() | delete方法被重载。当没有索引参数的时候，整个队列被清除，等价于: q = {}. | ||||||||
| q.push_back(item) | 将item增加到队列尾部，如果队列满了，操作将失败 | ||||||||
| q.pop_back() | 删除并返回队列的最后一个成员 | ||||||||
| q.push_front(item) | 将item加到队列前面。如果队列已经满了，则最后一个成员将被隐式的丢掉 | ||||||||
| q.pop_front() | 删除并返回队列的第一个成员 | ||||||||
评论