Ошибки доступа в Delphi: Проблема удержания интерфейса после освобождения обертки

Delphi , Синтаксис , Память и Указатели

Вопрос, поднятый в контексте, касается работы с динамически подключаемыми библиотеками (DLL) в среде разработки Delphi, и связан с проблемами утечки памяти и ошибками доступа, возникающими при использовании интерфейсов, возвращаемых функциями, экспортируемыми из DLL. Разберемся, в чем заключается проблема и как ее можно решить.

Проблема

Разработчик столкнулся с ситуацией, когда после освобождения обертки, использующей функции LoadLibrary, GetProcAddress и FreeLibrary для вызова функции из DLL, интерфейс, возвращаемый этой функцией, продолжает удерживаться клиентским кодом. Это приводит к тому, что при выходе интерфейса из области видимости и вызове функции _IntfClear, происходит ошибка доступа, так как DLL и связанные с ней данные уже были освобождены из памяти клиента.

Пример кода обертки

TInterfaceGetter = class
private
  ...
public
  constructor Create;
  destructor Destroy; override;
  function GetInterface: IMyInterface;
end;

В конструкторе обертки происходит ленивая загрузка DLL и кэширование дескриптора модуля и адреса функции. Вызов FreeLibrary происходит в деструкторе обертки.

Решение проблемы

Компоненты, реализующие полноценную модель COM, решают подобные проблемы за счет сдвига ответственности на сам DLL. COM требует, чтобы DLL реализовала и экспортировала функцию DllCanUnloadNow, которая возвращает true, если DLL может быть освобождена.

Подход Delphi

В стандартной реализации COM DLL от Delphi, как в файле _ComServ.pas, используется глобальный подсчет объектов, аналогично тому, как каждый объект поддерживает свой собственный подсчет ссылок. Этот подход позволяет отслеживать количество выданных объектов и количество еще живых.

Альтернативное решение

Разработчик может использовать аналогичный подход, отслеживая количество выданных интерфейсов и их освобождение. Затем экспортировать функцию, которую хост-программы могут вызывать для проверки безопасности освобождения библиотеки.

Пример реализации отслеживания интерфейсов

type
  TInterfaceCounter = class
  private
    FCountedInterfaces: TList<TInterfacePtr>;
    function IsSafeToUnload: Boolean;
  public
    procedure AddInterface(const AInterface: IMyInterface);
    procedure RemoveInterface(const AInterface: IMyInterface);
  end;

procedure TInterfaceGetter.AddInterfaceToCounter(const AInterface: IMyInterface);
begin
  TInterfaceCounter.Instance.AddInterface(AInterface);
end;

procedure TInterfaceCounter.AddInterface(const AInterface: IMyInterface);
begin
  FCountedInterfaces.Add(TInterfacePtr(AInterface));
end;

function TInterfaceCounter.IsSafeToUnload: Boolean;
begin
  Result := FCountedInterfaces.Count = 0;
end;

procedure TInterfaceCounter.RemoveInterface(const AInterface: IMyInterface);
begin
  FCountedInterfaces.Remove(TInterfacePtr(AInterface));
end;

procedure TInterfacePtr._IntfClear;
begin
  TInterfaceCounter.Instance.RemoveInterface(Self);
  inherited;
end;

В этом примере реализуется подсчет интерфейсов, что позволяет определить, можно ли безопасно освободить библиотеку.

Заключение

Для предотвращения ошибок доступа и утечек памяти при работе с интерфейсами из DLL в Delphi, необходимо следить за состоянием интерфейсов и реализовать механизм проверки безопасности освобождения библиотеки, аналогично тому, как это делается в полноценных COM-реализациях.

Создано по материалам из источника по ссылке.

Ошибки доступа в Delphi связаны с неправильным управлением памятью при работе с интерфейсами, возвращаемыми функциями из динамически подключаемых библиотек, что может привести к утечкам и сбоям после освобождения обертки, использующей эти интерфейсы.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Память и Указатели ::