タグ: 再現性

← タグ一覧

• 長時間ジョブの管理：チェックポイント・再開の冪等性・最適な保存間隔数日かかる計算を状態機械とみて、何回中断して再開しても結果が変わらない条件を証明し、故障の Poisson モデルでの完了までの期待時間と最適なチェックポイント間隔 √(2Cμ) を導く。再開できる反復の雛形と故障の模擬実験つき。情報科学研究のための計算の実務学部チェックポイント冪等性再現性Poisson過程数値実験約 42 分
• 並列化と GPU：Amdahl・Gustafson の法則、仕事量と依存鎖、roofline モデル並列化で得られる速度向上の上限を Amdahl・Gustafson の法則と Brent の評価で、メモリ帯域による上限を roofline モデルで証明し、部分和の分割による丸めの差の上界と、並列の乱数ストリームの分け方を実行例つきで扱う。情報科学研究のための計算の実務学部並列計算Amdahlの法則GPUrooflineモデル再現性約 46 分
• 再現できる数値実験：乱数種・環境・設定の記録と決定性数値実験をコード・入力・設定・乱数種・環境からの写像とみて、再現の 3 つの水準を区別する。和の順序による差の上界 2γΣ|x|、内容ハッシュの衝突確率、種による決定性、種を変えた平均の標準誤差を証明し、実行記録の書き方を示す。情報科学研究のための計算の実務学部再現性乱数種浮動小数点数実行記録ハッシュ約 40 分