Boost: Was genau ist in Boost.Signals nicht threadsafe?

Question

Ich habe an mehreren Stellen gelesen, dass Boost.Signals nicht threadsicher ist, aber ich habe nicht viel mehr Details darüber gefunden. Dieses einfache Zitat sagt nicht wirklich viel. Die meisten Anwendungen haben heutzutage Threads - auch wenn sie versuchen, Single-Threading zu sein, können einige ihrer Bibliotheken Threads verwenden (zum Beispiel libsdl).

Ich denke, die Implementierung hat keine Probleme mit anderen Threads, die nicht auf den Steckplatz zugreifen. So ist es zumindest threadsicher in diesem Sinne.

Aber was genau funktioniert und was würde nicht funktionieren? Würde es funktionieren, es aus mehreren Threads zu verwenden, solange ich nicht gleichzeitig darauf zugreife? I.e. wenn ich meine eigenen Mutexe um den Schlitz herum baue?

Oder bin ich gezwungen, den Slot nur in dem Thread zu verwenden, in dem ich ihn erstellt habe? Oder wo ich es zum ersten Mal benutzt habe?

Answer 1

Ich glaube nicht, es entweder zu klar ist, und einer der Bibliothek Rezensenten said here:

mir auch die Tatsache nicht gefällt, dass nur dreimal das Wort ‚Faden‘ genannt wurde. Boost.signals2 möchte eine 'thread safe signals' Bibliothek sein. Deshalb einige mehr Details und besonders mehr Beispiele, die auf diesem Gebiet betreffen, sollten dem Benutzer gegeben werden.

Eine Möglichkeit, herauszufinden, ist go to the source und sehen, was sie verwenden _mutex/lock() zu schützen. Dann stell dir vor, was passieren würde, wenn diese Anrufe nicht da wären. :)

Von dem, was ich sammeln kann, ist es einfache Dinge wie "wenn ein Thread verbindet oder trennt, das wird nicht einen anderen Thread, der durch die Schlitze dieser Signale zum Absturz führt iterieren". So wie die Verwendung einer Thread-sicheren Version der C-Laufzeitbibliothek sicherstellt, dass zwei Threads, die gleichzeitig gültige Aufrufe an printf ausführen, keinen Absturz verursachen. (nicht die Ausgabe zu sagen, werden Sie keinen Sinn bekommen — Sie für die höhere Ordnung Semantik noch verantwortlich sind.)

Es scheint nicht, wie Qt zu sein, in dem der Faden ein bestimmter Slot des Code läuft auf basiert auf der "thread affinity" des Ziel-Slots (was bedeutet, dass das Aussenden eines Signals Slots auf vielen verschiedenen Threads auslösen kann, um parallel zu laufen.) Aber ich unterstütze das nicht, deshalb können die boost :: signal "combiners" do things like this.

Answer 2

Ein Problem, das ich sehe, ist, dass ein Thread verbinden oder trennen kann, während ein anderer Thread signalisiert.

Sie können Ihr Signal leicht wickeln und Anrufe mit Mutex verbinden. Es ist jedoch nicht trivial, die Verbindungen zu umbrechen. (connect gibt Verbindungen zurück, mit denen Sie die Verbindung trennen können).