|
142 | 142 | trade-off between thoroughness of verification and limiting the |
143 | 143 | impact on application performance and availability. |
144 | 144 | </span> |
145 | | -<code class="function">bt_index_check</code>は、ターゲットとなるインデックスと、それが所属するヒープリレーションに対して<code class="literal">AccessShareLock</code>を獲得します。 |
| 145 | +<code class="function">bt_index_check</code>は、対象となるインデックスと、それが所属するヒープリレーションに対して<code class="literal">AccessShareLock</code>を獲得します。 |
146 | 146 | このロックモードは、単純な<code class="literal">SELECT</code>文がリレーションに対して獲得するのと同じものです。 |
147 | 147 | <code class="function">bt_index_check</code>は、子/親関係にわたる不変量を検査しませんが、<em class="parameter"><code>heapallindexed</code></em>が<code class="literal">true</code>の場合には、インデックス中のインデックスタプルに対応するすべてのヒープタプルの存在が検証されます。 |
148 | 148 | <em class="parameter"><code>checkunique</code></em>が<code class="literal">true</code>の場合、<code class="function">bt_index_check</code>は一意インデックス内の重複エントリの中で可視のものが1つだけであることを検証します。 |
|
176 | 176 | convention of raising an error if it finds a logical |
177 | 177 | inconsistency or other problem. |
178 | 178 | </span> |
179 | | -<code class="function">bt_index_parent_check</code>は、ターゲットとなるB-Treeインデックスが様々な不変量を保っていることを検査します。 |
| 179 | +<code class="function">bt_index_parent_check</code>は、対象となるB-Treeインデックスが様々な不変量を保っていることを検査します。 |
180 | 180 | オプションとして、<em class="parameter"><code>heapallindexed</code></em>引数が<code class="literal">true</code>の場合、インデックスに対応して存在すべきすべてのヒープタプルの存在を検証します。 |
181 | 181 | <em class="parameter"><code>checkunique</code></em>が<code class="literal">true</code>の場合、一意インデックスの重複エントリの中で可視のものが1つだけであることを検査します。 |
182 | 182 | 省略可能な引数<em class="parameter"><code>rootdescend</code></em>が<code class="literal">true</code>であれば、各タプルに対するルートページから新しく探索することで、検証はリーフレベルのタプルを再び見つけます。 |
|
196 | 196 | all other utility commands. Note that the function holds locks |
197 | 197 | only while running, not for the entire transaction. |
198 | 198 | </span> |
199 | | -<code class="function">bt_index_parent_check</code>は、ターゲットインデックスに<code class="literal">ShareLock</code>を獲得することを必要とします。 |
| 199 | +<code class="function">bt_index_parent_check</code>は、対象インデックスに<code class="literal">ShareLock</code>を獲得することを必要とします。 |
200 | 200 | (<code class="literal">ShareLock</code>はヒープリレーションにも獲得されます。) |
201 | 201 | このロックは、<code class="command">INSERT</code>、<code class="command">UPDATE</code>、<code class="command">DELETE</code>が並行してデータ更新することを防ぎます。 |
202 | 202 | また、このロックは<code class="command">VACUUM</code>その他のユーティリティコマンドによって、背後にあるリレーションが同時に処理されることを防ぎます。 |
|
323 | 323 | target table. |
324 | 324 | </span> |
325 | 325 | 指定すると、破損検査は前のブロックをすべてスキップして指定ブロックから開始されます。 |
326 | | -<em class="parameter"><code>startblock</code></em>をターゲットテーブルに含まれるブロックの範囲外で指定するとエラーになります。 |
| 326 | +<em class="parameter"><code>startblock</code></em>を対象テーブルに含まれるブロックの範囲外で指定するとエラーになります。 |
327 | 327 | </p><p> |
328 | 328 | <span class="original"> |
329 | 329 | By default, checking begins at the first block. |
|
337 | 337 | table. |
338 | 338 | </span> |
339 | 339 | 指定すると、残りのすべてのブロックをスキップして指定ブロックで破損検査が終了します。 |
340 | | -<em class="parameter"><code>endblock</code></em>をターゲットテーブルに含まれるブロックの範囲外で指定するとエラーになります。 |
| 340 | +<em class="parameter"><code>endblock</code></em>を対象テーブルに含まれるブロックの範囲外で指定するとエラーになります。 |
341 | 341 | </p><p> |
342 | 342 | <span class="original"> |
343 | 343 | By default, all blocks are checked. |
|
388 | 388 | index that is equivalent to the existing, target index must only |
389 | 389 | have entries that can be found in the existing structure. |
390 | 390 | </span> |
391 | | -B-Tree検証関数の<em class="parameter"><code>heapallindexed</code></em>引数が<code class="literal">true</code>ならば、ターゲットのインデックスリレーションと関連付けられたテーブルに対して追加の検証フェーズが実施されます。 |
| 391 | +B-Tree検証関数の<em class="parameter"><code>heapallindexed</code></em>引数が<code class="literal">true</code>ならば、対象のインデックスリレーションと関連付けられたテーブルに対して追加の検証フェーズが実施されます。 |
392 | 392 | これは<span class="quote">「<span class="quote">ダミー</span>」</span>の<code class="command">CREATE INDEX</code>操作から構成され、インメモリ上の一時的なサマリ構造(これは必要に応じて基礎的な最初の検証フェーズで構築されます)に対する仮想的な新しいインデックスタプルがすべて存在することをチェックします。 |
393 | | -サマリ構造はターゲットのインデックスで見つかったすべてのタプルに対して<span class="quote">「<span class="quote">指紋採取(fingerprint)</span>」</span>を行います。 |
394 | | -<em class="parameter"><code>heapallindexed</code></em>検証の背後にある高レベルの原理は、新しいインデックスが既存のインデックスと等しいこと、ターゲットインデックスが既存の構造中に見つかったエントリのみを含むことです。 |
| 393 | +サマリ構造は対象のインデックスで見つかったすべてのタプルに対して<span class="quote">「<span class="quote">指紋採取(fingerprint)</span>」</span>を行います。 |
| 394 | +<em class="parameter"><code>heapallindexed</code></em>検証の背後にある高レベルの原理は、新しいインデックスが既存のインデックスと等しいこと、対象のインデックスが既存の構造中に見つかったエントリのみを含むことです。 |
395 | 395 | </p><p> |
396 | 396 | <span class="original"> |
397 | 397 | The additional <parameter>heapallindexed</parameter> phase adds |
|
0 commit comments