Bir C uygulamasından çıktığınızda, malloc-ed bellek otomatik olarak serbest bırakılır mı?

Diyelim ki aşağıdaki C koduna sahibim:

int main () {
  int *p = malloc(10 * sizeof *p);
  *p = 42;
  return 0;  //Exiting without freeing the allocated memory
}

Bu C programını derlediğimde ve çalıştırdığımda, yani bellekte bir miktar alan ayırdıktan sonra, uygulamadan çıktıktan ve işlem sona erdikten sonra ayırdığım bellek hala tahsis edilecek mi (yani temelde yer kaplayacak mı)?

İşletim sistemine bağlıdır. Modern (ve tüm büyük) işletim sistemlerinin çoğu, program bittiğinde program tarafından serbest bırakılmayan belleği boşaltacaktır.

Buna güvenmek kötü bir uygulamadır ve açıkça serbest bırakmak daha iyidir. Sorun yalnızca kodunuzun kötü görünmesi değildir. Küçük programınızı daha büyük, uzun soluklu bir programa entegre etmeye karar verebilirsiniz. Sonra bir süre sonra bellek sızıntılarını takip etmek için saatler harcamanız gerekir.
Bir işletim sisteminin bir özelliğine güvenmek de kodu daha az taşınabilir hale getirir.

Genel olarak, modern genel amaçlı işletim sistemleri, sonlandırılan işlemlerden sonra temizlik yapar . Bu gereklidir, çünkü sistemin alternatifi, kötü yazılmış veya nadiren ortaya çıkan ve kaynakları sızdıran hatalar içeren programlar nedeniyle sistemin zaman içinde kaynaklarını kaybetmesi ve yeniden başlatmayı gerektirmesidir.

Programınızın kaynaklarını açıkça serbest bırakması, aşağıdakiler gibi çeşitli nedenlerle iyi bir uygulama olabilir :

• Eğer ek kaynaklar varsa değil böyle geçici dosyaları veya herhangi bir tür olarak Çıkışta işletim sistemi tarafından temizlenir, değişim harici kaynağın durumuna, o zaman bu Çıkışta tüm bu şeyler ile uğraşmak kodu gerekir ve edecektir genellikle hafızayı boşaltmakla zarif bir şekilde birleştirilir.
• Programınız daha uzun bir kullanım ömrüne sahip olmaya başlarsa, belleği boşaltmanın tek yolunun çıkmak olmasını istemeyeceksiniz . Örneğin, programınızı tek tek çalışma birimleri için birçok isteği işlerken çalışmaya devam eden bir sunucuya (arka plan programı) dönüştürmek isteyebilirsiniz veya programınız daha büyük bir programın küçük bir parçası olabilir.

Bununla birlikte, hafızayı boşaltmayı atlamanın bir nedeni var: verimli kapatma . Örneğin, uygulamanızın bellekte büyük bir önbellek içerdiğini varsayalım. Çıktığı zaman tüm önbellek yapısını gözden geçirir ve her seferinde bir parça serbest bırakırsa, bu hiçbir işe yaramaz ve kaynakları boşa harcar. Özellikle, önbelleğinizi içeren bellek sayfalarının işletim sistemi tarafından diske değiştirildiği durumu düşünün; yapıyı gezdirerek ve serbest bırakarak, tüm bu sayfaları bir kerede belleğe geri getiriyor , gerçek bir fayda sağlamak için önemli ölçüde zaman ve enerji harcıyorsunuz ve hatta muhtemelen sistemdeki diğer programların değiştirilmesine neden oluyorsunuz !

İlgili bir örnek olarak, her istek için bir işlem oluşturarak ve ardından tamamlandığında çıkışını sağlayarak çalışan yüksek performanslı sunucular vardır; bu sayede bellek tahsisini izlemek zorunda bile kalmazlar ve hiçbir zaman herhangi bir boşaltma veya çöp toplama işlemi yapmazlar, çünkü işlemin sonunda her şey işletim sisteminin boş belleğine geri döner. (Aynı tür bir işlem, özel bir bellek ayırıcı kullanılarak bir süreç içinde yapılabilir, ancak çok dikkatli bir programlama gerektirir; esasen işletim sistemi sürecinde kişinin kendi "hafif süreçler" kavramını oluşturması.)

Bu konuya son gönderiden çok sonra gönderdiğiniz için özür dilerim.

Ek bir nokta. Tüm programlar zarif çıkışlara ulaşamaz. Çökmeler ve ctrl-C'ler vb. Bir programın kontrolsüz yollarla çıkmasına neden olur. İşletim sisteminiz yığınınızı serbest bırakmadıysa, yığınızı temizlemediyse, statik değişkenleri silmediyse, sonunda sisteminizi bellek sızıntılarından veya daha kötüsünden kilitlersiniz.

Bunun dışında ilginç bir şey, Ubuntu'da çökmeler / kesintiler ve diğer tüm modern işletim sistemlerinden şüpheleniyorum, "işlenen" kaynaklarla ilgili sorunlar var. Soketler, dosyalar, cihazlar vb. Bir program bittiğinde / çöktüğünde "açık" kalabilir. Ayrıca, zarif bir şekilde çıkmadan önce temizlemenizin bir parçası olarak bir "tutamaç" veya "tanımlayıcı" ile her şeyi kapatmak için iyi bir uygulama.

