使用 ALLOCATE 和 SegFault 错误

Question

我正在使用 gfortran 编译器 (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1 编译一些 FORTRAN 90 代码

编译代码后，当我尝试运行该程序时，出现分段错误错误。使用 Valgrind 后，我能够在下面的代码部分中找到问题。可以看出，使用了 DEALLOCATE，而没有使用前面的 ALLOCATE。我应该注意，我不是编写该软件的人，并且它是使用 f90 成功编译的，但是我无法再访问编写/编译该软件的原始计算机。

   CONTAINS

  !! NewSiteType --------------------------------------------------------------------------
  ---
  !!
  !!- Searches for the index of a particular atom label
  !!
  FUNCTION NewSiteType(top,name,mass)

    IMPLICIT NONE

     !-------- function parameters ----------------

    INTEGER :: NewSiteType

    TYPE(TTopology), INTENT(INOUT) :: top
    CHARACTER(*),    INTENT(IN)    :: name
    REAL*8,          INTENT(IN)    :: mass

    !-------- local variables --------------------

    TYPE(TSiteType), DIMENSION(SIZE(top%siteTypes)+1) :: tmp
    INTEGER :: i



    NewSiteType = 0

    ! check if a site type was already registered

    DO i = 1,SIZE(top%siteTypes)
       IF (top%siteTypes(i)%name == name) THEN
          NewSiteType = i
          RETURN
       END IF
    END DO

    ! no, enlarge the list by the current one

! adding in an ALLOCATE to address a segfault problem hopefully
    ALLOCATE(top%siteTypes(SIZE(tmp)))

    tmp(1:SIZE(top%siteTypes)) = top%siteTypes
    DEALLOCATE(top%siteTypes)
    ALLOCATE(top%siteTypes(SIZE(tmp)))
    top%siteTypes = tmp
    top%siteTypes(SIZE(top%siteTypes)) = TSiteType(name,mass)
    NewSiteType = SIZE(top%siteTypes)

  END FUNCTION NewSiteType

为了解决这个问题，我添加了以下行

ALLOCATE(top%siteTypes(SIZE(tmp)))

这解决了段错误问题，但是现在这个功能无法正常工作。它的目的是获取输入并搜索数组，如果输入不在数组中则添加它。但是，现在我已经添加了初始 ALLOCATE，它似乎没有按预期将未注册的输入添加到数组中。我认为这是因为当程序尝试使用尚未注册的网站时会生成一个特定错误。由于这是我所做的唯一更改，我猜测我只是通过添加 ALLOCATE 做了一些错误的事情。

我确实想提一件事。当我最初运行 Valgrind 来发现内存问题时，它实际上似乎按预期运行了整个可执行文件？这对我来说似乎很奇怪。

Answer 1

行的顺序

ALLOCATE(top%siteTypes(SIZE(tmp)))

    tmp(1:SIZE(top%siteTypes)) = top%siteTypes

没有意义。第一个为 top%siteTypes 保留内存，第二个通过将变量放在赋值的 RHS 上来使用该内存的内容，但该变量尚未初始化。将分配语句放在您所在的位置并不能解决变量由于上面使用而未分配的问题。

问题可能出在该函数之外，该函数显然假设 top%siteTypes 已分配并初始化。 “inout”的意图表明变量 top 旨在作为输入（和输出），而在条目上分配将擦除变量的内容，因此它实际上变成仅输出。您可以通过“if (.not. allocate (top%siteTypes)) ...”检查是否未分配