Tower は非同期リクエストを Service として抽象化し、「サービスをラップする」設定を Layer として抽象化します。タイムアウト、並行制限、バッファリング、リトライは、同じインターフェースの周りで組み合わせることができます。リクエストが必ず HTTP である必要はないこと、またビジネスロジックの冪等性やあらゆる形態のバックプレッシャーを自動的に解決するわけではないことに注意してください。
本稿では Tower 0.5 API を例に挙げます。ミドルウェアを読む際は、それがリクエストの受付、待機キュー、レスポンス Future、またはレスポンスボディの継続的なフローのいずれを制御しているかをまず特定してください。これらの時間範囲は通常異なります。
Service には受付と呼び出しの2つのフェーズがある
コアインターフェースの形状は以下の通りです:
use std:: future:: Future;
use std:: task:: { Context, Poll} ;
pub trait Service <Request> {
type Response ;
type Error ;
type Future : Future< Output = Result< Self :: Response, Self :: Error> > ;
fn poll_ready ( & mut self , cx : & mut Context< '_ > )
-> Poll< Result< ( ) , Self :: Error> > ;
fn call ( & mut self , request : Request) -> Self :: Future ;
}
poll_ready のレシーバーも &mut self です。これは権限を予約したり内部状態を更新したりする必要がある場合があり、単に「現在の負荷を」読み取り専用で「見る」だけではありません。Pending の場合は、状態変化後のウェイクアップをスケジュールし、呼び出し元が待機してから再ポーリングします。Ready(Ok(())) のみが今回の呼び出しが可能であることを示し、Ready(Err(e)) はサービスエラーです。
呼び出し元は readiness 契約に従わなければならず、1回の成功を無制限の呼び出し権限と見なしてはいけません。一部のサービスでは、ready ではない状態で呼び出すとパニックします。また、インスタンス A で ready を待ってから B を clone し、B が A が予約した能力を継承すると仮定してはいけません。Service ドキュメント
poll_ready(&mut self) 受付能力を待機 call(&mut self, req) レスポンス Future を作成 Future A 実行中である可能性がある 再度 poll_ready 次の許可を取得 次の call 同じサービスを短時間借用 Future B A と並列に進行できる readiness はリクエストの受付を制約するが、リクエストが直列実行のみを意味す るわけではない 複数の未完了リクエストを許可するかどうかは、サービスとミドルウェアによって決定されます。&mut self 自体が Future のライフサイクル全体をロックするわけではありません。
call の可変借用は関連する Future を作成するためのものであり、その Future が完了するまでサービス全体を借用するわけではありません。サービスは複数の独立した在途の Future を生成できる場合があります。より多くのリクエストを受け入れるかどうかは、readiness と実装によって決まります。したがって、Buffer は「Rust の本来の直列制限を解除する」ための必須要素ではありません。
権限を使って ready な状態の変化を観察する
以下の完全なプログラムは、このページの後ろにある Cargo の依存関係を使用します。内部 Future は常に Pending であるため、状態の変化は権限の保持と破棄によってのみ決定され、タイマーを待つ必要はありません。
use std:: { convert:: Infallible, future:: pending, task:: { Context, Poll, Waker} } ;
use tower:: { Service, ServiceBuilder, service_fn} ;
fn main ( ) {
let inner = service_fn ( | ( ) : ( ) | pending:: < Result< ( ) , Infallible> > ( ) ) ;
let mut service = ServiceBuilder:: new( ) .concurrency_limit ( 1 ) .service ( inner) ;
let mut cx = Context:: from_waker( Waker:: noop( ) ) ;
assert! ( matches! ( service.poll_ready ( & mut cx) , Poll:: Ready( Ok ( ( ) ) ) ) ) ;
let first = service.call ( ( ) ) ;
assert! ( service.poll_ready ( & mut cx) .is_pending ( ) ) ;
drop ( first) ;
assert! ( matches! ( service.poll_ready ( & mut cx) , Poll:: Ready( Ok ( ( ) ) ) ) ) ;
}
first が決して poll されなかったとしても、それは readiness から移行した権限を保持しています。破棄されると権限が解放され、次の poll_ready で ready が回復します。これは、受付リソースの起点が内部ビジネスロジックの最初の実行より早い可能性があることを示しています。大量のレスポンス Future を作成して保存しておくと、サービスの容量を占有する可能性があります。
ここで Waker::noop を使用するのは、手動で即座に観察可能な状態をチェックするためであり、状態が変更されるたびにプログラムが能動的に再 poll します。実際の待機コードは実行器と ready().await に任せるべきであり、無効な waker でビジーウェイトループを書いてはいけません。Service 就绪契約
Layer はラッパーを構築するためのインターフェース
Layer::layer は内部サービスを受け取り、新しいサービスを返します。ServiceBuilder は宣言された順序で、先に追加された層を外側に配置します:A、B、S は A(B(S)) を構成します。リクエストはまず A を経由し、次に B を経由します。完了した結果は逆方向に呼び出し元に戻ります。ServiceBuilder
この順序はセマンティクスを変更します。A がリトライ、B がタイムアウトであると仮定します:Retry(Timeout(S)) は各試行に個別のタイムアウトを持たせることができます。Timeout(Retry(S)) は、複数の試行を含むレスポンス Future を制約します。両方とも、readiness を待機する時間が予算に組み込まれるかどうかを解釈する必要があります。
実行可能な例:まず ready、次に call
空の Cargo バイナリプロジェクトで以下を使用します:
[package]
name = "tower-demo"
version = "0.1.0"
edition = "2024"
[dependencies]
tokio = { version = "1", features = ["macros", "rt", "time"] }
tower = { version = "0.5", features = ["util", "limit", "timeout"] }
src/main.rs:
use std:: convert:: Infallible;
use std:: time:: Duration;
use tower:: { Service, ServiceBuilder, ServiceExt, service_fn} ;
# [ tokio ::main ( flavor = " current_thread" ) ]
async fn main ( ) -> Result< ( ) , tower:: BoxError> {
let inner = service_fn ( | delay_ms : u64 | async move {
tokio:: time:: sleep( Duration:: from_millis( delay_ms) ) .await;
Ok : : < _ , Infallible> ( delay_ms)
} ) ;
let mut service = ServiceBuilder:: new( )
.timeout ( Duration:: from_millis( 50 ) )
.concurrency_limit ( 1 )
.service ( inner) ;
let value = service.ready ( ) .await? .call ( 0 ) .await? ;
println! ( " completed: {value} " ) ;
let result = service.ready ( ) .await? .call ( 500 ) .await;
match result {
Ok ( value) => println! ( " completed: {value} " ) ,
Err ( error) => println! ( " failed: {error} " ) ,
}
Ok ( ( ) )
}
cargo run を実行します。通常、最初の項目は完了し、2番目の項目はタイムアウトします。マシンが深刻にブロックされている場合、スケジューリングがウォッチクロックの観察に影響を与えるため、このプログラムで正確な遅延を校正することはできません。
ここでは Timeout が ConcurrencyLimit の外側にありますが、ready().await は call の前に発生するため、50ms にはその待機時間は含まれません。エンドツーエンドの予算が必要な場合は、呼び出し元で ready と call の非同期プロセス全体を絶対デッドラインで囲み、残りの予算をダウンストリームに渡す必要があります。リトライも同じ総予算を消費する必要があります。
readiness を待機 容量不足・サービス未準備 call → レスポンス Future 処理・再試行・内部キュー待ち レスポンスボディを消費 長く続く場合もあるメッセージ流 通常の Tower Timeout の範囲 呼び出し元が ready + call の総予算を囲む 予算がどの期間をカバーするかは、ラップ位置と計測開始点によって共同で決定さ れる レスポンスボディをカバーする場合は、デッドラインをストリームの読み取りとクリーンアップに引き継ぐ必要がありま す。Response を取得しただけでは不十分です。
絶対期限を ready と call の外側に配置する
use std:: { convert:: Infallible, future:: pending, time:: Duration} ;
use tower:: { Service, ServiceBuilder, ServiceExt, service_fn} ;
# [ tokio ::main ( flavor = " current_thread" ) ]
async fn main ( ) -> Result< ( ) , tower:: BoxError> {
let inner = service_fn ( | ( ) : ( ) | pending:: < Result< ( ) , Infallible> > ( ) ) ;
let mut service = ServiceBuilder:: new( ) .concurrency_limit ( 1 ) .service ( inner) ;
let first = service.ready ( ) .await? .call ( ( ) ) ;
let deadline = tokio:: time:: Instant:: now( ) + Duration:: from_millis( 1 ) ;
let second = tokio:: time:: timeout_at( deadline, async {
service.ready ( ) .await? .call ( ( ) ) .await
} ) .await;
assert! ( second.is_err ( ) ) ; drop ( first) ;
let ready = service.ready ( ) .await? ;
drop ( ready.call ( ( ) ) ) ;
Ok ( ( ) )
}
この例では、最初のリクエストが完了しないように意図的に設定し、権限を待っている間も外側の期限制約を受けることを検証しています。1ms は単に非常に短いテスト予算であり、スレッドがこの精度でスケジュールされると保証するものではありません。本番環境のチェーンでは、同じリクエスト期限を選択し、ダウンストリームで待機またはリトライするたびに残り時間を計算し、層を通過するたびに完全な予算を再取得してはいけません。
内部でレスポンスオブジェクトを取得した後にボディの読み取りを継続する場合、上記の期限は Response を取得する段階のみをカバーします。フルストリームの期限が必要な場合は、ストリームの次の項目の待機に元の期限を引き続き使用する必要があります。「アイドルタイムアウト」が必要な場合は、最後の有効な進捗に基づいて別のタイマーを更新します。これらの2つのタイムアウトは異なる問題を解決します。
タイムアウトの予算はどこから始まるか
接納待ちと応答 Future を分けます。Timeout が制限するのは call の Future なので、40 ms の待機と 30 ms の処理が合計 70 ms で成功し得ます。入口から 50 ms にしたいなら ready と call を同じ絶対期限で囲みます。同時刻の競合は実際のランタイムで判断します。
図を準備しています 再読み込み
タイムアウトの予算はどこから始まるか Tower Timeout の応答 Future は事前の ready 待ちを含まず、外側の総期限なら両方を含められます。
{"id":"rust-tower-timeout-scope","title":"タイムアウトの予算はどこから始まるか","summary":"Tower Timeout の応答 Future は事前の ready 待ちを含まず、外側の総期限なら両方を含められます。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"presets\" role=\"group\" data-i18n-label=\"mode\"><button data-mode=\"response\" data-i18n=\"response\"></button><button data-mode=\"total\" data-i18n=\"total\"></button></div><div class=\"control\"><label for=\"wait\" data-i18n=\"wait\"></label><output for=\"wait\" id=\"wait-value\"></output><input id=\"wait\" type=\"range\" min=\"0\" max=\"80\" value=\"40\" step=\"1\"></div><div class=\"control\"><label for=\"work\" data-i18n=\"work\"></label><output for=\"work\" id=\"work-value\"></output><input id=\"work\" type=\"range\" min=\"0\" max=\"80\" value=\"30\" step=\"1\"></div><div id=\"timeline\" class=\"intervals\"></div><div class=\"metrics\"><div><span data-i18n=\"elapsed\"></span><strong id=\"elapsed\"></strong></div><div><span data-i18n=\"result\"></span><strong id=\"result\"></strong></div></div><div class=\"copy\"><p id=\"explanation\" role=\"status\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"explain\"></p></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:550;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:550 20px ui-monospace,monospace}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:ui-monospace,monospace;font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px ui-monospace,monospace;background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 ui-monospace,monospace;white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px ui-monospace,monospace}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 ui-monospace,monospace;white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:ui-monospace,monospace}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px ui-monospace,monospace;padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 ui-monospace,monospace;overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n.chart-wrap{margin:18px 0}.chart-label{font-size:12px;color:var(--muted);min-height:3.2em}.curve{display:block;width:100%;height:auto;max-height:320px;overflow:visible}.curve text{font:11px ui-monospace,monospace;fill:var(--muted)}.gridline{stroke:var(--rule);stroke-width:1}.metrics strong{font-size:20px;min-height:3.2em}.formula{font:12px/1.8 ui-monospace,monospace;min-height:9em}.readout{min-height:8em}.presets button{flex-basis:30%}.scope p{overflow-wrap:anywhere} .unit-note{font-size:12px;color:var(--muted);margin:10px 0}\n\n.metrics span{word-break:break-all;line-break:strict}.metrics>div{padding-right:6px}\n\n.cell{min-height:72px}.metrics strong{min-height:3.6em}\n\n ","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';row.style.gridTemplateColumns='repeat('+r.length+',minmax(0,1fr))';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}function plot(id,series,xr,yr,opts={}){const e=$('#'+id),X=x=>42+(x-xr[0])/(xr[1]-xr[0])*298,Y=y=>175-(y-yr[0])/(yr[1]-yr[0])*148;let out='<defs><clipPath id=\"clip-'+id+'\"><rect x=\"42\" y=\"27\" width=\"298\" height=\"148\"/></clipPath></defs>';for(let i=0;i<3;i++){let x=xr[0]+i*(xr[1]-xr[0])/2,y=yr[0]+i*(yr[1]-yr[0])/2;out+='<path class=\"gridline\" d=\"M '+X(x)+' 27V175M42 '+Y(y)+'H340\"/><text x=\"'+X(x)+'\" y=\"194\" text-anchor=\"middle\">'+esc(opts.xfmt?opts.xfmt(x):Number(x.toFixed(2)))+'</text><text x=\"36\" y=\"'+(Y(y)+4)+'\" text-anchor=\"end\">'+esc(opts.yfmt?opts.yfmt(y):Number(y.toFixed(2)))+'</text>';}out+='<g clip-path=\"url(#clip-'+id+')\">';for(const s of series){out+='<path fill=\"none\" stroke=\"'+(s.color||'var(--accent)')+'\" stroke-width=\"2.5\" '+(s.dash?'stroke-dasharray=\"5 4\"':'')+' d=\"'+s.pts.map((p,i)=>(i?'L':'M')+X(p[0]).toFixed(2)+','+Y(p[1]).toFixed(2)).join(' ')+'\"/>';}for(const p of opts.points||[])out+='<circle cx=\"'+X(p[0])+'\" cy=\"'+Y(p[1])+'\" r=\"4\" fill=\"var(--second)\" stroke=\"var(--paper)\" stroke-width=\"1.5\"/>';if(opts.cursor!==undefined)out+='<path d=\"M'+X(opts.cursor)+' 27V175\" stroke=\"var(--muted)\" stroke-dasharray=\"3 3\"/>';e.innerHTML=out+'</g>';e.dataset.curves=JSON.stringify(series.map(s=>s.pts));}const curve=(fn,lo,hi,n=120)=>Array.from({length:n+1},(_,i)=>{const x=lo+(hi-lo)*i/n;return[x,fn(x)]});function inputs(draw){document.querySelectorAll('input,select').forEach(e=>{e.addEventListener('input',draw);e.addEventListener('change',draw)});draw()}const n=id=>+$('#'+id).value;const show=(id,v,d=3)=>set(id,Number(v.toFixed(d)));let mode='response';function draw(){pressed(mode);let w=n('wait'),c=n('work'),start=mode==='response'?w:0,deadline=start+50,finish=w+c,elapsed=Math.min(finish,deadline),ok=finish<deadline;set('wait-value',w+' ms');set('work-value',c+' ms');intervals('timeline',[{start:0,end:w,label:t('ready')},{start:w,end:finish,label:t('call'),cls:'gold'},{start,end:deadline,label:t('budget')}],160);set('elapsed',elapsed+' ms');set('result',finish===deadline?'≈':t(ok?'success':'timeout'));set('explanation',t('explain'));document.body.dataset.elapsed=elapsed;}document.querySelectorAll('[data-mode]').forEach(b=>b.onclick=()=>{mode=b.dataset.mode;draw()});inputs(draw);","audio":false,"strings":{"budget":"50 ms の予算","call":"応答 Future","elapsed":"戻るまでの待ち時間","explain":"ready 待ちを延ばすと、応答 Future だけの制限では総待ち時間が 50 ms を超え得ます。","heading":"タイムアウトの予算はどこから始まるか","intro":"ready 待ちと応答処理の時間を変え、タイムアウトの範囲を切り替えます。","mode":"予算の範囲","ready":"ready 待ち","reset":"リセット","response":"応答 Future のみ","result":"結果","scope":"予算 50 ms の理想化した時間軸で、poll が返らない場合、同時刻の競合、後続のボディストリームは扱いません。","scopeLabel":"モデルの範囲と前提","success":"成功","timeout":"タイムアウト","total":"ready + call 全体","wait":"ready 待ち / ms","work":"応答処理 / ms"}}
バックプレッシャーには呼び出しチェーン全体の連携が必要
ConcurrencyLimit は権限を使用して在途のレスポンス Future を制御します。上限に達すると readiness を待機しますが、呼び出し元が無限に待機タスクの作成に切り替えると、システムは依然として大量のメモリを消費する可能性があります。バックプレッシャーはアップストリームに継続的に伝播するか、有界キューと拒否戦略と組み合わせて初めて、全体の容量制御を形成します。
Buffer は有界チャネルとバックグラウンドワーカータスクを使用してリクエストを転送し、クローン可能なエントリポイントを提供し、専用の OS スレッドを作成する必要はありません。両側の readiness を分離し、キュー待機も導入します。アップストリームが取得した ready はキューの位置を予約している可能性があるため、保持していない権限を保持しないよう、速やかに call する必要があります。Buffer
RateLimit は一定時間内に処理できるリクエスト数を制約しますが、それは並行制限ではありません。実装を確認せずに、トークンを滑らかに補充する汎用トークンバケットと称してはいけません。LoadShed は、一時的に ready ではないものをエラーに変換し、継続的なキューイングではなく明確な拒否に適した境界です。RateLimit
タイムアウトは何をキャンセルするか
Timeout はレスポンス Future の返却を終了した後、呼び出し元は通常それをドロップし、内部の Future は随之解放されます。ポーリングによって進行する通常の非同期ロジックの場合、これによりその後の進行を停止できます。しかし、送信済みのネットワークリクエスト、コミット済みのデータベーストランザクション、独立して spawn されたタスクは、これによって自動的に取り消されるわけではありません。
したがって、「タイムアウトは内部実行を完全に停止しない」とも、「タイムアウトはすべての副作用を取り消す」とも書けません。キャンセルが安全かどうかは、Future の Drop、リソース所有権、および基盤となる操作セマンティクスと組み合わせて判断する必要があります。タイムアウトエラーは、遠隔地のビジネスロジックが成功しなかったことを証明するものではありません。
リトライとストリーミングレスポンスの2つの境界
Retry は戦略に基づいて再試行するかどうかを判断し、リクエストの再構築またはクローンが必要です。再試行可能性はビジネス効果と失敗フェーズに由来します:クエリは再試行しやすいですが、書き込みは冪等キーと永続的な重複排除を活用できます。HTTP メソッド名だけを根拠に安全性を保証してはいけません。また、障害時に負荷をさらに増幅しないよう、回数、バックオフ、総時間を制限する必要があります。
Service の Response には、まだ消費されていないストリームが含まれている可能性があります。レスポンス Future が完了したからといって、ストリームが終了したわけではありません。通常の Timeout や ConcurrencyLimit がカバーするライフサイクルはすでに終了している可能性がありますが、クライアントはメッセージの継続的な受信を続けている可能性があります。完全なストリームを制限する場合は、権限、タイムアウト、およびクリーンアップ戦略をストリームのライフサイクルに拡張する必要があります。
遅延消費可能な Response を使って権限解放の位置を明確にする
use std:: convert:: Infallible;
use tower:: { Service, ServiceBuilder, ServiceExt, service_fn} ;
# [ tokio ::main ( flavor = " current_thread" ) ]
async fn main ( ) -> Result< ( ) , tower:: BoxError> {
let inner = service_fn ( | ( ) : ( ) | async {
Ok : : < _ , Infallible> ( vec! [ 1 , 2 , 3 ] .into_iter ( ) )
} ) ;
let mut service = ServiceBuilder:: new( ) .concurrency_limit ( 1 ) .service ( inner) ;
let mut response = service.ready ( ) .await? .call ( ( ) ) .await? ;
let second = service.ready ( ) .await? .call ( ( ) ) .await? ;
assert_eq! ( response.next ( ) , Some ( 1 ) ) ;
assert_eq! ( second.collect:: < Vec< _ > > ( ) , [ 1 , 2 , 3 ] ) ;
Ok ( ( ) )
}
ここでは、通常のイテレータを使用して「オブジェクトを返した後も継続して消費できる」所有関係を示していますが、ネットワークストリームをシミュレートしているわけではありません。Tower の汎用制限器は、任意の Response 型から、いつが本当に終了したのかを推測することはできません。制限対象のリソースがストリームに属している場合、ストリームラッパーが権限を保持し、正常な終了、エラー、Drop のすべてに明確な解放パスを持たせるべきです。レスポンスヘッダーの生成のみを制限したい場合は、現在の範囲がちょうど適切かもしれません。
レベルごとにキューイングと処理時間を記録する
指標 開始点と終了点 一般的な誤解
受付待機 最初の準備リクエスト → ready 成功 サービス内部の実行が遅いと見なす
レスポンス Future の所要時間 call → Response/Err 完全なダウンロードまたは購読の期間と見なす
ストリームの継続時間 レスポンスボディの取得 → 終了/キャンセル 同じ在途の権限が常に有効であると見なす
試行回数 単一の論理リクエストの各実際の呼び出し 1つのビジネス操作のリトライを独立したユーザーリクエストとしてカウントする
キューイング、タイムアウト、リトライは論理リクエスト識別子を共有すべきですが、各試行の記録も保持する必要があります。そうしないと、1つのリクエストが3回リトライされることで、呼び出し量と「成功率」の両方が同時に上昇し、ユーザーの実際の待機時間とダウンストリームの追加負荷が隠蔽される可能性があります。
Response 後もストリームは許可を持つか
Response は後から消費するストリームを所有できる値です。「Response を返した」時、通常の応答 Future の許可は解放されても Body は生存します。完全なストリームの同時数を制限するなら、終了・エラー・Drop まで所有ラッパが許可を保持します。
図を準備しています 再読み込み
Response 後もストリームは許可を持つか 応答 Future はボディが残っていても許可を解放でき、全ストリームの制限には許可の所有を延ばす必要があります。
{"id":"rust-tower-stream-permit","title":"Response 後もストリームは許可を持つか","summary":"応答 Future はボディが残っていても許可を解放でき、全ストリームの制限には許可の所有を延ばす必要があります。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"presets\" role=\"group\" data-i18n-label=\"mode\"><button data-mode=\"waiting\" data-i18n=\"waiting\"></button><button data-mode=\"stream\" data-i18n=\"stream\"></button><button data-mode=\"ended\" data-i18n=\"ended\"></button></div><label class=\"check\"><input type=\"checkbox\" id=\"extend\"><span data-i18n=\"extend\"></span></label><div class=\"track-row\"><span data-i18n=\"objects\"></span><div id=\"objects\" class=\"track\"></div></div><div class=\"metrics\"><div><span data-i18n=\"permit\"></span><strong id=\"permit\"></strong></div><div><span data-i18n=\"ready\"></span><strong id=\"ready\"></strong></div></div><div class=\"copy\"><p id=\"explanation\" role=\"status\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"explain\"></p></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:550;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:550 20px ui-monospace,monospace}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:ui-monospace,monospace;font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px ui-monospace,monospace;background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 ui-monospace,monospace;white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px ui-monospace,monospace}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 ui-monospace,monospace;white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:ui-monospace,monospace}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px ui-monospace,monospace;padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 ui-monospace,monospace;overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n.chart-wrap{margin:18px 0}.chart-label{font-size:12px;color:var(--muted);min-height:3.2em}.curve{display:block;width:100%;height:auto;max-height:320px;overflow:visible}.curve text{font:11px ui-monospace,monospace;fill:var(--muted)}.gridline{stroke:var(--rule);stroke-width:1}.metrics strong{font-size:20px;min-height:3.2em}.formula{font:12px/1.8 ui-monospace,monospace;min-height:9em}.readout{min-height:8em}.presets button{flex-basis:30%}.scope p{overflow-wrap:anywhere} .unit-note{font-size:12px;color:var(--muted);margin:10px 0}\n\n.metrics span{word-break:break-all;line-break:strict}.metrics>div{padding-right:6px}\n\n.cell{min-height:72px}.metrics strong{min-height:3.6em}\n\n ","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';row.style.gridTemplateColumns='repeat('+r.length+',minmax(0,1fr))';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}function plot(id,series,xr,yr,opts={}){const e=$('#'+id),X=x=>42+(x-xr[0])/(xr[1]-xr[0])*298,Y=y=>175-(y-yr[0])/(yr[1]-yr[0])*148;let out='<defs><clipPath id=\"clip-'+id+'\"><rect x=\"42\" y=\"27\" width=\"298\" height=\"148\"/></clipPath></defs>';for(let i=0;i<3;i++){let x=xr[0]+i*(xr[1]-xr[0])/2,y=yr[0]+i*(yr[1]-yr[0])/2;out+='<path class=\"gridline\" d=\"M '+X(x)+' 27V175M42 '+Y(y)+'H340\"/><text x=\"'+X(x)+'\" y=\"194\" text-anchor=\"middle\">'+esc(opts.xfmt?opts.xfmt(x):Number(x.toFixed(2)))+'</text><text x=\"36\" y=\"'+(Y(y)+4)+'\" text-anchor=\"end\">'+esc(opts.yfmt?opts.yfmt(y):Number(y.toFixed(2)))+'</text>';}out+='<g clip-path=\"url(#clip-'+id+')\">';for(const s of series){out+='<path fill=\"none\" stroke=\"'+(s.color||'var(--accent)')+'\" stroke-width=\"2.5\" '+(s.dash?'stroke-dasharray=\"5 4\"':'')+' d=\"'+s.pts.map((p,i)=>(i?'L':'M')+X(p[0]).toFixed(2)+','+Y(p[1]).toFixed(2)).join(' ')+'\"/>';}for(const p of opts.points||[])out+='<circle cx=\"'+X(p[0])+'\" cy=\"'+Y(p[1])+'\" r=\"4\" fill=\"var(--second)\" stroke=\"var(--paper)\" stroke-width=\"1.5\"/>';if(opts.cursor!==undefined)out+='<path d=\"M'+X(opts.cursor)+' 27V175\" stroke=\"var(--muted)\" stroke-dasharray=\"3 3\"/>';e.innerHTML=out+'</g>';e.dataset.curves=JSON.stringify(series.map(s=>s.pts));}const curve=(fn,lo,hi,n=120)=>Array.from({length:n+1},(_,i)=>{const x=lo+(hi-lo)*i/n;return[x,fn(x)]});function inputs(draw){document.querySelectorAll('input,select').forEach(e=>{e.addEventListener('input',draw);e.addEventListener('change',draw)});draw()}const n=id=>+$('#'+id).value;const show=(id,v,d=3)=>set(id,Number(v.toFixed(d)));let mode='waiting';function draw(){pressed(mode);let held=mode==='waiting'||mode==='stream'&&$('#extend').checked;cells('objects',[{text:'Future',cls:mode==='waiting'?'on':'empty'},{text:'Body',cls:mode==='stream'?'gold':'empty'},{text:'Permit',cls:held?'on':'empty'}]);set('permit',held?1:0);set('ready',held?'Pending':'Ready');set('explanation',t('explain'));}document.querySelectorAll('[data-mode]').forEach(b=>b.onclick=()=>{mode=b.dataset.mode;draw()});inputs(draw);","audio":false,"strings":{"ended":"ストリーム終了・破棄","explain":"Response を返した状態で許可の所有を切り替えると、同じ生存中のボディでも接納制御が変わります。","extend":"ストリームが許可を所有","heading":"Response 後もストリームは許可を持つか","intro":"応答の進み具合を変え、Future の許可とストリームが保持する許可を比べます。","mode":"進行","objects":"オブジェクトと許可","permit":"保持する許可数","ready":"第 2 要求の ready","reset":"リセット","scope":"容量 1 で第 2 要求の接納だけを見ます。独自の stream wrapper の契約で、Tower の自動動作ではありません。","scopeLabel":"モデルの範囲と前提","stream":"Response を返した","waiting":"Response 待ち"}}
tonic に接続する際は、型とエラーマッピングをまず確認する
tonic はトランスポートおよび生成サービス層で Tower を使用していますが、「すべての gRPC メソッドに任意の Layer を直接適用できる」わけではありません。ミドルウェアの Request、Response、Error、Clone、Send などの制約は、挿入位置と一致する必要があります。HTTP レベルのエラーは、gRPC Status に正しくマッピングされる必要があります。
HTTP リクエストの追跡は通常、tower-http の TraceLayer を使用しますが、すべての Trace が tower 本体から来るわけではないと誤解してはいけません。Interceptor は短い同期メタデータ処理に適していますが、非同期認証やレスポンスボディの観測には、通常、より完全なミドルウェアが必要です。tonic を参照してください。