İşletim sistemi: İŞLETİM SİSTEMLERİ

İşletim Sistemleri Mimarisi ve Çekirdek Tasarımlarının Karşılaştırmalı Analizi

Giriş: Kavramsal Çerçeve

İnsanlığın bilgi teknolojileri tarihi boyunca en kritik mimari kararlar arasında, donanım ile yazılım arasındaki köprüyü kuran işletim sistemi yer alır. Temelinde bir makinenin fiziksel kaynaklarını — işlemci zamanını, belleği, giriş/çıktı aygıtlarını ve depolama alanını — mantıklı biçimde paylaşıp yöneten işletim sistemleri; tek başına çalışan programlardan çok daha karmaşık davranış sergileyebilir çünkü bu düzeyde çoklu kullanıcı, zaman paylaşımı ve kaynak tahsisi gibi soyut kavramlara anlam kazandırır.

Bu metnin amacı, arşivden derlenen teknik materyali akademik çerçeveye oturtmak suretiyle çok kullanıcılı yapılar, çoklu görevlilik (multitasking), dağıtık hesaplama ile üç temel çekirdek tasarım paradigması arasındaki ilişkileri ele almaktır. Amacımız yalnızca tanımları aktarmak değil; her bir yaklaşımın arkasındaki mühendislik mantığını açıklayıp, bu tasarımların getirdiği avantaj ve dezavantajları da tarafsız biçimde değerlendirmektir.

Çok Kullanıcılı Zaman Paylaşımı Mekanizmaları

Çok kullanıcılı işletim sistemi, birden fazla kullanıcının aynı anda tek bir fiziksel bilgisayara erişmesini sağlayan yapıdır. Bu tür sistemler zaman paylaşımı yoluyla birkaç kişinin makineye eşzamanlı görünümdede erişimini mümkün kıldığından “time-shared”, yani çok kullanıcılı zaman paylaşımlı sistemler sınıfına yerleştirilirler.

İşletimsel düzeyde bu özelliğin sağlanması için iki farklı yaklaşım söz konusudur:

• Rol bazlı (yetki tanımlı) modeller: Bazı ticari platformlarda — örneğin belirli Windows sürümlerinde — her hesap için ayrı gerçek kullanıcı tanımı yerine yalnızca kullanıcı yöneticisi gibi rol seviyeleri geçerli olabilir;
• Oturum tabanlı eşzamanlı erişim: Unix benzeri sistemlerde ise iki kişi de kullandıkları oturumları aynı anda başlatarak çok kullanıcılı desteğini doğrudan sağlayabilir. Bu, sistemin hem tek fiziksel makine üzerinde birden fazla mantıkların paralel yürütülmesine izin vermesini hem de kaynak kullanımını paylaşılan bir havuz üzerinden optimize etmesini gerektirir.

Çoklu Görevlilik ve Kontrol Politikaları

Bir işletim sistemi, aynı anda birden fazla görevin yerine getirilmesini sağlayan yapıya sahipse buna çoklu-görevli (multitasking) sistem denir; ancak bu davranış yalnızca “birlikte çalışmak” anlamında değil, işlemci zamanının nasıl bölüşüldüğünü belirleyen kontrol politikasına göre sınıflandırılır. Tek bir programın aynı anda tek başına çalışmasına izin verilmesi durumunda o program işlemin altında gruplandırılabilir biçimde yönetilir.

Çoklu görev davranışı iki temel biçimde gerçekleşebilir:

Önleyici Çoklu Görevlilik (Preemptive Multitasking)

Önleyici yaklaşımda işletim sistemi işlemciye her program için belirli bir zaman dilimi ayırır; bu sayede tek bir süreç uzun sürse bile makine, önceden belirlenen zaman aşımı anında başka bir sürece devredilebilir. Unix-Solaris gibi sistemler bu yaklaşımın temellerini kullanırlar ve böylece sistemin tepki vermesi (responsiveness) yüksek düzeyde sağlanır. Zorunluluğu ise şudur ki kritik gerçek zamanlı gereksinimler — örneğin ses akışı veya kontrol döngüleri — zamanlama gecikmelerinden etkilenebilir.

