A process. the stack

Similar documents
Processes. Johan Montelius KTH

What is concurrency? Concurrency. What is parallelism? concurrency vs parallelism. Concurrency: (the illusion of) happening at the same time.

The Process Abstraction. CMPU 334 Operating Systems Jason Waterman

Concurrency. Johan Montelius KTH

Memory management. Johan Montelius KTH

CS 355 Operating Systems. Keeping Track of Processes. When are processes created? Process States 1/26/18. Processes, Unix Processes and System Calls

PROCESS CONTROL BLOCK TWO-STATE MODEL (CONT D)

Interrupts, Fork, I/O Basics

Dynamic memory allocation

518 Lecture Notes Week 3

Processes. Jin-Soo Kim Computer Systems Laboratory Sungkyunkwan University

3. Process Management in xv6

Protection and System Calls. Otto J. Anshus

Hardware OS & OS- Application interface

CS510 Operating System Foundations. Jonathan Walpole

Windows architecture. user. mode. Env. subsystems. Executive. Device drivers Kernel. kernel. mode HAL. Hardware. Process B. Process C.

CS 3305 Intro to Threads. Lecture 6

Process Concepts. CSC400 - Operating Systems. 3. Process Concepts. J. Sumey

CSC 1600 Memory Layout for Unix Processes"

CISC2200 Threads Spring 2015

Introduction to OS Processes in Unix, Linux, and Windows MOS 2.1 Mahmoud El-Gayyar

Lecture 4: Process Management

SYSTEM CALL IMPLEMENTATION. CS124 Operating Systems Fall , Lecture 14

CS 333 Introduction to Operating Systems. Class 3 Threads & Concurrency. Jonathan Walpole Computer Science Portland State University

CS 33. Architecture and the OS. CS33 Intro to Computer Systems XIX 1 Copyright 2018 Thomas W. Doeppner. All rights reserved.

Processes (Intro) Yannis Smaragdakis, U. Athens

Lecture 4: Memory Management & The Programming Interface

Exceptions and Processes

4. The Abstraction: The Process

CS 5460/6460 Operating Systems

CS 33. Architecture and the OS. CS33 Intro to Computer Systems XIX 1 Copyright 2017 Thomas W. Doeppner. All rights reserved.

CSE 380 Computer Operating Systems. Instructor: Insup Lee. University of Pennsylvania Fall 2003

Prepared by Prof. Hui Jiang Process. Prof. Hui Jiang Dept of Electrical Engineering and Computer Science, York University

The Kernel Abstraction. Chapter 2 OSPP Part I

pthreads CS449 Fall 2017

o Code, executable, and process o Main memory vs. virtual memory

Process. Prepared by Prof. Hui Jiang Dept. of EECS, York Univ. 1. Process in Memory (I) PROCESS. Process. How OS manages CPU usage? No.

CS 326 Operating Systems C Programming. Greg Benson Department of Computer Science University of San Francisco

by Marina Cholakyan, Hyduke Noshadi, Sepehr Sahba and Young Cha

PROCESSES. Jo, Heeseung

Processes. Jo, Heeseung

Reading Assignment 4. n Chapter 4 Threads, due 2/7. 1/31/13 CSE325 - Processes 1

Processes. CS3026 Operating Systems Lecture 05

W4118: interrupt and system call. Junfeng Yang

CS 333 Introduction to Operating Systems. Class 3 Threads & Concurrency. Jonathan Walpole Computer Science Portland State University

CSE 451: Operating Systems Winter Module 4 Processes. Mark Zbikowski Allen Center 476

Process management. What s in a process? What is a process? The OS s process namespace. A process s address space (idealized)

Processes & Threads. Today. Next Time. ! Process concept! Process model! Implementing processes! Multiprocessing once again. ! More of the same J

CS 326: Operating Systems. Process Execution. Lecture 5

