CSC 660: Advanced Operating SystemsSlide #1 CSC 660: Advanced OS Memory Addressing / Kernel Modules

CSC 660: Advanced Operating SystemsSlide #2 Topics 1.x86 Memory Addressing 2.Segmentation 3.Paging 4.Kernel Modules

CSC 660: Advanced Operating SystemsSlide #3 x86 Memory Address Types Logical Address –The addresses found in machine code are logical. –Consist of a segment + offset w/i that segment. Linear (Virtual) Address –Single 32-bit integer. –Translated by paging unit into a physical address. Physical Address –Used to address memory cells in memory chips.

CSC 660: Advanced Operating SystemsSlide #4 Segment Registers Six registers: cs, ss, ds, es, fs, gs –contain 16-bit segment selector fields –3 segment registers are special purpose (cs, ss, ds) cs: points to code segment –Also includes 2-bit Current Privilege Level (CPL) –CPL is the ring value (ring 0 is kernel, 3 is user) ss: points to stack segment ds: points to data segment

CSC 660: Advanced Operating SystemsSlide #5 Segment Descriptors Segment descriptor represents a segment –Base: 32-bit linear segment initial address –Limit: 20-bit segment length (usually in 4K pages, but in bytes if granularity flag cleared.) –System flag: 0 if kernel data, 1 otherwise. –Type: 4-bit type (code, data, task state, LDT) –DPL: Descriptor Privilege Level, segment can only be accessed if CPL <= DPL. Segment descripors stored in –GDT: Global Descriptor Table –LDT: Local Descriptor Table (one per process)

CSC 660: Advanced Operating SystemsSlide #6 Logical to Linear Address Translation Logical Address = 16 bit segment selector + 32 bit offset Segment Selector: 13-bit index into GDT or LDT Table Indicator (TI) flag (0=GDT) Requestor Privilege Level, which is the CPL when selector used. Translation: 1. Select GDT or LTD based on TI 2. Multiply index by 8-byte desc len. 3. Lookup base in segment desc. 4. Linear = segment base + offset

CSC 660: Advanced Operating SystemsSlide #7 Linux Segmentation Linux uses segmentation only where required by x86 architecture. –Uses GDT almost exclusively. –Processes can set up their own LDTs, which is useful for Windows compatibility (WINE.) Linux segments –Kernel Code Segment (all memory, DPL=0) –Kernel Data Segment (all memory, DPL=0, data perms) –User Code Segment (all memory, DPL=3) –User Data Segment (all memory, DPL=3, data perms) –Task State Segment (236 bytes, one/processor) –Default LDT shared by all processes –APM/PNP support segments

CSC 660: Advanced Operating SystemsSlide #8 Linux GDT

CSC 660: Advanced Operating SystemsSlide #9 Linear to Physical Translation Handled by paging unit. –Divides memory into 4KB pages. Linear address is divided into 3 fields –Directory: most significant 10 bits –Table: middle 10 bits –Offset: least significant 12 bits Page Directory –Every active process must have a Page Directory. –cr3 register points to address of in-use PD. –Page tables are allocated when needed.

CSC 660: Advanced Operating SystemsSlide #10 x86 Paging

CSC 660: Advanced Operating SystemsSlide #11 Page Table Entries Present Flag If 0, page not in memory, so paging unit stores linear addr in cr2 and generates exception 14 (Page Fault) on access. Offset Least significant 12 bits of address. Accessed Flag Set when paging unit accesses page. Dirty Flag Set when a write operation performed on page. Read/Write Flag Protection flag: is page read-only or read/write? User/Supervisor Flag Privilege level required to access page or page table. Page Size Flag If 1, page directory entries refer to large (4MB) pages.

CSC 660: Advanced Operating SystemsSlide #12 Physical Address Extension (PAE) Allows access to 2 36 = 64GB physical RAM. Splits memory into 2 24 pages. –Page table entries expanded to handle 24-bit addressing. Page Directory Pointer Table (PDPT) –New level of Page Table with 4 entries. Linear Addresses are still 32-bits long –cr3 register points to PDPT. –PDPT: most significant 2 bits –Directory: next 9 bits –Table: next 9 bits –Offset: least significant 12 bits

CSC 660: Advanced Operating SystemsSlide #13 What are Kernel Modules? Parcels of code that can be dynamically inserted or removed from kernel at run time.

CSC 660: Advanced Operating SystemsSlide #14 Why use Kernel Modules? Ease of maintenance Compile kernel once. Build, add, and remove modules afterwards. Ease of distribution Compile single kernel for all machines. Include drivers / options as modules. Vendors can distribute drivers as modules.

CSC 660: Advanced Operating SystemsSlide #15 What modules are loaded? > lsmod | head Module Size Used by vmnet vmmon proc_intf freq_table cpufreq_userspace cpufreq_ondemand cpufreq_powersave video sony_acpi > head -3 /proc/modules vmnet Live 0xf8c3a000 vmmon Live 0xf8c85000 proc_intf Live 0xf8c2c000

CSC 660: Advanced Operating SystemsSlide #16 Loading Kernel Modules modprobe name 1.Lookup name Resolve aliases using /etc/modprobe.conf 2.Check dependencies /lib/modules/version/modules.dep Created by depmod –a 3.Load prerequisite modules with insmod 4.Load named module.

CSC 660: Advanced Operating SystemsSlide #17 Module Licensing Specified with MOD_LICENSE() macro. If an unlicensed module loaded, kernel tainted: hellomod: module license ‘unspecified’ taints kernel Options found in linux/module.h GPL Dual BSD/GPL Proprietary

CSC 660: Advanced Operating SystemsSlide #18 Why Module Licensing? From linux/module.h : 1.So modinfo can tell users if kernel is free. 2.So community can ignore bug reports including proprietary modules. 3.So vendors can do likewise based on their own policies.

CSC 660: Advanced Operating SystemsSlide #19 Init and Cleanup Kernel modules must have two functions. init_module Alternatively declare with __init attribute. Return 0 on success or module will be unloaded. Ex: register interrupt handler, add system call. cleanup_module Alternatively declare with __exit attribute Undoes whatever init_module did so module can be unloaded safely.

CSC 660: Advanced Operating SystemsSlide #20 Includes All modules need For printk need Others depending on function.

CSC 660: Advanced Operating SystemsSlide #21 References 1.Daniel P. Bovet and Marco Cesati, Understanding the Linux Kernel, 3 rd edition, O’Reilly, Robert Love, Linux Kernel Development, 2 nd edition, Prentice-Hall, Kwan Lowe, Kernel Rebuild Guide, HOWTO.html, HOWTO.html 4.Claudia Rodriguez et al, The Linux Kernel Primer, Prentice-Hall, Peter Salzman et. al., Linux Kernel Module Programming Guide, version 2.6.1, Andrew S. Tanenbaum, Modern Operating Systems, 2 nd edition, Prentice-Hall, 2001.