Giriş

Öğrenme Çıktıları

Giriş

İşletim Sistemi Tasarlamak Neden Zor?

Tanenbaum’ın sekiz etkeni. Uzun bakım-onarım ihtiyacı 5. ve 8. maddelerin doğal sonucudur.

Giriş · Adım adım

İşletim Sisteminin Hedefleri

Arayüz Tasarımı

Arayüz Tasarımı İçin Yol Gösterici İlkeler

Arayüz Tasarımı

“Küçük Güzeldir”

Arayüz Tasarımı

Kullanıcı Arayüzü Paradigmaları

Arayüz Tasarımı

Yürütme Paradigmaları

int main(void)
{
    int x, y;
    init();
    do_something();
    read(fd, &x, sizeof x);
    do_something_else();
    write(fd, &y, sizeof y);
    keep_going();
    exit(0);
}

int main(void)
{
    msg_t msg;
    init();
    while (get_message(&msg)) {
        switch (msg.type) {
        case 1: ... ; break;
        case 2: ... ; break;
        case 3: ... ; break;
        }
    }
}

Yürütme paradigmasının seçimi, sistem çağrılarını da biçimlendirir: algoritmik model engelleyen (blocking) read ister; olay güdümlü model ise “sıradaki olayı ver” türünden bir çağrı (get_message, epoll_wait, io_uring_enter) ister.

Arayüz Tasarımı · Kodu adım adım çalıştır

Olay Döngüsü Nasıl Çalışır?

int main(void) {
    msg_t m;
    init();
    while (get_message(&m)) {
        switch (m.type) {
        case KEY:   on_key(&m);   break;
        case CLICK: on_click(&m); break;
        case TIMER: on_timer(&m); break;
        }
    }
    return 0;
}

Arayüz Tasarımı

Veri Paradigmaları

• Ortak bir veri paradigması, aynı aracın (cat, dd, yönlendirme) her kaynakta çalışmasını sağlar: cat /proc/loadavg.
• Bedeli: bazı aygıtlar dosya modeline sığmaz; o zaman her şey ioctl gibi “kaçış kapılarına” yığılır.

Arayüz Tasarımı

Sistem Çağrısı Arayüzü

Sistem Yapısı

Sistem Yapısı Seçenekleri

Sistem Yapısı · Adım adım

Katmanlı Sistemler: Yedi Katmanlı Bir Tasarım

Her katman yalnızca altındakini kullanır; arayüzler iyi tanımlıysa bir katmandaki değişiklik diğerlerini etkilemez ve katmanlar alttan üste tek tek test edilir. Bedeli: katman sırasını seçmek ve geçiş maliyeti. Kaba görünüm: uygulama → kütüphane → sistem çağrısı → çekirdek → donanım.

Sistem Yapısı

Exokernel

Düzeltme: eski sunumdaki “çekirdek bileşenlerinin dinamik yüklenmesi” exokernel’e değil, genişletilebilir sistemlere ait bir özelliktir.

Sistem Yapısı · Adım adım

Mikroçekirdek Tabanlı İstemci-Sunucu Sistemleri

Örnekler: Mach (macOS’taki XNU melez bir türevidir), QNX (otomotiv), L4 ailesi ve biçimsel doğrulanmış seL4, MINIX 3, Google Fuchsia’nın Zircon çekirdeği. Sunucular ağdaki farklı düğümlerde de çalışabilir; ancak “mesajlaşma kendiliğinden güvenlidir” demek abartıdır: güvenlik, çekirdeğin yetki denetimine bağlıdır.

Sistem Yapısı

Genişletilebilir Sistemler

Sistem Yapısı

Çekirdek İş Parçacıkları

Düzeltme: kullanıcı süreçleri çekirdek iş parçacığı oluşturamaz; sistem çağrıları yalnızca çekirdeğin zaten çalıştırdığı iş parçacıklarına iş verebilir (ör. io_uring’in iş havuzu).

Tasarım İlkeleri · Adım adım

Mekanizma ve Politikanın Ayrılması

Diğer örnekler: sayfalama (mekanizma: MMU, çerçeve tahsisi; politika: hangi sayfa çıkarılsın), CPU frekansı (mekanizma: cpufreq sürücüsü; politika: schedutil/powersave yönetici), güvenlik (mekanizma: LSM kancaları; politika: SELinux kuralları).

Tasarım İlkeleri

Diklik (Orthogonality)

Tasarım İlkeleri

Adlandırma: İki Düzeyli Adlar

