主页 / coding / 问题

问题[static](coding)

Martin Hope
Sonicsmooth
Asked: 2024-12-17 06:43:11 +0800 CST
  • 5

我对 Nim 还很陌生。

Nim 是否会在编译期间自动尝试执行其所能做的一切？文档中大量讨论了如何在编译时确定静态内容，这似乎是该语言的指导哲学。

我有一个 Python 程序，它通过执行一系列嵌套循环、每次循环生成一个数组，然后根据数组中的值计算启发式算法来计算某些内容。运行期间没有 I/O，除了在最后将启发式算法写入文件或控制台。

输出是 100% 确定的，并且在程序运行之前原则上是可知的，但是 Python 当然会在运行时计算输出，这可能需要很长时间，即使在启用多处理之后也是如此（因为问题受到 CPU 和内存的限制）。

如果我用 Nim 重写 Python 程序，编译器是否足够智能，能够在编译时找出输出？因此，运行时只会将最终输出写入文件。

我可以将 Nim 中的 Python 程序简化为：

var x: int
for i in 1..10:
    x += i
echo x

返回：

55

这里几乎无法阅读的 C 输出nimAddInt(...)在 内部有一个调用NimMainModule，所以我猜测在这个特定情况下，操作发生在运行时。我如何强制在编译时执行此操作？宏？

static
Martin Hope
ss77
Asked: 2024-09-16 22:52:04 +0800 CST
  • 4

我正在尝试理解静态任务。在这里我理解线程 1、2 和 3 同时发生，并且_time&t_name是任务内部的静态变量。当我模拟代码时，我得到：

[0] Main Thread: Fork join going to start
[0] Main Thread: Fork join has finished
[0] Nested fork has finished
[10] Thread2
[20] Thread2
[30] Thread2

但是，后来我想，既然“Thread2”与其他两个线程共享t_name，那么_time三个线程的共享内存量是不是应该都是 20？我期望的答案是：

[0] Main Thread: Fork join going to start
[0] Main Thread: Fork join has finished
[0] Nested fork has finished
[20] Thread2
[20] Thread2
[20] Thread2

有人能帮助我理解吗？

module tb; 
  initial begin 
    $display("[%0t] Main Thread: Fork join going to start", $time); 
    fork 
      begin 
        fork 
          print(10, "Thread1"); 
          print(20, "Thread2"); 
        join_none
        $display("[%0t] Nested fork has finished", $time); 
      end  
      print(30, "Thread3");  
    join_none
    $display("[%0t] Main Thread: Fork join has finished", $time);
  end 
 
  task print (int _time, string t_name); 
    #(_time) $display ("[%0t] %s", $time, t_name); 
  endtask 
endmodule
static