← Kembali ke Beranda / 16 Modul Perkuliahan
REPOSITORI BAHAN AJAR LENGKAP

16 Bab Modul, Slide & Problem Sets C1–C6

Koleksi lengkap materi perkuliahan Sistem Operasi: 15 Slide Beamer (PDF), 15 Lembar Kerja Mahasiswa (LKM), bank soal bertingkat Taksonomi Bloom C1-C6, dan penugasan bacaan buku teks (OSTEP, TLCL, Think OS, xv6).

Minggu 1 Kernel & Proses

Pengantar Sistem Operasi & Linux System Calls

Dual-Mode Operation, Trap/Interrupt, Silsilah UNIX/BSD/Linux, dan Tracing Syscalls

Sub-CPMK 1: Mampu membedakan User Mode vs Kernel Mode, mekanisme context transition, dan melacak alur system call menggunakan alat bantu Linux.
Peran OS: Resource Manager & Extended MachineProteksi Hardware: User Mode (Ring 3) vs Kernel Mode (Ring 0)Mekanisme Trap, Exception, dan Hardware InterruptSilsilah UNIX: AT&T Bell Labs, BSD, GNU Project, dan Linux TorvaldsTracing System Call Menggunakan strace, uname, dan dmesg
Tugas Bacaan (OSTEP & TLCL):

OSTEP Ch. 2 (Introduction) & TLCL Ch. 1-4 (Terminal & Navigation) — OSTEP Hal. 1-22; TLCL Hal. 1-45

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 2 Kernel & Proses

Arsitektur Kernel & Proses Booting

Monolithic (Linux), Microkernel (seL4), Hybrid Darwin (macOS), dan Alur Booting UEFI/Systemd

Sub-CPMK 2: Mampu menganalisis perbedaan struktur arsitektur kernel dan menelusuri urutan booting dari BIOS/UEFI hingga init/systemd.
Arsitektur Monolithic Kernel: Linux & FreeBSDArsitektur Microkernel: Minix & Formal Verification seL4Arsitektur Hybrid: macOS Darwin (XNU / Mach + BSD)Alur Booting: Firmware UEFI -> Bootloader GRUB -> Kernel Init -> systemd (PID 1)Loadable Kernel Modules (LKM): insmod, rmmod, lsmod
Tugas Bacaan (OSTEP & Think OS):

OSTEP Ch. 6 (Direct Execution) & Think OS Ch. 1 (Compilation & OS) — OSTEP Hal. 55-68; Think OS Hal. 1-12

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 3 Kernel & Proses

Manajemen Proses & Pemrograman POSIX C

Process Control Block (PCB), Context Switch, State Diagram, serta System Calls fork, execvp, waitpid

Sub-CPMK 3: Mampu mengimplementasikan pembuatan dan manajemen proses hierarkis dalam bahasa C menggunakan POSIX API.
Abstraksi Proses & Process Control Block (PCB task_struct)State Diagram Proses: New, Ready, Running, Waiting, TerminatedMekanisme Context Switch & Overhead Register SavingPembuatan Proses POSIX C: fork(), execvp(), wait(), waitpid()Zombie & Orphan Processes, Serta Manajemen Signal (SIGINT, SIGKILL)
Tugas Bacaan (OSTEP & xv6 RISC-V):

OSTEP Ch. 4-5 (Processes & API) & xv6 RISC-V Ch. 1 (Operating System Interfaces) — OSTEP Hal. 23-54; xv6 Hal. 9-22

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 4 Penjadwalan & Konkurensi

Penjadwalan CPU (CPU Scheduling) & MLFQ

Metrik Kinerja (AWT, TAT), Algoritma FCFS, SJF, Round Robin, dan Multilevel Feedback Queue (MLFQ)

Sub-CPMK 4: Mampu menghitung metrik performa penjadwalan CPU dan merancang aturan prioritas dinamis MLFQ multi-core.
Konsep CPU Burst & I/O Burst CycleKriteria Penjadwalan: AWT, TAT, Throughput, FairnessAlgoritma Klasik: FCFS (Convoy Effect) & SJF/SRTF (Starvation)Round Robin (RR) & Optimasi Pemilihan Time Quantum (q)Multilevel Feedback Queue (MLFQ): 5 Aturan Penjadwalan DinamisPengantar Penjadwalan Linux Completely Fair Scheduler (CFS vruntime)
Tugas Bacaan (OSTEP & Think OS):

OSTEP Ch. 7-8 (Scheduling & MLFQ) & Think OS Ch. 3 (Processes & Memory) — OSTEP Hal. 69-98; Think OS Hal. 25-38

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 5 Penjadwalan & Konkurensi

Konkurensi & Sinkronisasi Thread POSIX

