Ja… so war das.

Wenn ich fertig optimiert habe (Haha, auch so’n Informatiker-Witz ) melde ich mich nochmal Dauert wahrscheinlich etwas, muss da noch diverse Größenordnungen an Performance rausholen…!

-Tim

Die Lösung mit eigenem Opfer-Prozess musste erst wieder einer reinen Thread-Lösung weichen (Watchdog-Thread startet als Opfer einfach einen weiteren pthread). Dies funktioniert wider meiner ersten Versuche doch, wenn man es mit geeigneten Signal-Handlern kombiniert.

Ich teste das System gerade eingehend, aber es sieht sehr vielversprechend aus!

Beweisfoto:

JEM Logviewer mit Daten aus dem ctracer

Durch den ctracer mit Victim/Watchdog-System ist es z.B. möglich, Membervariablen von Strukturen aufzulösen (Links unten im Bild zu sehen).

- Tim

Ich habe ein echtes Medium getroffen. Nein, ich meine damit jetzt nicht Rindfleisch in dem von mir bevorzugten Zustand, lecker, kurz vor dem Verspeisen – auch wenn sich die Frage stellt, wieso die Leute, um die es geht, so genannt werden – vielleicht weil sie in der Rübe auch etwas halbgar sind…? Egal.

Wo war ich?

Ach ja. Ich traf also gestern einen Mitmenschen mit übersinnlichen Fähigkeiten. Nicht nur das, er machte sogar eine Prophezeiung, mir gegenüber. Ich bin jetzt noch ganz sprachlos. Das ganze ereignete sich in einer Filiale einer bekannten Elektronikmarkt-Kette, die derzeit mit einem noch bekannteren Promi Werbung macht, der sich dazu in Frauenkleider stecken lässt. Tapfer.

Besagten Multimedia-Store (sic) betrat ich, um ein Videoprojektionsgerät, neuhochdeutsch „Beamer“ (was Scotty wohl dazu sagen würde? Aber das ist ein anderes Thema) zu erwerben. Ich bin ja manchmal so naiv…

Nachdem ich den Media M… äh, die Elektronienhandlung hilf- und ergebnislos einige Minuten auf der Suche nach einem solchen durchwankte, beschloss ich, einen dieser seltenen, vor-Kunden-fliehenden Angestellten in rotschwarzer Kluft um gnädige Hilfe zu bitten. Ich fand sogar einen, und er war sogar nicht in ein endloses Gespräch mit einer Weichbirne vertieft, die sich nicht zwischen zwei Kaffeemaschinen entscheiden konnte. Spätestens da hätten bei mir Alarmglocken im Neocortex schrillen sollen, ein freier Handlanger im Med… äh, Geschäft-für-Männer-Spielzeug, das konnte ja nicht mit rechten Dingen zugehen. Nichtsdestotrotz, ich sprach den freundlichen Mittzwanziger mit ausgeprägter Akne (Haben die das alle? Kriegen die das da, oder ist das Einstellungsvoraussetzung?) an, legte mein Anliegen dar, und erhielt prompt die bereits erwähnte Weissagung, die von prophetischer Vorausschau einer ganzen Elektroniksparte, weltweit und von geradezu epischer Tragweite zeugte.

O-Ton:

„Beamer? Ham wa nich mehr. Wurd nich genug Nachgefragt. Die Leute wollen das auch gar nich mehr. Werden auch bald nich mehr hergestellt.“

Und unter Verbeugungen ob der unbegreiflichen Einsicht dieses Wesens aus höheren Sphären, die ich als normalsterblicher wohl nie erreichen werde, verließ ich den Med… äh, Tempel der Potenzialwanderungsutilisierenden Zeitvernichtungsapparaturen. Ohne Beamer, aber dafür mit orakliösem Wissen über die Zukunft der Unterhaltungsindustrie. Ich werde jedenfalls in nächster Zeit keine Aktien von Beamer-herstellenden Firmen kaufen…

-Tim

Stop.

Der geneigte Leser mag in diesem Augenblick bereits erfasst haben, was das fiese Problem an der Sache ist. Die Aussage „Ich kann Pointern folgen“ sollte Alarmglocken jedes C-Programmierers schrillen lassen. Zur Erinnerung: Ich trace user-code! Was passiert, wenn ich versuche, uninitialisierten oder ungültigen Pointern zu folgen? …genau: Rumms.

Und das noch-schlimmere daran ist, dass dieses „Rumms“ dann nicht nur meine trace-library killt, sondern sie auch noch die Applikation mitreißt, in die sie dynamisch gelinkt wurde – sprich, den User Algorithmus. Das ist… doof.

Also überlegte ich, wie ich das Problem lösen könnte. Es gibt ja leider kein „try / catch“ für Segfaults. Nach einem Segfault ist das Programm in einem undefinierten Zustand (Auch, wenn der segfault nur lesend war. Hmpf!). Könnte man das Lesen des Wertes in einen eigenen Thread verlagern? Nein, wenn in einem Thread ein Segfault passiert, reißt es den Eltern-Thread mit sich. Bliebe ein eigener Prozess. Allerdings wäre es ein viel zu hoher Overhead, jedesmal einen Prozess zu starten, wenn man versuchen möchte, einem Pointer zu folgen. Aber man muss ihn ja nicht jedesmal dann starten…!

Meine derzeitige Lösung sieht wie folgt aus:

Zu Beginn, also wenn die Trace-Bibliothek geladen wird, wird in ein neuer Thread gestartet. Dieser forkt sofort einen Kindprozess, den „Victim“ (Opfer). Heißt so, weil der arme Kerl höchstwahrscheinlich sehr bald sterben wird. Der Elternprozess (also der Thread der ctrace-library, im Folgenden „Watchdog“), der Victim sowie der ctrace-Hauptthread mappen dann ein Stück Shared Memory. Hier findet, von Mutexen geschützt, die Interprozesskommunikation statt. Der Victim fängt in einer Endlosschleife an, auf Arbeit zu warten, und der Watchdog fängt an, den Victim zu überwachen.

Komme ich in der libctrace an eine Stelle, wo ich einem (User-)Pointer folgen muss, übergebe ich die Adresse und Länge an den Victim. Dieser versucht, den Speicherinhalt in das Shared Memory zu kopieren. Klappt dies, setzt er ein Flag, der Hauptthread liest den Wert aus, und der Victim wartet auf den nächsten Job. Crasht der Victim allerdings beim Kopieren, startet der Watchdog einen neuen Victim-Prozess und meldet den Fehler an den Hauptthread.

Auf diese Weise tritt ein größerer Overhead nur genau dann auf, wenn ein Lesevorgang scheitert, da dann ein neuer Prozess geforked werden muss.

Vielleicht geht das Ganze noch eleganter, aber die Lösung funktioniert, und das auch sehr gut!

Bis zum nächsten Hack…

- Tim

Schwerpunkt des Blogs werden Berichte über dreckige Hacks und ähnliches Zeug sein, die ich beim Coden hervorbrachte, damit sie (zuförderst bei mir selbst) nicht in Vergessenheit geraten, und Rants über schlechten Code, APIs etc. (meist als Links zu bitschupser, s.u.)

Privates Zeug wird wohl eher selten hier auftauchen (mal sehen).

Ich hoffe dies wird sich nicht allzusehr mit bitschupser.wordpress.com überschneiden… man wird sehn. Ich wünsche jedenfalls viel Vergnügen beim Lesen (so die ersten Inhalte aufschlagen!)

- Tim