Ad, insanların hatırlayabileceği biçimde (ASCII/Unicode dizgisi) seçilir; sistem içinde ise hızlı ve benzersiz bir sayı kullanılır. Aradaki eşleme, adı değiştirmeden nesneyi taşımaya olanak verir.

Tasarım İlkeleri · Adım adım

Ad Çözümleme Adım Adım

Tasarım İlkeleri

Bağlama Zamanı

Bağlama zamanı, “bir ad hangi anda gerçek nesneye bağlanır?” sorusudur. İşletim sistemleri genel olarak geç bağlamayı seçer; örneğin sanal bellek, bir sayfanın fiziksel yerini her erişimde (TLB yardımıyla) yeniden çözer.

Tasarım İlkeleri · Kodu adım adım çalıştır

Statik ve Dinamik Yapılar

found = 0;
for (p = &proc_table[0];
     p < &proc_table[PROC_TABLE_SIZE];
     p++) {
    if (p->proc_pid == pid) {
        found = 1;
        break;
    }
}

Statik tablo: basit, ayırıcı gerektirmez, ama dolunca yeni süreç oluşturulamaz (eski UNIX’te NPROC). Dinamik yapı (bağlı liste, karma tablosu, Linux’ta xarray): esnek ve aramada O(1)’e yakın, ama bellek ayırıcı, parçalanma ve karmaşık kilitleme getirir. Ara yol: boyutu ayarlanabilir tablolar (/proc/sys/kernel/pid_max).

Tasarım İlkeleri

Yukarıdan Aşağı ve Aşağıdan Yukarı Gerçekleştirme

Tasarım İlkeleri

Senkron ve Asenkron İletişim

Yararlı Teknikler

Donanımı Gizleme

#include "config.h"
void init(void)
{
#if (CPU == X86_64)
    /* x86-64 başlatma kodu */
#endif
#if (CPU == ARM64)
    /* ARM64 başlatma kodu */
#endif
#if (CPU == RISCV64)
    /* RISC-V başlatma kodu */
#endif
}

#include "config.h"
#if (WORD_LENGTH == 32)
typedef int Register;
#endif
#if (WORD_LENGTH == 64)
typedef long Register;
#endif
Register R0, R1, R2, R3;

/* bugün: <stdint.h> */
typedef uintptr_t Register;

Kodlar Tanenbaum’daki Pentium/UltraSPARC örneğinin güncellenmiş hâlidir.

Yararlı Teknikler · Adım adım

Dolaylılık (Indirection)

“Bilgisayar bilimindeki her sorun, bir dolaylılık düzeyi daha ile çözülebilir.” (David Wheeler). İşletim sistemlerinde: sanal bellek (sayfa tablosu), dosya tanımlayıcıları, sembolik bağlar, i-node, aygıt sınıfları.

Yararlı Teknikler

Yeniden Kullanım ve Yeniden Girişlilik

char *strtok(char *s, const char *d)
{
    static char *last; /* paylaşılan durum! */
    ...
}

/* yeniden girişli sürüm: durum çağıranda */
char *strtok_r(char *s, const char *d,
               char **saveptr);

Yararlı Teknikler

Kaba Kuvvet ve Önce Hata Denetimi

lock(&tbl_lock);
buf = kmalloc(n, GFP_KERNEL);
if (n > MAX || !access_ok(u, n)) {
    kfree(buf);
    unlock(&tbl_lock);
    return -EINVAL;
}

if (n > MAX || !access_ok(u, n))
    return -EINVAL; /* önce denetle */
buf = kmalloc(n, GFP_KERNEL);
if (!buf)
    return -ENOMEM;
lock(&tbl_lock);
...

Parametreleri kilit ve bellek almadan önce doğrulamak, hata yolundaki geri alma kodunu (ve unutulan unlock hatalarını) ortadan kaldırır.

Performans

Performans: Neden Yavaş, Neyi Hızlandırmalı?

Performans · Kodu adım adım çalıştır

Uzay-Zaman Takası: (a) Döngüyle Bit Sayma

#define BYTE_SIZE 8
int bit_count(int byte)
{
    int i, count = 0;
    for (i = 0; i < BYTE_SIZE; i++)
        if ((byte >> i) & 1)
            count++;
    return count;
}

Performans

Uzay-Zaman Takası: (b) Makro ve (c) Tablo

/* (b) makro: döngü yok */
#define bit_count(b) ((b&1) + ((b>>1)&1) + \
    ((b>>2)&1) + ... + ((b>>7)&1))

/* (c) tablo: 256 bayt */
char bits[256] =
    {0, 1, 1, 2, 1, 2, 2, 3, 1, 2, ...};
#define bit_count(b) (int) bits[b]

