Skip to content

comparative_analysis.md

Latest commit

 

History

History
264 lines (181 loc) · 8.49 KB

comparative_analysis.md

File metadata and controls

264 lines (181 loc) · 8.49 KB

Morpheus: Karşılaştırmalı Analiz

Bu doküman, Morpheus'ı (Topographic Execution Substrate) mevcut eşzamanlılık ve hesaplama modelleriyle karşılaştırır.

1. Model Kategorileri

Morpheus'ı doğru konumlandırmak için modelleri üç kategoriye ayırıyoruz:

Kategori Modeller Odak
Computational Actor Model, CSP İş yapanlar — mesaj, davranış
State Petri Nets, P-Systems Durum tutanlar — token, marking
Coordination Linda, Reaction-Diffusion Ortam koordinasyonu — Morpheus'ın asıl alanı

⚠️ Morpheus'ı Actor/CSP ile kıyaslamak elma ile armuttır. Morpheus bir "Coordination Medium".

2. Karşılaştırma Matrisi

Özellik Actor CSP Petri P-Systems Linda R-D Morpheus
Birim Actor Process Token Object Tuple Morphogen Shape
Ortam Yok Kanal Place Membran Tuple Space Field Space
İletişim Mesaj Rendezvous Fire Kural Match/Take Diffusion Yok
Bellek Actor - Token Multiset Tuple Field Field
Zaman Event Trace Discrete Step - Continuous Tükenebilir

BÖLÜM A: COMPUTATIONAL MODELS

3. Actor Model (Hewitt, 1973)

Actor Model Morpheus
Mesaj gönderir/alır Mesaj yok
Aktif davranış Pasif yaşanabilirlik
Private state Ortamda bellek (Stigmergy)

Zıt felsefe: Actor = aktif ajan, Morpheus = edilgen coğrafya.

4. CSP (Hoare, 1978)

CSP Morpheus
Senkron kanal (rendezvous) Kanal yok
Trace = event sequence Trace = skaler alan
Refinement semantik Yaşanabilirlik aksiyomları

Ortogonal: CSP "ne olduğunu", Morpheus "nerede olabileceğini" modeller.

BÖLÜM B: STATE MODELS

5. Petri Nets (Petri, 1962)

Petri Nets Morpheus
Token = discrete Shape = bounded memory
Transition = explicit Transition yok
Marking = countable ρ = continuous density
Reachability mümkün Rollback imkansız

Yapısal benzerlik, operasyonel fark. Morpheus'te transition yok, decay var.

6. P-Systems (Păun, 1998)

P-Systems Morpheus
Membran = sınır Space = topology
Kurallı evrim Kuralsız sönümlenme
Hiyerarşik Düz topoloji
Turing-complete Turing iddiası yok

En yakın akraba (Stigmergy ortaklığı), ama Morpheus kuralsız.

BÖLÜM D: DİĞER İLİŞKİLİ MODELLER

9. Cellular Automata (von Neumann, Conway)

Cellular Automata Morpheus
Discrete cells Continuous density field
State transitions Decay projection
Local rules (e.g., Game of Life) No rules — only habitability
Grid synchronization Lock-free atomic updates

CA kuralları belirler; Morpheus yaşanabilirliği kontrol eder. Conway'in Life'ı hesaplama yapar; Morpheus sadece "burada var olabilir mi?" diye sorar.

10. Neural Networks / Deep Learning

Neural Network Morpheus
Layered topology Flat topographic space
Backpropagation No learning — no gradient flow
Activation functions Phase regimes (Solid/Liquid/Gas)
Weights (trainable) Density (emergent, not trained)

Morpheus öğrenmez. Pattern formation, eğitim değil, stigmergic etkileşimin yan ürünüdür.

11. Blockchain / Consensus Protocols

Blockchain Morpheus
Global consensus Local observation only
Immutable ledger Decay — information loss by design
Identity (wallet) No identity (Source Amnesia)
Deterministic finality No determinism guarantee

Morpheus'un "decentralized" iddiası yoktur. Tek bir substrate, birden fazla observer olabilir ama consensus gerekmez.

BÖLÜM C: COORDINATION MODELS 🎯

7. Linda & Tuple Spaces (Gelernter, 1985)

Morpheus'in "Space" kavramının literatürdeki en net atası.

Linda Morpheus
Tuple = discrete object Trace = scalar field
Match/Take = retrieve Decay = fade
Data bağımsız yaşar Trace yoğunluk olarak birikir
Generative communication Stigmergy

