[Spring-DI] MemoryLeak bei Einsatz von DelegatedConstructor

[neo4a]

Dependency Injection mit dem Spring4Delphi-Framework leistet bei mir seit einiger Zeit gute Dienste. Bislang habe ich das ausschließlich mit nicht-visuellen Klassen praktiziert.

Nun möchte ich das Konzept auf DataModules erweitern:

Delphi-Quellcode:

type
  IdcWallpaper = interface
    ['{E0D26B15-55CE-400A-9DD5-6EA5A999B375}']
    procedure CreateControl(aStartScreen : IdcStartScreen; aParent : TWinControl);
  end;

  TdmWallpaper = class(TDataModule, IdcWallpaper)
  private // IdcWallpaper
    procedure CreateControl(aStartScreen : IdcStartScreen; aParent : TWinControl);
  public
    constructor Create(AOwner: TComponent); override;
    destructor Destroy; override;
  end;

implementation

{$R *.dfm}

uses
  Spring.Container,
  Spring.Services;

<..>

initialization
  GlobalContainer.RegisterComponent<TdmWallpaper>.Implements<IdcWallpaper>.AsSingleton.DelegateTo(
    function: TdmWallpaper
    begin
      Result := TdmWallpaper.Create(nil);
    end
  )

Mit diesem Gerüst klappt auch alles sehr schön und ich kann das Datenmodul über den DI-Container benutzen. Es wird der Default-Konstruktor und auch der Default-Destruktor durchlaufen.

Leider bekomme ich trotzdem eine MemoryLeak-Meldung (leaks are: 13-20 bytes dcWallpaper$43200$ActRec x 1)
Hier gibt es eine Erklärung, dass es sich dabei wohl um den Namen der anonymen Funktion handelt, also der Funktion, die ich mittels DelegateTo aufrufe.

Hat jemand dazu eine Idee, wie ich dieses MemoryLeak vermeide?

Edit: Wenn ich das Interface in einem separaten TInterfacedObject implementiere und dort das TDataModule verwalte, gibt es keine Probleme, weil dann auch kein DelegateTo mehr nötig ist.

[Stevie]

Die Ursache liegt irgendwo im Compiler - genau das gleiche Problem hatten wir auch in Spring selber vor einiger Zeit.

Wahrscheinliche Lösung (ungetestet):

Delphi-Quellcode:

procedure RegisterWallpaper;
begin
  GlobalContainer.RegisterComponent<TdmWallpaper>.Implements<IdcWallpaper>.AsSingleton.DelegateTo(
    function: TdmWallpaper
    begin
      Result := TdmWallpaper.Create(nil);
    end
  )
end;

initialization
  RegisterWallpaper();

Edit: Hab den QC Eintrag dazu gefunden.

[neo4a]

Vielen Dank für Deinen Tipp. Leider bringt Dein Vorschlag keine Besserung, obwohl ich ihn gern übernommen hätte. Meine Lösung mit einem Wrapper-Objekt erzeugt nicht gerade Clean Code, funktioniert dafür aber.

Dein Link enthält im Kommentar die Erklärung: Alle Variablen, die in einem Initialisierungsteil erzeugt werden, sind global. Damit fallen sie auch aus dem Scope, den der DI-Container verwalten kann und erzeugen beim Shutdown MemoryLeaks.

Nun werden ja auf einem Datenmodul einige Komponenten abgelegt. Diese sind dann auch von o.g. Phänomen betroffen, da sie im Create() erzeugt werden.

BTW, ich werde mir meine Erklärung in den Info-Header meiner Units schreiben, damit ich beim nächsten Refactoring nicht flasch optimiere

[Stevie]

Zitat:

What happens is that a local variable is added to the current routine which contains the address of the method or function pointer, and then this local variable is captured by a hidden anonymous method. This hidden anonymous method is kept alive for the duration of the current routine by a second local variable, of type IInterface (this prevents premature disposal).

The trouble is that with unit initialiaztion, and program begin/end, and similar top-level blocks, "local" variables are in fact global variables.

D.h. das "object behind the scene" (dcWallpaper$43200$ActRec), welches hinter der anonymen Methode sitzt (wir erinnern uns: eine Anonyme Methode ist eigentlich nix anderes als eine Interface Methode mit nen bisschen compiler magic) wird im Falle der Benutzung in initialization (auch in finalization oder in der "main" der dpr) in der globalen Variable gespeichert. Lagerst du aber den Code, welchen du zuvor direkt unter initialization hattest in eine Routine aus, wird die Variable lokal in der Routine angelegt. Somit ist sie nicht mehr global, da sie einen kleineren Scope hat (nämlich den der Routine) und du hast auch kein Memleak mehr.

Das hat imho überhaupt nichts mit der Verwaltung des vom DI Container erzeugten Objekts zu tun.

[neo4a]

Das klingt schon überzeugend...noch überzeugender ist nur, dass die vorgeschlagene Änderung mit der Auslagerung in eine Prozedur leider keinen Effekt zeigte.

Diese anonyme Methode ist ja nur nötig, damit der Default-Konstruktor des DatenModuls aufgerufen wird. Möglicherweise passiert dabei noch etwas mehr. Nehme ich nun mein ungeliebtes Wrapper-Object, so verwaltet der DI-Vontainer das Objekt wie gehabt und richtig und innheralb dessen habe ich die volle Kontrolle über das Erzeugen und Freigeben des Datenmodules.

BTW, in den Spring-Demos wird das DelegateTo auch im initialization-Teil eingesetzt. Allerdings werden da auch keine Datenmodule oder Forms erzeugt.

[Stevie]

Sicher, dass du ein Memleak der anonymen Methode aus dem Eingangspost hast und nicht eins des Datamodules? Dieses ist nämlich von TComponent abgeleitet, welches kein RefCounting hat und dementsprechend auch nicht über das Interface freigegeben wird (außer, du hast das selber dazwischen geschaltet).