Virtual Machine (Part II)

Transcription

1 IDC Herzliya Shimon Schocken Virtual Machine (Part II) Shimon Schocken Spring 2005 Elements of Computing Systems 1 Virtual Machine II (Ch. 8) Lecture plan 2 x = ( b + b 4 a c) / 2a if if ~(a = 0) 0) x = (-b + sqrt(power(b,2) 4 * a * c)) / (2 (2 * a) a) else x = - c / b In order to execute this code we have to know how to handle: Arithmetic operations (last lecture) Boolean operations (last lecture) Program flow (this lecture, easy) Subroutine calling (this lecture, requires some work...) Big point: All these abstractions can delivered at the VM level. Elements of Computing Systems 2 Virtual Machine II (Ch. 8)

2 Program flow commands label c goto c if-goto c Elements of Computing Systems 3 Virtual Machine II (Ch. 8) Program flow Elements of Computing Systems 4 Virtual Machine II (Ch. 8)

3 Subroutine calling: high level if if ~(a = 0) 0) x = (-b + sqrt(power(b,2) 4 * a * c)) / (2 (2 * a) a) else x = - c / b The most important abstraction delivered by high level s: The basic can be extended at will by user-defined commands ( = subroutines / functions / methods...) The primitive commands and the user-defined commands have the same look-and-feel A well-deigned system consists of a collection of black box modules, each executing its effect like magic (Steven Pinker, How The Mind Works) Elements of Computing Systems 5 Virtual Machine II (Ch. 8) Opening up the black box if if ~(a = 0) 0) x = (-b + sqrt(power(b,2) 4 * a * c)) / (2 (2 * a) a) else x = - c / b To handle the sqrt(power(b,2) 4*a*c)) abstraction, someone has to: Pass arguments from sqrt to power Save the state of sqrt before switching to execute power Allocate space for the local variables of power Jump to execute power When power terminates: Return a value from power to sqrt Recycle the memory space occupied by power Reinstate the state of sqrt Jump to execute the code of sqrt immediately after the spot where we left it. Elements of Computing Systems 6 Virtual Machine II (Ch. 8)

