Standard-C++ - Transaktionsspeicherstatus

Question

Wie lautet der aktuelle Status des Transaktionsspeichervorschlags für C++ 17? Wird es in den Standard aufgenommen, um in eine zukünftige Version von Standard C++ aufgenommen zu werden, oder ist es nur ein experimentelles Proof-of-Concept-Feature, dessen Standardisierungsstatus noch nicht bekannt ist?

Ich frage, weil einige Dokumente des Standardisierungskomitees widersprüchliche Kommunikation hier zu geben scheinen. Auf der einen Seite haben wir P0265R0 (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0265r0.pdf) sagen, dass Transaktionsspeicher wird nicht standardisiert werden, auf der anderen Seite gibt es eine N4492 Papier von Stroustrup (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4492.pdf) mit Transaktionsspeicher in C++ 17 Feature-Liste aufgelistet.

Answer 1

Kurz genug: der transaktionale Speicher TS ist bereits veröffentlicht, und eine zweite Version wird entwickelt. Das Komitee plant jedoch nicht, es in den Standard im Nah-Feature aufzunehmen. Es gibt mehrere Gründe für diese Auswahl:

• Es gibt nicht genug Implementierungserfahrung. Nur g ++ implementiert es seit GCC6. Das Ziel von TSs besteht teilweise darin, Implementierungs- und Benutzererfahrungen zu sammeln, so dass ein so großes Feature in Bezug auf dieses Thema noch zu "unreif" ist.

• Nicht jedes Ziel unterstützt Transaktionsspeicher, und es hat einen hohen Implementierungskosten, während nicht jeder es benötigt. Aus diesen Gründen ist der Ausschuss offenbar nicht sicher, ob der TS überhaupt Teil des C++ - Hauptstandards sein sollte. Es könnte auch für immer als ein TS leben.

• Darüber hinaus glaubt nicht jeder, dass jede Funktion des transaktionalen Speichers TS es wert ist, in den C++ - Hauptstandard aufgenommen zu werden. Einige finden, dass synchronized das Hauptmerkmal ist, während andere glauben, dass atomare Blöcke der wirkliche Spielwechsler sind. Der TS macht einen weiteren kognitiven Overhead, mit dem sich Bibliotheks-Implementierer befassen müssen (sowie einige neue Schlüsselwörter, was im Allgemeinen nicht als eine gute Sache angesehen wird).