Önemli Bir Parçacık Fiziği Bilgisayar Programı Eskime Riski Altında


Geçenlerde izledim bir parçacık fizikçisi, hassasiyeti yeni bir düzeye çıkardığı bir hesaplamadan bahsediyor. Aracı mı? FORM adlı 1980’lerden kalma bir bilgisayar programı.

Parçacık fizikçileri tüm bilimdeki en uzun denklemlerden bazılarını kullanırlar. Örneğin, Büyük Hadron Çarpıştırıcısı’ndaki çarpışmalarda yeni temel parçacıkların işaretlerini aramak için, olası çarpışma sonuçlarını tasvir eden, her biri milyonlarca terim uzunluğunda olabilen karmaşık bir formülü kodlayan, Feynman diyagramları adı verilen binlerce resim çiziyorlar. Bunun gibi formülleri kalem ve kağıtla özetlemek imkansızdır; onları bilgisayarlarla eklemek bile zor. Okulda öğrendiğimiz cebir kuralları ev ödevi için yeterince hızlı, ama parçacık fiziği için ne yazık ki verimsiz.

Bilgisayar cebir sistemleri adı verilen programlar bu görevleri yerine getirmeye çalışır. Ve dünyanın en büyük denklemlerini çözmek istiyorsanız, 33 yıldır öne çıkan bir program var: FORM.

Hollandalı parçacık fizikçisi tarafından geliştirildi jos vermaserenFORM, en zor hesaplamalar için gerekli olan parçacık fiziği altyapısının önemli bir parçasıdır. Bununla birlikte, şaşırtıcı derecede çok sayıda temel dijital altyapı parçasında olduğu gibi, FORM’un bakımı büyük ölçüde tek bir kişiye bağlıdır: Vermaseren’in kendisine. Ve 73 yaşında FORM geliştirmeden geri adım atmaya başladı. Akademinin yazılım araçlarını değil, yayınlanmış makaleleri ödüllendiren teşvik edici yapısı nedeniyle, halefi ortaya çıkmadı. Durum değişmezse, parçacık fiziği önemli ölçüde yavaşlamak zorunda kalabilir.

FORM, bilgisayarların rolünün hızla değiştiği 1980’lerin ortalarında başladı. Martinus Veltman tarafından oluşturulan Schoonschip adlı bir program olan selefi, bir Atari bilgisayarının yan tarafına taktığınız özel bir çip olarak piyasaya sürüldü. Vermaseren, dünyadaki üniversiteler tarafından indirilebilecek daha erişilebilir bir program yapmak istedi. Formül Çevirisi anlamına gelen FORTRAN bilgisayar dilinde programlamaya başladı. FORM adı bununla ilgili bir riffti. (Daha sonra C adlı bir programlama diline geçti.) Vermaseren, yazılımını 1989’da piyasaya sürdü. 90’ların başında dünya çapında 200’den fazla kurum indirmişti ve sayı artmaya devam etti.

2000 yılından bu yana, ortalama olarak birkaç günde bir FORM’dan alıntı yapan bir parçacık fiziği makalesi yayınlandı. “Çoğu [high-precision] Grubumuzun son 20 yılda elde ettiği sonuçlar ağırlıklı olarak FORM koduna dayalıydı” dedi. Thomas GehrmannZürih Üniversitesi’nde profesör.

FORM’un popülaritesinin bir kısmı, bir Feynman diyagramının belirli parçalarını hızlı bir şekilde çarpmak için bir numara ve mümkün olduğunca az çarpma ve toplamaya sahip denklemleri yeniden düzenleme prosedürü gibi yıllar içinde oluşturulan özel algoritmalardan geldi. Ancak FORM’un en eski ve en güçlü avantajı, belleği nasıl ele aldığıdır.

İnsanların kısa süreli ve uzun süreli olmak üzere iki tür belleği olduğu gibi, bilgisayarların da iki türü vardır: ana ve harici. Ana bellek – bilgisayarınızın RAM’i – anında erişmek kolaydır, ancak boyut olarak sınırlıdır. Sabit diskler ve yarıiletken sürücüler gibi harici bellek aygıtları çok daha fazla bilgi tutar ancak daha yavaştır. Uzun bir denklemi çözmek için, onunla kolayca çalışabilmeniz için onu ana bellekte saklamanız gerekir.

80’lerde, her iki bellek türü de sınırlıydı. “FORM, neredeyse hiç belleğin olmadığı ve ayrıca disk alanı olmadığı bir zamanda inşa edildi – temelde hiçbir şey yoktu” dedi. Ben Ruijl, Vermaseren’in eski bir öğrencisi ve şu anda Zürih İsviçre Federal Teknoloji Enstitüsü’nde doktora sonrası araştırmacı olan FORM geliştiricisi. Bu bir zorluk teşkil ediyordu: Denklemler, ana belleğin işlemesi için çok uzundu. Birini hesaplamak için, işletim sisteminizin sabit diskinizi aynı zamanda ana bellekmiş gibi ele alması gerekiyordu. Denkleminizin ne kadar büyük olmasını bekleyeceğini bilmeyen işletim sistemi, verileri sabit diskteki bir “sayfalar” koleksiyonunda depolar ve farklı parçalara ihtiyaç duyuldukça bunlar arasında sık sık geçiş yapar – bu, takas adı verilen verimsiz bir işlemdir.

Bu xkcd çizgi romanı durumu iyi gösteriyor.

İllüstrasyon: xkcd.com

FORM takası atlar ve kendi tekniğini kullanır. FORM’da bir denklemle çalıştığınızda, program her terime sabit diskte sabit bir alan atar. Bu teknik, yazılımın bir denklemin parçalarının nerede olduğunu daha kolay takip etmesini sağlar. Ayrıca, ihtiyaç duyulduğunda diğer parçalara erişmeden bu parçaları ana belleğe geri getirmeyi kolaylaştırır.

Bellek, FORM’un ilk günlerinden bu yana, 1985’te Atari 130XE’deki 128 kilobayt RAM’den, güçlendirilmiş masaüstümde 128 gigabayt RAM’e ulaştı; bu bir milyon kat gelişme. Ancak Vermaseren’in geliştirdiği hileler çok önemli olmaya devam ediyor. Parçacık fizikçileri, yeni parçacıkların kanıtlarını aramak için Büyük Hadron Çarpıştırıcısından gelen petabaytlarca veriyi incelerken, kesinliğe olan ihtiyaçları ve dolayısıyla denklemlerinin uzunluğu da uzuyor.



Kaynak : https://www.wired.com/story/a-crucial-particle-physics-computer-program-risks-obsolescence/

Yorum yapın

SMM Panel PDF Kitap indir