Performans

Uzay-Zaman Takası: Renk Paleti

Yer yaklaşık 3 kat azalır; bedeli her piksel gösterilirken bir tablo bakışı (zaman) ve en fazla 256 renk sınırıdır. GIF ve PNG-8 bu yöntemi kullanır (GIF ayrıca LZW ile sıkıştırır). Boyutlar Python ile hesaplanmıştır.

Performans

Önbelleğe Almak (Caching)

Performans

İpuçları (Hints)

Performans

Yerelliği Kullanmak (Exploiting Locality)

• Zamansal yerellik: yakın zamanda kullanılan tekrar kullanılır (önbelleğin temeli). Uzamsal yerellik: yakınındaki de kullanılır (önden okuma, büyük sayfalar).
• Birlikte kullanılan verileri yan yana koymak: FFS silindir grupları, ext4 blok grupları; NUMA’da belleği iş parçacığının düğümünden ayırmak.

Performans · Adım adım

Yaygın Durumu Hızlandırmak

Genel ilke (Lampson): yaygın durumu hızlı, nadir durumu doğru yap. Diğer örnekler: sistem çağrılarının hızlı yolu, vDSO ile çekirdeğe girmeden clock_gettime, TLB isabeti.

Proje Yönetimi · Adım adım

Efsanevi Adam-Ay (The Mythical Man-Month)

Brooks’un OS/360 deneyiminden önerdiği zaman dağılımı: 1/3 planlama, 1/6 kodlama, 1/4 modül testi, 1/4 sistem testi. Yani kod yazmak işin yalnızca altıda biridir.

Proje Yönetimi

Takım Yapısı, Deneyim ve “Gümüş Kurşun Yok”

Eğilimler

İşletim Sistemlerinde Eğilimler

Eğilimler

Sanallaştırma ve Bulut

Eğilimler

Çok Çekirdek ve Geniş Adres Uzayları

Eğilimler

Rust, eBPF ve Unikernel’ler

Özet

Özet

Özet

Kontrol Soruları

1. Tanenbaum’a göre işletim sistemi tasarımını zorlaştıran sekiz etkenden dördünü açıklayın.
2. Basitlik, bütünlük ve verimlilik ilkelerini birer sistem çağrısı örneğiyle tartışın.
3. Algoritmik ve olay güdümlü yürütme paradigmalarını karşılaştırın. Olay döngüsünde uzun süren bir işleyici neden sorun olur?
4. Exokernel ile sanal makine monitörü arasındaki temel fark nedir?
5. Mikroçekirdekte bir sürücü çöktüğünde ne olur? Monolitik çekirdekte aynı durum neden daha tehlikelidir?
6. Mekanizma ile politikayı ayırmayı zamanlayıcı örneğiyle açıklayın. sched_ext bu ilkeyi nasıl uygular?
7. /usr/ast/mbox yolunun çözümlenmesi önbelleksiz kaç disk erişimi gerektirir? Önbellek ile ipucu arasındaki fark nedir?
8. Bit sayma örneğinde döngü, makro ve tablo yöntemlerini yer ve zaman açısından karşılaştırın.
9. futex neden yaygın durumu hızlandırmanın iyi bir örneğidir?
10. Brooks yasasını iletişim yolu sayısıyla gerekçelendirin: 10 kişilik ekipte kaç yol vardır?

Özet

Kaynaklar

• A. S. Tanenbaum, H. Bos, Modern Operating Systems, 4. baskı (2014) / 5. baskı (2022), Pearson — Bölüm 12: Operating System Design.
• B. W. Lampson, “Hints for Computer System Design”, ACM SOSP, 1983 (ve 2020 güncellemesi “Hints and Principles for Computer System Design”).
• F. P. Brooks Jr., The Mythical Man-Month: Essays on Software Engineering, 20. yıl baskısı, Addison-Wesley, 1995 — “No Silver Bullet” (1986) dahil.
• J. H. Saltzer, M. F. Kaashoek, Principles of Computer System Design: An Introduction, Morgan Kaufmann, 2009.
• D. R. Engler, M. F. Kaashoek, J. O’Toole, “Exokernel: An Operating System Architecture for Application-Level Resource Management”, SOSP 1995.
• G. Klein vd., “seL4: Formal Verification of an OS Kernel”, SOSP 2009; J. N. Herder vd., MINIX 3 güvenilirlik çalışmaları.
• Linux çekirdeği belgeleri: Rust (docs.kernel.org/rust), BPF ve sched_ext; H. Franke vd., “Fuss, Futexes and Furwocks”, 2002.