47
Threads, SMP, and Microkernels Chapter 4

Threads, SMP, and Microkernels

Embed Size (px)

DESCRIPTION

Threads, SMP, and Microkernels. Chapter 4. Processes and Threads. Operating systems use processes for two purposes - Resource allocation and resource ownership (memory, I/O, files …) - Execution of programs This leads to a `heavy’ state (i.e. large state information). - PowerPoint PPT Presentation

Citation preview

Page 1: Threads, SMP, and Microkernels

Threads, SMP, and Microkernels

Chapter 4

Page 2: Threads, SMP, and Microkernels

Processes and Threads

• Operating systems use processes for two purposes

- Resource allocation and resource ownership (memory, I/O, files …)

- Execution of programs

This leads to a `heavy’ state (i.e. large state information). It makes process switching very expensive *** Hence we have threads!! ***

Page 3: Threads, SMP, and Microkernels

Process Definition

• Process is defined as

(proc id, code, data, registers, pc value)

But OS associates a lot of other info with it, e.g. memory, I/O, files, …

Hence a Thread is defined as a 5-tuple

WITHIN a process

Page 4: Threads, SMP, and Microkernels

Multithreading

• Operating system supports multiple threads of execution within a single process

• MS-DOS supports a single thread

• UNIX supports multiple user processes but only supports one thread per process

• Windows 2000, Solaris, Linux, Mach, and OS/2 support multiple threads

Page 5: Threads, SMP, and Microkernels
Page 6: Threads, SMP, and Microkernels

Process

• Have a virtual address space which holds the process image

• Protected access to processors, other processes, files, and I/O resources

• All these items form the `context’ of a

process. Context of the executing process has to be saved when process switching occurs

Page 7: Threads, SMP, and Microkernels

Motivation for threads

• Saving of process context is expensive!

• Saving of process context is sometimes redundant!

For example, Unix parent and child processes execute in same context. Hence context saving is redundant while switching from parent to child process.

Page 8: Threads, SMP, and Microkernels

Thread

• A thread exists in a process and shares its context.

• The thread itself has a `light’ context: only the PSW and register contents

• All threads in a process share the resources of the process

• Switching between threads of same process is thus very inexpensive and fast

Page 9: Threads, SMP, and Microkernels

Threads: where to use

• If concurrent activities within a program share programs or data, use threads instead of processes

• An example: A real time system to 1. Receive a weather map 2. Store a weather map 3. Perform statistical analysis All data can be shared by these 3 activities,

hence have one process for the application and create 3 threads in it.

Page 10: Threads, SMP, and Microkernels

Threads: Where to use

• Some servers receive a heavy traffic of requests. Serving them sequentially leads to poor response times

• Hence create multiple activities in the server, each activity handles one request

• If these activities share some common data, create a thread to start a new activity

• Q: What will happen if one uses processes?

Page 11: Threads, SMP, and Microkernels

Thread

• An execution state (running, ready, etc.)

• Saved thread context when not running

• Has an execution stack

• Some per-thread static storage for local variables

• Access to the memory and resources of its process– all threads of a process share this

Page 12: Threads, SMP, and Microkernels
Page 13: Threads, SMP, and Microkernels

Benefits of Threads

• Takes less time to create a new thread than a process

• Less time to terminate a thread than a process• Less time to switch between two threads

within the same process• Since threads within the same process share

memory and files, they can communicate with each other without invoking the kernel

Page 14: Threads, SMP, and Microkernels

Uses of Threads in a Single-User Multiprocessing System

• Foreground to background work, i.e.

perform the 2 activities at different

priorities.

• Asynchronous processing

• Speedy execution

• Modular program structure

Page 15: Threads, SMP, and Microkernels

Threads

• Suspending a process involves suspending all threads of the process since all threads share the same address space

• Termination of a process terminates all threads within the process

Page 16: Threads, SMP, and Microkernels

Thread States

• States associated with a change in thread state– Spawn

• Spawn another thread

– Block– Unblock– Finish

• Deallocate register context and stacks

Page 17: Threads, SMP, and Microkernels

User-Level Threads

• All thread management is done by the application

• The kernel is not aware of the existence of threads

Page 18: Threads, SMP, and Microkernels

Kernel-Level Threads

• W2K, Linux, and OS/2 are examples of this approach

• Kernel maintains context information for the process and the threads

• Scheduling is done on a thread basis

Page 19: Threads, SMP, and Microkernels

Combined Approaches

• Example is Solaris

• Thread creation done in the user space

• Bulk of scheduling and synchronization of threads done in the user space

