Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Virtual Threads - 導入の背景と、効果的な使い方 -
Search
Yuichi.Sakuraba
June 04, 2023
Technology
3
2.9k
Virtual Threads - 導入の背景と、効果的な使い方 -
2023.06.04 JJUG CCC セッション資料
Yuichi.Sakuraba
June 04, 2023
Tweet
Share
More Decks by Yuichi.Sakuraba
See All by Yuichi.Sakuraba
今こそ、ラムダ式を考える - なぜあなたはラムダ式を苦手と感じるのか
skrb
6
15k
今こそ、ラムダ式を考える - ラムダ式はどうやって動くのか
skrb
7
9.7k
Project Amberで変わる Javaのプログラミングスタイル
skrb
4
660
String Templateによる文字列補間
skrb
4
2k
Virtual Threadの動作と効果的な使い方
skrb
2
300
JVMLSに参加してきた
skrb
1
1.7k
Who's Who in Java
skrb
3
18k
Javaの並列/並行処理の基本
skrb
9
2.8k
Getting Started with Presentation
skrb
1
2.3k
Other Decks in Technology
See All in Technology
長文から長文を生成するLLMツールをオープンソースで作ってみた。
tomohisa
2
140
エンジニア候補者向け資料2024.03.28.pdf
macloud
0
2.9k
オブジェクト指向CSSが叶えたかったことと、CSSのいま / The aims of Object-oriented CSS and the current state of CSS usage
shinkufencer
11
3.2k
本気でプロダクトに向き合うCTOになるために必要な事 (技育祭2024春)
mosa_siru
45
14k
複数の LLM モデルを扱う上で直面した辛みまとめ
kazuyaseki
1
220
.NETの非同期戦略とUnityとの相互運用
neuecc
2
2.4k
Azureコストは水道代/The_47th_Tokyo_Jazug
aeonpeople
3
350
10分でわかるfreeeのQA
freee
0
220
技術広報経験0のEMがエンジニアブランディングをはじめてみた
coconala_engineer
1
130
あらゆる商品を扱う商品データベースを再設計した話 / product db re-architecture
rince
7
3.4k
技育祭2024春 LT Finatextホールディングス
kevinrobot34
1
160
『QAという人』が必要ではなく、『QAという技術』が必要
sadonosake
2
460
Featured
See All Featured
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
11
1.4k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
657
120k
Java REST API Framework Comparison - PWX 2021
mraible
PRO
18
6.8k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
12
1.4k
The Language of Interfaces
destraynor
150
22k
Side Projects
sachag
451
41k
The Straight Up "How To Draw Better" Workshop
denniskardys
227
130k
Happy Clients
brianwarren
91
6.3k
How GitHub (no longer) Works
holman
301
140k
What's in a price? How to price your products and services
michaelherold
236
11k
Done Done
chrislema
178
15k
The Brand Is Dead. Long Live the Brand.
mthomps
48
21k
Transcript
Virtual Threads -導入の背景と効果的な使い方 - 櫻庭 祐一 Java in the Box
3 分でわかる Virtual Threads JVM が管理する軽量スレッド Fiber 他言語でいうところの スループット向上が目的 I/Oを多く含むシステムで効果的
応答時間はちょっとだけ悪化 従来のスレッドと使い方は同じ 使用上の注意点はある
導入の背景 Agenda 歴史的経緯とともに 動作原理 なぜスループットが向上するのか 効果的な使い方 ユースケースをもとに
導入の背景 歴史的経緯とともに
2004 2011 2014 2023 1995 Java 5 Java 7 Java
8 Java 21 Java 1.0
2004 2011 2014 2023 1995 Java 5 Java 7 Java
8 Java 21 Java 1.0 Single Core の時代 Thread = OSスレッドのラッパー Threadの切替 : スレッドのコンテキストスイッチ OS Threadオブジェクト生成: 重い & メモリ消費大
OS Thread Java Thread JVM Stack new Thread(new Runnable() {
public void run() { foo(); } }).start(); run() Frame void foo() { bar(); } foo() void bar() { ... } bar()
OS Thread Java Thread JVM Stack new Thread(new Runnable() {
public void run() { foo(); } }).start(); run() Frame void foo() { bar(); } foo() void bar() { ... } bar() run() foo() bar() Operand Stack Local Var.
OS Thread Java Thread JVM Stack run() foo() bar() Operand
Stack Local Var. のコンテキストスイッチ Thread のスレッドの状態 OS オブジェクトの状態 Thread JVM Stack + + の退避・復帰
2004 2011 2014 2023 1995 Java 5 Java 7 Java
8 Java 21 Java 1.0 Single Core の時代 Thread = OSスレッドのラッパー Threadの切替 : スレッドのコンテキストスイッチ OS Threadオブジェクト生成: 重い & メモリ消費大 重い & メモリ消費大 コンテキストスイッチをなるべく発生させない スレッドスケジューリング
2011 2014 2023 Java 7 Java 8 Java 21 Java
1.0 1995 2004 Java 5 Multi Core 黎明期 Concurrency Utilities スレッドとタスクの分離 スレッドプール導入 Executors.newFixedThreadPool 応答時間重視 Executors.newCachedThreadPool スループット重視 リクエスト増大 スループット頭打ち Thread per Request/Task
2011 2014 2023 Java 7 Java 8 Java 21 Java
1.0 1995 2004 Java 5 Multi Core 黎明期 public class ThreadPoolExecutor extends AbstractExecutorService { ... private final class Worker extends AbstractQueuedSynchronizer implements Runnable { Worker(Runnable firstTask) { setState(-1); // inhibit interrupts until runWorker this.firstTask = firstTask; this.thread = getThreadFactory().newThread(this); } ... Apache Tomcat 例
2014 2023 Java 8 Java 21 Java 1.0 1995 2004
Java 5 2011 Java 7 Big Dataの時代 Fork/Join Framework 分割統治法 タスクを細粒度に分割して処理 Work-Stealing タスクスケジューラー スレッドごとにタスクキュー キューが空の時は他のスレッドからタスクを盗む 効率的なタスクスケジューリング
業務タスクの特徴 Comp. I/O C I/O I/O C C 通信、 DBアクセスなど
I/O処理が多い I/O処理は計算処理に対して多大な時間を要する I/Oの待ち時間が長い その中でも I/O待ちの間 CPUが遊んでしまう I/O待ちの間に他の処理を行いたい
2023 Java 21 Java 1.0 1995 2004 Java 5 2011
Java 7 2014 Java 8 Project Lambda ラムダ式の導入 処理を関数として記述 CompletableFuture Reactive Programming 非同期処理を関数で記述 CompletableFuture Reactive Programming ex. Spring WebFlux Oracle Helidon SE 処理を非同期実行することで スループット向上 I/O とはいうものの 従来の逐次的な記述と考え方が異なる ... 例外処理が ... デバッグが ...
Java 1.0 1995 2004 Java 5 2011 Java 7 2014
Java 8 2023 Java 21 従来の逐次的な記述で 例外処理をあつかいやすく デバッグもやりやすいままで スループットを向上させたい Virtual Threads
動作原理 なぜスループットが向上するのか
Virtual Threads Platform Threadとタスクの仲介 Platform Thread タスクからは と区別がつかない Platform Thread
にマウントして実行 Carrier Thread マウントしたスレッドを と呼ぶ 積極的なコンテキストスイッチ 限定継続を導入してコンテキストスイッチの高速化 Work-Stealingによるスレッドスケジューリング 一貫性のあるスタックトレース Carrier Threadが変わってもスタックトレースが切れない
Platform Thread Platform Thread ...... Virtual Thread Task Instantiation
Platform Thread Platform Thread ...... Virtual Thread Task Mount
Platform Thread Platform Thread ...... Virtual Thread Task I/O Wait
Platform Thread Platform Thread ...... Virtual Thread Task Unmount
Platform Thread Platform Thread ...... Virtual Thread Task I/O Interrupt
Platform Thread Platform Thread ...... Virtual Thread Task Mount
Platform Thread Platform Thread ...... Virtual Thread Task I/O待ち時間の活用による大幅なスループット向上 頻繁なコンテキストスイッチによる応答時間の悪化
Platform Thread Platform Thread ...... Virtual Thread Task public int
read(ByteBuffer buf) throws IOException { ... readLock.lock(); try { ... configureSocketNonBlockingIfVirtualThread(); n = IOUtil.read(fd, buf, -1, nd); if (blocking) { while (IOStatus.okayToRetry(n) && isOpen()) { park(Net.POLLIN); n = IOUtil.read(fd, buf, -1, nd); } } ... sun.nio.ch.SocketChannelImpl 例
void park() { ... boolean yielded = false; setState(PARKING); try
{ yielded = yieldContinuation(); } finally { ... } ... } java.lang.VirtualThread private boolean yieldContinuation() { ... unmount(); try { return Continuation.yield(VTHREAD_SCOPE); } finally { mount(); ... } } 限定継続
効果的な使い方 ユースケースをもとに
Virtual Threadsの使い方 ExecutorServiceを介して利用する Executors.newVirtualThreadPerTaskExecutor() Executors.newThreadPerTaskExecutor( Thread.ofVirtual().factory()) or Virtual Threadの直接生成も可能だが、基本はやらない ExecutorServiceを定義する場合だけ
独自の ExecutorServiceはJava 19からAutoClosable
Virtual Threadsの使い方 try (var pool = Executors.newVirtualThreadPerTaskExecutor()) { Runnable task
= ...; pool.submit(task); }
VT 使いたい Y FWを使ってる ? VT使う必要なし WebFluxなどのリアクティブ系 or CompletableFutureゴリゴリ書ける Spring
Boot, Jakarta EE など FWの対応待ち その他 使ってない or
VT使う必要なし or CompletableFutureゴリゴリ書ける Spring Boot, Jakarta EE など FWの対応待ち その他
使ってない or ボトルネックは? データ量 / 計算量 ParallelStream Fork/Join FW Vector API File Memory Map DB 通信 / VirtualThread
スレッドの注意点 Virtual Threads 特に synchronizedをなるべく使わないようにする 1. synchronized = モニタロック リソースへのアクセスを
1 つのスレッドだけに限定 他のスレッドをブロックする ボトルネックになりやすい Virtual Threadでは Carrier Threadをブロックしてしまう
スレッドの注意点 Virtual Threads 特に synchronized を使わないようにするには イミュータブルクラスの活用 record 型の利用 状態が変化しなければ複数スレッドからもアクセス可
処理結果の受け渡しがある場合 Callableを使う どうしてもロックが必要であれば synchronizedではなくReentrantLock クラスを使う java.util.concurrent.locksにロッククラスあり 他にも
スレッドの注意点 Virtual Threads 特に ThreadLocal を使わない 2. ThreadLocal はミュータブル &
ライフタイムが不明確 Virtual Threads ThreadLocalをサポートしているが は スケールしないためボトルネック化 ScopedValueで代用する Java 21 Preview JEP では ただし FWが ThreadLocal を使っている場合 対応してくれるまで待ちましょう
スレッドの注意点 Virtual Threads 特に スレッドを使いまわさない 3. Virtual Threadsは使い捨て ExecutorService スレッドのプールは
にまかせる タスクを記述することに集中しよう クラスの 4. Thread APIをもう 1 度チェック @Deprecated(forRemoval=true)なメソッド stop, suspend, resumeなど
Conclusion Virtual Threadsによりスループットが向上 I/Oの待ち時間を有効活用 Virtual Threadsは従来のスレッドを同じ使い方 使用時の注意点を把握する FWで Virtual Threads
がサポートされるのを楽しみに待つ
Virtual Threads -導入の背景と効果的な使い方 - 櫻庭 祐一 Java in the Box