Presentation is loading. Please wait.

Presentation is loading. Please wait.

Context Switch Animation Another one by Anastasia.

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Context Switch Animation Another one by Anastasia."— Presentation transcript:

1 Context Switch Animation Another one by Anastasia

2 hardware responsibility, call instruction, called by main() parameters of userFunction() pushed on the stack by main() the return address (the next instruction of main() to perform) old (main()’s) ebp esi, edi, ebx saved by callee userFunction() local variables of userFunction() eax, ecx, edx saved by caller main()............ Process P1 is running in user mode. Doing some userFunction(…) Lets assume that userFunction() was called by main() When P1 does so, it is not aware about task descriptor, kernel stack, etc. Nothing related to OS functionality User Mode Stack of process P1, bottom of the stack, low addresses (0xFF) here. Stack grows down ↓. main() responsibility userFunction () responsibility

3 parameters of userFunction() pushed on the stack by main() the return address (the next instruction of main() to perform) old (main()’s) ebp esi, edi, ebx saved by callee userFunction() local variables of userFunction() eax, ecx, edx saved by caller main()............

4 parameters of userFunction() pushed on the stack by main() the return address (the next instruction of main() to perform) old (main()’s) ebp esi, edi, ebx saved by callee userFunction() local variables of userFunction() eax, ecx, edx saved by caller main()...... Now, inside the code of userFunction() there is a call for operation system interface – wait() wait() is a wrapper function and is called as regular function

5 parameters of userFunction() pushed on the stack by main() the return address (the next instruction of main() to perform) old (main()’s) ebp esi, edi, ebx saved by callee userFunction() local variables of userFunction() eax, ecx, edx saved by caller main() eax, ecx, edx saved by caller userFunction() if needed...... Now, inside the code of userFunction() there is a need to call operation system interface – wait() wait() is a wrapper function and is called as regular function (no parameters needed to wait()) save return address here esi, edi, ebx saved by callee wait() if needed old (userFunction()’s) ebp userFunction () responsibility local variables of wait() if they exist wait() responsibility

6 wait() is going to invoke an operation system programmable intercept – system call wait() puts the relevant value of the system call number to the eax register wait() invokes the assembly language instruction: int $0x80 Because of this hardware operation we leave the User Mode and we get to Kernel Mode! parameters of userFunction() pushed on the stack by main() the return address (the next instruction of main() to perform) old (main()’s) ebp esi, edi, ebx saved by callee userFunction() local variables of userFunction() eax, ecx, edx saved by caller main() eax, ecx, edx saved by caller userFunction() if needed...... (no parameters needed to wait()) save return address here esi, edi, ebx saved by callee wait() if needed old (userFunction()’s) ebp local variables of wait() if they exist !!!

7 old eflags, cs, eip old (user mode’s) ss, esp............ Process P1 is now running in Kernel Mode Registers ss, esp, eflags, cs, eip are getting new values after their old values were saved on the Kernel stack – this is all is done by one single assembler instruction int Kernel Mode Stack of process P1, bottom of the stack Hardware responsibility, int $0x80 assembler instruction called by wait() Here we already run the code of system call handler interrupt, which is one for all system calls.

8 old eflags, cs, eip old eax (system call number) old es, ds, eax, ebp, edi, esi, edx, ecx, ebx saved by SAVE_ALL macro No need in caller-save registers, no parameters needed to sys_wait(). Return address. old (user mode’s) ss, esp............ Kernel Mode Stack of process P1, bottom of the stack Hardware responsibility, int $0x80 assembler instruction called by wait() Here we already run the code of system call handler interrupt, which is one for all system calls. System call handler responsibility User Stack User Code esp eip Kernel Code Task descriptor of process P1 call *sys_call_table(0, %eax, 4) gg

9 old eflags, cs, eip old eax (system call number) old es, ds, eax, ebp, edi, esi, edx, ecx, ebx saved by SAVE_ALL macro No need in caller-save registers, no parameters needed to sys_wait(). Return address. old ebp old (user mode’s) ss, esp esi, edi saved if needed............ local variables of sys_wait() System call handler responsibility User Stack User Code esp eip Kernel Code Task descriptor of process P1 gg OS function sys_wait() responsibility ebp Now assume inside sys_wait() we need to do a context switch. Thus, function schedule() have to be called.