OS lpr. www. nfsd gcc emacs ls 1/27/09. Process Management. CS 537 Lecture 3: Processes. Example OS in operation. Why Processes? Simplicity + Speed

an infinite loop Processes and Exceptions doing nothing on a busy system timing nothing

Getting to know you. Anatomy of a Process. Processes. Of Programs and Processes

CSCE Operating Systems Interrupts, Exceptions, and Signals. Qiang Zeng, Ph.D. Fall 2018

CSCE 313 Introduction to Computer Systems. Instructor: Dezhen Song

Understanding Pointers

* What are the different states for a task in an OS?

CSCE 313: Intro to Computer Systems

TCSS 422: OPERATING SYSTEMS

Today s class. Review of more C Operating system overview. Informationsteknologi

CSE 410: Computer Systems Spring Processes. John Zahorjan Allen Center 534

CS 550 Operating Systems Spring Interrupt

Processes and Exceptions

Lecture 4 Threads. (chapter 4)

Lecture 4: Mechanism of process execution. Mythili Vutukuru IIT Bombay

Processes. q Process concept q Process model and implementation q Multiprocessing once again q Next Time: Scheduling

CSC369 Lecture 2. Larry Zhang

CSC369 Lecture 2. Larry Zhang, September 21, 2015

CS 550 Operating Systems Spring Process II

3.1 Introduction. Computers perform operations concurrently

OS Structure, Processes & Process Management. Don Porter Portions courtesy Emmett Witchel

COMP 3100 Operating Systems

Operating systems. Lecture 9

www nfsd emacs lpr Process Management CS 537 Lecture 4: Processes Example OS in operation Why Processes? Simplicity + Speed

ECE 598 Advanced Operating Systems Lecture 23

Processes. Dr. Yingwu Zhu

Computer Systems Assignment 2: Fork and Threads Package

CSC209 Review. Yeah! We made it!

Processes. Process Management Chapter 3. When does a process gets created? When does a process gets terminated?

CS5460: Operating Systems

Processes. CSE 2431: Introduction to Operating Systems Reading: Chap. 3, [OSC]

What is a Process? Processes and Process Management Details for running a program

Thread Concept. Thread. No. 3. Multiple single-threaded Process. One single-threaded Process. Process vs. Thread. One multi-threaded Process

CSC209: Software tools. Unix files and directories permissions utilities/commands Shell programming quoting wild cards files

CSC209: Software tools. Unix files and directories permissions utilities/commands Shell programming quoting wild cards files. Compiler vs.

Processes. CS 416: Operating Systems Design, Spring 2011 Department of Computer Science Rutgers University

Fall 2015 COMP Operating Systems. Lab #3

Operating System. Chapter 3. Process. Lynn Choi School of Electrical Engineering

CS 537 Lecture 2 - Processes

Run-time Environments

Run-time Environments

Last 2 Classes: Introduction to Operating Systems & C++ tutorial. Today: OS and Computer Architecture

Operating Systems. II. Processes

CS 318 Principles of Operating Systems

Operating System Structure

Last time: introduction. Networks and Operating Systems ( ) Chapter 2: Processes. This time. General OS structure. The kernel is a program!

The Big Picture So Far. Today: Process Management

ECE 550D Fundamentals of Computer Systems and Engineering. Fall 2017

Threads. What is a thread? Motivation. Single and Multithreaded Processes. Benefits

Altering the Control Flow

CSE 153 Design of Operating Systems

Transcription:

