Introduction to Threads

Transcription

1 Computer Systems Introduction to Threads Race Conditions Single- vs. Multi-Threaded Processes Process Process Thread Thread Thread Thread Memory Memory Heap Stack Heap Stack Stack Stack Data Data Code Code single- threaded mul)- threaded 1

2 What are Threads? q A thread is an independent stream of instruc3ons - Basic unit of CPU u3liza3on q A thread has its own - thread ID - execu3on stack q A thread shares with its sibling threads - The code, data and heap sec3on - Other OS resources, such as open files and signals Multi-Threaded Processes q Each thread has a private stack q But threads share the process address space! q There is no memory protec3on! q Threads could poten3ally write into each other s stack 2

3 Why use Threads? q A specific example, a Web server: in an infinite loop { get web page request from client check if page exists and client has permissions create a thread to transmit web page back to client } Concurrent execu3on on a single- core system Parallel execu3on on a dual- core system 3

4 pthreads q Refers to the POSIX standard (IEEE c) q API for thread crea3on and synchroniza3on q Common in UNIX opera3ng systems Java Threads q Java threads may be created by: - Extending Thread class - Implemen3ng the Runnable interface q JVM manages Java threads - Crea3on - Execu3on - Etc. 4

5 BIG Issue: Shared Data, which leads to Race Conditions An Example: badcnt.c #define NITERS unsigned int cnt = 0; /* shared */ int main() { pthread_t tid1, tid2; pthread_create(&tid1, NULL, Count, NULL); pthread_create(&tid2, NULL, Count, NULL); } pthread_join(tid1, NULL); pthread_join(tid2, NULL); if (cnt!= (unsigned)niters*2) printf("boom! cnt=%d\n", cnt); else printf("ok cnt=%d\n", cnt); /* thread routine */ void * Count(void *arg) { int i; for (i=0; i<niters; i++) cnt++; return NULL; } linux>./badcnt BOOM! cnt= linux>./badcnt BOOM! cnt= linux>./badcnt BOOM! cnt= cnt should be equal to 2,000,000. What went wrong?! 5

6 q Cri3cal sec3on = block of code that accesses shared data q The statement cnt++ is non- atomic: at machine level, it translates into three machine instruc3ons mov R, cnt add R, 1 mov cnt, R Critical Sections /* thread routine */ void * count(void *arg) { int i; for (i=0; i<niters; i++) cnt++; /* global, shared */ return NULL; } ; atomic (no interrupts) ; atomic (no interrupts) ; atomic (no interrupts) Race Condition q First thread executes cnt++ implemented as register1 = cnt register1 = register1 + 1 cnt = register1 q Second thread executes cnt++ implemented as register2 = cnt register2 = register2 + 1 cnt = register2 q Consider this execu3on interleaving with cnt = 5 ini3ally: first thread executes register1 = cnt {register1 = 5} first thread executes register1 = register1 + 1 {register1 = 6} Timer Interrupt second thread executes register2 = cnt {register2 = 5} second thread executes register2 = register2 + 1 {register2 = 6} Timer Interrupt first thread executes cnt = register1 {cnt = 6 } second thread executes cnt = register2 {cnt = 6} 6

7 Race Conditions q Race Condi3ons - occur when several threads access shared data concurrently - the result may vary from one execu)on to the next q We d like to execute this instruc3on atomically: cnt++; machine level R = cnt R = R + 1 cnt = R (An atomic opera3on completes without interrup3on) q Need some kind of mutual exclusion primi3ves - only a thread should ever enter a cri3cal sec3on (next lecture) Practice Exercise q Consider two threads sharing a global variable count, with ini3al value equal to 10: Thread A count++; Thread B count--; q What are the possible values for count ader both threads finish execu3ng: 7

8 Hands-on Session q Complete the hands- on POSIX programming exercises posted on the class website - Crea3ng threads - Passing data to threads - pthread_create - pthread_exit - pthread_self - pthread_join - pthread_attach - pthread_detach 8