ドメイン名のAレコードを変更した後、一部のユーザーはすぐに新しいアドレスを表示しますが、他のユーザーは依然として古いアドレスにアクセスします。通常、これはDNSがすべてのサーバー間で更新を一度にゆっくりとブロードキャストするのではなく、権威データ、再帰キャッシュ、システムおよびアプリケーションのキャッシュがそれぞれ状態を持っているためです。1回の解決を理解するには、誰がデータを担当し、誰が代わりに照会し、どの結果がキャッシュされ、応答が「存在しない」のか「照会失敗」なのかを区別する必要があります。
| 問題 | この記事のエントリポイント |
| ルート、再帰、権威はそれぞれ何をするのか | 委任と照会の役割 |
| NSがあるのになぜグルーが必要なのか | 権威サーバーアドレスの解決における起動依存関係 |
| DNSパケットの読み方 | 12Bのヘッダー、セクション、ラベル、圧縮ポインタ |
| 変更後、いつ有効になるのか | RRset TTL、ネガティブキャッシュ、階層型キャッシュ |
| 大きな応答にはなぜTCPが必要なのか | EDNS通知、パスMTU、切り捨て |
| スレーブサーバーはどのように同期するのか | AXFR/IXFRと再帰キャッシュの違い |
名前空間、ドメイン、ゾーン
DNS名は階層型ラベルで構成され、ルートラベルで終わります。www.example.com. の末尾のドットは、明確に絶対名であることを示します。ドメインは名前木のサブツリーを記述し、ゾーンは特定の権威サーバーが管理するデータ範囲です。親ゾーンが子ドメインを委任すると、親ゾーンは委任情報を保持し続けますが、子ゾーンのすべてのレコードを権威管理しなくなります。
DNSはアドレスのみを返すわけではありません。MXはメール交換ターゲットを表現し、TXTはアプリケーションの合意情報を保持し、SRVはサービスの位置を表現します。同じowner name、type、classを持つレコードのグループはRRsetを構成し、これは「1つのドメイン名が1つのIPに対応する」というモデルよりも、キャッシュ、署名、マルチアドレスを説明するのに適しています。RFC 1034:DNSの概念
スタブ、フォワーダー、再帰器、権威
スタブは通常、クエリを構成された解決サービスに委任します。フォワーダーは作業をアップストリームに渡し、再帰器は委任を追跡するか、特定のポリシーの下で転送できます。権威サーバーは、自分が担当するゾーンに回答します。1つのソフトウェアが複数の役割を担うことができ、特定の製品名を固定されたアーキテクチャと直接同一視することはできません。
RDはクライアントが再帰を要求することを示し、RAはサーバーが再帰をサポートすることを示しますが、RD=1のクエリがすべて再帰を許可されるわけではありません。コールドキャッシュの再帰器は、ルートヒントから開始し、referralに基づいて次のサーバーグループを見つけることができます。委任または回答のキャッシュがある場合、毎回ルートに問い合わせる必要はありません。
権威階層間では、通常、このクエリのために逐層リクエストを転送しません。実際に複数のクエリを発行するのは再帰器です。また、NSアドレス、エイリアス、検証の必要性により、追加のクエリが発生する可能性があり、毎回ちょうど3回とは限らず、測定されていない「数十回」を一般的なオーバーヘッドとして見なすべきではありません。
QNAME最小化は上位への情報開示を変更する
従来の反復では、完全なターゲット名が各レベルのサーバーに渡される可能性があります。QNAME minimisationは、現在のレベルに委任を進めるために必要な名前部分のみを問い合わせて尽量减少します。例えば、上位は必ずしも完全な www.example.com. を知る必要はありません。具体的なQTYPEとフォールバックプロセスはアルゴリズムに従って処理され、簡略化された図のNSクエリを唯一のオンラインシーケンスとして実装してはいけません。RFC 9156:QNAME最小化
グルーはアドレス依存関係を解く
example.com. のNSが ns1.example.com. の場合、解決器はサブゾーンに問い合わせる前に、このNSのアドレスを見つける必要がありますが、アドレス自体はサブゾーン内にあります。親ゾーンは、起動を支援するためにグルーアドレスを提供できます。これは、実際の権威から取得して検証されたアドレスRRsetとは、同じ信頼レベルではありません。
Additionalセクションは、内容が無条件でキャッシュできることを意味しません。解決器は相関性とbailiwickなどのチェックを行う必要があります。NSがゾーン外にある場合、そのアドレスを別途解決する必要があるかもしれません。すべてのreferralがすべてのNSのA/AAAAを含むわけではなく、すべてのAdditionalアドレスがグルーと呼ばれるわけではありません。
メッセージ構造:まずセクションを特定し、次にレコードを解析する
DNSメッセージの基本ヘッダーは12Bで、ID、Flags、およびQuestion/Answer/Authority/Additionalの4つのカウンター含みます。TCPでの転送では、各DNSメッセージの前に2バイトの長さプレフィックスが配置され、このプレフィックスはDNSメッセージのオフセットには含まれません。TCPはバイトストリームであり、1回の読み込み操作で完全に1つのメッセージが得られるとは限りません。RFC 1035:メッセージフォーマット、RFC 7766:TCP上のDNS
| Flagsマスク | 意味 |
| 0x8000 | QR:クエリまたはレスポンス |
| 0x7800 | OPCODEフィールド、シフトして解釈する必要がある |
| 0x0400 | AA:権威回答フラグ |
| 0x0200 | TC:切り捨て |
| 0x0100 / 0x0080 | RD / RA |
| 0x0020 / 0x0010 | AD / CD、DNSSEC関連のセマンティクス |
| 0x000f | 基本RCODE、EDNSで拡張可能 |
歴史図の3つのZは、現代のメッセージで一律に「ゼロにする必要がある3つのビット」として扱うことはできません。AD/CDにはすでに用途があります。ビットマップの左からの番号付けとコードの最下位ビットの番号付けも異なるため、マスクを使用すると逆転を防ぐのに役立ちます。IDの一致は、レスポンスを関連付ける条件の一つに過ぎず、エンドポイント、問題、およびコンテキストの確認も必要です。
QuestionにはQNAME、QTYPE、QCLASSが含まれます。通常の資源レコードにはNAME、TYPE、CLASS、TTL、RDLENGTH、RDATAが含まれます。RDATAはTYPEに従って解釈され、すべてのタイプを1つの文字列または1つの圧縮可能ドメインとして扱うことはできません。
ラベルと圧縮:完全な33 → 49 Bの計算例
www.example.com. のオンラインラベルは、長さ3 + www、長さ7 + example、長さ3 + com、最後の長さ0のルートラベルで、合計17Bです。12Bのヘッダー、2BのQTYPE、2BのQCLASSを加えると、単一問題のAクエリは33Bになります。
応答に同じ名前のAレコードが含まれている場合、c0 0c を使用してDNSメッセージの先頭オフセット12を指すQNAMEを参照できます。レコード自体には2BのNAMEポインタ、10Bの固定フィールド、4BのIPv4アドレスが必要で、合計16Bです。同じ問題を保持した状態で応答の合計は49Bになります。NAMEを圧縮しない場合、17+10+4=31Bが必要になり、ここでは実際には15B節約されています。名前の重複回数に基づいて自由に推定することはできません。RFC 1035:名前圧縮
通常のラベルの最大長は63Bで、完全なオンライン名には総長制限があります。圧縮ポインタの上位2ビットは11で、下位14ビットはDNSメッセージ全体に対する相対オフセットです。解決器は、範囲外、ループ、展開長をチェックする必要があり、攻撃者が提供したポインタを無限に追跡することはできません。TCPの長さプレフィックスは、c00c が指すDNS内部位置を変更しません。
ポインタジャンプ後、レコードのカーソルはどこに停止するか?
c00cは33から12にジャンプして名前を展開しますが、AnswerのTYPEは依然として35から始まります。33自身を指すポインタに切り替えると、読み込み位置は既にアクセスされたコレクションに入り、解析は拒否しなければなりません。「さらに数ステップ読む」ことで運よく終了することはできません。
図を準備しています
ポインタジャンプ後、レコードのカーソルはどこに停止するか?圧縮ポインタは元の位置の2バイトを占めますが、展開により遠くのラベルを読み取ることができます。名前を読み取る位置は、元のレコードの後のフィールドの位置とは異なります。異常なポインタは終了しなければなりません。
{"id":"dns-compression-cursor","title":"ポインタジャンプ後、レコードのカーソルはどこに停止するか?","summary":"圧縮ポインタは元の位置の2バイトを占めますが、展開により遠くのラベルを読み取ることができます。名前を読み取る位置は、元のレコードの後のフィールドの位置とは異なります。異常なポインタは終了しなければなりません。","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=\"good\" data-i18n=\"good\"></button><button data-mode=\"loop\" data-i18n=\"loop\"></button><button data-mode=\"bad\" data-i18n=\"bad\"></button></div><section class=\"panel\"><h3 data-i18n=\"trace\"></h3><div id=\"trace\"></div></section><div class=\"metrics\"><div><span data-i18n=\"name\"></span><strong id=\"name\"></strong></div><div><span data-i18n=\"resume\"></span><strong id=\"resume\"></strong></div></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:500;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:500 20px var(--viz-font-ui)}.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:var(--viz-font-mono);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 var(--viz-font-ui);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 var(--viz-font-mono);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 var(--viz-font-ui)}.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 var(--viz-font-mono);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:var(--viz-font-ui)}.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 var(--viz-font-ui);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 var(--viz-font-ui);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#trace{min-height:9em;font:13px/1.8 var(--viz-font-ui);white-space:pre-line}.metrics strong{font-size:16px}","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';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;}));}let mode='good';function draw(){const bytes=new Uint8Array(49),q=[3,119,119,119,7,101,120,97,109,112,108,101,3,99,111,109,0];bytes.set(q,12);bytes[33]=192;bytes[34]=mode==='good'?12:mode==='loop'?33:255;let p=33,seen=new Set,labels=[],log=[],error='';while(true){if(p>=bytes.length){error='out of bounds';break}if(seen.has(p)){error='pointer loop';break}seen.add(p);const n=bytes[p];if((n&192)===192){if(p+1>=bytes.length){error='truncated pointer';break}const dest=((n&63)<<8)|bytes[p+1];log.push(p+' → '+dest);p=dest;}else if(n===0){log.push(p+': root');break}else{if(n>63||p+n>=bytes.length){error='invalid label';break}const label=String.fromCharCode(...bytes.slice(p+1,p+n+1));log.push(p+': '+label);labels.push(label);p+=n+1;}}set('trace',log.join('\\n')+(error?'\\nREJECT: '+error:''));set('name',error?'REJECT':labels.join('.')+'.');set('resume',error?'—':'35 (TYPE)');$('#name').dataset.valid=String(!error);$('#resume').dataset.offset=error?'':35;pressed(mode);}document.querySelectorAll('[data-mode]').forEach(b=>b.onclick=()=>{mode=b.dataset.mode;draw()});draw();","audio":false,"strings":{"bad":"c0 ff → 255","good":"c0 0c → 12","heading":"ポインタジャンプ後、レコードのカーソルはどこに停止するか?","intro":"有効なポインタ、ループ、範囲外を切り替えて、名前読み取り位置とレコードの後の位置をそれぞれ観察します。","loop":"c0 21 → 33","mode":"Answer NAME","name":"名前を展開","reset":"リセット","resume":"元のレコードの継続位置","scope":"固定49Bの教育用DNS応答。QNAMEは12にあり、Answer NAMEは33にあります。境界/ループ検出のみを示すために、これらの通常のASCIIラベルとポインタのみを解析します。これは完全なDNSパーサーではありません。","scopeLabel":"モデルの範囲と規約","trace":"実際のバイト読み取り軌跡"}}
レコードタイプと解決依存関係
| タイプ | 読み方 | 一般的な誤解 |
| A / AAAA | IPv4 / IPv6 アドレス | AAAAがないからといって、名前全体が存在しないわけではない |
| CNAME | 現在のownerは別名のエイリアス | 通常、同じownerで通常のA/MXなどのデータを同時に設定することはできない |
| NS | 権威サーバー名を指す | NSターゲットは名前であり、IPアドレスを直接書く場所ではない |
| MX | 優先度が低いほど優先され、後にメールターゲット名が続く | 最小値のターゲットが常に利用可能であるとは限らない |
| SOA | ゾーン管理、シーケンス番号、同期/ネガティブキャッシュ関連フィールド | MINIMUMはすべての正のレコードの統一TTLではない |
| PTR | 逆名前空間でターゲット名を照会 | 歴史のIQUERY opcodeとは同じメカニズムではない |
| SRV | priority、weight、port、target | priorityとweightを同じソート番号として混同してはいけない |
| TXT | 長さ付きの1つ以上の文字列 | 1つの文字列の制限が、RR全体が常に255Bしか持てないことを意味しない |
| CAA | 証明書発行権限を制約するDNSデータ | DNSを暗号化するものではなく、現在表示されている証明書を直接検証するものでもない |
IPv4逆引きは、192.0.2.10 の 10.2.0.192.in-addr.arpa. のPTRを照会するもので、通常の標準クエリです。PTRと前方のA/AAAAには自動的な1対1の対応保証がなく、逆引き名のみでホストIDを認証することはできません。
CNAMEの追跡は、ターゲットクエリをさらにトリガーする可能性があります。エイリアスとターゲットRRsetにはそれぞれTTLがあります。通常のCNAMEは、ゾーン頂点で存在しなければならないSOA/NSと競合します。ホスティングプラットフォームのALIAS/flattening動作は、通常のオンラインCNAMEの共存ルールを解除するものではありません。
キャッシュ:正の結果、負の結果、失敗を分ける
TTLは、キャッシュコピーが関連するルールに従って使用できる期間を制御し、既存の接続にアドレスの切り替えを通知するものではありません。再帰器はt=0でTTL=300の古いAをキャッシュし、権威はt=100で値を変更しますが、古いコピーはt=300まで使用され続ける可能性があります。この時点で新しいレコードのTTLを30に変更しても、既に送信された300を遡って変更することはありません。
移行前にTTLを下げるには、古いキャッシュが自然に期限切れになる時間を確保する必要があります。実際のユーザーパスには、アプリケーションキャッシュ、ネガティブキャッシュ、および異なるビューが含まれる可能性があります。一部の解決器は、特定の障害条件下でserve-staleメカニズムに従って期限切れデータを提供しますが、これは明確なポリシーが必要であり、すべてのTTLが無効になると一般化して見なしてはいけません。RFC 8767:serve-stale
| 応答 | 意味 | キャッシュ解釈 |
| NXDOMAIN、RCODE=3 | 照会名が存在しない | 名前のレベルでの否定結果。エイリアスなどのコンテキストと組み合わせて判断する必要がある |
| NOERRORだがターゲットタイプにデータなし | 一般的にNODATAと呼ばれる。独立したRCODEではない | 名前は存在するが、そのタイプが存在しない。SOAなどと組み合わせて判断する必要がある |
| SERVFAIL、RCODE=2 | 完了できない。例えばアップストリーム/検証失敗 | 名前が存在しないことを権威が証明したものとして扱ってはならない |
| REFUSED、RCODE=5 | サーバーポリシーにより拒否 | ドメイン名自体が存在するかどうかを説明するものではない |
通常のネガティブキャッシュTTLは、応答SOAのTTLとSOA.MINIMUMの小さい方を取ります。解決器はローカル制限を適用する可能性があります。両方が600と300の場合、ネガティブキャッシュの基本値は300 sです。新しく作成された本来存在しないレコードも、既存のネガティブキャッシュによって一時的に隠される可能性があります。RFC 2308:ネガティブキャッシュ
権威が更新されたのに、キャッシュは同期して変化しないのはなぜか?
t=140では、古いコピーにはまだ160秒残り、新しいコピーには残り10秒しかありません。新しいからといって、期限切れが遅いわけではありません。t=150以降、2番目のコピーは通常のTTLルールに従って使用できなくなりますが、それは1番目のコピーが同時に無効になることを意味するものではありません。
TTLremaining=max(0,tfetch+TTLreceived−tnow)
図を準備しています
権威が更新されたのに、キャッシュは同期して変化しないのはなぜか?TTLは取得されたコピーに付随します。権威が内容と新しいTTLを変更しても、古いキャッシュの期限時刻を遡って書き換えることはありません。
{"id":"dns-cache-snapshot","title":"権威が更新されたのに、キャッシュは同期して変化しないのはなぜか?","summary":"TTLは取得されたコピーに付随します。権威が内容と新しいTTLを変更しても、古いキャッシュの期限時刻を遡って書き換えることはありません。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"control\"><label for=\"time\" data-i18n=\"time\"></label><output for=\"time\" id=\"time-value\"></output><input id=\"time\" type=\"range\" min=\"0\" max=\"330\" value=\"140\" step=\"1\"></div><section class=\"panel\"><h3 data-i18n=\"copies\"></h3><div id=\"copies\"></div></section><div class=\"metrics\"><div><span data-i18n=\"authority\"></span><strong id=\"authority\"></strong></div><div><span data-i18n=\"old\"></span><strong id=\"old\"></strong></div><div><span data-i18n=\"new\"></span><strong id=\"new\"></strong></div></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:500;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:500 20px var(--viz-font-ui)}.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:var(--viz-font-mono);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 var(--viz-font-ui);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 var(--viz-font-mono);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 var(--viz-font-ui)}.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 var(--viz-font-mono);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:var(--viz-font-ui)}.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 var(--viz-font-ui);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 var(--viz-font-ui);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#copies{position:relative}#copies:after{content:\"\";position:absolute;left:var(--position);top:0;bottom:0;width:2px;background:var(--ink)}.metrics strong{font-size:18px}","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';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 draw(){const now=+$('#time').value;set('time-value',now);intervals('copies',[{start:0,end:300,label:'cache1: A [0,300)'},{start:120,end:150,label:'cache2: B [120,150)',cls:'gold'}],330);$('#copies').style.setProperty('--position',now/330*100+'%');set('authority',now<100?'A / TTL300':'B / TTL30');set('old',now<300?300-now:t('expired'));set('new',now<120?t('none'):now<150?150-now:t('expired'));$('#old').dataset.ttl=Math.max(0,300-now);$('#new').dataset.ttl=now<120?'':Math.max(0,150-now);}$('#time').oninput=draw;draw();","audio":false,"strings":{"authority":"この時点での権威値","copies":"コピーとそれぞれの有効期間","expired":"期限切れ","heading":"権威が更新されたのに、キャッシュは同期して変化しないのはなぜか?","intro":"時間のカーソルを動かし、異なる時刻に取得された2つのキャッシュを観察します。","new":"新しいキャッシュの残りTTL","none":"まだ取得していない","old":"古いキャッシュの残りTTL","reset":"リセット","scope":"t=0で古いA/TTL300を取得。t=100で権威が新しいB/TTL30に変更。別のキャッシュはt=120でBを取得。これら2回の取得のみを表示し、自動更新は行わず、serve-staleやアプリケーションキャッシュは含まない。","scopeLabel":"モデルの範囲と規約","time":"時間(s)"}}
EDNS、切り捨て、パスサイズ
EDNSなしの従来のDNS/UDPメッセージの上限は512Bです。EDNSはAdditional内のOPT擬似レコードを使用して能力を表現します。TYPE=41、CLASSはUDPペイロードサイズを通知するために使用され、元のTTL位置は拡張RCODE、バージョン、およびフラグを保持します。これは通常のキャッシュ可能なドメインRRではなく、DOは検証成功を意味しません。RFC 6891:EDNS
4096Bを受信できることを通知しても、パスが断片化なしで4096Bを保持できることを証明するものではありません。1232Bという予算の根拠は、IPv6最小MTU 1280−40B基本ヘッダー−8B UDPヘッダーです。さらに多くのオーバーヘッドがある場合は、それを考慮する必要があります。応答が適用されるUDP制限を超えた場合、切り捨てられてTCが設定され、クライアントはこれに基づいてTCPなどの適切な転送媒体を使用して完全な結果を再取得します。
TCPはゾーン転送専用のチャネルだけでなく、通常のクエリでもサポートしなければならない重要な転送媒体です。TCP 53をフィルタリングすると、小さなクエリは正常に見え、大きな応答が失敗する可能性があります。単にEDNS値を大きくすると、IPフラグメントの問題を引き起こす可能性があります。RFC 7766
DNSSECはデータの出所と整合性を検証し、暗号化されたDNSは選択された転送リンクを保護します。これらは異なる問題を解決します。AAは暗号学的認証ではなく、ADの信頼性は、ローカルマシンと使用されている解決器の信頼関係に依存します。これらについては次の記事で詳しく展開します。
ゾーン転送:権威コピーの同期、グローバル再帰キャッシュの更新はしない
AXFRは完全なゾーン転送で、複数のDNSメッセージにまたがり、TCPで転送され、SOAなどのルールによって転送内容が定義されます。IXFRはシーケンス番号に基づいて増分を要求し、サーバーに適切な差分がない場合は、完全転送にフォールバックする可能性があります。シーケンス番号の比較には独自のラップアラウンドルールがあり、常に通常の整数の大小で新旧を判断することはできません。RFC 5936:AXFR
プライマリ/セカンダリが同期を完了しただけでは、権威コピーが更新されたことを示すだけで、インターネットの再帰器が期限切れになっていないキャッシュを強制的にクリアさせることはできません。NOTIFYは、対応するセカンダリサーバーに変更をチェックするよう通知できますが、それはインターネット全体キャッシュの無効化ブロードキャストを意味するものではありません。
ローカルで1つのクエリとレスポンスを構築する
import struct
from ipaddress import IPv4Address
def encode_name(name):
labels = name.rstrip('.').split('.')
result = b''.join(bytes([len(x.encode('ascii'))])+x.encode('ascii') for x in labels)+bytes(1)
assert all(0<len(x.encode('ascii'))<=63 for x in labels)
assert len(result)<=255
return result
qname = encode_name('www.example.com.')
question = qname+struct.pack('!HH',1,1)
query = struct.pack('!6H',0x1234,0x0100,1,0,0,0)+question
assert len(qname)==17 and len(query)==33
answer = bytes.fromhex('c00c')+struct.pack('!HHIH',1,1,300,4)+IPv4Address('192.0.2.10').packed
response = struct.pack('!6H',0x1234,0x8180,1,1,0,0)+question+answer
assert len(answer)==16 and len(response)==49
pointer = int.from_bytes(answer[:2],'big')&0x3fff
assert pointer==12 and response[pointer:pointer+17]==qname
flags = struct.unpack('!H',response[2:4])[0]
assert flags&0x8000 and flags&0x0080 and not flags&0x0400
assert 1280-40-8==1232
assert min(600,300)==300
assert max(0,300-100)==200
assert IPv4Address('192.0.2.10').reverse_pointer=='10.2.0.192.in-addr.arpa'
print('DNS クエリ/レスポンスの長さ、圧縮オフセット、Flags、ネガティブキャッシュ、EDNS予算が通過')
この例は、固定された教育用のA応答を生成するものであり、完全なDNSパーサーやキャッシュ実装ではありません。すべてのアドレスはドキュメントの例として使用されており、実際のドメインは照会または変更されていません。
続きを読む