A process Processes Johan Montelius What is a process?... a computation KTH 2017 a program i.e. a sequence of operations a set of data structures a set of registers means to interact with other processes or external entities The C process 1 / 47 the stack 2 / 47 In C a process consist of: a program: a set of named procedures a call stack: provides the means to call and return from a procedure a heap from which we can allocate new data structures a current program pointer... open file descriptors, etc Understand how the call stack works and what the heap provides. stack frame of foo stack frame of bar int foo ( int x, int y) { return x + y; int bar () { int z; z = foo (3, 4) return z; 3 / 47 4 / 47

the frame Implementation of the stack The conceptual stack frame contains: the arguments of the procedure place to hold local variables magic information to be able to return from a call The CPU can be described by: the instruction pointer (EIP): a reference to the next instruction to execute a stack pointer (ESP): a reference to the top of the stack a base pointer (EBP): a reference to the current stack frame general purpose registers: used by a process to store data the call stack 5 / 47... and more 6 / 47 previous EBP return 3 4 location of z ESP EBP EIP int foo ( int x, int y) { return x + y; int bar () { int z; z = foo (3, 4) return z; The CPU has a set of general purpose registers. If a procedure uses these they should be restored when the procedure returns. The general scheme shown is how the stack is implemented on a x86 architecture, other architectures have very different schemes. Registers can be used to pass argument and to return values. The x86 architecture pass first six arguments and return value in registers. Separate the abstraction of a C procedure call from how the stack is implemented. 7 / 47 8 / 47

a slight problem the stack How is a data structure returned from a procedure call? Three easy steps: the caller allocates room in its stack frame for the structure, the caller passes the location of the structure as an argument to the procedure and, the procedure updates the structure. What if the caller does not know how large the structure will be? Create a structure and return a pointer to the structure - problem solved. {1,2,3,4,5 danger :-0 z: stack frame of bar int * foo ( int x) { int a [5] = {1,2,3,4,5; return a; int bar () { int *z = foo (1); printf ("z [2] is %d\n", z [2]); return 0; not so good 9 / 47 the heap 10 / 47 We can not create structures on the stack and expect them to survive. {1,2,3,4,5 safe :-) int * foo ( int x) { int a [5] = {1,2,3,4,5; int *h; int i; h = ( int *) malloc (5* sizeof ( int This is why we need the heap. z: for (i = 0; i!= 5; i ++) { h[i] = a[i]; return h; 11 / 47 12 / 47

the heap the heap API a memory area separated from the stack explicit allocation... what about deallocation? the heap is handled using library calls in C void *malloc(size_t size) : allocate size bytes on the heap, returns a pointer to the structure free(void *ptr) : deallocates a structure pointed to by ptr void *calloc(size_t nmemb, size_t size) : allocate an array of nmemb element of size bytes initialize it to zero void *realloc(void *ptr, size_t size) : changes the size of the structure pointed to by ptr how about Java 13 / 47 how about Java 14 / 47 public class RightTriangle { public class Test { public double a, b, c; public static void main ( String [] args ) { public RightTriangle ( double x, double y) { a = x; b = y; c = Math. sqrt ( Math. pow (x,2) + Math. pow (y,2)); RightTriangle egypt = new RightTriangle (3,4); double hyp = egypt. c; double ar = egypt. area (); public double area () { double ar = (a * b )/2; return ar; 15 / 47 System. out. format (" hypotenuse is: %.1 f%n", hyp ); System. out. format (" area is is: %.1 f%n", ar ); 16 / 47

Java - objects on the heap What about C++ In Java primitive types and references to objects are allocated on the stack. Regular objects are allocated on the heap explicitly using the new statement. There is no explicit deallocation, memory is reclaimed by garbage collection.... A Java compiler can (sometimes) detect that an object will not live passed the point of a method return, and then allocate the object on the stack (escape analysis). In C++ it is up to the programmer: if nothing is stated an object is allocated on the stack (as in C), using the primitive new the object is allocated on the heap (as in Java). There is no garbage collection in C++, objects need to explicitly deallocated using the primitive delete. What about Erlang 17 / 47 What about Rust 18 / 47 All non-primitive data structures are allocated on the heap. In Rust you get the best of both worlds. Implicitly allocates data structures on the heap. The stack is only used for primitive data structures (integers, atoms,..) and references to the heap. The heap, and thus the garbage collection, is per Erlang process.... messages need to be copied from one heap to the other. The programmer will explicitly create objects on the heap. The compiler knows when the object should be reclaimed. Rules of the language prevents you from doing mistakes. The language prevents you from doing things that are possible in C. 19 / 47 20 / 47

let s complicate things The JRE, Java Runtime Environment, is an abstract machine i.e. a program that executes Java code. The JRE is typically implemented in C or in C++. definition of C Programming language constructs: variable declaration, procedure calls, for-, while-loops, etc. C process Java execution Java code Java stack The operating system user process code Java heap Application layer C heap C stack C code (JRE) 21 / 47 The C Standard Library (ISO C11) memory allocation: malloc, free,... signal handling: signal, raise, kill,.. file operations: fopen, fclose, fread, fwrite,... arithmetic, strings,...... the operating system The POSIX operating system API process handling: fork, exec, wait,... process communication: pipes,.. threads handling: pthread_create,... managing directory and file ownership network handling: socket, listen, accept,...... it is the job of the operating system to provide the functionality. We will focus on how the operating system provides:... 22 / 47 library Operating system API (POSIX) Operating system Systems calls (trap to kernel space) kernel means to create and start execution of a C process, a virtual execution environment that allows several processes to execute simultaneously, a persistent storage accessible to all processes, protection from unintended/malicious interference, yet allow them to share data and communicate. Library is often just a wrapper for the system call - sometimes more complex. 23 / 47 24 / 47

note from program to process How does the operating system create a process from a program? We re now presenting how the operating system might implement the process abstraction. One should never take for granted that things are actually implemented one way or another. The program is found on some external data storage (hard-drive etc). Memory is allocated to hold the: code, static data, heap and stack. A process context is created holding the necessary register values etc. Examples are from Linux on a x86 architecture. code (.text) data heap stack context process execution 25 / 47 who is in control? 26 / 47 How does the operating system control the execution of a process? Indirect execution: The operating system decode and execute the instructions of the user process. This is done in Java, Erlang and many other languages based on a virtual machine. Direct execution: The operating system loads the code of the user process, sets the stack and heap pointers and jumps to the first instruction of the process. The operating system loads the code to memory, sets the register values for stack and heap pointers and...... sets the instruction pointer (EIP). The future is now determined by the execution of the started process. Is this a good thing? 27 / 47 28 / 47

limited direct execution life of an execution Hardware - turn on power - start executing BIOS The user program is allowed to execute directly but is limited in that: it will not be able to execute all instruction it will only be able to access its own memory it will only be allowed to execute for a limited time How do we implement these limitations? The hardware allows an execution to be in either user mode or kernel mode. Kernel mode: load operating system - set up interrupt descriptor table (IDT) Kernel mode: load user program - set up stack, heap etc - start execution User mode: run program User mode: prepare system call - trap to kernel mode Kernel mode: jump to system call handler Kernel mode: handle system call - prepare result - return from trap User mode: continue execution the process memory layout 29 / 47 Important - the interrupt descriptor table must be protected, not modified in user mode system calls in Linux on x86 - traditional 30 / 47 IDT code data heap stack OS cntx The operating system and user program is part of the same memory layout. A user process will set the system call identifier in a specific register (%eax) and store the arguments on its stack. An special instruction, INT 0x80, will set the execution in kernel mode and jump to the 0x80 position in the interrupt table (IDT). The kernel will check the system call identifier and jump to the service routine specified by the system call table. When the system call has been handled, execution returns to user mode using the IRET instruction. The Interrupt Descriptor Table can only be set using the privileged instruction LIDT (Load Interrupt Descriptor Table). 31 / 47 32 / 47

system calls in Linux on x86 - today user and kernel space The traditional system call implementation is expensive. Some system calls, typically reading information, do not require the full protection of the switch from user to kernel mode. Modern x86 processors provide more efficient support to handle system calls using the instructions sysenter/syscall and sysexit/sysret. Check vsyscall and vdso to learn more. The kernel, the heart of the operating system, is executing in kernel mode (privileged mode, ring 0) where it has complete access to the hardware resources of the machine. We implement limited direct execution by executing a user process in user mode (unprivileged, ring 3) were it will only be allowed to touch its own code, stack and heap (the user space). The kernel should not take for granted that it can trust memory references from user space - security and portability. It should use special procedures when reading or writing to user space. Take over control 33 / 47 Interrupts 34 / 47 If the kernel allows the user process to start executing, how does it stop it? The user process executes a INT instruction. The hardware generates an interrupt. The kernel sets a timer interrupt before it allows the user process to execute. When the interrupt is generate by the hardware, the kernel can make a decision to schedule another process. Asynchronous interrupts: raised by the hardware: keyboard, IO, etc, can be masked by the kernel. Synchronous interrupts - exceptions: raised by the CPU faults: something strange happens, will be handled by the kernel and instruction is re-executed (if the kernel can fix it). traps: something special happens, used mainly by debugging. abort: severe errors that will not be fixed by the kernel. programmed exceptions (software exceptions): raised by for example the INT instruction, used by system calls and debuggers. This is the Intel terminology. 35 / 47 36 / 47

process state creating a process scheduled exit start ready running timeout I/O completed I/O initiate blocked exit How do we create a new process? A user process can create a new process. Functionality provided by a system call. In Unix the procedure is... strange, but very efficient. The POSIX API is not exactly what the Linux kernel provides - wrapper functions are used. Where are interrupts used? 37 / 47 38 / 47 A knife,... is the memory shared? The fork() system call will create a new process - that is a copy of the current process. # include <stdlib.h> # include <unistd.h> # include <stdio.h> main ( int argc, char * argv []) { int x = 42; int pid = fork (); main ( int argc, char * argv []) { printf (" Let s go \n"); int pid = fork (); printf (" Hello, the pid is %d\n", pid ) sleep (10); return 0; 39 / 47 if(pid == 0) { sleep (10); printf (" Hello, I m the child and x is %d\n", x); else { sleep (10); printf (" Hello, I m the mother and x is %d\n", x); return 0; 40 / 47

magic what about open files main ( int argc, char * argv []) { int x = 42; int pid = fork (); int main ( int argc, char * argv []) { FILE * foo = fopen (" foo. txt ", "w+"); if(pid == 0) { x = 12; sleep (10); printf (" Child : address of x is %p\n", &x); else { x = 13; sleep (10); printf (" Mother : address of x is %p\n", &x); return 0; int pid = fork (); if(pid == 0) { fprintf (foo, " this is the child \n"); else { fprintf (foo, " this is the mother \n"); return 0; This will be explained when we look at memory virtualisation. process creation 41 / 47 process API 42 / 47 The POSIX process API (part of): The fork() system call will create a copy of calling process. The memory of the two processes are separated from each other (but use the same addresses). Already open files are shared by the two processes. Newly open files are not shared. fork() : create a clone of current process exit() : terminate process wait() : wait for a process to terminate exec() : load and start execution of program getpid() : get process identifier kill() : send a signal to a process raise() : raise an exception sigaction() : sets a signal handler 43 / 47 44 / 47

process scheduling switching context user space kernel space When a timer interrupt is received: kernel stacks save the current registers in the context (process table) of the current process, proc. A cntx A cntx B code decide which other process that should run, load the stored registers of the selected process, reset the timer, switch to user mode and, set the instruction pointer of the selected process. what happens when a timer interrupt is received?. The kernel also needs a stack and uses a per-process kernel stack. scheduling 45 / 47 46 / 47 Next lecture: How to decide which processes that should be scheduled for execution. Read chapter 7, 8 and 9 in Three Easy Pieces. Do the assignments, they will help you understand the nature of processes. 47 / 47