Rust ile Sistem Programlama: Adım Adım Öğrenme Yolu

Rust sistem programlamada neden tercih edilir?

Sistem programlama, donanıma ve belleğe yakın çalışan yazılımların geliştirilmesidir: veritabanı motorları, ağ altyapısı bileşenleri, işletim sistemi araçları, gömülü yazılımlar, komut satırı araçları. Bu alanlarda geleneksel olarak C ve C++ kullanılır, çünkü performans ve bellek üzerinde doğrudan kontrol gerekir. Bedeli ise bellek hatalarıdır: serbest bırakılmış belleğe erişim, tampon taşması, veri yarışı.

Rust bu dengeyi farklı kurar. Çöp toplayıcı kullanmaz, bunun yerine bellek güvenliğini sahiplik ve ödünç alma kurallarıyla derleme aşamasında denetler. Kural ihlali varsa program derlenmez. Sonuç, çalışma zamanında ek yük getirmeyen ve bellek hatalarının büyük bölümünü derleyiciye yakalatan bir dildir. Bu yüzden hata toleransı düşük ve kaynakları kısıtlı yazılımlarda cazip bir seçenektir.

Öğrenme açısından bunun anlamı şudur: Rust'ta zorluk sözdiziminde değil, derleyicinin sizden istediği düşünme biçimindedir. Başka dillerde çalışma zamanında karşınıza çıkan sorular burada kod yazarken karşınıza çıkar.

Başlamadan önce hangi temel bilgiler gerekir?

Rust ilk programlama diliniz olabilir, ancak yol uzar. En rahat ilerleyenler genellikle şu birikimlere sahiptir:

• Bir dilde değişken, döngü, fonksiyon ve koşul yapılarını rahat kullanmak
• Yığın (stack) ve öbek (heap) belleğin farkını, işaretçi ve referans kavramlarını kabaca bilmek
• Komut satırı ve sürüm kontrolü ile rahat çalışmak
• Temel veri yapıları: dizi, bağlı liste, sözlük, ağaç

C, C++, Go ya da Java geçmişi olan geliştiriciler bellek ve eşzamanlılık sezgisini hazır getirir. Python veya JavaScript'ten gelenler ise belleğin nerede yaşadığını ilk kez bilinçli düşünmek zorunda kalır; bu normaldir ve ilk haftaların asıl çalışma alanı da budur.

Kurulum basittir. Rust araç zinciri rustup ile kurulur; derleme, bağımlılık yönetimi, test ve belgelendirme tek komut satırı aracı olan cargo üzerinden yürür. Biçimlendirme için rustfmt, kod denetimi için clippy kullanılır. Bu araçları ilk günden alışkanlık haline getirmek, öğrenme sürecini belirgin biçimde kolaylaştırır.

Öğrenme yolu: temelden eşzamanlılığa sırayla

Rust'ı sıralamayı bozmadan öğrenmek, konuları atlayıp geri dönmekten çok daha verimlidir. Mantıklı bir yol şöyle ilerler:

• Aşama bir, dil temelleri: değişkenler ve değişmezlik, temel tipler, kontrol akışı, fonksiyonlar, cargo ile proje yapısı
• Aşama iki, sahiplik, ödünç alma ve yaşam süreleri: dilin merkezi. Burada acele etmeyin, bu aşama bitmeden sonrasına geçmek hayal kırıklığı üretir
• Aşama üç, yapılar, enum'lar, trait'ler ve generic programlama: soyutlamaları nasıl kurduğunuzu belirler
• Aşama dört, hata yönetimi ve koleksiyonlar: Option ve Result tipleriyle hataları değer olarak taşımak, vektör ve hash tablosu kullanımı
• Aşama beş, akıllı işaretçiler ve bellek desenleri: Box, Rc, Arc gibi tiplerle paylaşılan sahipliği yönetmek
• Aşama altı, eşzamanlılık: thread'ler, kanallar, Mutex ile paylaşılan durum; Rust'ın veri yarışlarını derleme zamanında engelleme biçimi
• Aşama yedi, unsafe, FFI ve düşük seviye erişim: C kütüphaneleriyle konuşmak, derleyicinin doğrulayamadığı yerleri sınırlı ve belgelenmiş tutmak
• Aşama sekiz, asenkron Rust, test ve dağıtım: async/await modeli, asenkron çalışma zamanı kütüphaneleri, birim ve entegrasyon testleri, sürüm üretimi

Her aşamanın sonunda küçük bir çalışan program yazmak, yalnızca okumaktan çok daha kalıcı öğrenme sağlar.

Sahiplik ve ödünç alma: asıl eşik nasıl aşılır?

Rust'ta her değerin tek bir sahibi vardır. Sahip kapsam dışına çıktığında değer otomatik olarak serbest bırakılır. Bir değeri başka bir değişkene ya da fonksiyona verdiğinizde sahiplik ya taşınır ya da değer ödünç verilir. Ödünç almada kural nettir: ya istediğiniz kadar salt okunur referans olabilir, ya da yalnızca tek bir değiştirilebilir referans. İkisi aynı anda var olamaz.

