UVM 源码 uvm_sequencer_base grant_queued_locks

许晴125

这张图其实就是展示了这个函数做的事情，但是我有一点不太明白，既然b之前的请求都是REQ，那为什么还能用is_blcok的函数过滤出not_blocked并存放到lock_list的队列里面呢？

许晴125

哈哈哈，中午睡了一觉，突然灵光一现，知道为什么了，其实就是一个很简单的问题，因为sequencer里面的arb_sequence_q其实是存放了多个sequence，但是你lock的话，其实就是lock的某一个sequence.这个时候你就要把其他的sequence放到lock_list[]里面啊。

许晴125

这是我的理解也欢迎大家跟我积极探讨。

eaglezhang01

   

许晴125 发表于 2021-12-10 13:34
哈哈哈，中午睡了一觉，突然灵光一现，知道为什么了，其实就是一个很简单的问题，因为sequencer里面的arb_s ...

看来楼主还没理解到，这里放入lock_list，首先放入的是自己这个seq，不是其他seq，其次，这里为什么要放入当前这个这个seq，原因是需要等待这个seq的lock间的语句执行完，只有他执行完了调unlock才会把自己从这个queue中把自己清除掉，否者他就一直占着sqr（is_blocked这个函数体现）

许晴125

对，是我理解错了，是我没有理解is_blocked(sequence)的含义，这个函数就是将对应lock的seq放到lock_list[],然后看看当前seq是否在lock_list里面，如果在里面is_blocked(seq)就会返回1.否则返回0.
再反观grant_queued_locks(),其实就是两个作用，第一个如果lock_list已经有seq，则对arb_sequence_q[]进行重新排序，第二个如果lock_list没有seq,就把这个seq.push_back到lock_list[]里面。这个函数在后面还会再调用！

我也是刚开始看源码，一点理解，不知道对与否，希望各位多多指教。

许晴125

我也是刚开始看源码，一点自己的理解，希望各位多多指教！

eaglezhang01

这部分相对是有些复杂，uvm有两部分我认为有两部分最复杂的，seq&sqr，还有是objection，seq&sqr复杂的部分又属你现在看的lock机制最复杂，我也理了好多遍才理清，等看明白了又感觉还好

许晴125

   

eaglezhang01 发表于 2021-12-10 16:02
这部分相对是有些复杂，uvm有两部分我认为有两部分最复杂的，seq&sqr，还有是objection，seq&sqr复杂的部分 ...

大佬

anpengfei

   

许晴125 发表于 2021-12-10 15:02
对，是我理解错了，是我没有理解is_blocked(sequence)的含义，这个函数就是将对应lock的seq放到lock_list[] ...

请教请教，这里为什么是不等于号？!= 表示lock_list里没有，返回1？
grant_queued_locks里，如果is_blocked返回0（lock_list里有）又push到lock_list里？
我哪儿肯定理解错了……

eaglezhang01

   

anpengfei 发表于 2021-12-10 17:49
请教请教，这里为什么是不等于号？!= 表示lock_list里没有，返回1？
grant_queued_locks里，如果is_block ...

is_blocked是检查sqr有没有已经被其他seq独占