Race Condition, Critical Section, Mutex Lock, Semaphores, dan Deteksi ThreadSanitizer

Sub-CPMK 5: Mampu merancang solusi bebas data race untuk problem sinkronisasi klasik menggunakan pthreads dan semaphores.
Abstraksi Thread: Kernel-level Threads vs User-level ThreadsFenomena Race Condition & Critical Section ProblemTiga Syarat Solusi: Mutual Exclusion, Progress, Bounded WaitingMekanisme Hardware: Test-and-Set & Compare-and-Swap (CAS)Primitif POSIX: Mutex Lock, Condition Variables, dan SemaphoresStudi Kasus: Bounded Buffer Producer-Consumer & ThreadSanitizer (-fsanitize=thread)
Tugas Bacaan (OSTEP & Think OS):

OSTEP Ch. 26-31 (Concurrency, Threads, Locks, Condition Variables, Semaphores) — OSTEP Hal. 265-340; Think OS Hal. 55-80

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 6 Penjadwalan & Konkurensi

Penanganan Deadlock & Algoritma Banker

Resource Allocation Graph (RAG), Empat Syarat Coffman, Deteksi, dan Penghindaran dengan Banker's Algorithm

Sub-CPMK 6: Mampu memverifikasi kondisi deadlock pada RAG dan menerapkan algoritma Banker untuk menjamin Safe State alokasi sumber daya.
Definisi Deadlock pada Sistem Multi-ResourceEmpat Syarat Keharusan Coffman untuk Terjadinya DeadlockPemodelan Resource Allocation Graph (RAG) & Deteksi SiklusMetode Penanganan: Pencegahan (Prevention), Penghindaran (Avoidance), & DeteksiBanker's Algorithm: Matriks Need = Max - Allocation & Safe State CheckPendekatan Ostrich Algorithm pada Sistem Operasi Modern
Tugas Bacaan (OSTEP & Think OS):

OSTEP Ch. 32 (Common Concurrency Problems & Deadlock) — OSTEP Hal. 341-360

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 7 Memori & Virtual Memory

Manajemen Memori Utama & Paging 64-Bit

Alokasi Kontigu, Fragmentasi Internal/Eksternal, Translasi Alamat Logika-ke-Fisik, dan Multi-Level Page Table

Sub-CPMK 7: Mampu menghitung translasi alamat logika ke fisik pada skema Paging dan menganalisis arsitektur Multi-level Page Table x86-64.
Ruang Alamat Logika vs Memori FisikAlokasi Kontigu, Dynamic Relocation, dan Fragmentasi EksternalArsitektur Paging Dasar: Page Number (p) dan Offset (d)Akselerasi Translasi Menggunakan Hardware TLB & Hit Rate CalculationHierarki Multi-level Paging x86-64 (PML4, PDPT, PD, PT)Proteksi Bit PTE: Valid/Invalid, Read/Write, User/Supervisor, NX Bit
Tugas Bacaan (OSTEP & xv6 RISC-V):

OSTEP Ch. 13, 15, 18-20 (Address Spaces, Paging, TLB, Multi-level Tables) & xv6 RISC-V Ch. 3 (Page Tables) — OSTEP Hal. 133-146, 175-224; xv6 Hal. 33-46

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 8 Kernel & Proses

Ujian Tengah Semester (UTS)

Evaluasi Komprehensif Teori & Studi Kasus Paruh Pertama (Minggu 1 s.d 7)

Sub-CPMK 8: Evaluasi penguasaan konsep dual-mode, kernel, manajemen proses, penjadwalan CPU, sinkronisasi thread, deadlock, dan memori.
Review Komprehensif Minggu 1 - 7Analisis Kasus Sinkronisasi Producer-Consumer / Readers-WritersPerhitungan AWT dan Turnaround Time MLFQValidasi Safe State Banker's AlgorithmTranslasi Alamat Paging Bertingkat dan Efisiensi TLB
Tugas Bacaan (OSTEP Review):

Review Ch. 1 - 20 & Buku Panduan Praktikum Paruh 1 — Rangkuman Paruh 1

Slide Beamer Lembar Kerja Naskah Ujian (UTS) Modul Lab
Minggu 9 Memori & Virtual Memory

Virtual Memory & Algoritma Page Replacement

Demand Paging, Page Fault Handling, Effective Access Time (EAT), FIFO, Belady's Anomaly, LRU, dan Optimal (OPT)

