fork join问题

eextw6

fork join内是只有一个for循环的单线程，请问一下加fork join和不加有什么区别？事实上我加fork join打印的时间是valid拉高后立即的时间（我想要的时间），而不加的话，第一次打印的时间已经是valid拉高后过了几十个clk的时间了。
代码结构如下：
if(***)begin
    fork
        for(****)begin
            ........
            ........
            ........
            if(valid)
                $display("The time is %t",$realtime);
        end
    join
end

zhangdeshuai

好问题，mark

飞翔的马甲

fork...join里面的语句块都是并行执行的，并且所有的语句块都执行完，才继续执行fork...join后面的代码；
fork...join_none里面的语句块都是并行执行的，并且不会阻塞，继续执行fork...join_none后面的代码；
fork...join_any里面的语句块都是并行执行的，只要有一个语句块执行完，就继续执行fork...join_any后面的代码；

eextw6

飞翔的马甲 发表于 2021-9-8 14:13
fork...join里面的语句块都是并行执行的，并且所有的语句块都执行完，才继续执行fork...join后面的代码；
f ...

在我上面fork join里面的for循环是顺序执行的吧，加不加fork是有什么影响呢？

anpengfei

就已提供代码来看，没啥区别吧

飞翔的马甲

eextw6 发表于 2021-9-8 14:32
在我上面fork join里面的for循环是顺序执行的吧，加不加fork是有什么影响呢？
...

要明确一个“语句块”的概念，多行代码的语句块，用begin...end来界定，单行的代码单独视为一个语句块。
例如：
fork
begin
    process1();
    process2();
end
join
和
fork
process1();
process2();
join
是不一样的，上面的fork...join只有一个语句块，begin...end里面的代码始终是顺序执行的，所以先执行process1()，再执行process2();
下面fork...join有两个语句块，分别是process1()和process2()，process1()和process2是并行执行的；

至于你的例子，需要把完整的代码贴上来看一下，因为虽然for循环里面的代码是顺序执行的，但是里面的变量会受到fork...join并行执行的影响，实际运行结果可能并不是你想的那样。

viviy

我记得这个里面如果涉及到了automatic和static，区别一下子就出来了。

mioyo

从代码结构看：for循环内部按照顺序执行，而在外部加入fork join则意味着有n个for循环内部的逻辑，并行执行，且都执行完后才能退出。
有两个疑问：
1.在for循环内部是否调用别的task；
2.在for循环内部是否声明automatic类型的变量用来传递参数。
至于不加入fork join的原因是因为for循环内部的逻辑在 顺序执行，但是因为逻辑的一些原因，在打印之前又执行的别的逻辑，导致第一个for循环执行到valid拉高的打印延长，所以导致打印时间对不上

jinjiahao

eextw6 发表于 2021-9-8 14:32
在我上面fork join里面的for循环是顺序执行的吧，加不加fork是有什么影响呢？
...

fork join里的for并不是单线程，他已经全部展开了，你仔细看一下绿皮书有关线程的控制就知道了。

eextw6

jinjiahao 发表于 2021-9-22 11:05
fork join里的for并不是单线程，他已经全部展开了，你仔细看一下绿皮书有关线程的控制就知道了。
...

不是单线程吗？绿皮书上没有我这种fork join包for循环的，但是看到的180页那个例子，认为在一个begin end里就是按顺序执行。