Week 16 (April 25 th ) Outline Thread Synchronization Lab 7: part 2 & 3 TA evaluation form Reminders Lab 7: due this Thursday Final review session Final.

Slides:



Advertisements
Similar presentations
Threads. Readings r Silberschatz et al : Chapter 4.
Advertisements

Carnegie Mellon 1 Concurrent Programming / : Introduction to Computer Systems 23 rd Lecture, Nov. 15, 2012 Instructors: Dave O’Hallaron, Greg.
Programming with Threads Topics Threads Shared variables The need for synchronization Synchronizing with semaphores Thread safety and reentrancy Races.
Concurrent Servers May 31, 2006 Topics Limitations of iterative servers Process-based concurrent servers Event-based concurrent servers Threads-based concurrent.
1 Carnegie Mellon Proxylab and stuff : Introduction to Computer Systems Recitation 13: November 19, 2012 Donald Huang (donaldh) Section M.
Carnegie Mellon 1 Synchronization: Basics : Introduction to Computer Systems 23 rd Lecture, Nov. 16, 2010 Instructors: Randy Bryant and Dave O’Hallaron.
Lecture 4: Concurrency and Threads CS 170 T Yang, 2015 Chapter 4 of AD textbook.
– 1 – , F’02 Traditional View of a Process Process = process context + code, data, and stack shared libraries run-time heap 0 read/write data Program.
Concurrent Programming November 28, 2007 Topics Limitations of iterative servers Process-based concurrent servers Event-based concurrent servers Threads-based.
Fork Fork is used to create a child process. Most network servers under Unix are written this way Concurrent server: parent accepts the connection, forks.
Concurrent Servers Dec 3, 2002 Topics Limitations of iterative servers Process-based concurrent servers Event-based concurrent servers Threads-based concurrent.
Lecture 18 Threaded Programming CPE 401 / 601 Computer Network Systems slides are modified from Dave Hollinger.
Threads© Dr. Ayman Abdel-Hamid, CS4254 Spring CS4254 Computer Network Architecture and Programming Dr. Ayman A. Abdel-Hamid Computer Science Department.
Concurrent HTTP Proxy with Caching Ashwin Bharambe Monday, Dec 4, 2006.
Programming with Threads Topics Threads Shared variables The need for synchronization Synchronizing with semaphores Thread safety and reentrancy Races.
Carnegie Mellon 1 Synchronization: Basics / : Introduction to Computer Systems 23 rd Lecture, Jul 21, 2015 Instructors: nwf and Greg Kesden.
1 Concurrent Programming Andrew Case Slides adapted from Mohamed Zahran, Jinyang Li, Clark Barrett, Randy Bryant and Dave O’Hallaron.
University of Amsterdam Computer Systems –Concurrent servers Arnoud Visser 1 Computer Systems Concurrent servers.
Concurrent Servers April 25, 2002 Topics Limitations of iterative servers Process-based concurrent servers Threads-based concurrent servers Event-based.
ECE 297 Concurrent Servers Process, fork & threads ECE 297.
1 Concurrent Programming. 2 Outline Semaphores for Shared Resources –Producer-consumer problem –Readers-writers problem Example –Concurrent server based.
1 Concurrent Programming. 2 Outline Concurrent programming –Processes –Threads Suggested reading: –12.1, 12.3.
Carnegie Mellon 1 Bryant and O’Hallaron, Computer Systems: A Programmer’s Perspective, Third Edition Concurrent Programming : Introduction to Computer.
CS333 Intro to Operating Systems Jonathan Walpole.
Threads CSCE Thread Motivation Processes are expensive to create. Context switch between processes is expensive Communication between processes.
Threads Chapter 26. Threads Light-weight processes Each process can have multiple threads of concurrent control. What’s wrong with processes? fork() is.
PROCESS AND THREADS. Three ways for supporting concurrency with socket programming  I/O multiplexing  Select  Epoll: man epoll  Libevent 
Carnegie Mellon Introduction to Computer Systems /18-243, fall nd Lecture, Nov. 17 Instructors: Roger B. Dannenberg and Greg Ganger.
Copyright ©: Nahrstedt, Angrave, Abdelzaher
Programming with Threads Topics Threads Shared variables The need for synchronization Synchronizing with semaphores Thread safety and reentrancy Races.
Thread S04, Recitation, Section A Thread Memory Model Thread Interfaces (System Calls) Thread Safety (Pitfalls of Using Thread) Racing Semaphore.
Carnegie Mellon 1 Concurrent Programming / : Introduction to Computer Systems 22 nd Lecture, Nov. 11, 2014 Instructors: Greg Ganger, Greg.
Concurrency I: Threads Nov 9, 2000 Topics Thread concept Posix threads (Pthreads) interface Linux Pthreads implementation Concurrent execution Sharing.
1. Concurrency and threads 2. Synchronization: basic 3. Synchronization: advanced.
Concurrency Threads Synchronization Thread-safety of Library Functions Anubhav Gupta Dec. 2, 2002 Outline.
1 Introduction to Threads Race Conditions. 2 Process Address Space Revisited Code Data OS Stack (a)Process with Single Thread (b) Process with Two Threads.
Carnegie Mellon Recitation 11: ProxyLab Fall 2009 November 16, 2009 Including Material from Previous Semesters' Recitations.
1 CMSC Laundry List P/W/F, Exam, etc. Instructors: HSG, HH, MW.
Instructor: Haryadi Gunawi
Instructors: Gregory Kesden and Markus Püschel
Threads Synchronization Thread-safety of Library Functions
Programming with Threads
Programming with Threads
Threads Threads.
CS399 New Beginnings Jonathan Walpole.
Concurrent Programming November 13, 2008
Concurrency I: Threads April 10, 2001
Concurrent Servers Topics Limitations of iterative servers
Instructor: Randy Bryant
Recitation 14: Proxy Lab Part 2
Programming with Threads
Concurrent Programming
Programming with Threads Dec 5, 2002
CS703 - Advanced Operating Systems
Jonathan Walpole Computer Science Portland State University
Concurrent Programming : Introduction to Computer Systems 23rd Lecture, Nov. 13, 2018
Concurrent Programming CSCI 380: Operating Systems
Programming with Threads
Programming with Threads
Synchronization: Advanced CSCI 380: Operating Systems
Concurrent Programming November 13, 2008
Programming with Threads
Concurrent Programming December 2, 2004
Instructor: Brian Railing
Lecture 19: Threads CS April 3, 2019.
Instructor: Brian Railing
Programming with Threads
Threads CSE 2431: Introduction to Operating Systems
Concurrent Programming
Presentation transcript:

Week 16 (April 25 th ) Outline Thread Synchronization Lab 7: part 2 & 3 TA evaluation form Reminders Lab 7: due this Thursday Final review session Final exam: May 3 rd, 5:30-8:30pm UC McConomy Kun Gao Office hours: Wednesday 1-2pm Thursdays 2-3PM Doherty 4302D

Concurrent servers Iterative servers can only serve one client at a time Concurrent servers handle multiple requests in parallel Required by L7 Part 2 Web Browser Web Server Web Browser Web Browser Web Server Web Server Proxy

Three ways to create concurrent servers 1. Processes Fork a child process for every incoming client connection Difficult to share data among child processes 2. Threads Create a thread to handle every incoming client connection Our focus today 3. I/O multiplexing with Unix select() Use select() to notice pending socket activity Manually interleave the processing of multiple open connections More complex! ~ implement your own app-specific thread package!

Traditional view of a process Process = process context + code, data, & stack shared libraries run-time heap 0 read/write data Program context: Data registers Condition codes Stack pointer (SP) Program counter (PC) Kernel context: VM structures Descriptor table brk pointer Code, data, and stack read-only code/data stack SP PC brk Process context

Alternate view of a process Process = thread + code, data, & kernel context shared libraries run-time heap 0 read/write data Thread context: Data registers Condition codes Stack pointer (SP) Program counter (PC) Code and Data read-only code/data stack SP PC brk Thread (main thread) Kernel context: VM structures Descriptor table brk pointer

A process with multiple threads Multiple threads can be associated with a process Each thread has its own logical control flow (instruction flow) Each thread shares the same code, data, and kernel context Each thread has its own thread ID (TID) shared libraries run-time heap 0 read/write data Shared code and data read-only code/data Thread 1 context: Data registers Condition codes SP1 PC1 stack 1 Thread 1 (main thread) Kernel context: VM structures Descriptor table brk pointer Thread 2 context: Data registers Condition codes SP2 PC2 stack 2 Thread 2 (peer thread)

Threads vs. processes How threads and processes are similar Each has its own logical control flow. Each can run concurrently. Each is context switched. How threads and processes are different Threads share code and data, processes (typically) do not. Threads are less expensive than processes. Process control (creating and reaping) is twice as expensive as thread control. Linux/Pentium III numbers:  ~20K cycles to create and reap a process.  ~10K cycles to create and reap a thread.

Posix threads (pthreads) interface Creating and reaping threads. pthread_create pthread_join pthread_detach Determining your thread ID pthread_self Terminating threads pthread_cancel pthread_exit exit [terminates all threads], return [terminates current thread] Synchronizing access to shared variables pthread_mutex_init pthread_mutex_[un]lock pthread_cond_init pthread_cond_[timed]wait

