Luồng (thread), còn gọi là quá trình nhẹ (lightweight process- lwp) hay tiểu trình, là một đơn vị cơ bản của việc sử dụng CPU. Luồng có mô hình tương tự tiến trình, trong việc xử lí tuần tự các chỉ thị máy.
Bài thảo luận Môn: Hệ điều hành Đề tài Quản lý luồng trong Unix, Win2000 ! ! "#$% !&' ()*'+ ! ,'+ !*-!.///////////////////01 23*456*'+ !//////////////////1 123789. 9*'+ !////////////////: "#$;<<92=*'+ ! ,>6!?69@=9A !(-BCB3/////////////00D EF*'+ !///////////////////,1 1'F) =98 !!6G323*'+ !///////////0,: "#$89. 9*'+ !=4 !H6 (-' 6C ,89. 9*'+ !=4 !H6 //////////000,I 89. 9*'+ !=4 !' 6C////////////0,D "9J *$% !&' ()*'+ ! "#$%&'( threadlightweight process- lwp !"#$%&'()*+,-./ 01#2%34/5+ (67 1&thread ID 0 .89:209stack+ ;1.<=.0>&?619@ 0,,1ABCD@/ running, ready.EBE!"91F$$1GH@ 1-IGJB#$%&' 0' " :209/+K#260 LJ0 .<$ML6!G1N0+( ,NG-5O,,$M 01'" 0,26JNL$G"+ ($MO$%P"91F$$1I."0 O,,1@$1$1L+Q1 /",,@11",+ )#*&&% (,1@D69.O&N69R+SC< .<69H69.O&1.O&N1AH69R 1R+ Luồng nhân : .<C</09 H#B/## @189O !PG-R+;1#!P.</ # H#BR@1!P8.O&N+ QJ&1.<!PO 0/#O# ITR,89O 1G1U&'/ 79#IG- T+S##BB.<C< R+ Luồng người dùng :.<C<&.LR.<A H. #@69.O&N+Q.#69#@189O ! PG-,$/C<VR&1,H69.O .<@1!P+K#0 WTG/#O #I52!GR&BG+ +#*,-'&% Q1/running0,@1 1AB19''J4"+(30, -+ Mô hình đơn luồng -@OG0 .J4,$BG19X95/# J4"0@O,+ Mô hình đa luồng -@OG0. J4,,$BBG/#J 4,@NO+ YB#B69$/C<!R.O &NJV,@1B-G+(, 1@- -.OD + Mô hình nhiều-mộtD2@B69.O&NL 69R+Z,5,26R@OJ BG-@$1$1JB 2%PD !'"-'./,0 + Mô hình một-mộtD2@69.O&NL69 R+19X9B@$1$1J 2%PG+Y. .<G@1.O&N9!@1R. UD !')-',0/,0 + Mô hình nhiều-nhiềuD2@B69.O&NLB 69R.$I.<.O&N9!>1A [$I.< R+ !'+-'./. 1223455*&% : QJP0C0$T,G-5&2% PJ+Y.1/0,$IU&'4B&2%PN $MG-50+(&2%P,1@ $1$1L.0891#I+\/#B #B.$I0/+Z 0/.J49''$T8J4 @1J9''J4,+ "#$6789:;<; (#B&NO#I]1GF2F699+ Q1.E="O#I]1GF2F ^+ Y01O.]1GL$1X9 @6!1AL+_$I#*2 #$%&'6 !"]1G$1X9@6!$1X9 @5.<@9JO#I9'1U&'"+ (0@9O#IF2F..<@91 $IF2F$T01 `U6! !+ 0=7&67D]1Ga$F2F G$FbQ1,D /c1GDQ@10L+ /d2FD(19X90G31@.eLf+g! 6"hF2Fi 000L+Q0L #9/j",$TekfJG-"08 $TG-,!BG1F2F-+ >?@A l/@1890L.</# [O#I ]1G+c1G19X9089 !$1",V &@0 +Q0I/R !3,.<0 !$1 @101+ (799.$D Pid = fork() Z/J210J, !$1=;9&;;9;< .L!@5BGD ` 1 !Rj"0 I5B$I&"0 1m ` 1 !Rj"019&no- 1G0!@1 0Im .L/#]1G.$D p+691L41F191F$$ Fm q+11$I&&6m r+@1 !$11 I!"0 I101+K $I94"0,$ME0GFF$T:I $I001B,$1X9B1 L8P+ s+:$I001 !#9H]F FG0<9L 001VG0$%&'U!1JN #9 !1&F1&F F01@1N.'# "0 IJ$I89#9.'tp+ u+!@$I&h9&i"0110 I+ !CDEF@G!FH?F2IF@G!? #include<stdio.h> main(int argc, char* argv[]) { Int pid; /*fork another process*/ pid=fork(); if(pid<0) { /*error occurred */ printf(stderr, “Fork Failed”); exit(-1); } else if (pid==0) { /*child process*/ execlp(“/bin/ls”,”ls”,NULL); } Else { /*parent process*/ /*parent will wait for the child to complete*/ wait(NULL); printf(“Child Complete”); exit(0); } } THU T TOÁN FORKẬ !"#$%&' $()* $%+#swaping&'demand paging,-#.%!/0&( $1 2%"34*!#5&6/78/&9 fork() input: none output: - PID for parent process /* Process ID*/ - 0 to child process; { .check for available kernel resources; .get free process table entry (slot), unique ID number; .check that user not running too many processes; .mark child state is :being created:; .copy data from parent process table entry to new child entry;/*dup*/ ; .increment counts on current directory inode and changed root (if applicable); .increment open file counts in file table;/*Ref. count of fds = +1*/ .make copy of parent context (u_area, text, data, stack) in mem- ory; /*create user level context (static part) now in using dupreg(), attachreg(). Except that the content of child’s u_area are initally the same as of parent’s,but can diverge after completion of the fork: the pionter to its process table slot. Note that, if nows parent open new file, the child can’t access to it !!! */ . push dummy system level context layer onto child system level context; /*Now kernel create the dynamic context for child: copy parent context layer 1 containing the user saved register context and the kernel frame stack of the fork system cal. If kernel stack is part of u_area, kernel automaticlly create child kernel stack when create the child u_area. If other method is used, the copying is needed to the private memory associated with chile process. Next kernel creates dummy context layer 2 for child containing the saved register context for lauer 1, set program counter . other regs to restore the child context, even it had never executed before and so that the child process to recognize itself as child when it runs. Now kernel tests the value register reg0 to decide if process is parent (reg0=1) or child (reg0=0).*/; .if (executing process is parent process) { /* After all, kernel set child to “ready to run in memory”, re- turn PID to user*/ .change child state to :ready to run:; .return(child PID); /*from system to user*/ } .else { /* and it start running from here when scheduled executing process is the child process: Child executes part of the code for fork() according to the program counter that kernel re- < stored from the saved regiter context in context layer 2, and return a 0 from the fork()*/ initialize u_area timing field; return(0); /*to user*/ } } EXEC =>exec /7?@ *86(3AB&4*! 3&+424/&3&%(,C*D3&user - level context " 8!exec /&"'(8EF&6@G/+3&exec $ HHAI/&J(G&1&KL/&&1&K !,MNO3& 3P$ !Dexec @&/7MNO", execve (filename, argv, envp) filename9B%(/7?@6 argv: 8QR?R$STU42?CVWW,XST $'@$D&/+Y$ !8E@, envp9RR$ST?@$ 8Q3&%(, 8%X"/exec 8/&9 execl (const char * pathname, const char *arg0, … / * (char *) 0 */ ); execv (const char * pathname, char *const argv[ ]); execle (const char * pathname, const char *arg0, … /*( char *) 0, char *const envp [ ] */ ); execve (const char * pathname, char *const argv[ ], char *const envp [ ] ); execlp (const char * filename, const char *arg0, … / * (char *) 0 */ ); execvp (const char * filename, char *const argv [ ] ); d nh ta dùng b ng sauĐể ễ ớ ả : Z[ [...]... luồng trong tác vụ thì hệ điều hành phải tác động vào tác vụ đó Vì tất cả các luồng trong một tác vụ chia sẻ cùng một không gian địa chỉ nên tất cả các luồng phải được đưa vào trạng thái hoan tại cùng một thời điểm Tương tự, khi một tác vụ ̃ kết thúc thi sẽ kết thúc tất cả các luồng trong tác vụ đó Phần III: Mô hình luồng trong Win2000 và Unix 1, Mô hình luồng trong Win2000 Hê ̣ điề u hành Win2000. .. một hay nhiều luồng Win2000 dùng ánh xa ̣ một-một, mỗi luồ ng cấ p người dùng ánh xa ̣ tới luồ ng nhân đươ ̣c liên kế t Tuy nhiên, Win2000 cũng được cung cấp hỗ trợ cho một thư viện có cấu trúc cung cấp chức năng mô hình nhiềunhiều Mỗi luồng thuộc về một tiến trình có thể truy xuất một không gian địa chỉ ảo của tiến trình Những thành phần thông thường của một luồng trong Win2000 là: * Một định... bô ̣ luồ ng Mặc dù Windows 2000 không cung cấp rõ sự hỗ trợ tín hiệu quản lý, nhưng chúng có thể được mô phỏng sử dụng lời gọi thủ tục bất đồng bộ (asynchronous produce calls - APC) Tiện ích APC cho phép luồng người dùng xác định hàm được gọi khi luồng người dùng nhận thông báo về một sự kiện xác định 2, Mô hình luồng trong Unix (trong ấn bản Solaris2) ́ Unix thường dùng mô hình nhiều-nhiều Ân bản... song song với nhau .Trong quá trình thực thi của luồng, nó cũng có thể tạo ra các luồng con của nó Điều đáng chú ý là có nhiều luồng trong phạm vi một tiến trình đơn Các hệ điều hành khác nhau có cách tiếp cận mô hình khác nhau, trong đó có mô hình luồng từ mô hình tác vụ Trong hệ thống tồn tại một không gian địa chỉ ảo để lưu trữ tác vụ và một cơ chế bảo vệ truy cập các file, các tài nguyên vào ra... đươ ̣c đă ̣c tả kiế n trúc tới phầ n cứng mà hê ̣ điề u hành cha ̣y trên đó Cấu trúc dữ liệu của luồng trong Win2000 gồm: a) ETHREAD (executive thread block - khối luồng thực thi): gồm mô ̣t con trỏ chỉ tới quá trình chứa luồng và địa chỉ của thủ tục mà luồng bắt đầu điều khiển trong đó ETHREAD cũng chứa mô ̣t con trỏ chỉ tới KTHREAD tương ứng Tồn tại hoàn toàn ở không gian nhân, chỉ... chứa ngăn xế p nhân (đươ ̣c dùng khi luồ ng đang cha ̣y trong chế đô ̣ nhân) và con trỏ chỉ tới TEB Tồn tại hoàn toàn ở không gian nhân, chỉ nhân mới có thể truy suấ t đươ ̣c c) TEB (thread environment block - khối môi trường luồng): là cấ u trúc dữ liê ̣u trong không gian người dùng đươ ̣c truy suấ t khi luồ ng đang cha ̣y trong chế đô ̣ người dùng Giữa những trường khác nhau,... ứng du ̣ng Nếu exec bị hủy ngay sau khi phân nhánh thì viê ̣c sao chép lại tất cả luồng là không cần thiết khi chương trình được xác định trong các tham số exec sẽ thay đổi quá trình Trong trường hơ ̣p này, viê ̣c sao chép la ̣i sẽ chỉ go ̣i luồ ng hơ ̣p lý Tuy nhiên, nế u quá trình riêng biê ̣t này không go ̣i exec sau khi phân nhánh thì quá trình phân biê ̣t này nên sao chép la... chạy trên LWP và yêu cầu LWP có thể được tận hiến tới một bộ xử lý đơn (xem luồng trái nhất trong hình trên) Liên kết một luồng có ích trong trường hợp yêu cầu thời gian đáp ứng nhanh, như ứng dụng thời thực Một luồng không giới hạn gán vĩnh viễn tới bất kỳ LWP nào Tất cả các luồng không giới hạn được đa hợp trong một nhóm cac LWP sẳn dùng cho ứng dụng Các luồng không giới hạn là mặc định Cấu trúc của... các luồng Như đã nói ở trên, các luồng trong một tiến trình chia sẻ với nhau không gian địa chỉ chung, nhờ đó mà các luồng có thể chia sẻ các biến toàn cục của tiến trình và có thể truy xuất lên các vùng nhớ stack của nhau Các luồng chia sẻ thời gian xử lý của processor giống như cách của một tiến trình Nhờ đó mà các luồng có thể hoạt động song song với nhau .Trong quá trình thực thi của luồng, nó cũng... dùng bởi thư viện cho mục đích định thời) Không có cấu trúc dữ liệu nào là tài nguyên nhân; tất cả chúng tồn tại trong không gian người dùng • Một LWP có một tập thanh ghi cho luồng cấp nhân nó đang chạy cũng như bộ nhớ và thông tin tính toán Một LWP là một cấu trúc dữ liệu nhân và nó nằm trong không gian nhân • Một luồng nhân chỉ có một cấu trúc dữ liệu nhân và ngăn xếp Cấu trúc dữ liệu gồm bản sao