10 1.In Kernel Mode function schedule() is called. Context switch process

11 Call for function schedule() is a regular function call. old eflags, cs, eip old eax (system call number) old es, ds, eax, ebp, edi, esi, edx, ecx, ebx saved by SAVE_ALL macro No need in caller-save registers, no parameters needed to sys_wait(). Return address. old ebp old (user mode’s) ss, esp esi, edi saved if needed............ local variables of sys_wait() esp eip Kernel Code Task descriptor of process P1 gg ebp

12 old eflags, cs, eip old eax (system call number) old es, ds, eax, ebp, edi, esi, edx, ecx, ebx saved by SAVE_ALL macro No need in caller-save registers, no parameters needed to sys_wait(). Return address. old ebp old (user mode’s) ss, esp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 gg ebp return adress to sys_wait() old ebp OS function sys_wait() responsibility old esi, edi if needed local variables of schedule() prev next OS function schedule() responsibility Function schedule() chooses process P2 to get the CPU after P1. Then calls for: inline task_t* context_switch(task_t *prev, task_t *next)

13 1.In Kernel Mode function schedule() is called. 2.schedule() chooses the process to switch to, then inline function context_switch(…) is called. Context switch process

14 old eflags, cs, eip old eax (system call number) old es, ds, eax, ebp, edi, esi, edx, ecx, ebx saved by SAVE_ALL macro No need in caller-save registers, no parameters needed to sys_wait(). Return address. old ebp old (user mode’s) ss, esp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 gg ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next OS function schedule() responsibility Task descriptor of process P2

