PSDP — 同一言語並列化 (細部サービス選択)

Phase-Synchronized Deterministic Parallelism。結果 bit-exact を保ったまま逐次バッチを並列化する独立サービス。SlimeNENC で言語移行後の現代コードを更に高速化します。表の行末から Trial 利用 / ご相談へ進めます。

対応言語一覧

同一言語 → 同一言語 (例: Java 8 → Java 8、C# → C#)。バージョン跨ぎ (例: Java 8 → 17) は変換 + 並列化を同時実施。

言語	バージョン / 変種	並列構文	実証状況	細部サービス / ご相談
Java 8 → 8	同版維持 (bytecode 52→52)	ForkJoin / ExecutorService	byte 完全一致 (501/501 件)	Trial / ご相談
Java 17 → 17	同版維持 (bytecode 61→61)	ForkJoin / sealed class 対応	byte 完全一致	Trial / ご相談
Java 21 → 21	同版維持 (bytecode 65→65)	Virtual Threads / structured concurrency	byte 完全一致	Trial / ご相談
Java 8 → 17	跨ぎ移行 + 並列化 (52→61)	ForkJoin → sealed	byte 完全一致	Trial / ご相談
Java 17 → 21	跨ぎ移行 + 並列化 (61→65、混在 bytecode 1 プロセス forward compat)	sealed → Virtual Threads	byte 完全一致	Trial / ご相談
C#	.NET 8 (top-level)	Parallel.For / Task	byte 一致 (double.ToString("F17"))	Trial / ご相談
Rust	stable 2021	rayon / std::thread	並列 5.9x 実証	Trial / ご相談
Go	1.21+	goroutine + channel	byte 一致	Trial / ご相談
Python	3.10+	multiprocessing / concurrent.futures	byte 一致 (倍精度言語制約あり)	Trial / ご相談
Node.js	Worker Threads	Worker / SharedArrayBuffer	byte 一致	Trial / ご相談
PHP	8.x + GMP	parallel ext / pcntl	byte 一致 (GMP 必須)	Trial / ご相談
Swift	5.x	TaskGroup / async-let	byte 一致	Trial / ご相談
Kotlin	JVM (1.9+) / coroutines	Coroutines / structured concurrency	byte 一致 (Android 推奨 = coroutines)	Trial / ご相談
FORTRAN	F2018 free-form	OpenMP / coarray	byte 一致 (F2018 25/25)	Trial / ご相談
C	C11+	pthreads + barrier	byte 一致 (10/10)	Trial / ご相談
C++	C++17+	std::thread / std::async	byte 一致 (10/10)	Trial / ご相談
Scala	Future + Await barrier	Future / Akka	byte 一致 (JVM 同居)	Trial / ご相談
Clojure	future + deref	future + atom	byte 一致 (primitive hint 罠回避)	Trial / ご相談
Common Lisp	SBCL	bordeaux-threads	byte 一致	Trial / ご相談
Erlang	OTP 26+	actor model (BEAM)	byte 一致 (JVM 外初 paradigm)	Trial / ご相談

実証状況の凡例

byte 完全一致 / byte 一致 — どちらも同じ意味で、逐次版と並列版の出力 sha256 が 1 byte も違わないこと (bit-exact) を表します。括弧書きは、その bit-exact を実現するための言語側の前提や確認件数です。

(501/501 件)、(F2018 25/25)、(10/10) — 確認検体数 (検証ハーネスで実行したサンプル数)
(double.ToString("F17")) — .NET の double 値を 17 桁固定の文字列で書き出すことで bit-exact を担保する出力規約 (C# の浮動小数決定論性)
(倍精度言語制約あり) — Python 等、言語実装の超越関数等で IEEE-754 厳密丸めが保証されない区間がある (該当箇所は規約で吸収)
(GMP 必須) — PHP 多倍長演算の bit-exact 性は GMP 拡張に依存
(JVM 同居) — Scala は JVM 上で Java と同一の double 表現で一致
(JVM 外初 paradigm) — JVM 系以外で初の bit-exact 実証 (BEAM = Erlang の actor model)
(primitive hint 罠回避) — Clojure 特有の boxing 罠を hint 指定で回避済み
(Android 推奨 = coroutines) — Kotlin で Android 向けには coroutines 構文を推奨
並列 5.9x 実証 — bit-exact を満たした上で並列化による速度向上が 5.9 倍と実測 (Rust)

サービス利用の流れ

上の表から細部サービス (例: Java 並列化) を選ぶ
アカウント登録 (管理者承認制、利用希望言語を選択)
Trial 利用 (機能制限なし)
本利用は個別にご相談。SlimeNENC をご利用の顧客向けに優遇プログラムをご用意しています

価格 (暫定、2026-05-18 — 10,000 LOC 試算例)

導入パス	LOC	買い切り / LOC	買い切り合計	ランタイム率	ランタイム / 年	サポート
SlimeNENC (変換)	10,000	US$ 9.95	US$ 99,500	—	—	フル
PSDP (SlimeNENC 顧客)	10,000	US$ 0.00	US$ 0	2%/年	US$ 1,990	フル
PSDP 直販 (SIer / パートナー経由)	10,000	US$ 1.00	US$ 10,000	20%/年	US$ 2,000	フル (パートナー経由)
PSDP エンドユーザー直販 (30% OFF)	10,000	US$ 0.70	US$ 7,000	20%/年	US$ 1,400	FAQ のみ

LOC あたりの年ランタイム費用は最初の 3 経路で 約 US$ 0.2 / LOC / 年に収束。エンドユーザー直販は 買い切り・ランタイム共に 30% OFF、ただし サポートは FAQ 対応のみ。変換後の実行環境構築依存部分でのトラブル (OS、JVM、ライブラリ、コンテナ、ビルド pipeline 等) は感知しません。実機統合の支援が必要な場合は、SIer / パートナー経由をご検討ください (/ja/partners/)。

PSDP の特長

結果 bit-exact — 並列化前後で出力が完全一致、金融 audit / FDA / FINRA に対応
位相同期 — 各 worker が決定論的にフェーズを揃え、競合状態を構造的に除去
言語非依存核 — Slot IR の上で 16+ 言語を統一処理、各言語の並列構文に emitter が変換
Java バージョン跨ぎ — Java 8 batch を Java 17 / 21 + Virtual Threads で並列化、変換 + 並列化を同時に