Page 20: Threads, SMP, and Microkernels
Page 21: Threads, SMP, and Microkernels

Relationship Between Threads and Processes

Threads:Process Description Example Systems

1:1 Each thread of execution is aunique process with its ownaddress space and resources.

Traditional UNIX implementations

M:1 A process defines an addressspace and dynamic resourceownership. Multiple threadsmay be created and executedwithin that process.

Windows NT, Solaris, OS/2,OS/390, MACH

Page 22: Threads, SMP, and Microkernels

Relationship Between Threads and Processes

Threads:Process Description Example Systems

1:M A thread may migrate from oneprocess environment toanother. This allows a threadto be easily moved amongdistinct systems.

Ra (Clouds), Emerald

M:M Combines attributes of M:1and 1:M cases

TRIX

Page 23: Threads, SMP, and Microkernels

This is the end!

• As far as our course is concerned, this is all we need to know about threads.

• Solaris threads are interesting. Read about them if you feel like.

Page 24: Threads, SMP, and Microkernels

Categories of Computer Systems

• Single Instruction Single Data (SISD)– single processor executes a single

instruction stream to operate on data stored in a single memory

• Single Instruction Multiple Data (SIMD)– each instruction is executed on a different

set of data by the different processors

Page 25: Threads, SMP, and Microkernels

Categories of Computer Systems

• Multiple Instruction Single Data (MISD)– a sequence of data is transmitted to a set of

processors, each of which executes a different instruction sequence. Never implemented

• Multiple Instruction Multiple Data (MIMD)– a set of processors simultaneously execute

different instruction sequences on different data sets

Page 26: Threads, SMP, and Microkernels
Page 27: Threads, SMP, and Microkernels

Symmetric Multiprocessing

• Kernel can execute on any processor

• Typically each processor does self-scheduling form the pool of available process or threads

Page 28: Threads, SMP, and Microkernels
Page 29: Threads, SMP, and Microkernels

Multiprocessor Operating System Design Considerations• Simultaneous concurrent processes or

threads

• Scheduling

• Synchronization

• Memory Management

• Reliability and Fault Tolerance

Page 30: Threads, SMP, and Microkernels

Microkernels

• Small operating system core• Contains only essential operating systems

functions• Many services traditionally included in the

operating system are now external subsystems– device drivers– file systems– virtual memory manager– windowing system– security services

Page 31: Threads, SMP, and Microkernels

Benefits of a Microkernel Organization

• Uniform interface on request made by a process– All services are provided by means of

message passing

• Extensibility– Allows the addition of new services

• Flexibility– New features added– Existing features can be subtracted

Page 32: Threads, SMP, and Microkernels

Benefits of a Microkernel Organization

• Portability– Changes needed to port the system to a new

processor is changed in the microkernel - not in the other services

• Reliability– Modular design– Small microkernel can be rigorously tested

Page 33: Threads, SMP, and Microkernels

Benefits of Microkernel Organization

• Distributed system support– Message are sent without knowing what the

target machine is

• Object-oriented operating system– Components are objects with clearly

defined interfaces that can be interconnected to form software

Page 34: Threads, SMP, and Microkernels

Microkernel Design

• Low-level memory management– mapping each virtual page to a physical

page frame

• Inter-process communication

• I/O and interrupt management

Page 35: Threads, SMP, and Microkernels
Page 36: Threads, SMP, and Microkernels

Windows 2000Process Object

Page 37: Threads, SMP, and Microkernels

Windows 2000Thread Object

Page 38: Threads, SMP, and Microkernels

Windows 2000Thread States

• Ready

• Standby

• Running

• Waiting

• Transition

• Terminated

Page 39: Threads, SMP, and Microkernels
Page 40: Threads, SMP, and Microkernels

Solaris

• Process includes the user’s address space, stack, and process control block

• User-level threads

• Lightweight processes

• Kernel threads

Page 41: Threads, SMP, and Microkernels
Page 42: Threads, SMP, and Microkernels
Page 43: Threads, SMP, and Microkernels

Solaris Thread Execution

• Synchronization

• Suspension

• Preemption

• Yielding

Page 44: Threads, SMP, and Microkernels
Page 45: Threads, SMP, and Microkernels

Linux Process

• State• Scheduling information• Identifiers• Interprocess communication• Links• Times and timers• File system• Virtual memory• Processor-specific context

Page 46: Threads, SMP, and Microkernels

Linux States of a Process

• Running

• Interruptable

• Uninterruptable

• Stopped

• Zombie

Page 47: Threads, SMP, and Microkernels