[SnowOne 2024] Александр Ланцов: Нестандартные расширения модели памяти на практике

Продолжение доклада с Jpoint 2023 "Не happens-before единым: нестандартные семантики" (https://www.youtube.com/watch?v=UZbPOtEgcoY&feature=youtu.be). В первой части мы познакомились с существующими в Java семантиками и теми гарантиями, что они предоставляют.

Теперь время узнать, как данные семантики используются на практике: мы рассмотрим практический аспект применения данных семантик на реальных примерах, дойдем до нашумевшей в своё время библиотеки Disruptor, и даже узнаем, как написать свою очередь — ещё более производительную.

Доклад будет интересен всем, кто интересуется многопоточным программированием, моделями памяти и популярными lock-free библиотеками.

Transcript

4. ▪type-safety plain ⊆ ⊆ ⊆ opaque ▪progress ▪coherence bitwise atomicity acq-rel ▪causality volatile ▪consensus
14. Readplain (instance)
15. Thread 1 Thread 2
16. ▪type-safety plain ⊆ ⊆ ⊆ opaque ▪progress ▪coherence bitwise atomicity acq-rel ▪causality volatile ▪consensus
17. ▪ opaque ▪ ▪coherence ▪ ▪
18. ▪ opaque ▪ ▪coherence ▪ ▪
19. Thread 1 Thread 2
20. Readplain (instance)
21. Readopaque (instance)
23. writes reads
24. Thread 1 Thread 2
25. ▪type-safety plain ⊆ ⊆ ⊆ opaque ▪progress ▪coherence bitwise atomicity acq-rel ▪causality volatile ▪consensus
26. ▪ ▪ ▪ acq-rel ▪causality ▪
27. ▪ ▪ ▪ acq-rel ▪causality ▪
28. Thread 1 Thread 2
42. tryProduce
49. Consuming thread Producing thread
50. Consuming thread Producing thread writes
51. Consuming thread Producing thread writes reads
52. Consuming thread Producing thread writes reads
68. Consuming thread Producing thread
69. Consuming thread Producing thread
70. Consuming thread Producing thread
71. writes Consuming thread Producing thread
72. writes reads Consuming thread Producing thread
73. writes reads Consuming thread Producing thread
74. writes reads Consuming thread Producing thread
75. writes reads Consuming thread Producing thread
76. Consuming thread Producing thread
77. reads Consuming thread Producing thread
78. reads writes Consuming thread Producing thread
79. reads writes Consuming thread Producing thread
80. reads writes Consuming thread Producing thread
81. reads writes Consuming thread Producing thread
82. Consuming thread Producing thread
83. Тип очереди Throughput, ops/ms
84. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178
85. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178
86. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002
87. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002
88. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 Acq_RelQueue 37,472
89. Cache Cache CPU 1 CPU 2 Memory
90. Cache Line Cache Cache Thread 1 Thread 2 CPU 1 CPU 2 Cache Line Memory
91. Cache Line Cache Cache Thread 1 Thread 2 CPU 1 CPU 2 Cache Line Memory
92. Cache Line Cache Cache Thread 1 Thread 2 CPU 1 CPU 2 Cache Line Memory
93. Thread 2 Thread 1 Cache Line Cache Cache CPU 1 CPU 2 Cache Line Memory
94. Cache Line Cache Cache Thread 1 Thread 2 CPU 1 CPU 2 Cache Line Memory
95. Cache Line Cache Cache Thread 1 Thread 2 CPU 1 CPU 2 Cache Line Memory
96. Memory Thread 2 Thread 1 Cache Line Cache Cache CPU 1 CPU 2 Cache Line
103. Producing thread
104. Producing thread
105. Producing thread
106. Producing thread
107. Consuming thread Producing thread
108. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472
109. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678
110. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678 Improved_AcqRel_Queue 165,217
112. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678 Improved_AcqRel_Queue 165,217
113. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678 Improved_AcqRel_Queue 165,217 Disruptor (Single Producer) 183,308
114. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678 Improved_AcqRel_Queue 165,217 Disruptor (Single Producer) 183,308 Disrupted_AcqRel_Queue 190,000
121. Writer
122. Writer Reader
123. Writer Reader
124. Writer Reader
125. Writer Reader writes
126. Writer Reader reads writes
127. Writer Reader reads writes
128. Writer Reader reads writes
129. Writer Reader reads writes
130. Writer Reader reads writes
131. Writer Reader reads writes
132. Writer Reader
133. Writer Reader
134. Writer Reader
135. Writer Reader
138. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
139. 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
140. 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
141. 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
142. 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
143. 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0
144. 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
145. 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
146. 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
147. 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
148. 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2
149. 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2
150. Тип очереди Throughput, ops/ms ArrayBlocking_QueueWrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678 Improved_AcqRel_Queue 165,217 Disruptor (Single Producer) 183,308 Disrupted_AcqRel_Queue 190,000
151. Тип очереди Throughput, ops/ms ArrayBlockingQueue_Wrapper 6,178 Volatile_Queue 17,002 AcqRel_Queue 37,472 Improved_Volatile_Queue 48,678 Improved_AcqRel_Queue 165,217 Disruptor (Single Producer) 183,308 Disrupted_AcqRel_Queue 190,000 Seqlock_Queue 198,000
152. https://link.springer.com/chapter/10.1007/978-3-031-37706-8_8 ConcurrentLinkedDeque, AbstractQueuedSynchronizer NonBlockingHashMapLong