Şu anda yoğun şekilde soket kullanan bir program geliştiriyorum. Bir askıda kaldığımda, ctrl-c'yi ondan çıkarmam gerekiyor, böylece soketlerimi büküyorum. Tüm açık soketlerin bir listesini toplamak için bir std :: vektör ve sigint ve sigterm'i yakalayan bir sigaction işleyicisi ekledim. İşleyici listeyi yürütür ve yuvaları kapatır. Atışlardan önce, erken sonlandırmaya yol açacak benzer bir temizleme rutini yapmayı planlıyorum.

Bu tasarım hakkında yorum yapmak isteyen var mı?

Burada ( modern bir işletim sisteminde ) olan şey, programınızın kendi "süreci" içinde çalışmasıdır. Bu, kendi adres alanı, dosya tanımlayıcıları, vb. İle donatılmış bir işletim sistemi varlığıdır. mallocÇağrılarınız, "yığın" dan veya işleminize atanan ayrılmamış bellek sayfalarından bellek ayırıyor.

Programınız sona erdiğinde, bu örnekte olduğu gibi, işleminize atanan tüm kaynaklar işletim sistemi tarafından basitçe geri dönüştürülür / parçalanır. Bellek durumunda, size atanmış tüm bellek sayfaları basitçe "boş" olarak işaretlenir ve diğer işlemlerin kullanımı için geri dönüştürülür. Sayfalar, malloc'un işlediğinden daha düşük seviyeli bir kavramdır - sonuç olarak, malloc / free'nin özellikleri, her şey temizlenirken basitçe silinir.

Bu ahlaki eşdeğeri, dizüstü bilgisayarınızı kullanmayı bitirdiğinizde ve bir arkadaşınıza vermek istediğinizde, her dosyayı ayrı ayrı silmeye zahmet etmeyin. Siz sadece sabit sürücüyü biçimlendirin.

Bütün bunlar, diğer tüm cevaplayıcıların da belirttiği gibi, buna güvenmenin iyi bir uygulama olmadığını söyledi:

1. Her zaman kaynaklara dikkat etmek için programlama yapmalısınız ve bu C de hafıza anlamına gelir. Sonunda kodunuzu bir kitaplığa yerleştirebilirsiniz veya beklediğinizden çok daha uzun süre çalışmaya başlayabilir.
2. Bazı işletim sistemleri (eski işletim sistemleri ve belki bazı modern gömülü işletim sistemleri) bu kadar katı süreç sınırlarını koruyamayabilir ve ayırmalarınız başkalarının adres alanlarını etkileyebilir.

Evet. İşletim sistemi kaynakları temizler. Şey ... NetWare'in eski sürümleri yoktu.

Düzenleme: San Jacinto'nun işaret ettiği gibi, kesinlikle bunu yapmayan sistemler (NetWare dışında) var. Atma programlarında bile, sırf alışkanlığı sürdürmek için tüm kaynakları serbest bırakmayı alışkanlık haline getirmeye çalışıyorum.

Evet, işletim sistemi işlem bittiğinde tüm belleği serbest bırakır.

Değişir, işletim sistemleri bunu sizin için genellikle temizler, ancak örneğin gömülü yazılım üzerinde çalışıyorsanız, o zaman piyasaya sürülmeyebilir.

Sadece serbest bıraktığınızdan emin olun, daha sonra büyük bir projeye entegre etmek isteyebileceğiniz zaman size çok zaman kazandırabilir.

Bu gerçekten işletim sistemine bağlıdır, ancak karşılaşacağınız tüm işletim sistemleri için, işlemden çıkıldığında bellek tahsisi kaybolacaktır.

Doğrudan serbest bırakmanın en iyisi olduğunu düşünüyorum. Tanımlanmamış davranış en kötü şeydir, bu yüzden hala sürecinizde tanımlıyken erişiminiz varsa, yapın, insanların bunun için vermiş olduğu birçok iyi neden vardır.

Nerede ya da olup olmadığına gelince, bunu W98'de buldum, asıl soru 'ne zaman' idi (bunu vurgulayan bir gönderi görmedim). Küçük bir şablon programı (MIDI SysEx girişi için, çeşitli malloc'lu boşlukları kullanarak) WndProc'un WM_DESTROY bitinde belleği boşaltacaktı, ancak bunu daha büyük bir programa aktardığımda çıkışta çöktü. Bunun, daha büyük bir temizlik sırasında işletim sisteminin serbest bıraktığı şeyi serbest bırakmaya çalıştığım anlamına geldiğini varsaydım. Bunu WM_CLOSE'de yapıp DestroyWindow () olarak adlandırırsam, hepsi iyi çalıştı, anında temiz çıktı.

Bu MIDI arabellekleri ile tam olarak aynı olmasa da, işlemi sağlam tutmak, tamamen temizlemek ve sonra çıkmak en iyisidir. Mütevazı bellek parçalarıyla bu çok hızlıdır. Birçok küçük arabellek işleminde ve temizlemede daha az sayıda büyük arabelleğe göre daha hızlı çalıştığını buldum.

Birisinin büyük bellek parçalarını diskteki bir takas dosyasından geri çekmekten kaçındığını söylediği gibi istisnalar olabilir, ancak bu bile daha fazla ve daha küçük, ayrılmış alan tutularak en aza indirilebilir.