SlotKeeper 設計と品質

get_reservation sequence

sequenceDiagram
  autonumber
  participant User as User
  participant API as API
  participant DB as DB
  User->>API: GET /reservations/{reservationId}
  alt Authorization ヘッダのBearer tokenが未指定、または署名・issuer・client・用途・期限を検証できない場合。
    API-->>User: HTTP 401 Unauthorized<br/>authentication_required / invalid_token
  end
  alt Path/Query/Header/Body が型または制約に一致しない場合。
    API-->>User: HTTP 422 Unprocessable Content<br/>invalid_input
  end
  Note over API,DB: DBの直列化競合・一意性競合・OCC競合は、rollback後に新しいsnapshotで処理順を最大12回・8秒まで再実行する。再送安全な処理のため、成否不明の接続断も再実行する。
  API->>DB: 予約詳細を返すため、指定した予約を取得する。<br/>SQL 001_select_reservations.sql<br/>テーブル reservations
  alt 指定された予約が存在しない場合。
    API-->>User: HTTP 404 Not Found<br/>reservation_not_found
  end
  alt 呼び出し元が予約者本人または管理者でない場合。
    API->>API: 予約詳細の参照権限がない場合の運用ログと error response を組み立てる。
    API-->>User: HTTP 403 Forbidden<br/>forbidden
  end
  API->>DB: 予約の作成と取消の履歴を発生順に取得する。<br/>SQL 002_select_reservation_events.sql<br/>テーブル reservation_events
  API->>API: 予約詳細と操作履歴のレスポンスを組み立てる。
  API-->>User: HTTP 200 OK
  alt Router で捕捉した例外を error response に変換する場合。
    API->>API: Router で捕捉した例外を運用ログと HTTP error response に変換する。
    API-->>User: HTTP 500 Internal Server Error<br/>internal server error
  end
  alt DBの競合や接続障害が再試行上限を超えた場合。
    API-->>User: HTTP 503 Service Unavailable<br/>storage_temporarily_unavailable
  end