Kritik Fark

  • Linda: Veriyi "ortaya" bırakır → sonra "match" ile alınır
  • Morpheus: Trace "ortaya" birikir → sonra "decay" ile sönümlenir

Morpheus = Linda'nın sürekli (continuous) ve sönümlenmeli (decaying) versiyonu.

8. Reaction-Diffusion Systems (Turing, 1952)

Morpheus'in matematiksel temelinin en güçlü paraleli.

Reaction-Diffusion Morpheus
Morphogen concentration Trace density (ρ)
Diffusion coefficient Decay rate (δ)
Pattern formation Topografik deformasyon
PDE-based (∂U/∂t = D∇²U + F) Discrete projection (δ)

Kritik Ortak Nokta

O 3D histogram görseli = Turing pattern formation'ın hesaplamasal gösterimi.

  • Petri: "Deadlock" analizi yapar
  • Reaction-Diffusion: "Stability" analizi yapar
  • Morpheus: "Yaşanabilirlik" analizi yapar

Morpheus, Turing'in morfogenez matematiğinin bilgisayar bilimi yorumudur.

12. Pi-Calculus (Milner, 1992)

Dinamik topoloji için karşılaştırma.

Pi-Calculus Morpheus
Channel mobility (name-passing) Position change (pos update)
Topology = graph (links) Topology = field (coordinates)
Dynamic reconfiguration by link Dynamic by proximity

Kritik Fark

  • Pi-Calculus: "Kimin kiminle konuştuğu" değişir (link-based)
  • Morpheus: "Kim nerede" değişir (coordinate-based)

Morpheus graph-less: bağlantı (edge) yok, yalnızca yakınlık (proximity) var.

13. Morpheus'ın Özgün Konumlandırması

Hiçbir Modelde Olmayan Özellikler

Özellik Morpheus
Atemporal uzay Uzay değişmez, gözlem değişir
Trace = side-effect Skaler alan, object değil
Source Amnesia Kimin iz bıraktığı bilinmez
Rollback imkansız Matematiksel kısıt
Davranışsız varlık Shape "yapmaz", sadece "var"
Identity-Free Coordination Renk, tip, sahip yok — yalnızca yoğunluk (ρ)

Morpheus, literatürdeki tek "Identity-Free Coordination" modelidir.

Literatürdeki Pozisyon

Morpheus = Linda ∩ Reaction-Diffusion − Rules
    = Generative Communication + Continuous Decay − Explicit Retrieval

Morpheus, Linda'nın "tuple'lar ortamda bağımsız yaşar" fikrini alır, Turing'in "morfogenez = aktivatör + inhibitör + difüzyon" matematiğini uygular, ama explicit rule yoktur.

14. Sonuç Tablosu

Kategori Model Morpheus ile İlişki
Computational Actor Zıt (aktif vs pasif)
Computational CSP Ortogonal (event vs topology)
State Petri Yapısal benzerlik
State P-Systems En yakın durum modeli
Coordination Linda Doğrudan ata (discrete → continuous)
Coordination R-D Matematiksel temel
Coordination Pi-Calculus Graph vs Field farkı
Other Cellular Automata Continuous vs discrete
Other Neural Networks No learning vs training
Other Blockchain Local observation vs global consensus

Final Konumlandırma

Morpheus = Linda'nın sürekli, sönümlenmeli, kuralsız versiyonu, Turing morfogenez matematiği üzerine inşa edilmiş bir Coordination Medium.

Ek A: Kullanım Senaryoları

Senaryo 1: Rate Limiting (Doğal)

// Threshold'u aşan bölgeler otomatik olarak "doymuş" olur
// Yeni shape'ler spawn edilemez
let mut sub = Substrate::new(100, 100, 5, 1000);

// Yoğun bölge oluştur
for _ in 0..100 {
    sub.spawn(50, 50, 100, 50);
}

// Buraya yeni shape eklenemez (is_habitable == false)
assert!(sub.spawn(50, 50, 100, 10).is_none());

Senaryo 2: Servis İzolasyonu (Spektroskopik)

let grid = IsotopeGrid::new(256, 256, 5, 2500, 1250);

let auth = ServiceColor::from_name("AuthService");
let payment = ServiceColor::from_name("PaymentService");

// Her servis kendi "renk izini" bırakır
grid.contribute(100, 100, 200, auth);
grid.contribute(150, 150, 200, payment);

// Dominant kanal analizi
assert_eq!(grid.dominant_channel(100, 100), Some('R'));
assert_eq!(grid.dominant_channel(150, 150), Some('G'));