누군가 포크와 루프를 시스템의 Verilog에서 설명 할 수 있습니까?

Question

나는 누군가가 실제로 무슨 일이 일어나고있는 나를 설명 할 수

for(int j=1; j <=3; ++j) 
    fork 
     automatic int k = j; 
     begin 
      .... # use k here 
     end 
    join_none 

• 참조

  은 아래의 예제를 붙여 넣기하고, SV LRM section 9.3.2를 거치지이 의심했습니다?

• automatic 변수를 포크 외부로 이동하면 어떻게됩니까?

  for(int j=1; j <=3; ++j) begin 
      automatic int k = j; 
      fork 
       begin 
        .... # use k here 
       end 
      join_none 
  end 
  

• 루프를 포크 내부로 이동하면 어떻게됩니까? 사전에

  fork 
      for(int j=1; j <=3; ++j) begin 
       automatic int k = j; 
       begin 
        .... # use k here 
       end 
      end 
  join_none 
  

감사합니다.

Answer 1

자동 변수를 포크 외부로 이동하지만 여전히 for 루프의 begin/end 블록 내부에서 동일한 효과가 있습니다. 루프의 각 반복은 의 자체 로컬 복사본을 현재 루프 값 j으로 초기화합니다. 따라서 값 1,2 및 3을 가진 k의 사본 3 개를 얻습니다. fork/join_none에 의해 생성 된 각 프로세스는 k의 각 로컬 복사본에 바인딩됩니다. fork/join_none이 루프 안에 있기 때문에 세 개의 프로세스가 생성됩니다.

for 루프를 포크 내부로 이동하면 루프가있는 fork에 의해 생성 된 하나의 프로세스 만 가져옵니다. 루프 내의 코드가 순차적으로 실행되기 때문에 j 또는 k를 사용하면 문제가되지 않습니다.

Answer 2

1,3의 효과는 같을 것이고 fork...join의 각 스레드는 j (j = 1,2,3 ... 모두 취해집니다)의 적절한 값을 취할 것입니다.

그러나 두 번째 경우에는 스레드 외부에서 k에 값을 할당하므로 모든 스레드에 대해 k의 마지막 값이 사용됩니다.

다음은 각 경우에 대한 샘플 코드입니다.

// Code 1 
for(int j=1; j <=3; ++j) 
    fork 
     automatic int k = j; 
     begin 
      $display("Current Value - %0d", k); 
     end 
    join_none 
    wait_fork; 

// Output of Code 1 
Current Value - 1 
Current Value - 2 
Current Value - 3 

// Code 2 
for(int j=1; j <=3; ++j) 
begin 
    automatic int k = j; 
    fork 
     begin 
      $display("Current Value - %0d", k); 
     end 
    join_none 
end 
wait_fork; 

// Output of Code 2 
Current Value - 3 
Current Value - 3 
Current Value - 3 

// Code 3 
fork 
    for(int j=1; j <=3; ++j) 
     begin 
     automatic int k = j; 
     $display("Current Value - %0d", k); 
     end 
join_none 
wait fork; 

// Output of Code 3 
Current Value - 1 
Current Value - 2 
Current Value - 3