# 通知設計書 9-OS\ChildProcessException

## 概要

本ドキュメントは、HH\Lib\OS\ChildProcessException クラスによる子プロセス関連のエラー通知機能について記載する。

### 本通知の処理概要

OS\ChildProcessException は、子プロセス関連の操作が失敗した際に発生するエラーを通知する例外クラスである。具体的には ECHILD エラーコード（No child processes）に対応する。

**業務上の目的・背景**：マルチプロセスプログラミングにおいて、親プロセスは子プロセスの状態を監視し、終了を待機する必要がある。wait() や waitpid() などのシステムコールは、対象となる子プロセスが存在しない場合や、既に他のプロセスに回収された場合に ECHILD エラーを返す。この例外により、子プロセス管理における異常状態を型安全に検出し、適切な対処を行うことができる。

**通知の送信タイミング**：子プロセスの待機操作（wait/waitpid）や、子プロセスへのシグナル送信時に、対象の子プロセスが存在しない場合にスローされる。

**通知の受信者**：子プロセス操作を呼び出したコード（プロセス管理を行うアプリケーションコード）が受信者となる。

**通知内容の概要**：ECHILD エラーコードとエラーメッセージが含まれる。単一の Errno 値のみに対応するシンプルな例外クラスである。

**期待されるアクション**：受信者は子プロセスの状態を再確認するか、すべての子プロセスが終了したものとして処理を継続する。

## 通知種別

例外通知（子プロセスエラー・ECHILD）

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期（例外スロー） |
| 優先度 | N/A（例外通知のため） |
| リトライ | 通常不可（子プロセスが存在しない状態は変わらない） |

### 送信先決定ロジック

例外は呼び出しスタックを遡って伝播し、最初の適切な catch ブロックで捕捉される。

## 通知テンプレート

### 例外の場合

| 項目 | 内容 |
|-----|------|
| 例外クラス | HH\Lib\OS\ChildProcessException |
| 親クラス | HH\Lib\OS\ErrnoException |
| 名前空間 | HH\Lib\OS |

### 例外データ構造

```hack
final class ChildProcessException extends ErrnoException {
  public function __construct(string $message);

  public static function _getValidErrno(): Errno;
}
```

### 対応 Errno 値

| Errno | 値 | 説明 |
|-------|---|------|
| ECHILD | 10 (典型値) | 子プロセスが存在しない |

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| $message | エラーメッセージ | エラー説明文字列 | Yes |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| wait 操作 | wait() システムコール | 子プロセスなし | ECHILD |
| waitpid 操作 | waitpid() システムコール | 指定の子プロセスなし | ECHILD |
| シグナル送信 | kill() への子プロセスPID指定 | プロセスが既に終了 | ECHILD（場合による） |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| 子プロセス存在 | 有効な子プロセスが存在する場合は例外はスローされない |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[子プロセス操作] --> B{子プロセス存在?}
    B -->|Yes| C[操作成功]
    B -->|No| D[errno = ECHILD]
    D --> E[ChildProcessException 生成]
    E --> F[throw ChildProcessException]
    F --> G[呼び出し元の catch へ]
    G --> H{対処方法}
    H -->|終了処理| I[全子プロセス終了として続行]
    H -->|再確認| J[プロセスリストを再確認]
```

## データベース参照・更新仕様

該当なし（OS レベルの例外通知のため）

### 参照テーブル一覧

該当なし

### 更新テーブル一覧

該当なし

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| ECHILD | wait 時に子プロセスが存在しない | 全子プロセス終了として処理を継続 |
| ECHILD | waitpid で指定したPIDが子でない | PIDを確認、プロセス管理ロジックを見直し |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | 通常0（状態は変わらないため） |
| リトライ間隔 | N/A |
| リトライ対象エラー | なし |

## 配信設定

### レート制限

該当なし（例外通知のため）

### 配信時間帯

制限なし

## セキュリティ考慮事項

- PID の露出は攻撃者にプロセス情報を与える可能性があるため、ログ出力時は注意が必要
- 子プロセスの管理ミスはゾンビプロセスやリソースリークにつながる可能性がある

## 備考

- 単一の Errno（ECHILD）のみに対応するシンプルなクラス
- コンストラクタは message のみを引数に取り、Errno は内部で固定設定される
- マルチプロセスプログラミングで重要な例外クラス

---

## コードリーディングガイド

本通知を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

ChildProcessException クラスの構造と ECHILD を理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | ErrnoException.php | `src/os/ErrnoException.php` | ChildProcessException クラス（98-106行目） |
| 1-2 | Errno.php | `src/os/Errno.php` | ECHILD の定義（48行目） |

**読解のコツ**: 単一 Errno 対応のクラスは _getValidErrno() メソッドを持ち、複数 Errno 対応のクラスは _getValidErrnos() を持つ。

#### Step 2: コンストラクタを理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | ErrnoException.php | `src/os/ErrnoException.php` | コンストラクタ（99-101行目） |

**主要処理フロー**:
1. **行99-101**: コンストラクタで message のみを受け取る
2. **行100**: _getValidErrno() で ECHILD を取得し、親クラスに渡す

#### Step 3: _getValidErrno メソッドを理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | ErrnoException.php | `src/os/ErrnoException.php` | _getValidErrno メソッド（103-105行目） |

**主要処理フロー**:
- **行103-105**: Errno::ECHILD を返す静的メソッド

#### Step 4: 親クラスとの関係を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 4-1 | ErrnoException.php | `src/os/ErrnoException.php` | ErrnoException 基底クラス（52-76行目） |

**主要処理フロー**:
- ChildProcessException は ErrnoException を継承
- getErrno() で ECHILD を取得可能

### プログラム呼び出し階層図

```
子プロセス操作（wait/waitpid など）
    |
    +-- [子プロセスが存在しない場合]
            |
            +-- errno = ECHILD
            |
            +-- ChildProcessException 生成
            |       |
            |       +-- _getValidErrno() で ECHILD を取得
            |       |
            |       +-- ErrnoException.__construct(ECHILD, $message)
            |
            +-- throw ChildProcessException
                    |
                    +-- 呼び出し元の catch ブロック
```

### データフロー図

```
[入力]                    [処理]                           [出力]

子プロセス操作
    |
    v
[子プロセスなし]
    |
    v
ECHILD ──────────▶ _getValidErrno() ────────▶ ChildProcessException
                          │                          │
                          v                          v
                   Errno::ECHILD              throw Exception
                          │                          │
                          v                          v
                   ErrnoException              try-catch で
                   コンストラクタ              ハンドリング
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| ErrnoException.php | `src/os/ErrnoException.php` | ソース | ChildProcessException クラスの実装（98-106行目） |
| Errno.php | `src/os/Errno.php` | ソース | ECHILD の定義（48行目） |