Sub-CPMK 9: Mampu menganalisis alur penanganan Page Fault dan mengevaluasi performa algoritma Page Replacement (FIFO, LRU, OPT).
Konsep Demand Paging & Alur Penanganan Page Fault oleh KernelKalkulasi Effective Access Time (EAT = (1-p)*ma + p*pft)Algoritma FIFO & Demonstrasi Belady's AnomalyAlgoritma Optimal (OPT / Belady's Min) Sebagai Tolok Ukur TeoretisAlgoritma Least Recently Used (LRU) & Implementasi Hardware Counter/StackAlgoritma Aproksimasi CLOCK (Second Chance) & Fenomena Thrashing
Tugas Bacaan (OSTEP & Think OS):

OSTEP Ch. 21-22 (Beyond Physical Memory: Mechanisms & Policies) & Think OS Ch. 4 (Virtual Memory) — OSTEP Hal. 225-264; Think OS Hal. 39-54

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 10 Storage & File System

File System Interface & Virtual File System (VFS)

Abstraksi Berkas & Direktori, Struktur Inode, Desain VFS Linux/Unix, dan Hard Link vs Symbolic Link

Sub-CPMK 10: Mampu menjelaskan struktur metadata inode, arsitektur VFS, dan membedakan mekanisme link berkas pada sistem Unix.
Abstraksi Berkas: Tipe, Atribut, File Descriptor (FD) TableStruktur Inode: Metadata, Mode, Pointers (Direct, Single/Double Indirect)Struktur Direktori: Mapping Nama Berkas ke Inode NumberPerbedaan Fundamental Hard Link (ln) vs Symbolic/Soft Link (ln -s)Arsitektur Virtual File System (VFS): File, Dentry, Inode, SuperblockEksplorasi Perintah Linux: ls -li, stat, df -i, file
Tugas Bacaan (OSTEP & xv6 RISC-V):

OSTEP Ch. 39-40 (Files and Directories & File System Implementation) & xv6 RISC-V Ch. 8 (File System) — OSTEP Hal. 441-478; xv6 Hal. 87-104

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 11 Storage & File System

File System Implementation, Journaling, & CoW

Alokasi Blok (Contiguous, Linked, Indexed), Journaling Ext4, Copy-on-Write (ZFS / Btrfs), dan Konsistensi Crash

Sub-CPMK 11: Mampu menganalisis integritas data saat system crash, mekanisme Journaling, dan arsitektur modern Copy-on-Write (CoW).
Metode Alokasi Blok Disk: Contiguous, Linked List, Multilevel IndexedManajemen Ruang Bebas: Bit Vector / Free Space BitmapThe Crash Consistency Problem & Bahaya File System CorruptionSolusi Klasik: fsck (File System Consistency Checker) & Overhead-nyaSolusi Modern: Write-Ahead Logging (Journaling Mode: Data, Ordered, Writeback)Paradigma Copy-on-Write (CoW) File System: ZFS Pools, Btrfs Snapshots
Tugas Bacaan (OSTEP & TLCL):

OSTEP Ch. 42-43 (Crash Consistency: FSCK and Journaling & Log-Structured FS) & TLCL Ch. 15 (Storage Media) — OSTEP Hal. 497-534; TLCL Hal. 175-196

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 12 Storage & File System

Storage Sekunder, Disk Scheduling, & RAID

Karakteristik HDD vs Flash SSD (NAND, Wear Leveling, FTL), Algoritma Head Scheduling, dan Arsitektur RAID (0, 1, 5, 6, 10)

Sub-CPMK 12: Mampu menghitung total pergerakan head penjadwalan disk dan merancang konfigurasi array RAID redundan.
Fisik Hard Disk Drive (HDD): Seek Time, Rotational Delay, Transfer RateAlgoritma Penjadwalan Disk: FCFS, SSTF, SCAN (Elevator), C-SCAN, LOOKArsitektur Solid State Drive (SSD): NAND Flash, Block Erasing, Wear Leveling, FTL, TRIMRedundant Array of Independent Disks (RAID): Performa vs Toleransi KegagalanAnalisis Level RAID: RAID 0 (Striping), RAID 1 (Mirroring), RAID 5 (Distributed Parity), RAID 6, RAID 10Perhitungan Kapasitas Efektif & Mean Time To Data Loss (MTTDL)
Tugas Bacaan (OSTEP):

OSTEP Ch. 36-38 (I/O Devices, Hard Disk Drives, Redundant Arrays of Inexpensive Disks) — OSTEP Hal. 391-440

Slide Beamer Lembar Kerja Problem Set C1-C6
Minggu 13 I/O & Sekuriti

Subsistem I/O, Interrupts, & Direct Memory Access (DMA)

Polling vs Interrupt-Driven I/O, DMA Controller, Device Drivers, Buffering/Caching, dan Alur I/O Asinkron