4 Passing arguments and returning values Call-and-return convention (same for primitive commands and subroutines) The caller pushes arguments and calls the callee Before the callee terminates, it must push a return value Net effect The arguments are replaced by the return value Delivered by the VM implementation The VM implementation manages everything away from the programmer s view, using the stack One of the most elegant gems in CS Elements of Computing Systems 7 Virtual Machine II (Ch. 8) The calling protocol (blue = unfinished magic business) The caller function view: function function f nvars nvars call call f nargs nargs return return Before Before calling calling the the function, function, I I must must push push as as many many arguments arguments as as necessary necessary onto onto the the stack stack Next, Next, I I invoke invoke the the function function using using the the call callcommand command After After the the called called function function returns, returns, the the arguments arguments that that I I pushed pushed before before the the call call have have disappeared disappeared from from the the stack, stack, and and a return return value value (that (that always alwaysexists) appears appears at at the the top top of of the the stack stack After After the the called called function function returns, returns, my my argument, argument, local, local, static, static, this, this, that, that, and and pointer pointermemory segments segments are are the the same same as as before before the the call. call. The called function view: When When I I start start executing, executing, my my argument argument segment segment has has been been initialized initialized with with actual actual argument argument values values passed passed by by the the caller caller My My local local variables variables segment segment has has been been allocated allocated and and initialized initialized to to zero zero The The static static segment segment that that I I see see has has been been set set to to the the static static segment segment of of the the VM VM file file to to which which I I belong, belong, and and the the working working stack stack that that I I see see is is empty empty Before Before returning, returning, I I must must push push a value value onto onto the the stack. stack. Elements of Computing Systems 8 Virtual Machine II (Ch. 8)

5 VM program structure A VM program is a collection of one or more.vm Files (classes) Each.vm file is a collection of one or more functions (methods) Each function is a collection of VM commands Each VM command appears in a separate line Has 0, 1, or 2 arguments May have in-line // comments. Elements of Computing Systems 9 Virtual Machine II (Ch. 8) Program structure and memory segments Plus: Stack Heap Elements of Computing Systems 10 Virtual Machine II (Ch. 8)

6 Implementation Elements of Computing Systems 11 Virtual Machine II (Ch. 8) Implementation view of the calling protocol When function g calls function f, I must: function function f nvars nvars call call f nargs nargs return return Save the return address and the segment pointers of g Allocate, and initialize to 0, as many local variables as needed by f Set the local and argument segment pointers of f Transfer control to f. When f terminates and control should return to g, I must: Clear the arguments and other junk from the stack Restore the segments of g Transfer control back to g (jump to the saved return address). Elements of Computing Systems 12 Virtual Machine II (Ch. 8)

7 The global stack the VM implementation s housekeeping memory frames of all the functions up the calling chain argument 0 At any point of time, only one function is running argument 1 arguments pushed for the current function Shaded areas: not seen by the current function argument n-1 return address saved saved saved THIS saved THAT saved state of the calling function, used to return to and restore the segments of, the calling function upon returning from the current function The current function sees only the tip of the stack The rest of the stack holds the frozen states of all the functions up the calling hierarchy local variables of the current function The storage details depend on the VM implementation. local k-1 working stack of the current function Elements of Computing Systems 13 Virtual Machine II (Ch. 8) Example: a typical calling scenario function p(...) { fact(4)... function fact(n) { vars result,j; result=1; j=1; while j<=n { result=mult(result,j); return result; function mult(x,y) { vars sum,j; sum=0; j=y; while j>0 { sum=sum+x; return sum; p call fact(4) waiting time call mult(1,2) call mult(2,3) call mult(6,4) 24 fact waiting waiting waiting return mult return mult return mult return Elements of Computing Systems 14 Virtual Machine II (Ch. 8)

8 Behind the scene: just before "call mult" just after mult is entered just after mult returns argument 0 argument 0 argument 0 return addr return addr return addr function p(...) { fact(4)... THIS THAT THIS THAT THIS THAT function fact(n) { vars result,j; result=1; j=1; while j<=n { result=mult(result,j); return result; working stack argument 0 argument 1 (mult) (mult) working stack argument 0 (mult) argument 1 (mult) return addr working stack return value function mult(x,y) { vars sum,j; sum=0; j=y; while j>0 { sum=sum+x; return sum; THIS THAT (mult) (mult) Elements of Computing Systems 15 Virtual Machine II (Ch. 8) Implementing the call f n command frames of all the functions up the calling chain argument 0 argument 1 argument n-1 return address saved saved saved THIS saved THAT local k-1 Elements of Computing Systems 16 Virtual Machine II (Ch. 8)

9 Implementing the function f k command frames of all the functions up the calling chain argument 0 argument 1 argument n-1 return address saved saved saved THIS saved THAT local k-1 Elements of Computing Systems 17 Virtual Machine II (Ch. 8) Implementing the return command frames of all the functions up the calling chain argument 0 argument 1 argument n-1 return address saved saved saved THIS saved THAT local k-1 Elements of Computing Systems 18 Virtual Machine II (Ch. 8)

10 Bootstrap code = 256 Call Sys.init // // initialize the the stack pointer to to 0x0100 // // an an initialization function Sys.init should call f and then enter an infinite loop In the Hack/Jack platform: Sys.init is part of the OS f is Main.main Elements of Computing Systems 19 Virtual Machine II (Ch. 8) VM implementation over the Hack platform: special symbols Elements of Computing Systems 20 Virtual Machine II (Ch. 8)

11 Proposed API Elements of Computing Systems 21 Virtual Machine II (Ch. 8) Perspective Pros Code transportability: compiling for different platforms require replacing only the VM implementation Language inter-operability: code of multiple s can be shared using the same VM Common software libraries Modularity: Improvements in the VM implementation are shared by all compilers above it Every new digital device with a VM implementation gains immediate access to an existing software base Simple compilers Managed code: Security Monitoring (BI, BPM) CISC machine CISC machine VM implementation over CISC platforms Some Elements of Computing Systems 22 Virtual Machine II (Ch. 8) RISC machine RISC machine Some compiler VM imp. over RISC platforms Some Other Some Other compiler Intermediate code VM emulator other digital platforms, each equipped with its VM implementation Cons Performance History P-code Java.Net Jack Jack compiler VM imp. over the Hack platform written in a high-level Any computer Hack machine Hack computer