Weak atomicity for the x86 memory consistency model (Q455998): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M99
@@ Property / Mathematics Subject Classification ID: 68M99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N99
@@ Property / Mathematics Subject Classification ID: 68N99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6097757
@@ Property / zbMATH DE Number: 6097757 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software transactional memory
@@ Property / zbMATH Keywords: software transactional memory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weak atomicity
@@ Property / zbMATH Keywords: weak atomicity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+x86 memory consistency model
@@ Property / zbMATH Keywords: x86 memory consistency model / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JudoSTM
@@ Property / describes a project that uses: JudoSTM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuakeTM
@@ Property / describes a project that uses: QuakeTM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jpdc.2012.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1968813999
@@ Property / OpenAlex ID: W1968813999 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of progress in lock-based transactional memory
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive locks: combining transactions and locks for efficient concurrency
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:455998