Sub-CPMK 13: Mampu menjelaskan interaksi hardware/software I/O, arsitektur DMA, dan struktur modul Device Driver.
Struktur Hardware I/O: Bus (PCIe, SATA, USB), Controller, Register (Data, Status, Control)Metode Komunikasi I/O: Port I/O vs Memory-Mapped I/O (MMIO)Polling (Busy-Waiting) vs Interrupt-Driven I/ODirect Memory Access (DMA): Bus Mastering & Transfer BufferLapisan Software I/O Kernel: Device Driver, Block Layer, I/O SchedulerMekanisme Buffering, Caching, Spooling, dan POSIX Async I/O (aio_read)
Tugas Bacaan (OSTEP & xv6 RISC-V):

OSTEP Ch. 36 (I/O Devices) & xv6 RISC-V Ch. 5 (Interrupts and Device Drivers) — OSTEP Hal. 391-404; xv6 Hal. 55-66

Slide Beamer Lembar Kerja Problem Set C1-C6
Minggu 14 I/O & Sekuriti

Keamanan Sistem Operasi & Proteksi Kernel

Prinsip Least Privilege, Discretionary vs Mandatory Access Control (DAC/MAC), Linux Capabilities, SELinux, dan Meltdown/Spectre

Sub-CPMK 14: Mampu menganalisis model proteksi sistem operasi, konfigurasi DAC/MAC, dan kerentanan eksekusi spekulatif hardware.
Prinsip Keamanan Sistem Operasi: Least Privilege & Defense in DepthModel Kontrol Akses: Access Control Matrix, DAC (rwx, chown, chmod, setuid)Kelemahan setuid root & Solusi Modern: Linux Capabilities (setcap/getcap)Mandatory Access Control (MAC): Multi-Level Security (MLS), SELinux, AppArmorEksploitasi Memori & Proteksi Kernel: Buffer Overflow, Stack Canary, ASLR, DEP/NXKerentanan Hardware Modern: Speculative Execution, Meltdown, Spectre, & KPTI (Kernel Page Table Isolation)
Tugas Bacaan (Think OS & OSTEP):

Think OS Ch. 1 (Security & OS Protection) & Rujukan Keamanan Linux Capabilities — Think OS Hal. 13-24; Linux manual capabilities(7)

Slide Beamer Lembar Kerja Problem Set C1-C6
Minggu 15 Virtualisasi & Modern OS

Virtualisasi & Containerization (Docker Architecture)

Hypervisor Tipe-1 (Bare-Metal) vs Tipe-2 (Hosted), Hardware-Assisted Virtualization (Intel VT-x), Linux Namespaces, Cgroups, dan Container

Sub-CPMK 15: Mampu membandingkan arsitektur VM vs Container dan mengimplementasikan isolasi lingkungan aplikasi berbasis Docker.
Evolusi Virtualisasi Sistem: Emulasi vs Virtualisasi Penuh vs ParavirtualisasiArsitektur Hypervisor: Type-1 (KVM, ESXi, Xen) vs Type-2 (VirtualBox, QEMU)Hardware-Assisted Virtualization: Intel VT-x VMX Root/Non-Root & Nested Paging (EPT/NPT)OS-Level Virtualization: FreeBSD Jails, Solaris Zones, Linux Containers (LXC)Pilar Inti Linux Container: Namespaces (Isolasi View) & Control Groups/cgroups (Batas Resource)Arsitektur Docker: Docker Daemon, containerd, runc (OCI spec), dan Layered Storage Driver (OverlayFS2)
Tugas Bacaan (OSTEP & TLCL):

OSTEP Ch. 2 (Virtualization overview) & TLCL Ch. 36 (System Isolation & Scripts) — OSTEP Hal. 1-22; TLCL Hal. 480-510

Slide Beamer Lembar Kerja Problem Set C1-C6 Modul Lab
Minggu 16 Virtualisasi & Modern OS

Ujian Akhir Semester (UAS)

Evaluasi Komprehensif Seluruh Capaian Pembelajaran Mata Kuliah (CPMK 1 s.d 5)

Sub-CPMK 16: Evaluasi komprehensif teori memori virtual, file system, disk scheduling, I/O, proteksi sekuriti, dan virtualisasi container.
Sintesis Komprehensif Seluruh Topik PerkuliahanStudi Kasus Integrasi Virtual Memory, Page Replacement, & ThrashingAnalisis Recovery & Performa File System Journaling vs CoWEvaluasi Keamanan Kernel & Hak Akses Linux CapabilitiesArsitektur Isolasi Container dan Efisiensi Resource Cgroups
Tugas Bacaan (OSTEP & Panduan Praktikum Paruh 2):

Review Ch. 21 - 43 & Panduan Praktikum Paruh 2 — Rangkuman Paruh 2

Naskah Ujian (UAS) Modul Lab