Örneğin bir metin dizisini fonksiyona değer olarak verirseniz, fonksiyondan sonra o diziyi kullanamazsınız; çünkü sahiplik fonksiyona geçmiştir. Çözüm genellikle diziyi ödünç vermektir. Derleyici hata mesajında hangi satırda sahipliğin taşındığını ve neden sorun olduğunu açıkça söyler; bu mesajları okumayı öğrenmek en değerli beceridir.

Yaşam süreleri (lifetimes) ise referansın işaret ettiği verinin referanstan önce yok olmasını engelleyen etiketlerdir. Çoğu durumda derleyici bunları kendisi çıkarır, açıkça yazmanız yalnızca birden fazla referans içeren fonksiyon ve yapılarda gerekir.

Bu aşamayı geçmenin pratik yolu: derleyiciyle savaşmak yerine her hatayı bir öğretmen olarak okumak, hatayı çözmek için hemen clone() eklemek yerine önce veri akışını yeniden düşünmek ve her sorunda şu üç soruyu sormaktır: bu değerin sahibi kim, kim ödünç alıyor, ne kadar süre yaşaması gerekiyor?

Örnek proje akışı: bir günlük (log) analiz aracı

Kurgusal bir örnek olarak, bir sunucunun günlük dosyalarını okuyup hata satırlarını sayan bir komut satırı aracı yazalım. Bu proje, öğrenme yolundaki pek çok kavramı doğal biçimde çalıştırır.

• Proje oluşturma: cargo ile yeni bir ikili (binary) proje açılır, bağımlılıklar Cargo.toml dosyasında tanımlanır
• Girdiyi okuma: dosya yolu komut satırı argümanından alınır, dosya satır satır okunur. Burada ilk kez Result tipiyle karşılaşırsınız: dosya açılamayabilir, bunu çağıran koda döndürmeniz gerekir
• Veriyi modelleme: her günlük satırı için bir yapı (struct) tanımlanır, önem düzeyi için bir enum kullanılır. Satırı ayrıştıran fonksiyon Option ya da Result döndürür
• Sayma ve gruplama: hata türlerine göre sayım için hash tablosu kullanılır. Anahtarları saklarken sahiplik sorusu ilk kez gerçek bir karar haline gelir
• Performans: çok büyük dosyalarda satırları kopyalamak yerine ödünç alınmış metin dilimleri üzerinde çalışmak bellek kullanımını düşürür
• Paralelleştirme: dosyalar ayrı thread'lerde işlenir, sonuçlar kanal üzerinden toplanır. Paylaşılan sayaç gerekiyorsa Arc ve Mutex devreye girer
• Test ve ölçüm: ayrıştırıcı için birim testleri yazılır, clippy uyarıları giderilir, benchmark ile darboğaz ölçülür

Proje büyüdükçe aynı iskelet bir ağ hizmetine, bir veritabanı istemcisine ya da bir yapılandırma doğrulayıcısına taşınabilir.

Rust öğrenirken sık yapılan hatalar

• Sahiplik konusunu atlayıp doğrudan ilginç konulara geçmek: async, makrolar ve trait'lerin ileri kullanımı sahiplik oturmadan anlaşılmaz
• Her derleme hatasında clone() ile kaçmak: kod çalışır ama gereksiz kopyalar performans avantajını siler ve veri akışını anlamanızı geciktirir
• unwrap() ve expect() çağrılarını her yere serpiştirmek: prototipte kabul edilebilir, ancak gerçek kodda hatalar Result ile taşınmalıdır
• unsafe'i bir kısayol gibi görmek: unsafe blokları küçük, gerekçeli ve güvenli bir arayüzün arkasında tutulmalıdır
• Başka dilin kalıplarını birebir taşımak: bağlı liste, çift yönlü ağaç gibi döngüsel referans isteyen yapılar Rust'ta bilinçli tasarım ister; önce standart kütüphanedeki koleksiyonlarla yetinmek daha sağlıklıdır
• Yalnızca okuyup yazmamak: sözdizimi okurken kolay görünür, sahiplik hataları ancak kendi kodunuzu derlerken görünür hale gelir
• Clippy ve rustfmt'yi görmezden gelmek: bu araçlar deyimsel Rust yazmayı en hızlı öğreten rehberlerdir

Rust'ı Mindset programında nerede çalışırsınız?

Mindset kataloğundaki Rust ile Sistem Programlama eğitimi, yukarıdaki öğrenme sırasını izleyen modüllerden oluşur: Rust Ekosistemi ve Dil Temelleri; Sahiplik, Ödünç Alma ve Yaşam Süreleri; Yapılar, Trait'ler ve Generic Programlama; Hata Yönetimi ve Koleksiyonlar; Akıllı İşaretçiler ve Bellek Desenleri; Eşzamanlılık ve Paralellik; Unsafe, FFI ve Düşük Seviye Erişim; Asenkron Rust, Test ve Dağıtım.

Programın hedefleri arasında bellek güvenli kod yazmak, trait ve generic ile yeniden kullanılabilir soyutlamalar kurmak, veri yarışı içermeyen eşzamanlı programlar geliştirmek ve benchmark ile profil verisine dayanarak performans darboğazlarını tespit etmek yer alır. Eğitimin ilgili sayfasından güncel dönem ve içerik bilgisine ulaşabilirsiniz.