Argus, 1980’lerde Massachusetts Institute of Technology (MIT) tarafından geliştirilen, özellikle dağıtık sistemler ve paralel işlemeyi destekleyen bir programlama dilidir. Özellikle yüksek güvenilirlik gerektiren sistemler için tasarlanan Argus, Barbara Liskov ve ekibi tarafından geliştirilmiş olup, nesne yönelimli programlamanın erken örneklerinden biridir. Dağıtık sistemlerde hata toleransını artırmak için işlem birimi (process) kavramını temel alır ve bu nedenle, ağ üzerinden haberleşen bağımsız bileşenlerin bir arada çalışmasını sağlamaya yönelik yapılar sunar.

Argus’un Temel Özellikleri

1. Guardian Yapısı: Argus, “guardian” adını verdiği özel bir soyutlama kullanır. Guardian’lar, nesne benzeri yapılar olup, aynı veri üzerinde eşzamanlı işlemlerin gerçekleşmesine izin verir. Her guardian kendi durumunu saklar ve işlemler arasında bu durumu korur, böylece sistemin belirli bir kısmında hata olduğunda diğer guardian’lar etkilenmez.
2. Dağıtık İşlemler: Argus, uzaktaki guardian’lar arasında güvenli bir şekilde iletişim kurulmasına olanak tanır. Bu özellik sayesinde, dil özellikle dağıtık veri tabanları gibi birden fazla sistemin bir arada çalıştığı yapılarda kullanılır.
3. Hata Toleransı: Argus, hata toleransını sağlamak için gömülü bir “durum geri alma” (rollback) mekanizmasına sahiptir. Eğer bir guardian içinde hata oluşursa, sistem otomatik olarak o guardian’ın son sağlam durumuna geri dönebilir. Bu mekanizma, sistemin güvenilirliğini artırmak için geliştirilmiştir.
4. Eşzamanlılık Desteği: Argus, birden fazla işlemin aynı guardian üzerinde eşzamanlı olarak çalışabilmesine olanak tanır. Bu özellik, dilin özellikle yüksek performans gerektiren sistemlerde tercih edilmesini sağlar.
5. RPC (Remote Procedure Call): Argus, guardian’lar arasında uzaktan işlem çağrılarını (RPC) destekler. Bu, bir guardian’ın diğer bir guardian’ı çağırarak fonksiyonlarını uzaktan kullanabilmesini sağlar.

Örnek: Argus’ta Guardian ve İşlem Tanımı

Aşağıda Argus dilinde guardian yapısı içinde basit bir işlem tanımlanmıştır:

guardian BankAccount
  var balance := 0

  function deposit(amount)
    balance := balance + amount
  end deposit

  function withdraw(amount)
    if amount <= balance then
      balance := balance - amount
      return true
    else
      return false
    end if
  end withdraw

  function get_balance()
    return balance
  end get_balance
end BankAccount

Bu örnekte:

• BankAccount adında bir guardian oluşturulmuştur.
• deposit, withdraw, ve get_balance fonksiyonları bu guardian’a ait işlemlerdir.
• Guardian içerisindeki balance değişkeni yalnızca deposit, withdraw, ve get_balance fonksiyonları aracılığıyla güncellenebilir.
• Bir guardian’ın durumu, dışarıdan yalnızca belirli işlemler aracılığıyla değiştirilebilir, böylece veri bütünlüğü sağlanır.

Argus’un Kullanım Alanları

Argus, özellikle aşağıdaki alanlarda kullanılmıştır:

• Dağıtık Veri Tabanları: Çok sayıda verinin farklı sistemlerde depolanması gerektiğinde, guardian yapısı ile veri yönetimi kolaylaşır.
• Hata Toleranslı Sistemler: Argus, yüksek hata toleransı gerektiren sistemlerde tercih edilir.
• Finansal Uygulamalar: Güvenlik ve eşzamanlı işlemler gerektiği durumlarda Argus ideal bir seçimdir.

Argus’un Avantajları ve Dezavantajları

Avantajlar

• Güçlü Hata Toleransı: Argus, guardian yapısıyla birimlerin yedeklenmesi ve geri alınabilmesi özelliği sayesinde, dağıtık sistemlerde yüksek güvenilirlik sağlar.
• Dağıtık İşlem Desteği: RPC ve eşzamanlılık desteği ile, dağıtık sistemlerde işlem çağrılarını ve koordinasyonu kolaylaştırır.
• Nesne Yönelimli Programlamanın Temelleri: Guardian’lar, nesne yönelimli programlamaya benzer bir yapı sunar.

Dezavantajlar

• Yaygın Kullanım Eksikliği: Argus, yaygın bir kullanım alanına sahip olmadığından destek ve topluluk sınırlıdır.
• Öğrenme Zorluğu: Guardian yapısı ve işlem birimleri gibi soyutlamalar, dilin öğrenilmesini zorlaştırabilir.

Argus, güvenilir ve hata toleranslı dağıtık sistemler geliştirmek için geliştirilmiş güçlü bir programlama dilidir. Guardian yapısıyla veri bütünlüğünü ve güvenliği sağlayarak, özellikle bankacılık ve finans gibi yüksek güvenlik gerektiren alanlarda kullanılabilir. Bugünkü birçok dağıtık sistemin temelini atan Argus, programlama dillerinde hata yönetimi ve güvenilirlik konularında önemli bir mihenk taşıdır.