知識マップ: UUID は衝突しないのか - 間違った運用と実装で重複を招くパターン

記事「UUID は衝突しないのか - 間違った運用と実装で重複を招くパターン」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

UUIDの衝突事故の多くは規格そのものではなく、生成や運用が前提を壊すことで起きると整理する記事です。RFC 9562が定めるUUIDv4はCSPRNGによる122ビットの乱数領域を、UUIDv7はカウンタによる単調性の設計を前提としており、固定seedの弱いPRNGでの自作やfork・snapshot後の生成器状態の巻き戻り、UUIDv3/v5を新規採番用途に誤用すること、UUIDv8の実装依存な一意性への過信、128ビットを削る切り詰めがいずれも重複を招きます。RFC自身が真のglobal uniquenessを絶対保証しないとしている以上、DB側のUNIQUE制約が重複挿入を防ぐ最終防衛線になります。

flowchart LR
    accTitle: UUIDの衝突を招く実装パターンの知識マップ
    accDescr: UUIDv4・UUIDv7・UUIDv3/v5・UUIDv8・UUIDv1/v6それぞれがRFC 9562で定義されること、弱いPRNGでの自作・生成器の状態の巻き戻り・name-based UUIDの新規採番への誤用・カウンタの桁あふれ・時刻の巻き戻り・切り詰めがいずれもUUIDの衝突を招くこと、CSPRNGの利用とfork後の再seedとDB側の一意制約がその対策になることを示す図
    uuid["UUID"]
    rfc9562["RFC 9562"]
    csprng["CSPRNG"]
    uuidv4["UUIDv4"]
    weak_prng_uuid["弱いPRNGによるUUID自作"]
    new_record_id_issuance["新規採番"]
    name_based_uuid["UUIDv3/v5"]
    uuidv8["UUIDv8"]
    uuid_collision["UUIDの衝突"]
    generator_state["生成器の状態"]
    counter_rollover["カウンタの桁あふれ"]
    clock_rollback["時刻の巻き戻り"]
    uuid_truncation["UUIDの切り詰め"]
    db_unique_constraint["DB側の一意制約"]
    fork_reseed["fork後の再seed"]
    uuidv7["UUIDv7"]
    monotonicity["単調性"]
    namespace_uuid["namespace"]
    canonicalization["正規化"]
    uuidv1_v6["UUIDv1/v6"]
    csprng -->|"推奨される対応"| uuidv4
    weak_prng_uuid -->|"用いるのは非推奨"| new_record_id_issuance
    name_based_uuid -->|"用いるのは非推奨"| new_record_id_issuance
    uuidv8 -->|"用いるのは非推奨"| new_record_id_issuance
    weak_prng_uuid -.->|"原因になり得る"| uuid_collision
    generator_state -.->|"原因になり得る"| uuid_collision
    name_based_uuid -.->|"原因になり得る"| uuid_collision
    counter_rollover -.->|"原因になり得る"| uuid_collision
    clock_rollback -.->|"原因になり得る"| uuid_collision
    uuid_truncation -->|"原因になり得る"| uuid_collision
    db_unique_constraint -->|"軽減する"| uuid_collision
    fork_reseed -->|"軽減する"| uuid_collision
    csprng -->|"防止する"| weak_prng_uuid
    uuidv7 -.->|"利用する"| monotonicity
    counter_rollover -.->|"両立しない"| monotonicity
    clock_rollback -.->|"両立しない"| monotonicity
    name_based_uuid -->|"利用する"| namespace_uuid
    name_based_uuid -->|"前提とする"| canonicalization
    uuidv4 -->|"で確認できる"| rfc9562
    uuidv7 -->|"で確認できる"| rfc9562
    name_based_uuid -->|"で確認できる"| rfc9562
    uuidv8 -->|"で確認できる"| rfc9562
    uuidv1_v6 -->|"で確認できる"| rfc9562
    uuidv1_v6 -.->|"原因になり得る"| uuid_collision
    uuid -->|"で確認できる"| rfc9562

