Don Porter and his linux kernel related resources

  1. [PDF]

    Linux kernel synchronization

    www.cs.stonybrook.edu/~porter/courses/…/sync-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    18 Nov 2011 – 1. Linux kernel synchronization. Don Porter. CSE 506. The old days. 十 Early/simple OSes (like JOS): No need for synchronization. 十 All kernel

  2. [PDF]

    Scheduling, part 2

    www.cs.stonybrook.edu/~porter/…/scheduling2-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Don Porter. CSE 506. Last time… 十 Scheduling overview, key trade-offs, etc. 十 O(1) scheduler – older Linux scheduler. 十 Today: Completely Fair Scheduler

  3. [PDF]

    Read-Copy Update (RCU)

    www.cs.stonybrook.edu/~porter/courses/cse506/f11/…/rcu.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Don Porter. CSE 506 occasionally written. 十 Like the Linux dcache. 十 RW locks 十 Trick: Linux doesn’t allow a process to sleep while traversing an RCU-protected 十 Linked lists are the workhorse of the Linux kernel. 十 RCU lists are

  4. [PDF]

    The Art and Science of Memory Allocation

    www.cs.stonybrook.edu/~porter/courses/cse506/…/malloc.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    十 Understand how memory allocators work. 十 In both kernel and applications 十 Seminal paper. 十 We’ll also talk about how Linux allocates its own memory

  5. [PDF]

    User-level scheduling

    www.cs.stonybrook.edu/~porter/courses/…/user-threading.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    User-level scheduling. Don Porter 十 2 user threads on 1 kernel thread; start with explicit yield. 十 2 stacks 十 Can map m user threads onto n kernel threads (m >= n). 十 Bookkeeping gets 十 Modern Linux scheduler: 十 A gets a priority

  6. [PDF]

    Device I/O Programming

    www.cs.stonybrook.edu/~porter/courses/cse506/…/devices.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Device I/O. Programming. Don Porter Parallel port (+I/O ports). (from Linux Device Drivers) …. 十 But could be remapped by the kernel. 十 Configuration space

  7. [PDF]

    x86 Memory Protection and Translation

    www.cs.stonybrook.edu/~porter/…/x86-paging-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    十 Privilege levels (separate user and kernel) x86 Processor Modes 十 Bootloader puts the kernel at phys. address 0x00100000. 十 Kernel is compiled to run

  8. [PDF]

    SELinux

    www.cs.sunysb.edu/~porter/courses/…/selinux-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    5 Dec 2011 – Don Porter. CSE 506. MAC vs. DAC. 十 By default, Unix/Linux provides Discretionary Access. Control. 十 The user (subject) has discretion to

  9. [PDF]

    The Art and Science of Memory Allocation

    www.cs.sunysb.edu/~porter/courses/…/malloc-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    14 Nov 2011 – Don Porter. CSE 506. Lecture goal. 十 Understand how memory allocators work. 十 In both kernel and applications. 十 Understand trade-offs

  10. [PDF]

    User-level scheduling

    www.cs.sunysb.edu/~porter/…/user-threading-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    14 Nov 2011 – Don Porter. CSE 506. Context. 十 Multi-threaded application; more threads than CPUs. 十 Simple threading approach: 十 Create a kernel

  11. [PDF]

    Networking

    www.cs.sunysb.edu/~porter/courses/cse506/…/networking.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Linux implementation. 十 Sockets implemented in the kernel. 十 So are TCP, UDP and IP. 十 Benefits: 十 Application doesn’t need to be scheduled for TCP ACKs

  12. [PDF]

    Process Address Spaces and Binary Formats

    www.cs.sunysb.edu/~porter/…/address-spaces-handout.pdf
    File Format: PDF/Adobe Acrobat – View as HTML
    14 Nov 2011 – Don Porter – CSE 506. Housekeeping Kernel data structure memory use proportional to complexity of address space! Linux: vm_area_struct. 十Linux represents portions of a process with a vm_area_struct, or vma

  13. [PDF]

    The Page Cache

    www.cs.sunysb.edu/~porter/courses/…/page-cache-handout.pd
    File Format: PDF/Adobe Acrobat – Quick View
    14 Nov 2011 – 十 Just like JOS, Linux represents physical memory with an array of page …. 十 Recall: a kernel thread is a task that only runs in the kernel’s

  14. [PDF]

    Virtual File System

    www.cs.sunysb.edu/~porter/courses/cse506/…/vfs-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    14 Nov 2011 – Don Porter. CSE 506 only backed by kernel data structures Kernel keeps a circular list of all of these Linux uses the name inode

  15. [PDF]

    Device I/O Programming

    www.cs.sunysb.edu/~porter/courses/…/devices-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    14 Nov 2011 – Don Porter. CSE 506. Overview (from Linux Device Drivers) interrupts from the …. 十 But could be remapped by the kernel. 十 Configuration

  16. [PDF]

    Copyright by Christopher J. Rossbach 2009

    www.cs.utexas.edu/~rossbach/pubs/rossbach-thesis-final.pdf
    File Format: PDF/Adobe Acrobat
    by D Burger – Cited by 1Related articles
    In particular, thanks to Hany Ramadan, Don Porter and Owen Hofmann ….. 3.3 Synchronization overhead in Linux, and TxLinux-SS. . . . . . . . . . 38 …. runtime in thekernel (by making system calls, e.g., to read and write files), an- other benefit of

  17. [PDF]

    CS 380S – Theory and Practice of Secure Systems

    www.cs.utexas.edu/~shmat/courses/…/06tocttou-porter.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Don Porter. CS 380S. TOCTTOU Attacks …. ◇Example: when two Linux threads share file Kernel detection and compensation (RaceGuard). 4. User-mode

  18. [PDF]

    Copyright by Jung Woo Ha 2009

    www.cs.utexas.edu/users/habals/papers/ha-diss.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    by SM Blackburn – Related articles
    Bert Maher, Don Porter, Dimitris Prountzos, Christopher Rossbach, Hany Ra- madan…… We run a 2.6.24 Linux kernel with Pettersson’s performance counter

  19. [PDF]

    Mining Statistical Correlations with Applications to Software Analysis

    www.lib.utexas.edu/etd/d/2008/…/davisd55503.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    by J Ghosh – Related articles
    Matyas Sustik, along with Emmett’s Clarify research group: Don Porter, Hany ……classes), Foxpro (a database manager, 4 classes), and Iptables (a Linux kernel

  20. Conference Reports

    static.usenix.org/publications/login/2011…/OSDI10reports.pdf
    tions that demonstrate kernel-based scalability problems and exploring the root shelf 48-core Linux x86 server, running the applications on a RAM disk to avoid Don Porter, Michael Roitzsch, Justin Seyster, Robert Soule, Nathan. Taylor

  21. [PDF]

    Page Frame Reclaiming

    www.cs.stonybrook.edu/~porter/courses/cse506/f11/…/pfra.pd
    File Format: PDF/Adobe Acrobat – Quick View
    Don Porter. CSE 506 十 Reminder: Similar to JOS, Linux stores physical page descriptors in an array. 十 Contents …. 十 Not balanced (in Linux, some uses balance them). 十 Use case: (from Understanding the Linux Kernel) that neither of

  22. [PDF]

    Networking

    www.cs.stonybrook.edu/~porter/…/networking-handout.pdf
    File Format: PDF/Adobe Acrobat – View as HTML
    (from Understanding Linux Network Internals). At each layer, numerous ….Kerneltrusted with correct delivery of packets. 十 A single system call (i386):

  23. [PDF]

    Scheduling

    www.cs.stonybrook.edu/~porter/…/scheduling-handout.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    (Linux) Terminology. 十 mm_struct – represents an address space in kernel. 十 task – represents a thread in the kernel. 十 A task points to 0 or 1 mm_structs

  24. [PDF]

    Interrupts and System Calls

    www.cs.stonybrook.edu/~porter/courses/…/f11/…/interrupts.pd
    File Format: PDF/Adobe Acrobat – Quick View
    十 Our kernel is pretty simple (uniprocessor only). 十 Why not just share one TSS andkernel stack per-process? 十 Linux generalization: 十 One TSS per CPU

  25. [PDF]

    Process Address Spaces and Binary Formats

    www.cs.stonybrook.edu/~porter/courses/…/address-spaces.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Binary Formats. Don Porter – CSE 506 Kernel data structure memory use proportional to Linux represents portions of a process with a vm_area_struct,

  26. [PDF]

    Encrypted File Systems

    www.cs.stonybrook.edu/~porter/courses/cse506/…/cryptfs.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Don Porter. CSE 506 Linux: dm-crypt. 十 Windows: BitLocker. 十 Mac: …. 十 Decryption facilities usually need a booted kernel to work. 十 Big win for FS

  27. [PDF]

    The Page Cache

    www.cs.stonybrook.edu/~porter/courses/…/page-cache.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    十 Just like JOS, Linux represents physical memory with an array of page structs …. 十 Recall: a kernel thread is a task that only runs in the kernel’s address

  28. [PDF]

    VFS, Continued

    www.cs.stonybrook.edu/~porter/courses/cse506/f11/…/vfs2.pd
    File Format: PDF/Adobe Acrobat – Quick View
    VFS, Continued. Don Porter Open summary. 十 Key kernel tasks: 十 Map a 十 Or the network, or kernel data structures… 十 If found, check whether it is a

  29. [PDF]

    Virtual File System

    www.cs.stonybrook.edu/~porter/courses/cse506/f11/…/vfs.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    Virtual File System. Don Porter only backed by kernel data structures. 十 And, of Kernel keeps a circular list of all of these Linux uses the name inode

  30. [PDF]

    Improving File System Consistency and Durability with Patches and

    www.frostnet.net/chris/research/frost-dissertation.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    by CC Frost – 2010 – Related articles
    2.6.3 Benchmarks and Linux Comparison . …. Mike Dahlin, Jason Flinn, Galen Hunt,Don Porter, and Emmett Witchel ….. of Featherstitch with the Linux kernel.

  31. [PDF]

    Safe to the Last Instruction: Automated Verification of a Type-Safe

    people.csail.mit.edu/jeanyang/papers/pldi117-yang.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    by J Yang – 2010 – Cited by 17Related articles
    top of the Nucleus, and applications that run on top of the kernel. …… taken, for the Singularity operating system (2156 cycles), the Linux operating system ….. gale, Don Porter, Shaz Qadeer, Rustan Leino, Juan Chen, and David. Tarditi for their

  32. Re: Generic platform name

    coding.derkeiler.com/pdf/Archive/Tcl/comp…/msg01118.pdf
    25 Nov 2005 – environment. Eg. the x86_64 Linux kernel recogonizes *two* mutually The kernel can set of processor status put to switch From: Don Porter

  33. [PDF]

    OOMMF User’s Guide January 15, 2004 This manual documents

    math.nist.gov/oommf/doc/…/userguide11b2_20040115.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    15 Jan 2004 – Mike Donahue and Don Porter. In order to allow a ….. Using the Cygwin toolkit Cygwin8 is a Linux-like environment for Windows, which includes the GNU C++…… kernel that describes the cell to cell magnetostatic interaction.

  34. [PDF]

    OOMMF User’s Guide October 30, 2002 This manual documents

    math.nist.gov/oommf/doc/…/userguide12a3_20021030.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    30 Oct 2002 – Mike Donahue and Don Porter. …. Tcl name for OS: Linux 2.2.20 ……tization kernel, or special properties of the Fourier Transform when applied

  35. [PDF]

    Better I/O through byte-addressable, persistent memory

    www.cs.rochester.edu/~ipek/sosp09.pdf
    File Format: PDF/Adobe Acrobat – Quick View
    by J Condit – 2009 – Cited by 71Related articles
    file’s data could be accessed without a trap to the kernel. Wear leveling will be required to ….. naling file system comparable to Linux’s миП. 2Available from иид ….. Eddie Kohler, Don Porter, and Emmett Witchel for their insightful feedback. 9.

  36. [PDF]

    MULTISCALE MATERIALS MODELLING PROGRAMS

    www.doria.fi/bitstream/handle/…/nbnfi-fe201105171558.pdf?…Share
    File Format: PDF/Adobe Acrobat – Quick View
    by H Nenonen – 2010 – Related articles
    17 May 2011 – The kernel for the paral- lel Fast Fourier …… Windows, Linux and Mac OS X developed since 1993, that finally makes it really easy to …. Development: The main contributors to OOMMF are Mike Donahue, and Don Porter.

Advertisements

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: