Non-deterministic finalization works well with dynamic memory management.

• 非确定终止适用于动态内存管理。