Question

对象、字符串、动态数组、以及联合数组的内存是动态分配的。当创建对象的时候，SystemVerilog会分配更多的内存。当对象不再需要的时候，SystemVerilog自动地释放内存以便这些内存能够被重新使用。自动的内存管理系统是SystemVerilog的整体组成部分。如果没有自动的内存管理，SystemVerilog的多线程、重进入环境会增加许多导致用户出错的机会。一个手工的内存管理系统（就像C语言的malloc和free所提供的那样）是不够的。

例如，考虑下面的例子：

myClass obj = new;

fork
    task1(obj);
    task2(obj);
join_none

在这个例子中，主进程（产生两个任务分支的那个进程）并不知道什么时候这两个进程会结束对对象obj。类似地，无论是task1还是task2都不知道什么时候另外一个进程不再使用对象obj。从这个简单的例子可以明显看出，单个进程无法获得足够的信息来确定对对象的释放是否安全。对于用户来说，仅存在两个可能的选择：(1)自己要小心谨慎并且永远不回收对象，或者(2)加入某种形式的引用计数，这些计数可以用来确定什么时候回收对象可能是安全的。采用第一个选择会引起系统快速地耗光内存。第二个选择对用户则是一个大的负担，用户除了需要管理他们的testbench外，还需要采用不太理想的机制来管理内存。为了避免这些缺点，SystemVerilog自动地管理所有的动态内存。用户不需要担心悬挂的引用、过早的释放、或者内存泄漏。系统应该自动地回收任何不再被使用的对象。在上面的例子中，用户需要作的就是将不再需要的句柄obj赋值为null。类似地，当一个对象超出范围的时候，系统会隐式地将对象赋值为null。