The pthreads "hello, world" program /* * hello.c - Pthreads "hello, world" program */ #include "csapp.h" void *thread(void *vargp); int main() { pthread_t tid; Pthread_create(&tid, NULL, thread, NULL); Pthread_join(tid, NULL); exit(0); } /* thread routine */ void *thread(void *vargp) { printf("Hello, world!\n"); return NULL; } Thread attributes (usually NULL) Thread arguments (void *p) return value (void **p) Upper case Pthread_xxx checks errors

Execution of threaded “hello, world” main thread main thread waits for peer thread to terminate exit() terminates main thread and any peer threads peer thread call Pthread_create() call Pthread_join() Pthread_join() returns printf() return NULL; (peer thread terminates) Pthread_create() returns

Thread-based concurrent echo server int main(int argc, char **argv) { int listenfd, *connfdp, port, clientlen; struct sockaddr_in clientaddr; pthread_t tid; if (argc != 2) { fprintf(stderr, "usage: %s \n", argv[0]); exit(0); } port = atoi(argv[1]); listenfd = open_listenfd(port); while (1) { clientlen = sizeof(clientaddr); connfdp = Malloc(sizeof(int)); *connfdp = Accept(listenfd,(SA *)&clientaddr,&clientlen); Pthread_create(&tid, NULL, thread, connfdp); }

Thread-based concurrent server (cont) /* thread routine */ void *thread(void *vargp) { int connfd = *((int *)vargp); Pthread_detach(pthread_self()); Free(vargp); echo_r(connfd); /* thread-safe version of echo() */ Close(connfd); return NULL; } ? pthread_detach() is recommended in the proxy lab

Issue 1: detached threads A thread is either joinable or detached Joinable thread can be reaped or killed by other threads. must be reaped ( pthread_join ) to free resources. Detached thread can’t be reaped or killed by other threads. resources are automatically reaped on termination. Default state is joinable. pthread_detach(pthread_self()) to make detached. Why should we use detached threads? pthread_join() blocks the calling thread

Issue 2: avoid unintended sharing What happens if we pass the address of connfd to the thread routine as in the following code? connfdp = Malloc(sizeof(int)); *connfdp = Accept(listenfd,(SA *)&clientaddr,&clientlen); Pthread_create(&tid, NULL, thread, connfdp); connfd = Accept(listenfd,(SA *)&clientaddr,&clientlen); Pthread_create(&tid, NULL, thread, (void *)&connfd);

Issue 3: thread-safe Easy to share data structures between threads But we need to do this correctly! Recall the shell lab: Job data structures Shared between main process and signal handler Synchronize multiple control flows

Synchronizing with semaphores Semaphores are counters for resources shared between threads Non-negative integer synchronization variable Two operations: P(s) & V(s) Atomic operations P(s): [ while (s == 0) wait(); s--; ] V(s): [ s++; ] If initial value of s == 1 Serves as a mutual exclusive lock

Sharing with POSIX semaphores #include "csapp.h" #define NITERS unsigned int cnt; /* counter */ sem_t sem; /* semaphore */ int main() { pthread_t tid1, tid2; Sem_init(&sem, 0, 1); /* create 2 threads and wait */ exit(0); } /* thread routine */ void *count(void *arg) { int i; for (i=0;i<NITERS;i++){ P(&sem); cnt++; V(&sem); } return NULL; } We can use pthread_mutex for the Lab

Thread-safety of library functions All functions in the Standard C Library are thread-safe Examples: malloc, free, printf, scanf Most Unix system calls are thread-safe with a few exceptions: Thread-unsafe functionClassReentrant version asctime 3asctime_r ctime 3ctime_r gethostbyaddr 3gethostbyaddr_r gethostbyname 3gethostbyname_r inet_ntoa 3(none) localtime 3localtime_r rand 2rand_r

Thread-unsafe functions: fixes Return a ptr to a static variable Fixes: 1. Rewrite code so caller passes pointer to struct Issue: Requires changes in caller and callee hostp = Malloc(...)); gethostbyname_r(name, hostp, …); struct hostent *gethostbyname(char name) { static struct hostent h; return &h; }

Thread-unsafe functions: fixes 2. Lock-and-copy Issue: Requires only simple changes in caller However, caller must free memory struct hostent *gethostbyname_ts(char *p) { struct hostent *q = Malloc(...); P(&mutex); /* lock */ p = gethostbyname(name); *q = *p; /* copy */ V(&mutex); return q; }

Lab 7 hints for part 2 & part 3 Part 2 Create a thread to handle each request Refer to the code of the current echo server gethostbyname is not thread-safe Part 3 Global data structure for caching Synchronize the operations on them Use pthread_mutex (how?) Eviction policy

Summary Threading is a clean and efficient way to implement concurrent server We need to synchronize multiple threads for concurrent accesses to shared variables Semaphore is one way to do this Thread-safety is the difficult part of thread programming

TA evaluation form Questions on both sides Any comments are highly appreciated! Thank you!