概念間の関係(全25件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

CSPRNGはUUIDv4に対する本記事の推奨です。UUIDv4はversion/variantを除く122ビットの乱数領域を持ち、RFC 9562はその生成にCSPRNGを使うべきとしている(Section 6.9のSHOULD要件であり、用途によっては例外設計もあり得るとされる) / 確度: 確立した関係 / 確認日: 2026-08-01 出典出典
弱いPRNGによるUUID自作を新規採番に用いることは推奨されません。一般用途PRNGをseed固定などで回してUUID形式の文字列を自作することは、新規採番用途に用いる実装として推奨されない / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv3/v5を新規採番に用いることは推奨されません。UUIDv3/v5は同じnamespaceと同じnameから同じUUIDを再生成する決定論的IDであり、新規採番用途に用いることは推奨されない / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv8を新規採番に用いることは推奨されません。UUIDv8の一意性は実装依存であり前提にしてはいけないため、一意性が必要な新規採番用途に用いることは推奨されない / 確度: 確立した関係 / 確認日: 2026-08-01 出典
弱いPRNGによるUUID自作はUUIDの衝突の原因になることがあります。同じseedの一般用途PRNGは別プロセスや別ノードでも同じ系列を再現するため、重複を招くことがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典出典
生成器の状態はUUIDの衝突の原因になることがあります。stable storageを持たない実装でVM snapshotやコンテナ複製後に生成器の状態が巻き戻ると、重複が出ることがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
UUIDv3/v5はUUIDの衝突の原因になることがあります。UUIDv3/v5を毎回新規採番として使うと、同じnamespaceと同じnameから同じUUIDが再生成され重複することがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
カウンタの桁あふれはUUIDの衝突の原因になることがあります。UUIDv7で同一ミリ秒内の連番カウンタが桁あふれすると、重複したUUIDが出ることがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
時刻の巻き戻りはUUIDの衝突の原因になることがあります。時刻が戻ったときに何もせず生成を続けると、UUIDv7などの時刻系UUIDで重複が出ることがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
UUIDの切り詰めはUUIDの衝突の原因になることがあります。128ビットのうち一意性の材料そのものを削る変換(先頭数文字だけの利用、64ビット整数への圧縮など)は重複を招く / 確度: 確立した関係 / 確認日: 2026-08-01 出典
DB側の一意制約はUUIDの衝突を軽減します。UNIQUE/PRIMARY KEY制約は、列や列集合の値がテーブル全体で一意であることを保証し、重複した値の挿入そのものを防ぐ。ただし採番側で重複したUUIDが生成された事実は残るため、衝突そのものを防ぐわけではなく影響を止める仕組みである / 確度: 確立した関係 / 確認日: 2026-08-01 出典
fork後の再seedはUUIDの衝突を軽減します。process forkのような状態変化のたびにCSPRNGの状態を再seedすることで、状態の巻き戻りによる重複を軽減する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
CSPRNGは弱いPRNGによるUUID自作を防ぎます。OS/ランタイム標準のCSPRNGベースのUUID API(uuid4()など)をそのまま使うことは、一般用途PRNGでのUUID自作を避ける対策になる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv7は単調性を利用します。単調性を保つよう正しく設計・実装されたUUIDv7は、rand_aを専用カウンタにする、またはrand_bをランダム初期化カウンタとして使うなどの設計を利用する。counter rolloverやclock rollbackを考慮しない自作実装ではこの保証は成り立たない / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
カウンタの桁あふれは単調性と両立しません。桁あふれ時にタイムスタンプを繰り上げるなどの対策をしていない場合、カウンタが0へ戻るとあとから作ったUUIDのほうが必ず大きくなるという単調性が崩れる / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
時刻の巻き戻りは単調性と両立しません。時刻が前の値へ戻ったときに何も対策しない場合、あとから作ったUUIDのほうが必ず大きくなるという単調性が崩れる / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
UUIDv3/v5はnamespaceを利用します。UUIDv3/v5はnamespaceと呼ばれる文脈用UUIDと、canonical nameの組み合わせから決定論的にUUIDを生成する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv3/v5は正規化を前提とします。同じcanonical formatのsame nameをsame namespaceで生成したUUIDが常に等しくなるためには、nameのcanonicalizationを仕様として固定することを前提とする / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv4はRFC 9562で確認できます。UUIDv4の122ビット乱数領域の仕様はRFC 9562のSection 5.4で確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv7はRFC 9562で確認できます。UUIDv7のtimestampとrandom bits、counterの構成はRFC 9562のSection 5.7で確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv3/v5はRFC 9562で確認できます。UUIDv3/v5のnamespace + canonical nameによる生成規則はRFC 9562のSection 6.5で確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv8はRFC 9562で確認できます。UUIDv8の一意性が実装依存であることはRFC 9562のSection 5.8で確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv1/v6はRFC 9562で確認できます。UUIDv6のnode/clock sequenceやDB locality改善の設計はRFC 9562のSection 5.6で確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
UUIDv1/v6はUUIDの衝突の原因になることがあります。仮想マシンやコンテナの登場でMACアドレスの一意性はもはや保証されず、node IDの複製やclock sequenceの固定値化は重複を招くことがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
UUIDはRFC 9562で確認できます。UUIDの形式全体の仕様はRFC 9562で確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典

主要概念の定義

UUID: 128ビットの識別子で、実装上十分な一意性を提供する一方、真のglobal uniquenessを絶対保証はしない識別子形式のこと。
RFC 9562: UUIDの形式、各version、生成のベストプラクティスを定めるIETFの標準文書のこと。
CSPRNG: 次の値を予測しにくいことを設計目標に含む、暗号学的に安全な疑似乱数生成器のこと。
弱いPRNGによるUUID自作: 一般用途のPRNGを固定seedなどで回し、UUID形式の文字列を自前で組み立てる実装のこと。
UUIDv3/v5: 同じnamespaceと同じcanonical nameから同じUUIDを再生成する、決定論的なUUIDv3/UUIDv5の総称のこと。
UUIDv8: 一意性が実装依存であり前提にしてはいけないと定められた、実験用・ベンダー独自用のUUIDのこと。
生成器の状態: 乱数の内部状態、clock sequence、カウンタなど、次のUUIDを決める生成器の状態のこと。
カウンタの桁あふれ: カウンタが最大値を超えて0へ戻ることのこと。
時刻の巻き戻り: NTP補正や手動変更で、システム時刻が前の値へ戻ることのこと。
UUIDの切り詰め: 先頭数文字だけの利用や64ビット整数への圧縮など、128ビットの一意性の材料そのものを削る変換のこと。
DB側の一意制約: 列や列集合の値がテーブル全体で一意であることを保証する、DB側のUNIQUE/PRIMARY KEY制約のこと。
fork後の再seed: process forkのような状態変化のたびに、CSPRNGの状態を再seedすることのこと。
UUIDv7: 48ビットのUnixミリ秒タイムスタンプに、乱数やcarefully seeded counterによる74ビットを組み合わせる、時系列ソート可能なUUIDのこと。
UUIDv4: version/variantを除く122ビットを乱数で埋める、ランダムベースのUUIDのこと。
UUIDv1/v6: MACアドレス由来のnodeとclock sequenceを使う時刻系のUUIDのこと。UUIDv6はDB localityの改善のためUUIDv1を並べ替えたもの。

機械可読データ

JSON-LD / Turtle ── この記事の知識グラフ全体
概念一覧 / 語彙(述語)の定義

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。