Research Project:

İşlembilgisel Belleklerin Doğrulanması iöin Durağan Teknikler Çok işlemcili ve çok çekirdekli yongalar yaygın hale gelmekte ve çoğu yazılımın koşutzamanlı olmasını veya parçası olduğu sistemin k oşutzamanlı olduğunu göz önünde bulundurmasını zorunlu kılmaktadır. Koşutzamanlılık, zaten karmaşık olan işlevsel doğruluğu sağlama ve denetleme problemini daha da karmaşık hale getirmektedir. Koşutzamanlı yazılımlar, ağırlıklı olarak kilitler, semaforlar gibi alt seviye senkronizasyon yapıları kullanılarak yazılmaktadır. Bu yaklaşımın iki ciddi temel sorunu vardır. İlki, artan işlemci sayısıyla performansın artış hızının yetersiz olmasıdır. İkincisi ise işlevsel doğruluk sorunudur. Kilitler ve semaforlar kullanılarak inşa edilmiş bileşenlerin doğruluğu ve bir sistemin parçası olarak doğru kullanımı, doğru tasarlanmış bir sistemde bileşenin kullanıcılarından gizlenmesi gereken ve çoğunlukla da dökümante edilmemiş kural ve konvansiyonlara bağlı olmaktadır. Bu da sistemlerin bileşenleri bir aray