15 old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 gg ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next Task descriptor of process P2 Function context_switch() is a inline function! inline task_t *context_switch(task_t *prev, task_t *next) { switch_mm.... switch_to(prev, next, prev); //MACRO return prev; }

16 1.In Kernel Mode function schedule() is called. 2.schedule() chooses process to switch to, then inline function context_switch(…) is called. 3.Mainly context_switch(…) is calling switch_to(…) macro Context switch process

17 edx old ebp esi, edi saved if needed, ebx is not going to be chnaged...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 gg ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 Here is what switch_to macro does: 1.Saves the values of prev and next in the eax and edx respectively 2.Saves esi, edi and ebp on the stack 3.Saves esp in prev  thread.esp eax thread field: esp0 eip esp … thread field: esp0 eip esp …

18 1.In Kernel Mode function schedule() is called. 2.schedule() chooses process to switch to, then inline function context_switch(…) is called. 3.Mainly context_switch(…) is calling switch_to(…) macro 4.switch_to(…) first saves the registers of the previous process in the stack and task descriptor. Context switch process

19 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 gg ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK The next step that switch_macro does is to load next  thread.esp in esp Context switch !!!

20 1.In Kernel Mode function schedule() is called. 2.schedule() chooses process to switch to, then inline function context_switch(…) is called. 3.Mainly context_switch(…) is calling switch_to(…) macro 4.switch_to(…) first saves the registers of the previous process in the stack and task descriptor. 5.Then switch_to moves esp register to point to the next processes kernel stack (stack switch = context switch) Context switch process

21 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 movl %esp, prev- >thread.esp movl next->thread.esp, %esp movl $1f, prev- >thread.eip pushl next->thread.eip ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK Part of switch_to macro’s code: movl %esp, prev->thread.esp movl next->thread.esp, %esp movl $1f, prev->thread.eip pushl next->thread.eip jmp __switch_to 1: popl %ebp popl %edi popl %esi

22 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 movl %esp, prev- >thread.esp movl next->thread.esp, %esp movl $1f, prev- >thread.eip pushl next->thread.eip ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK Part of switch_to macro’s code: movl %esp, prev->thread.esp movl next->thread.esp, %esp movl $1f, prev->thread.eip pushl next->thread.eip jmp __switch_to 1: popl %ebp popl %edi popl %esi the address of “popl %ebp” instruction

23 1.In Kernel Mode function schedule() is called. 2.schedule() chooses process to switch to, then inline function context_switch(…) is called. 3.Mainly context_switch(…) is calling switch_to(…) macro 4.switch_to(…) first saves the registers of the previous process in the stack and task descriptor. 5.Then switch_to moves esp register to point to the next processes kernel stack (stack switch = context switch) 6.eip of the previous process is saved in task descriptor as pointing to label $1, eip of the next process is loaded on the stack Context switch process

24 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 movl %esp, prev- >thread.esp movl next->thread.esp, %esp movl $1f, prev- >thread.eip pushl next->thread.eip ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK Part of switch_to macro’s code: movl %esp, prev->thread.esp movl next->thread.esp, %esp movl $1f, prev->thread.eip pushl next->thread.eip jmp __switch_to 1: popl %ebp popl %edi popl %esi the address of “popl %ebp” instruction

25 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 movl %esp, prev- >thread.esp movl next->thread.esp, %esp movl $1f, prev- >thread.eip pushl next->thread.eip ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK Part of __switch_to function’s code: /* save special registers */ tss->esp0 = next->esp0; … movl %fs, prev->fs (movl %gs, prev->gs) if (prev->fs | prev->gs | next->fs | next->gs) {.. movl next->fs, %fs (movl next->gs, %gs).. } /* load debug registers, load IO permission bitmap */ return; the address of “popl %ebp” instruction

26 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 movl %esp, prev- >thread.esp movl next->thread.esp, %esp movl $1f, prev- >thread.eip pushl next->thread.eip ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK Part of switch_to macro’s code: movl %esp, prev->thread.esp movl next->thread.esp, %esp movl $1f, prev->thread.eip pushl next->thread.eip jmp __switch_to 1: popl %ebp popl %edi popl %esi the address of “popl %ebp” instruction

27 1.In Kernel Mode function schedule() is called. 2.schedule() chooses process to switch to, then inline function context_switch(…) is called. 3.Mainly context_switch(…) is calling switch_to(…) macro 4.switch_to(…) first saves the registers of the previous process in the stack and task descriptor 5.Then switch_to moves esp register to point to the next processes kernel stack (stack switch = context switch) 6.eip of the previous process is saved in task descriptor as pointing to label 1, eip of the next process is loaded on the stack 7.By jumping and returning from __switch_to function we load the address of label 1 into processor’s eip register Context switch process

28 edx old ebp esi, edi saved if needed...... local variables of sys_wait() save eax, ecx, edx if needed esp eip Kernel Code Task descriptor of process P1 movl %esp, prev- >thread.esp movl next->thread.esp, %esp movl $1f, prev- >thread.eip pushl next->thread.eip ebp return adress to sys_wait() old ebp old esi, edi if needed local variables of schedule() prev next esi, edi and ebp Task descriptor of process P2 eax thread field: esp0 eip esp … thread field: esp0 eip esp … PREVPROCESSSTACKPREVPROCESSSTACK Kernel mode stack of process P2, which was chosen to be next … ↓ esi, edi saved if needed local variables of sys_wait() save eax, ecx, edx if needed return adress to sys_wait() old ebp (saved by schedule()) old esi, edi if needed local variables of schedule() prev next esi, edi and ebp NEXTPROCESSSTACKNEXTPROCESSSTACK Part of switch_to macro’s code: movl %esp, prev->thread.esp movl next->thread.esp, %esp movl $1f, prev->thread.eip pushl next->thread.eip jmp __switch_to 1: popl %ebp popl %edi popl %esi the address of “popl %ebp” instruction

Download ppt "Context Switch Animation Another one by Anastasia."

Similar presentations

Machine-Level Programming III: Procedures Feb. 8, 2000 Topics IA32 stack Stack-based languages Stack frames Register saving conventions Creating pointers.

Machine-Level Programming III: Procedures Feb. 8, 2000 Topics IA32 stack Stack-based languages Stack frames Register saving conventions Creating pointers.
Calling sequence ESP.

Calling sequence ESP.
CS 4284 Systems Capstone Godmar Back Processes and Threads.

CS 4284 Systems Capstone Godmar Back Processes and Threads.
University of Washington Last Time For loops  for loop → while loop → do-while loop → goto version  for loop → while loop → goto “jump to middle” version.

University of Washington Last Time For loops  for loop → while loop → do-while loop → goto version  for loop → while loop → goto “jump to middle” version.
Machine-Level Programming III: Procedures Apr. 17, 2006 Topics IA32 stack discipline Register saving conventions Creating pointers to local variables CS213.

Machine-Level Programming III: Procedures Apr. 17, 2006 Topics IA32 stack discipline Register saving conventions Creating pointers to local variables CS213.
Project 2 Roadmap. Background – Context Switching One processor and multiple threads running concurrently – How?!! Give each thread a small time quantum.

Project 2 Roadmap. Background – Context Switching One processor and multiple threads running concurrently – How?!! Give each thread a small time quantum.
Context switch in Linux

Context switch in Linux
PC hardware and x86 3/3/08 Frans Kaashoek MIT

PC hardware and x86 3/3/08 Frans Kaashoek MIT
1 Linux Operating System 許 富 皓. 2 Chapter 3 Processes.

1 Linux Operating System 許 富 皓. 2 Chapter 3 Processes.
1 Lecture 5: Procedures Assembly Language for Intel-Based Computers, 4th edition Kip R. Irvine.

1 Lecture 5: Procedures Assembly Language for Intel-Based Computers, 4th edition Kip R. Irvine.
1 Function Calls Professor Jennifer Rexford COS 217 Reading: Chapter 4 of “Programming From the Ground Up” (available online from the course Web site)

1 Function Calls Professor Jennifer Rexford COS 217 Reading: Chapter 4 of “Programming From the Ground Up” (available online from the course Web site)
Accessing parameters from the stack and calling functions.

Accessing parameters from the stack and calling functions.
– 1 – 15-213, F’02 ICS05 Instructor: Peter A. Dinda TA: Bin Lin Recitation 4.

– 1 – , F’02 ICS05 Instructor: Peter A. Dinda TA: Bin Lin Recitation 4.
1 Homework Reading –PAL, pp 201-216, 297-312 Machine Projects –Finish mp2warmup Questions? –Start mp2 as soon as possible Labs –Continue labs with your.

1 Homework Reading –PAL, pp , Machine Projects –Finish mp2warmup Questions? –Start mp2 as soon as possible Labs –Continue labs with your.
Assembly תרגול 8 פונקציות והתקפת buffer.. Procedures (Functions) A procedure call involves passing both data and control from one part of the code to.

Assembly תרגול 8 פונקציות והתקפת buffer.. Procedures (Functions) A procedure call involves passing both data and control from one part of the code to.
ICS312 Set 3 Pentium Registers. Intel 8086 Family of Microprocessors All of the Intel chips from the 8086 to the latest pentium, have similar architectures.

ICS312 Set 3 Pentium Registers. Intel 8086 Family of Microprocessors All of the Intel chips from the 8086 to the latest pentium, have similar architectures.
Stack Activation Records Topics IA32 stack discipline Register saving conventions Creating pointers to local variables February 6, 2003 CSCE 212H Computer.

Stack Activation Records Topics IA32 stack discipline Register saving conventions Creating pointers to local variables February 6, 2003 CSCE 212H Computer.
Linux Operating System

Linux Operating System
ESP int f(int x) {.... } int g(int y) { …. f(2); …. } int main() { …. g(1); …. } EIP 100: 200: 250: 300: 350:

ESP int f(int x) {.... } int g(int y) { …. f(2); …. } int main() { …. g(1); …. } EIP 100: 200: 250: 300: 350:
6.828: PC hardware and x86 Frans Kaashoek

6.828: PC hardware and x86 Frans Kaashoek

Similar presentations

Ads by Google