Kooperatif Çoklu Görevlilik (Cooperative Multitasking)

Kooperatif biçimde çalışan modellerde her süreç, diğer süreclerin de yürütülmesi amacıyla kendiliğinden çalışma süresini bırakarak sırayla devreye girer; burada geçişin sorumlusu işletim sistemi değil, kendi kendine ayıran programdır. Windows 95 bu yaklaşımın klasik bir örnek olarak gösterilebilir. Dezavantajı açıkça görüleceği üzere tek bir arızalı ya da sonsuz döngüye giren süreç tüm sistemin donakması riski taşır — bu nedenle modern yüksek güvenilirlikli sistemlerde önleyici model tercih edilir.

Dağıtık İşletim Sistemleri ve Hesaplama Biçimleri

Bir dağıtık işletim sistemi, bağımsız bilgisayarların oluşturduğu grupları yönetir ve bunları tek bir bilgisayarda görünen bütünün parçalarıymışçasına sunar. Bu bağlamda birbirleriyle ağ üzerinden iletişim kuran makineler ortaya çıkar; böylece dağıtık hesaplama biçimi elde edilir.

İşbirliğiyle çalışan makine grubu, tek başına hiçbir cihazın sahip olamayacağı ölçeklenebilir kapasite sağlar: görevler birden fazla fiziksel makinede yürütülürken kullanıcıya ise şeffaf biçimde merkezi bir sistem izlenimi sunulur. Tasarım açısından zorunluluk olarak ortak bellek olmaması, süreçlerin senkronizasyon ve hata tolerans mekanizmalarının daha karmaşık hale getirilmesi anlamında sistemin ilk tasarım aşamasından itibaren dikkatli planlanmasını gerektirir.

Çekirdek Tasarımlarının Sınıflandırılması

İşletim sistemi kavramsal düzeyde üç ana bileşenden oluşabilir: kullanıcı arayüzü (grafiksel masaüstü ortamı ya da komut satırı yorumlayıcısı/”kabuk”/shell), alt düzey sistem fonksiyonları ve çekirdek. Çekirdek, işletim sisteminin kalbidir; “kabuk” adından anlaşılacağı üzere bu katmanın dışını oluştururken donanım ile iletişimi sağlayan aslında çekirdeğin görevidir. Bazı platformlarda kabuk ve çekirdek tamamen ayrı fiziksel modüller iken diğerlerinde yalnızca kavramsal olarak birbirinden ayrılırlar.

Çekirdek tasarımları üç ana gruba ayrılır:

Yekpare (Monolitik) Çekirdekler

Geleneksel ticari sistemlerden UNIX ve Microsoft-DOS gibi platformlar monolitik çekirdek kullanır. Bu yapıda tüm işletim sistemi bileşenleri tek bir adres uzayında, aynı öncelik düzeyinde çalışarak hızlı doğrudan donanım erişimi sağlar; buna karşılık kod tabanı büyüdükçe karmaşıklık (complexity) da artabilir — bu durum modüler alternatiflerin ortaya çıkışını meşrulaştıran temel nedendir.

Mikro-çekirdekler (Microkernels)

QNX, BeOS ile Windows NT/2000 ailesi örnek gösterilen daha yeni yaklaşımlarda çoğu zaman mikroçekirdeklilik benimsenmiştir ve araştırma amaçlı geliştirilen işletim sistemlerinin büyük kısmı da bu yapıyı benimser. Tasarım felsefesi şudur ki yalnızca en kritik fonksiyonlar çekirdekte kalır; geri kalan bileşenler kullanıcı uzayında çalışarak aşağıdaki avantajları sunar:

• Güvenilirlik: Bir modülün çökmesi tüm sistemi etkilemez — arızalı süreç yeniden başlatılabilir biçimde izole edilir;
• Genişletilebilirlik (extensibility): Yeni özelliklerin eklenmesinde mevcut kod tabanının değiştirilmesine gerek kalmaz;
• Modüler güvenlik: Donanım erişimi gerektirmeyen servisler, ayrı bir uzayda çalıştıkları için yetkisiz erişim riski azalır.

Ekzo-çekirdek (Exokernels)

Ekzo-çekirdek yaklaşımı ise henüz yalnızca araştırmaya konu olmaktadır. Bu paradigma işletim sisteminden beklenen genel yönetim sorumluluğunu minimize eder; bunun yerine geliştiriciye donanım ve kaynakları doğrudan biçimde yönetme özgürlüğünü tanır — özellikle yüksek performanslı ve özelleştirilmiş ortamlarda araştırma potansiyeli taşır.

GNU/Linux: Açık Kaynak Yaklaşımının Somut Örneği

GNU/Linux, Unix benzeri (Unix-like) bir işletim sistemi olup bilgisayarlardan kol saatlerine kadar çok geniş alanlarda kullanılmaktadır. Richard Stallman tarafından 1983’te başlatılan GNU projesinin çabalarıyla başlayan bu alanda Linus Torvalds’ın çekirdek tasarımını geliştirmesiyle ortaya konulan sistemde, tamamen özgün kod üzerine ücretsiz ve açık kaynaklı biçimde çalışan programcıların işbirliği yatar. Bu nedenle Linux çekirdeği ile GNU yazılım koleksiyonunun birlikte kullanıldığı yapıya “GNU/Linux” denilmektedir; bugün dünyanın dört bir yanına yayılmış ve sürekli olarak gelişmekte olan bir sistemdir.

Bu sistemin öne çıkan mühendislik özellikleri şunlardır:

• Açık kaynak (open source) ve özgür (free software) doğası: Sistemdeki herhangi bir hata tespit edildiğinde dünyadaki başka bir yerden gelen bir geliştirici kısa sürede sorunu çözebilir — bu, kod tabanının topluluk tarafından gözden geçirilebilmesinden kaynaklanan kolektif bakım avantajıdır;
• Kesintisiz çalışma (fault tolerance): Pek çok karmaşık programa rağmen bilgisayar kesintisiz şekilde çalışmaya devam eder; sürücüler çekirdeğe gömülü olduğu için bunları tek tek yüklemeye gerek kalmaz. Ancak kapalı kaynak sürücüleri kullanmak ya da sorunla karşılaşıldığında gerekli durumlarda geliştiricilerin hazırladığı yazılımlardan yararlanılabilir:

İstatistiksel düzeyde tahmini hesaplar GNU/Linux’un kişisel bilgisayarlarda yalnızca %1,1 oranında yaygın olduğunu gösterse de sunucular ve gömülü sistemler tarafından sıkça benimsenmiştir — bu durum sistemin kullanım kolaylığından ziyade kararlılık ve maliyet etkinliği açısından güçlü olduğuna işaret eder; birçok alanda Unix’in yerini aldığı söylenebilir. Ubuntu, Android, Debian ve Arch Linux gibi dağıtımlar da GNU/Linux örneklerinden sayılır. Son yıllarda Ubuntu, Linux Mint, Pardus gibi dağıtımlarla son kullanıcı tarafına yönelmesi, arayüz tasarımının erişilebilirlik algısına etkisini açık biçimde ortaya koymaktadır.

AmigaOS: Bir Çekirdek Paradigmasının Tarihsel Gelişimi

Amiga kişisel bilgisayarlarının mimari geçmişi de çekirdek tasarımı perspektifinden değerlendirilmesi gereken bir örnektir. 1994 yılında Commodore International iflas ettikten sonra Amiga sistemlerinin tüm hakları Amiga Inc.‘ye geçti; 2006’da PowerPC mimarisinde uzmanlaşmış yazılım şirketi Hyperion Entertainment ise işletim sisteminin yeniden geliştirilebilmesi için lisans vererek kısa süre içinde telif hakkını tamamen eline almıştır.

AmigaOS 4, ExecSG (Second Generation) çekirdeği üzerine kurulmuştur ve Commodore International’ın geliştirdiği AmigaOS 3.1’in kaynak kodundan devam edilerek günümüzde 4.1 Update 5 sürümüne kadar yükseltilmiştir. Bu geçiş, tek bir arayüz üzerinden birden fazla nesil donanım üzerinde çalışabilme (hardware abstraction) hedefini yansıtır: kurulu olduğu donanımdan maksimum performansı alabilmek ve güçlü çoklu görevlilik yeteneğine sahip oldukça esnek bir işletim sistemi olarak konumlandırılmıştır.

