Rakip Analizi
Berk Digital Twin'i deterministik fizik motorları, robotik/dijital-ikiz simülatörleri ve üst-seviye dijital-ikiz platformlarıyla karşılaştırma. Rakip verileri kamuya açık dokümantasyondan; Berk rakamları bu repodaki ölçülen/test edilmiş değerlerdir.
1Konumlandırma
Berk'in ayırt edici tezi: inşa gereği (sabit-nokta) çapraz-platform bit-aynı determinizm + entegre, açıklanabilir karar/Digital-Twin katmanı + formal doğrulama, tek tescilli/ticari çekirdekte. Pazarda iki ucu birleştirir:
Pazar rakamları Temmuz 2026 taraması (Fortune BI, Grand View, Precedence, Dataintelo, Insight Partners); firmaya göre aralık verilmiştir.
2Çapraz-platform deterministik fizik motorları
En yakın rakipler — determinizmin nasılsağlandığı kritik fark.
| Motor | Determinizm yöntemi | Çapraz-platform bit-aynı? | Lisans | Not |
|---|---|---|---|---|
| Berk DT | Sabit-nokta Fx64 (Q32.32) | Evet — inşa gereği IEEE/FMA bayraklarına bağlı değil; CI ile Win/Linux/macOS x64+arm64 |
Kapalı / Ticari | + karar/twin katmanı, + formal doğrulama |
| Rapier (dimforge) | Float + enhanced-determinism |
Evet, ama yalnız IEEE-754-2008 platformlarında | Apache-2.0 | Olgun, Rust; fixed-point değil |
| Jolt (jrouwe) | Float + JPH_CROSS_PLATFORM_DETERMINISTIC |
Evet, ama FMA kapatma + tutarlı FP modları şart | MIT | AAA kanıtlı (Horizon FW, Death Stranding 2), çok-çekirdekli |
| Havok Physics | Float + platform-içi tutarlılık disiplini | Hayır — aynı platformda tutarlı, çapraz-platform bit-aynılık garanti edilmez | Ticari — ≤20M$ bütçeli oyuna 50.000$ tek-seferlik, telifsiz (2026 modeli) | AAA standardı; determinizm hendeğine giremez |
| Box2D v3 (E. Catto) | Float + sıkı derleyici ayarları (FMA kapalı) | Aynı derleme zinciri için; çapraz-platform kırılgan | MIT | TGS-Soft solver (Berk 2B solver'ı bu sınıfta), 2B |
| Box3D (E. Catto — YENİ, 30 Haz 2026) | Float (C17); determinizm birincil hedef değil | Erken aşama — izlenmeli | MIT | Catto markasıyla açık-kaynak 3B; fiyat baskısı yaratabilir, determinizm/karar katmanı yok |
| Photon Quantum | Sabit-nokta (Q48.16) | Evet (fixed-point) | Ticari SaaS — CCU aboneliği: 100 CCU ücretsiz · 200 CCU 95$/yıl · 500 CCU 125$/ay · 2000 CCU 500$/ay (2026) | Oyun netcode/ECS odaklı; yalnız Unity (Verified Solution) + kendi bulutu — Unreal/robotik/kapalı-ağ dışarıda; digital-twin değil |
3Robotik / dijital-ikiz simülatörleri
| Araç | Odak | Determinizm | Lisans | Not |
|---|---|---|---|---|
| Berk DT | Deterministik fizik + karar + twin | Çapraz-platform bit-aynı (fixed-point) | Kapalı / Ticari | Hafif, motor-gömülebilir, FFI/Unreal |
| MuJoCo (DeepMind) | Robotik/araştırma fiziği | Deterministik (aynı derleme); float, C | Apache-2.0 | Olgun robotik standardı; çapraz-platform bit-aynı garanti vermez |
| NVIDIA Isaac/Omniverse | Endüstriyel dijital ikiz, RL | GPU/float; "deterministik" ama platform-bağlı | Tescilli (Isaac Sim 5.0 açık-kaynak, 2025) | GPU ile devasa ölçek + ışın izleme; ağır altyapı; 2026'da robotik-RL iş ilanlarında lider |
| Newton (NVIDIA+DeepMind+Disney — YENİ) | GPU (Warp/OpenUSD); MuJoCo-Warp dahil çoklu çözücü | GPU/float; bit-aynılık hedefi değil | Açık kaynak (Linux Foundation) | Sim-to-real odaklı; alanın stratejik önemini teyit ediyor — denetlenebilir koşum/kayıt boşluğu duruyor |
Üst-seviye platformlar (Omniverse, Azure Digital Twins) doğrudan rakip değil; Berk DT bu platformların içine (veya Unreal'e) gömülebilecek deterministik karar/fizik çekirdeği konumundadır.
4Özellik karşılaştırması
| Yetenek | Berk DT | Rapier | Jolt | Box2D v3 | Photon Q. | MuJoCo | Omniverse |
|---|---|---|---|---|---|---|---|
| Sabit-nokta determinizm | ✓ | ✗ float | ✗ float | ✗ float | ✓ | ✗ | ✗ |
| Çapraz-platform bit-aynı | ✓ inşa gereği | ⚠ IEEE | ⚠ bayrak | ⚠ kırılgan | ✓ | ⚠ | ✗ |
| 2B + 3B | ✓ | ✓ | ✓ 3B | 2B | ✓ | 3B | 3B |
| Statik üçgen-mesh collider | ✓ BVH'li | ✓ | ✓ | — | ✓ | ✓ | ✓ |
| Genel dışbükey (GJK+SAT) | ✓ mixed + FFI | ✓ | ✓ | ✓ 2B | ✓ | ✓ | ✓ |
| Yumuşak cisim / kumaş | ✓ XPBD 2B/3B | ✓ eklenti | ⚠ | ✗ | ⚠ | ⚠ | ✓ |
| Sürekli çarpışma (CCD) | ✓ opt-in 3B+2B | ✓ | ✓ | ✓ 2B | ✓ | ✓ | ✓ |
| Batmazlık (buoyancy) | ✓ opt-in | ⚠ | ✓ | ⚠ | ✓ | ✓ | ✓ |
| Akışkan (PBF parçacık) | ✓ iki-yön + snapshot | ⚠ | ✗ | ✗ | ✗ | ✗ | ✓ |
| Broadphase (SAP/BVH) | ✓ SAP veya det. BVH | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| Eklemler (+motor/limit) | ✓ + Featherstone ABA | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| Deterministik sensör (LiDAR) | ✓ BVH-hızlı, bit-aynı | ✗ | ✗ | ✗ | ✗ | ⚠ | ✓ GPU |
| Karar / Digital-Twin katmanı | ✓ gömülü | ✗ | ✗ | ✗ | ✗ | ✗ | kısmi |
| Açıklanabilirlik / provenance | ✓ | ✗ | ✗ | ✗ | ✗ | ✗ | ✗ |
| Formal doğrulama (TLA+) | ✓ | ✗ | ✗ | ✗ | ✗ | ✗ | ✗ |
| Snapshot + rollback netcode | ✓ GGPO tarzı | ✗ | ✗ | ✗ | ✓ | ✗ | ✗ |
| Sapma (divergence) ayıklayıcı | ✓ +CLI | ✗ | ✗ | ✗ | ⚠ | ✗ | ✗ |
| Tahsis-içermez sıcak yol | ✓ kanıtlı | ⚠ | ✓ | ⚠ | ✓ | ⚠ | — |
| Tek + çok-çekirdek (deterministik) | ✓ tek+çok, bit-aynı (opt-in) | ⚠ kısmi, det.değil | ⚠ çok-çek., det.değil | ✗ tek-thr. | ✗ tek-thr. | ✗ tek-thr. | ⚠ GPU, det.değil |
| GPU hızlandırma (WCET-sınırlı) | ✓ deterministik (opt-in) | ✗ | ✗ | ✗ | ✗ | ⚠ var, WCET'siz | ⚠ GPU, det.değil |
| Entegrasyon / dil bağlama | ✓ C-ABI · Unreal · Unity · WASM | Rust · JS/WASM | C++ | C | Unity / C# | C · Python | USD · Python |
| Üretim olgunluğu | v1.1 (2026) · ~1050 test · 10k-gövde kanıtı | olgun | AAA kanıtlı | olgun | olgun | robotik std. | olgun |
| Lisans | Kapalı / Ticari | Apache-2.0 | MIT | MIT | Ticari | Apache-2.0 | Tescilli |
5Platform & entegrasyon
Tek deterministik çekirdek, dört dağıtım yüzeyiyleaynı state_hash'i
üretir — masaüstü oyun motorundan tarayıcıya, gömülü C tüketicisine kadar bit-aynı.
extern "C"yüzeyi (opak handle, sabit-genişlik tip).
Her dile/motora linklenir; ABI kilidi CI'da denetlenir (SemVer 1.1.0).BerkPhysics.h) — World3, eklemler, sensörler,
Featherstone, floating-origin Unreal projesine gömülür.Native.cs, World3.cs,
Articulated.cs, NavBot.cs) — aynı C-ABI üzerinden yönetilen taraf.wasm-bindgenile derlenir; fixed-point çekirdek tarayıcıda da
bit-aynı çalışır. Bu sitedeki tüm demolar bu yüzeyi kullanır.Çoğu motorun paralel yolu determinizmi bozar (iş-parçacığı sırası sonucu
değiştirir); Berk'in paralel çözücüsü aynı state_hash'iüretir — yani
hız vetekrar-üretilebilirlik aynı anda.
6Berk DT'nin ayırt edici güçleri
- Determinizm "inşa gereği" (fixed-point).Rakiplerin çoğunun (Rapier/Jolt/Box2D) çapraz-platform determinizmi float + derleyici disiplinine bağlı ve kırılgan; Berk'te kayan-nokta yuvarlama belirsizliği yok. Tek doğrudan eşi (Photon Quantum) kapalı/oyun.
- Fizik + karar + Digital-Twin tek çekirdekte.Hiçbir fizik motorunda gömülü, açıklanabilir karar/otonomi
katmanı yok.
digital_twinköprüsü fizik durumundan karar üretip geri uygular (kapalı döngü). - Operasyonel katman — Gölge İkiz + Danışman (Sentinel sürümü).Determinizm yalnız bir mühendislik özelliği değil, bir ürün dikeyi: sahadaki gerçek sistemin yanında aynı girdilerle koşan deterministik Gölge İkiz, tahmin ile ölçüm arası artığı izler ve anomaliyi (yıpranma/arıza/komut enjeksiyonu) ilk karede yakalar — simülasyon gürültüsü sıfır bit olduğu için eşik dar tutulabilir. Danışmanise canlı durumdan çatalladığı ne-olur ağacını hash-adresli, tekrar-üretilebilir COA'lara dönüştürür. Float tabanlı motorların yapısal olarak giremeyeceği alan (siber-fiziksel bütünlük, kestirimci bakım, seyir planlama).
- Formal doğrulama (TLA+).Eşzamanlılık modeli milyonlarca durumda ihlal-suz; sektörde nadir.
- Hafif + gömülebilir, dört yüzeyle.Tek çekirdek C-ABI · Unreal eklentisi ·
Unity (C#) · WASM (tarayıcı)üzerinden tüketilir; hepsi aynı
state_hash. Müşteri ürününe linklenebilir, gömülü-uyumlu (no_std hedefi), GPU/ağır altyapı gerektirmez. - Deterministik çok-çekirdek.Tek-çekirdek (tahsis-içermez, WCET-farkında) veopt-in paralel narrowphase + ada-solver. Çoğu motorun aksine paralel yol determinizmi bozmaz — bit-aynı sonuç korunur, yani hız ve tekrar-üretilebilirlik birlikte.
- Denetlenebilirlik & replay.Hash-zincirli provenance + record/replay; "neden bu karar" sorusu tekrar-üretilebilir.
- Deterministik algı (yeni).BVH-hızlandırılmış LiDAR/menzil sensörü — tarama çapraz-platform bit-aynı; sim-to-real ve sensör-döngüde replay için kritik. Bkz. labirent demosu.
- Ölçekte kanıtlı determinizm (Temmuz 2026).10.001 gövdeli sahnede iki FARKLI broadphase (SAP ve BVH)
bit-aynı
state_hashüretir; aynı sahnenin bağımsız koşumları tekrarlanabilir. Determinizm garantisi cisim sayısıyla zayıflamaz (tests/scale_10k.rs, tek komutla yeniden üretilebilir). - Güvenilmeyen-girdi sertleştirmesi (v1.1.0).Snapshot geri yükleme 5 dünya türünde de ATOMİK (bozuk/kesik veri dünyaya dokunmadan reddedilir); 5 hedefli gecelik fuzz kampanyası CI'da; ~1050 test, 0 hata. NaN/sonsuz float'lı düşman geometri bile çökme üretmez (stable CI'da smoke-corpus ile sabit).
7Ölçeklenme — heterojen hesap (CPU determinizm + GPU throughput)
Rakipler "ölçek" için determinizmden ödün verir: GPU/çok-çekirdek yolları iş-parçacığı sırasına bağlı olduğundan sonuç platforma göre kayar. Berk, ölçeği determinizmi bozmadançözer — işi iki şeride ayırır:
state_hash. Tahsis-içermez, sınırlı-süre → bit-aynı & sertifikasyon-uyumlu.state_hashdeğişmez). Her GPU aşaması
statik WCET üst-sınırıylatasarlanır (DO-178C / ISO 26262-farkında);
kapsam genişlemesi yol haritasındadır.Bu ayrım, BERK'in WCET-farkında GPU derleme altyapısıylamümkündür. Sonuç: GPU rakiplerinin throughput'una çıkarken, onların kaybettiği çapraz-platform bit-aynılığıve analiz-edilebilir zamanlama garantisinikorur.
Özellik kapsamı zaten geniştir (çekirdek + mesh + dışbükey + yumuşak cisim + CCD + buoyancy + PBF akışkan + compound + heightfield + articulated/Featherstone + deterministik sensör + deterministik GPU boşaltma). Kapsam genişlemesi sürüyor.
8Hedef niş — nerede kazanır
Berk DT ham GPU throughput yarışında değil, "tekrar-üretilebilir, açıklanabilir, denetlenebilir karar+fizik"gerektiren alanlarda kazanır.
9Sonuç
Pazarda determinizm artık birçok motorun hedefi; fark nasılsağlandığında ve ne ile birlikte geldiğinde. Berk DT, determinizmi float bayraklarıyla değil sabit-noktayla (kırılgan değil, inşa gereği) sağlayan; üstüne açıklanabilir karar/Digital-Twin ve formal doğrulama koyan; hafif ve gömülebilir tek (tescilli) çekirdektir. Olgunluk ve ham ölçek açısından yerleşik motorların gerisindedir, ama "deterministik + açıklanabilir + gömülebilir"kesişiminde benzersiz bir konum tutar.
Kaynaklar
Jolt Physics: github.com/jrouwe/JoltPhysics · determinism tartışması #617
Photon Quantum (Q48.16): doc.photonengine.com…/fixed-point · quantum-intro
Box2D: determinism · Solver2D (TGS/soft)
MuJoCo: mujoco.org · docs
NVIDIA Omniverse: Real-Time Physics Digital Twins duyurusu
Photon Quantum fiyatlama (2026): photonengine.com/quantum/pricing · pricing blog
Havok fiyatlama (≤20M$ bütçeye 50k$/oyun): havok.com/pricing · GameDeveloper haberi
Box3D (30 Haz 2026): duyuru derlemesi
NVIDIA Newton: developer.nvidia.com/isaac · Linux Foundation duyuruları