Physical Control Flow Physical control flow <startup> inst 1 - - PDF document

▶
physical control flow
SMART_READER_LITE
LIVE PREVIEW

Physical Control Flow Physical control flow <startup> inst 1 - - PDF document

Oct 12, 2022 251 likes •429 views

Physical Control Flow Physical control flow <startup> inst 1 inst 2 Time inst 3 inst n <shutdown> Sean Barker 1 Operating System User-level Applications Operating System Hardware Resources Sean Barker 2 Processes

slide-1
SLIDE 1

Sean Barker

Physical Control Flow

1

<startup> inst1 inst2 inst3 … instn <shutdown> Physical control flow Time

Sean Barker

Operating System

2

User-level Applications Operating System Hardware Resources

slide-2
SLIDE 2

Sean Barker

Processes

3

CPU

Registers

Memory

Stack Heap Code Data

CPU

Registers

Memory

Stack Heap Code Data

…

CPU

Registers

Memory

Stack Heap Code Data

Sean Barker

Control Flow Abstraction

4

Time

Process A Process B Process C

slide-3
SLIDE 3

Sean Barker

Control Flow Time-Sharing

5

Process A Process B Process C

Time

Sean Barker

Context Switching

6

Process A Process B

user code kernel code user code kernel code user code context switch context switch

Time

slide-4
SLIDE 4

Sean Barker

Exceptions

7

User-Process OS

exception

exception'processing by/exception'handler

return'or'abort event'

Sean Barker

Example: Segmentation Fault

8

int a[1000]; main () { a[5000] = 13; } 80483b7: c7 05 60 e3 04 08 0d movl $0xd,0x804e360

User code Kernel code

Excep&on: page fault Detect invalid address

movl

Signal process

slide-5
SLIDE 5

Sean Barker

Exception Table

9

1 2

...

n-1

Excep&on Table Code for excep&on handler 0 Code for excep&on handler 1 Code for excep&on handler 2 Code for excep&on handler n-1

...

Excep&on numbers

Sean Barker

Process Management

10

CPU

Registers

Memory

Stack Heap Code Data

CPU

Registers

Memory

Stack Heap Code Data

…

CPU

Registers

Memory

Stack Heap Code Data

slide-6
SLIDE 6

Sean Barker

Fork/Exec

11

7

Stack Code:./usr/bin/bash Data Heap Stack Code:./usr/bin/bash Data Heap Stack Code:./usr/bin/bash Data Heap Stack Code:./usr/bin/ls Data

fork(): exec():

parent child child Code/state.of.shell.process. Copy.of.code/state.

  • f.shell.process.

Replaced.by.code/state.of.ls. Code/state.of.shell.process.

1 2 2 3

Sean Barker

Zombies!

12

slide-7
SLIDE 7

Sean Barker

Reaping: waitpid

13

wait

pid_t waitpid(pid_t pid, int* stat, int ops) Suspend.current.process.(i.e..parent).until.child.with.pid ends. wait set

Sean Barker

Status Macros

14

wait

pid_t waitpid(pid_t pid, int* stat, int ops) Suspend.current.process.(i.e..parent).until.child.with.pid ends.

WEXITSTATUS(stat) WIFEXITED(stat) WIFSIGNALED(stat) WIFSTOPPED(stat)

true if terminated by signal true if paused by signal child exit code true if terminated normally (called exit or returned from main)

slide-8
SLIDE 8

Sean Barker

Option Macros

15

wait

pid_t waitpid(pid_t pid, int* stat, int ops) Suspend.current.process.(i.e..parent).until.child.with.pid ends.

WNOHANG WUNTRACED WCONTINUED

return immediately if child not already terminated also wait for paused (stopped) children also wait for resumed children

Sean Barker

System Call Error Handling

16

if ((pid = fork()) < 0) {! fprintf(stderr, "fork error: %s\n", strerror(errno));! exit(0);! }

Always check return values!

slide-9
SLIDE 9

Sean Barker

Basic Shell Design

17

  • thers...

while (true) { Print command prompt. Read command line from user. Parse command line. If command is built-in, do it. Else fork process to execute command. in child: Execute requested command with execv. (never returns) in parent: Wait for child to complete. }

Sean Barker

Signals

18

ID Name Corresponding2Event Default2Action Can2 Override? 2 SIGINT Interrupt((Ctrl?C) T erminate Yes 9 SIGKILL Kill(process((immediately) T erminate No 11 SIGSEGV Segmentation(violation T erminate( &(Dump Yes 14 SIGALRM Timer(signal T erminate Yes 15 SIGTERM Kill(process((politely) T erminate Yes 17 SIGCHLD Child(stopped(or(terminated Ignore Yes 18 SIGCONT Continue(stopped(process Continue((Resume) No 19 SIGSTOP Stop(process((immediately) Stop((Suspend) No 20 SIGTSTP Stop(process((politely) Stop((Suspend) Yes

…

(Ctrl-Z)

slide-10
SLIDE 10

Sean Barker

Recap: Segmentation Fault

19

int a[1000]; main () { a[5000] = 13; } 80483b7: c7 05 60 e3 04 08 0d movl $0xd,0x804e360

User code Kernel code

Excep&on: page fault Detect invalid address

movl

Signal process

Sean Barker

Signal Control Flow

20

(2) Control passes to signal handler (3) Signal handler runs (4) Signal handler returns to next instruction Icurr Inext (1) Signal received by process

slide-11
SLIDE 11

Sean Barker

Signal Handler as Concurrent Flow

21

Process A while (1) ; Process A handler(){ … } Process B

Time

Sean Barker

Signal Handler as Concurrent Flow (alt)

22

Signal delivered to process A Signal received by process A Process A Process B

user code (main) kernel code user code (main) kernel code user code (handler) context switch context switch kernel code user code (main) Icurr Inext

slide-12
SLIDE 12

Sean Barker

Process Groups

23

Fore- ground job Back- ground job #1 Back- ground job #2 Shell Child Child

pid=10 pgid=10

Foreground process group 20 Background process group 32 Background process group 40

pid=20 pgid=20 pid=32 pgid=32 pid=40 pgid=40 pid=21 pgid=20 pid=22 pgid=20

Sean Barker

Signal Handler as Concurrent Flow

24

Process A while (1) ; Process A handler(){ … } Process B

Time

slide-13
SLIDE 13

Sean Barker

Concurrency Example (1)

25

int main(int argc, char** argv) {! int pid;! ! Signal(SIGCHLD, handler);! initjobs(); /* Initialize the job list */! ! while (1) {! if ((pid = fork()) == 0) { /* Child */! execve("/bin/date", argv, NULL);! } ! addjob(pid); /* Add child to job list */ }! exit(0);! }!

void handler(int sig) { ! pid_t pid;! ! while ((pid = waitpid(-1, NULL, 0)) > 0) { /* Reap child */ deletejob(pid); /* Delete the child from the job list */ }! if (errno != ECHILD)! unix_error("waitpid error");! }!

// handle case where waitpid returns // -1 but not an error // add handler

Sean Barker

Concurrency Example (2)

26

void handler(int sig) { ! sigset_t mask_all, prev_all;! pid_t pid;! sigfillset(&mask_all);! while ((pid = waitpid(-1, NULL, 0)) > 0) { /* Reap child */! sigprocmask(SIG_BLOCK, &mask_all, &prev_all);! deletejob(pid); /* Delete child from job list */! sigprocmask(SIG_SETMASK, &prev_all, NULL);! }! if (errno != ECHILD)! unix_error("waitpid error"); ! }! int main(int argc, char** argv) {! int pid;! sigset_t mask_all, prev_all;! sigfillset(&mask_all);! Signal(SIGCHLD, handler);! initjobs(); /* Initialize the job list */! while (1) {! if ((pid = fork()) == 0) { /* Child */! execve("/bin/date", argv, NULL);! }! sigprocmask(SIG_BLOCK, &mask_all, &prev_all);! addjob(pid); /* Add child to the job list */! sigprocmask(SIG_SETMASK, &prev_all, NULL);! }! exit(0);! }!

slide-14
SLIDE 14

Sean Barker

Concurrency Example (3)

27

int main(int argc, char** argv) {! int pid;! sigset_t mask_all, mask_one, prev_one;! ! sigfillset(&mask_all);! sigemptyset(&mask_one);! sigaddset(&mask_one, SIGCHLD);! Signal(SIGCHLD, handler);! initjobs(); /* Initialize the job list */! ! while (1) {! sigprocmask(SIG_BLOCK, &mask_one, &prev_one); /* Block SIGCHLD */! if ((pid = fork()) == 0) { /* Child process */! sigprocmask(SIG_SETMASK, &prev_one, NULL); /* Unblock SIGCHLD */! execve("/bin/date", argv, NULL);! }! sigprocmask(SIG_BLOCK, &mask_all, NULL); /* Parent process */! addjob(pid); /* Add the child to the job list */! sigprocmask(SIG_SETMASK, &prev_one, NULL); /* Unblock SIGCHLD */! }! exit(0);! }!

Sean Barker

Key System Calls

  • fork – Create a new process
  • execve – Run a new program
  • kill – Send a signal
  • waitpid – Wait for and/or reap child process
  • setpgid – Set process group ID
  • sigprocmask – Block or unblock signals
  • sigemptyset – Create empty signal set
  • sigfillset – Add every signal number to set
  • sigaddset – Add signal number to set
  • sigdelset – Delete signal number from set
  • sigsuspend – Wait until signal received

28

slide-15
SLIDE 15

Sean Barker

Processes

29

CPU

Registers

Memory

Stack Heap Code Data

CPU

Registers

Memory

Stack Heap Code Data

…

CPU

Registers

Memory

Stack Heap Code Data

Sean Barker

Threads

30

slide-16
SLIDE 16

Sean Barker

Thread Example

31

void* thread(void* vargp) { /* thread routine */! printf("Hello, world!\n");! return NULL; ! } /* * hello.c - Pthreads "hello, world" program */! ! void* thread(void* vargp); ! ! int main() {! ! pthread_t tid; ! pthread_create(&tid, NULL, thread, NULL); ! pthread_join(tid, NULL); ! exit(0); ! }!

Thread attributes (usually NULL) Thread arguments (void *p) Return value (void **p)

hello.c

Thread ID Thread routine

hello.c