threads, smp, and microkernels

59
1 Threads, SMP, and Microkernels Chapter 4

Upload: brendan-dudley

Post on 03-Jan-2016

19 views

Category:

Documents


1 download

DESCRIPTION

Threads, SMP, and Microkernels. Chapter 4. Process. Resource ownership: process includes a virtual address space to hold the process image (fig 3.16) Scheduling/execution: follows an execution path that may be interleaved with other processes - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Threads, SMP, and Microkernels

1

Threads, SMP, and Microkernels

Chapter 4

Page 2: Threads, SMP, and Microkernels

2

Process

Resource ownership: process includes a virtual address space to hold the process image (fig 3.16)

Scheduling/execution: follows an execution path that may be interleaved with other processes

These two characteristics can be treated independently by the operating system

Page 3: Threads, SMP, and Microkernels

3

Process

Unit of dispatching is referred to as a thread or lightweight process

Unit of resource ownership is referred to as a process or task

Page 4: Threads, SMP, and Microkernels

4

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, Solaris, Linux, Mach, and OS/2

support multiple threads

Page 5: Threads, SMP, and Microkernels

5

Page 6: Threads, SMP, and Microkernels

6

Process

Have a virtual address space which holds the process image

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

Page 7: Threads, SMP, and Microkernels

7

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

processall threads of a process share this

Page 8: Threads, SMP, and Microkernels

8

Page 9: Threads, SMP, and Microkernels

9

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 10: Threads, SMP, and Microkernels

10

Uses of Threads in a Single-User Multiprocessing System Foreground to background work Asynchronous processing Speed of execution Modular program structure

Page 11: Threads, SMP, and Microkernels

11

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 12: Threads, SMP, and Microkernels

12

Thread States

States associated with a change in thread stateSpawn

Spawn another thread

BlockUnblockFinish

Deallocate register context and stacks

Page 13: Threads, SMP, and Microkernels

13

Remote Procedure Call Using Single Thread

Page 14: Threads, SMP, and Microkernels

14

Remote Procedure Call Using Threads

Page 15: Threads, SMP, and Microkernels

15

Multithreading

Page 16: Threads, SMP, and Microkernels

16

Adobe PageMaker

Page 17: Threads, SMP, and Microkernels

17

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

18

User-Level Threads

Page 19: Threads, SMP, and Microkernels

19

Page 20: Threads, SMP, and Microkernels

20

Advantages of User-Level Threads

Thread-switching does not require kernel mode privileges and switching

Thread scheduling can be tailored to application

ULTs can run on any OS. They can be implemented with a thread library that runs within the app.

Page 21: Threads, SMP, and Microkernels

21

Disadvantages of ULTs

If blocking system call (eg IO call), whole process blockedcan use ‘jacketing’ – call other process to

check state of resource Cannot use multiprocessing since OS

sees all threads as a single process.

Page 22: Threads, SMP, and Microkernels

22

Kernel-Level Threads

Windows is an example of this approach Kernel maintains context information for

the process and the threads Scheduling is done on a thread basis

Page 23: Threads, SMP, and Microkernels

23

Kernel-Level Threads

Page 24: Threads, SMP, and Microkernels

24

VAX Running UNIX-Like Operating System

Page 25: Threads, SMP, and Microkernels

25

Combined Approaches

Example is Solaris Thread creation done in the user space Bulk of scheduling and synchronization of

threads within application

Page 26: Threads, SMP, and Microkernels

26

Combined Approaches

Page 27: Threads, SMP, and Microkernels

27

Relationship Between Threads and Processes

1:M and M:N approaches are experimental.

Page 28: Threads, SMP, and Microkernels

28

Symmetric Multiprocessing (SMP)

Page 29: Threads, SMP, and Microkernels

29

Symmetric Multiprocessing

Tradition: Single sequence of instructionsvon Neumann machine concept

Real machines do instruction pipelining, DMA and other parallel operationsPipeline explanation and movieHyperthreading

With cheaper HW can extend this to multiple processors

Page 30: Threads, SMP, and Microkernels

30

Categories of Computer Systems Single Instruction Single Data (SISD) stream

Single processor executes a single instruction stream to operate on data stored in a single memory.

‘Normal’ computing

Single Instruction Multiple Data (SIMD) stream Each instruction is executed on a different set of data

by the different processors. Eg DSP or vector processing

Page 31: Threads, SMP, and Microkernels

31

Categories of Computer Systems Multiple Instruction Single Data (MISD) stream

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 32: Threads, SMP, and Microkernels

32

Page 33: Threads, SMP, and Microkernels

33

Symmetric Multiprocessing

Kernel can execute on any processor Typically each processor does self-

scheduling from the pool of available process or threads

Page 34: Threads, SMP, and Microkernels

34

Page 35: Threads, SMP, and Microkernels

35

Multiprocessor Operating System Design Considerations Simultaneous concurrent processes or threads

Re-entrant kernel code, deadlock, etc. Scheduling (see ch 10 for more detail) Synchronization

Mutual exclusion, event ordering, locks etc (ch 5) Memory management

Coordination in paging systems when multiple processors accessing pages (ch 7)

Reliability and fault tolerance Graceful degradation on processor failure

Page 36: Threads, SMP, and Microkernels

36

Distributed Processing

Another alternative is distributed processing

Each node has its own CPU, memory and communication channelSlower communications, more independence

EG. Cluster computing, Beowulf etc. See Ch 14, 15

Page 37: Threads, SMP, and Microkernels

37

Microkernels

Page 38: Threads, SMP, and Microkernels

38

Microkernels

Small operating system core (how small?)

Concept: Contains only essential core 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 39: Threads, SMP, and Microkernels

39

Page 40: Threads, SMP, and Microkernels

40

Benefits of a Microkernel Organization Uniform interface on request made by a process

Don’t distinguish between kernel-level and user-level services

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 41: Threads, SMP, and Microkernels

41

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

ReliabilityModular designSmall microkernel can be rigorously tested

Exhaustive testing vs. module testing

Page 42: Threads, SMP, and Microkernels

42

Benefits of Microkernel Organization Distributed system support

Message are sent without knowing what the target machine is

Object-oriented operating systemComponents are objects with clearly defined

interfaces that can be interconnected to form software

Page 43: Threads, SMP, and Microkernels

43

Microkernel Design

Low-level memory management Mapping each virtual page to a physical page frame

Page 44: Threads, SMP, and Microkernels

44

Microkernel Design

Interprocess communication I/O and interrupt management

Page 45: Threads, SMP, and Microkernels

45

MS-Windows Processes

Implemented as objects An executable process may contain one or

more threads Both processes and thread objects have

built-in synchronization capabilities

Page 46: Threads, SMP, and Microkernels

46

Page 47: Threads, SMP, and Microkernels

47

Windows Process Object

Page 48: Threads, SMP, and Microkernels

48

Windows Thread Object

Page 49: Threads, SMP, and Microkernels

49

MS-Windows Thread States

Ready Standby Running Waiting Transition Terminated

Page 50: Threads, SMP, and Microkernels

50

Page 51: Threads, SMP, and Microkernels

51

Solaris

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

User-level threads Lightweight processes (LWP) Kernel threads

Page 52: Threads, SMP, and Microkernels

52

Page 53: Threads, SMP, and Microkernels

53

Page 54: Threads, SMP, and Microkernels

54

Solaris Lightweight Data Structure

Identifier Priority Signal mask Saved values of user-level registers Kernel stack Resource usage and profiling data Pointer to the corresponding kernel thread Pointer to the process structure

Page 55: Threads, SMP, and Microkernels

55

Page 56: Threads, SMP, and Microkernels

56

Linux Task Data Structure State Scheduling information Identifiers Interprocess communication Links Times and timers File system Address space Processor-specific context

Page 57: Threads, SMP, and Microkernels

57

Linux States of a Process

Running Interruptible Uninterruptible Stopped Zombie

Page 58: Threads, SMP, and Microkernels

58

Page 59: Threads, SMP, and Microkernels

59

Linux Threads

Traditionally no threadsULTs with pthread library

Modern Linux supports KLT Process = thread (cloning)