Yığın taşması

Bilgi işlemde , yığında çok fazla bellek gerektiğinde yığın taşması meydana gelir .

Birçok programlama dilinde , çağrı yığını , genellikle program başlangıcında sabitlenen sınırlı miktarda bellek içerir. Yığın boyutu, programlama dili, makinenin mimarisi , çoklu iş parçacığı kullanımı ve sistemdeki belleğin kullanılabilirliği dahil olmak üzere birçok faktöre bağlıdır. Yığında çok fazla bellek kullanıldığında, bir taşma meydana geldiği ve bir program çökmesinin meydana geldiği söylenir . Bu hata sınıfına genellikle iki tür programlama hatasından biri neden olur : sonsuz özyineleme ve çok büyük yığın değişkenlerinin kullanımı.

Sonsuz özyineleme

Yığın taşmasının en yaygın nedeni, aşırı veya sonsuz derinlikte yinelemedir .

Scheme dili gibi kuyruk özyineleme tekniğini uygulayan diller , yığın taşması olmadan gerçekleştirilebilen belirli bir sonsuz özyinelemeye izin verir. Bunun nedeni, kuyruk özyineleme kullanan çağrıların ek yığın alanı gerektirmemesidir .

Çok büyük yığın değişkenleri

Yığın taşmasının diğer önemli nedeni, yığında mevcut olandan daha fazla bellek ayırma girişimidir. Bu, çok büyük bir yerel değişken dizisi oluşturduğunuzda olur . Bu nedenle, birkaç kilobayttan büyük diziler , onları yerel değişkenler olarak tahsis etmek yerine dinamik olarak tahsis edilmelidir .

Kullanılabilir yığın boyutunu azaltabilecek ve böylece yığın taşmasını daha olası hale getirebilecek nedenler

Yığın taşmaları , bir programın etkin yığın boyutunu küçülten herhangi bir şeyle birleştirilir .

Örneğin, tek bir iş parçacığı olarak çalışan bir program düzgün çalışabilir, ancak aynı program birden çok iş parçacığı ile çalışıyorsa, bir program çökmesi meydana gelir , çünkü iş parçacığı kullanan birçok program, her bir iş parçacığı için bir programdan daha küçük bir yığına sahiptir. ip kullanmaz.

Benzer şekilde, çekirdek geliştirme üzerine çalışanlara yığında özyinelemeli algoritmalar ve çok büyük arabellekler kullanmamaları tavsiye edilir .

C / C++ dilinden örnekler

Tek işlevli sonsuz özyineleme

 boşluk f () {  
   f ();
 }
 int ana ( boşluk ) {  
   f ();
   0 döndür ; 
 }

Bu kod parçacığı, işlevi f() çağırır ve işlev f()de kendisini çağırır, böylece sonsuz bir özyineleme oluşturur.

İki işlevli sonsuz özyineleme

 void f ( boşluk ); void g ( void );  
  
 
 int ana ( boşluk ) {  
   f ();
  
   0 döndür ; 
 }
 
 void f ( void ) {  
   g ();
 }
 
 void g ( void ) {  
   f (); }  
 

Yığın taşması gerçekleşene kadar işlev f()ve işlev g()sürekli olarak birbirini çağırır.

Yığındaki değişken çok büyük

 int ana ( boşluk ) {  
   çift ​​n [ 10000000 ]; 0 döndür ;  
    
 }

Bu kod parçacığında belirtilen dizi, yığında bulunandan daha fazla bellek gerektirir ve bu nedenle yığın taşmasına neden olur.

İlgili öğeler

• yığın taşması
• arabellek taşması