SP Lecture 7 & 8 Threads User Kernel Components
SP Lecture 7 & 8 Threads User Kernel Components
Chapter 4: Threads
Thread Overview
Multithreading Models
Thread libraries
Threading Issues
Pthreads
Windows XP Threads
Linux Threads
Java Threads
Operating System Concepts – 7th edition, Jan 23, 2005 4.2 Silberschatz, Galvin and Gagne ©2005
Single and Multithreaded Processes
Operating System Concepts – 7th edition, Jan 23, 2005 4.3 Silberschatz, Galvin and Gagne ©2005
Benefits
Responsiveness
Resource Sharing
Economy
Utilization of MP Architectures
Operating System Concepts – 7th edition, Jan 23, 2005 4.4 Silberschatz, Galvin and Gagne ©2005
User Threads
Thread management done by user-level threads library
Operating System Concepts – 7th edition, Jan 23, 2005 4.5 Silberschatz, Galvin and Gagne ©2005
Kernel Threads
Supported by the Kernel
Examples
Windows XP/2000
Solaris
Linux
Tru64 UNIX
Mac OS X
Operating System Concepts – 7th edition, Jan 23, 2005 4.6 Silberschatz, Galvin and Gagne ©2005
Multithreading Models
Many-to-One
One-to-One
Many-to-Many
Operating System Concepts – 7th edition, Jan 23, 2005 4.7 Silberschatz, Galvin and Gagne ©2005
Many-to-One
Many user-level threads mapped to single kernel thread
Examples:
Solaris Green Threads
GNU Portable Threads
Operating System Concepts – 7th edition, Jan 23, 2005 4.8 Silberschatz, Galvin and Gagne ©2005
Many-to-One Model
Operating System Concepts – 7th edition, Jan 23, 2005 4.9 Silberschatz, Galvin and Gagne ©2005
One-to-One
Each user-level thread maps to kernel thread
Examples
Windows NT/XP/2000
Linux
Solaris 9 and later
Operating System Concepts – 7th edition, Jan 23, 2005 4.10 Silberschatz, Galvin and Gagne ©2005
One-to-one Model
Operating System Concepts – 7th edition, Jan 23, 2005 4.11 Silberschatz, Galvin and Gagne ©2005
Many-to-Many Model
Operating System Concepts – 7th edition, Jan 23, 2005 4.12 Silberschatz, Galvin and Gagne ©2005
Many-to-Many Model
Operating System Concepts – 7th edition, Jan 23, 2005 4.13 Silberschatz, Galvin and Gagne ©2005
Two-level Model
Operating System Concepts – 7th edition, Jan 23, 2005 4.14 Silberschatz, Galvin and Gagne ©2005
Two-level Model
Operating System Concepts – 7th edition, Jan 23, 2005 4.15 Silberschatz, Galvin and Gagne ©2005
Threading Issues
Operating System Concepts – 7th edition, Jan 23, 2005 4.16 Silberschatz, Galvin and Gagne ©2005
Semantics of fork() and exec()
Does fork() duplicate only the calling thread or all threads?
Operating System Concepts – 7th edition, Jan 23, 2005 4.17 Silberschatz, Galvin and Gagne ©2005
Thread Cancellation
Operating System Concepts – 7th edition, Jan 23, 2005 4.18 Silberschatz, Galvin and Gagne ©2005
Signal Handling
Operating System Concepts – 7th edition, Jan 23, 2005 4.19 Silberschatz, Galvin and Gagne ©2005
Thread Pools
Create a number of threads in a pool where they await work
Advantages:
Usually slightly faster to service a request with an existing
thread than create a new thread
Allows the number of threads in the application(s) to be
bound to the size of the pool
Operating System Concepts – 7th edition, Jan 23, 2005 4.20 Silberschatz, Galvin and Gagne ©2005
Thread Specific Data
Allows each thread to have its own copy of data
Useful when you do not have control over the thread
creation process (i.e., when using a thread pool)
Operating System Concepts – 7th edition, Jan 23, 2005 4.21 Silberschatz, Galvin and Gagne ©2005
Scheduler Activations
Both M:M and Two-level models require communication to
maintain the appropriate number of kernel threads allocated
to the application
Scheduler activations provide upcalls - a communication
mechanism from the kernel to the thread library
This communication allows an application to maintain the
correct number kernel threads
Operating System Concepts – 7th edition, Jan 23, 2005 4.22 Silberschatz, Galvin and Gagne ©2005
Thread library
A thread library provides the programmer an API for creating
and managing threads. There are two primary ways of
implementing a thread library. The first approach is to provide a
library entirely in user space with no kernel support.
All code and data structures for the library exist in user space. This
means that invoking a function in the library results in a local
function call in user space and not a system call.
The second approach is to implement a kernel-level library
supported directly by the operating system. In this case, code and
data structures for the library exist in kernel space. Invoking a
function in the API for the library typically results in a system call to
the kernel
Operating System Concepts – 7th edition, Jan 23, 2005 4.23 Silberschatz, Galvin and Gagne ©2005
Pthreads
A POSIX standard (IEEE 1003.1c) API for thread
creation and synchronization
API specifies behavior of the thread library,
implementation is up to development of the library
Common in UNIX operating systems (Solaris, Linux,
Mac OS X)
Operating System Concepts – 7th edition, Jan 23, 2005 4.24 Silberschatz, Galvin and Gagne ©2005
Windows XP Threads
Implements the one-to-one mapping
Each thread contains
A thread id
Register set
Separate user and kernel stacks
Private data storage area
The register set, stacks, and private storage area are known
as the context of the threads
The primary data structures of a thread include:
ETHREAD (executive thread block)
KTHREAD (kernel thread block)
TEB (thread environment block)
Operating System Concepts – 7th edition, Jan 23, 2005 4.25 Silberschatz, Galvin and Gagne ©2005
Linux Threads
Operating System Concepts – 7th edition, Jan 23, 2005 4.26 Silberschatz, Galvin and Gagne ©2005
Java Threads
Java threads are managed by the JVM
Operating System Concepts – 7th edition, Jan 23, 2005 4.27 Silberschatz, Galvin and Gagne ©2005
Java Thread States
Operating System Concepts – 7th edition, Jan 23, 2005 4.28 Silberschatz, Galvin and Gagne ©2005
End of Chapter 4