bu linux Temelçeşitli açık kaynak çabalarını yöneten kar amacı gütmeyen teknoloji konsorsiyumu, bugün TLA+’nın lansmanını duyurdu Temel TLA+ programlama dilinin benimsenmesini ve geliştirilmesini teşvik etmek. AWS, Oracle ve Microsoft açılış üyeleri arasında yer alıyor.
TLA+ programlama dili nedir diye soruyorsunuz? Bu, bilgisayar bilimcisi ve matematikçi Leslie Lamport tarafından geliştirilen resmi bir “özel” dildir. Dağıtılmış sistemlerdeki ufuk açıcı çalışmalarıyla tanınan Lamport – şimdi Microsoft Research’te bir bilim adamı – yazılım programlarını, özellikle de eşzamanlı ve dağıtılmış çeşitleri tasarlamak, modellemek, belgelemek ve doğrulamak için TLA+’yı yarattı.
Birkaç örnek vermek gerekirse, aynı adlı arama motorunun arkasındaki kuruluş olan ElasticSearch, dağıtılmış sistem algoritmalarının doğruluğunu doğrulamak için TLA+’yı kullandı. Başka bir yerde, elektrik sistemleri imalat firması Thales, endüstriyel kontrol platformu için hataya dayanıklı modülleri modellemek ve geliştirmek için TLA+’yı kullandı.
“Bir Linux Foundation sözcüsü TechCrunch’a e-posta yoluyla söyledi. “Özellikle küme teorisi ve zamansal mantık olmak üzere matematiksel kavramlara dayanan TLA+, bir sistemin istenen doğruluk özelliklerinin resmi ve titiz bir şekilde ifade edilmesini sağlar.”
TLA+ bir model denetleyici içerir ve Teorem ispatı, bir sistemin belirtiminin istenen özellikleri karşılayıp karşılamadığını doğrulamak için. Amaç, geliştiricilere kod seviyesinin üzerindeki sistemler hakkında akıl yürütme konusunda yardımcı olmak, tasarım kusurlarını (umarız) yazılım mühendisliğinin sonraki aşamalarında hatalara dönüşmeden önce ortaya çıkarmak ve önlemektir.
Bu son noktaya kadar, yazılım tasarımındaki hatalar şaşırtıcı derecede yaygın ve yıkıcı. 2020 rapor Standish Group’tan yazılım projelerinin yaklaşık %66’sının başarısız olduğunu tespit etti. Ve binaen Bilgi ve Yazılım Kalitesi Konsorsiyumu’na göre, kötü yazılım kalitesi şirketlere 2020’de 2 trilyon dolardan fazlaya mal oldu.
TLA+ Vakfı’nın kurulmasıyla Linux Vakfı, TLA+ çevresinde eğitim ve öğretim kaynakları sağlayacağını, araştırma fonu sağlayacağını ve bunun için araçlar geliştireceğini ve TLA+ uygulayıcılarından oluşan bir topluluğu teşvik etmek için çalışacağını söylüyor. TLA+ Vakfı ayrıca dil geliştirmeleri hakkında kararlar alacak, kullanıcı geri bildirimlerini ele alacak ve dilin gelişimine rehberlik edecek.
Sözcü, “TLA+, Amazon, Oracle ve Microsoft gibi büyük teknoloji şirketleri tarafından gezegen ölçeğindeki sistemleri doğrulamak ve tasarlamak için zaten başarıyla kullanıldı” diye devam etti. “Linux Vakfı çatısı altında bir TLA+ Vakfı kurarak, TLA+ daha fazla görünürlük ve destek kazanacak ve teknoloji endüstrisinde daha geniş bir şekilde benimsenmesini teşvik edecek. Vakfın açık kaynak projelerini savunma misyonu, TLA+’nın gelişmeye devam etmesini ve daha geniş teknoloji topluluğu tarafından erişilebilir kalmasını sağlayacaktır. Ek olarak, vakıf, endüstri ve akademi arasında daha fazla işbirliğini kolaylaştıracak, resmi yöntemlerde ve eşzamanlı ve dağıtılmış sistem araştırmalarında en son teknolojiyi ilerletecek.”