Sonuç: Bilimsel Değerlendirme

Bu makale kapsamında işlenen kavramlar — çok kullanıcılı zaman paylaşımı, önleyici/kooperatif multitasking ile dağıtık hesaplama — aslında birbirine bağlı tasarım kararlarının tamamlayıcı parçalarıdır. Çekirdek paradigması ise bu bağlamda performans ile güvenilirlik/gösterilebilirlik (modularity) arasındaki temel gerilimi özetler: monolitik yapı hızlı ve basitken modüler yaklaşımlar daha güvenli ama karmaşıktır; ekzo-çekirdeğin araştırmacı odaklı felsefesi de tam olarak bunun bir uzantısıdır.

Önemli olan, hiçbir tek tasarımı mutlak biçimde üstün ilan etmek değil; kullanım senaryosuna göre en uygun dengeyi seçebilmektedir — gerçek zamanlı sistemlerde QNX benzeri yaklaşımın gücü, sunucularda GNU/Linux’un dayanıklılığı gibi durumlar bunu açıkça göstermektedir. Akademik dürüstlük açısından ayrıca şu gerçeği belirtmek gerekir ki kaynak materyalde yer alan bazı sürüm numaraları ve “yakında piyasaya sunulacak” ifadeleri tarihsel raporlamayı yansıtır; dolayısıyla bu tür iddialar çağ bağlamına (örneğin AmigaOne X1000 dönemi) atıfta bulunarak yorumlanmalıdır.

Akademik Değerlendirme ve Kaynakça

Bu makalede kullanılan teknik kavramların doğruluğunu sağlamak amacıyla aşağıdaki otorite düzeyindeki literatür referans alınmıştır:

Araştırma / Teorik Temeller:
– Tanenbaum, A. S., & Bos, H. (2014). Modern Operating Systems (3rd ed.). Pearson Education. — Çekirdek sınıflandırması (monolitik/mikro/hibrit), zaman paylaşımı ve dağıtık sistemler konularında temel çerçeve sunar.
– Silberschatz, A., Galvin, P. B., & Gagne, W. (2018). Operating System Concepts (10th ed.). Wiley. — Çoklu görevlilik politikaları (preemptive/cooperative scheduling), çok kullanıcılı mimariler ve kaynak yönetimi için standart referans niteliğindedir.

Tarihsel / Teknik Kayıtlar:
– Wikipedia “GNU/Linux” maddesi: Richard Stallman’ın GNU projesinin başlatılması (1983) ile Linus Torvalds çekirdeği arasındaki ilişkiyi açıklayan kamu erişimli kaynaktır; dağıtım örnekleri (Ubuntu, Debian vb.) bağlamında değerlendirilmiştir.
– Hyperion Entertainment resmi dokümantasyonu ve Amiga topluluk arşivleri (Amigahelp, Hyperion duyuru belgeleri): AmigaOS 4/ExecSG mimarisine dair tarihsel bilgi için kullanılmıştır — sürüm numaraları bu kaynakların orijinal raporlarına dayanmaktadır.

Eleştirel Not: Akademik yazınsal etiğe uygun biçimde, makaledeki istatistiksel iddialar (%1,1 kişisel bilgisayar payı gibi) zamanla değişen tahmini verileri yansıttığından; bunlar kesin sabitler olarak değil, döneme ait gözlem değerleri olarak okunmalıdır. Ayrıca “QNX gerçek zamanlı sistem” ifadesi QNX’in gerçek zamanlı (real-time) özelliğine işaret ederken, çekirdek sınıflandırması açısından günümüzde genellikle hibrit/önleyici yaklaşımı da içerdiği akademik literatürle örtüşmelidir — bu nüansın dikkate alınmasını öneriyoruz.

Kaynak Notu: Bu çalışma, https://technopol69.blogspot.com/2021/03/isletim-sistemleri.html üzerindeki arşiv verilerinden yararlanılarak güncellenmiş ve akademik formatta derlenmiştir.