1 SVTH: TRÊÌN DUY HOÂ MC LC Chûúng I HÏÅ THÖËNG THÚÂI GIAN THÛÅC 1.1 Hïå thöëng thúâi gian thûåc: 1.1.1 Giúái thiïåu vïì hïå thưëng thúâi gian thûåc : 1.1.2 Khấi niïåm hïå thưëng thúâi gian thûåc : 1.1.3 Cấc loẩi hïå thưëng thúâi gian thûåc: 1.2 Hïå àiïìu hânh cho hïå thöëng thúâi gian thûåc : 1.2.1 Sú lûúåc vïì hïå àiïìu hânh : 1.2.2 Quan niïåm tiïën trịnh, tiïíu trịnh : CẤC CHÛÚNG TRỊNH ÛÁNG DNG HÏÅ ÀIÏÌU HÂNH PHÊÌN CÛÁNG User User n User 1.2.3 Hïå àiïìu hânh thúâi gian thûåc : HÏÅ ÀIÏÌU HÂNH WINDOWS VÂ VÊËN ÀÏÌ THÚÂI GIAN THÛÅC 1.3 Ngưn ngûä lêåp trịnh cho hïå thưëng thúâi gian thûåc: 10 1.3.1 Tưíng quan vïì ngưn ngûä lêåp trịnh cho hïå thưëng thúâi gian thûåc: 10 1.3.2 Sú lûúåc vïì ngưn ngûä lêåp trịnh C: 10 1.4 Quan niïåm thúâi gian hïå thöëng thúâi gian thûåc: 11 1.4.1 Àưìng hưì hïå thưëng: 11 1.4.2 Caác loẩi àưìng hưì hïå thưëng: 11 1.4.3 Quan niïåm vïì sûå rúâi rẩc thúâi gian: .12 1.4.4 Raâng båc vïì thúâi gian: 12 1.5 Vêën àïì àiïìu phưëi cưng viïåc : .13 1.6 Vêën àïì àưìng bưå hoấ: 14 1.6.1 Cú chïë àưìng bưå hoaá: .14 1.6.2 Phûúng phấp àưìng bưå trïn mưi trûúâng Windows: 14 1.7 Mưåt sưë u cêìu ca hïå thöëng thúâi gian thûåc : 15 1.7.1 Hïå thưëng lúán vâ phûác tẩp: .15 http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 1.7.2 Xûã lyá trïn söë thûåc: 15 1.7.3 Thûåc sûå an toân vâ àấng tin cêåy: 16 1.7.4 Giao tiïëp trûåc tiïëp vúái thiïët bõ phêìn cûáng: 16 1.7.5 Thûåc hiïån trïn mưi trûúâng vâ ngưn ngûä lêåp trịnh hiïåu quẫ: .16 1.7.6 Ngûúâi sûã dng àiïìu khiïín : 16 1.8 Vâi vđ d vïì Hïå thưëng thúâi gian thûåc : 16 1.8.1 Vñ duå 1: 16 1.8.2 Vñ duå 2: 16 1.8.3 Vñ duå 3: 17 1.8.4 Ngoâi côn cố rêët nhiïìu RTS khấc 17 1.9 Phûúng phấp phên tđch thiïët kïët Hïå thưëng thúâi gian thûåc : 17 1.9.1 Sú lûúåc vïì phûúng phấp thiïët kïë phêìn mïìm: 17 1.9.2 Thiïët kïë ûáng duång thúâi gian thûåc : 18 1.9.3 Mư hịnh àöëi tûúång : 19 1.9.4 Sú àưì trẩng thấi (State chart, state diagram): 20 1.9.5 Maång Petri vâ àưì thõ Petri (Petri net and Petri graph): 20 SVTH: TRÊÌN DUY HOÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ Chûúng I HÏÅ THƯËNG THÚÂI GIAN THÛÅC 1.1 Hïå thöëng thúâi gian thûåc: 1.1.1 Giúái thiïåu vïì hïå thưëng thúâi gian thûåc : Trong nhûäng nùm gêìn àêy, cấc hïå thưëng àiïìu khiïín theo thúâi gian thûåc lâ mưåt nhûäng lơnh vûåc thu ht nhiïìu sûå ch giúái khoa hổc nghiïn cûáu vïì khoa hổc tđnh Trong àố, vêën àïì àiïìu hâ nh thúâi gian thûåc vâ vêën àïì lêåp lõch lâ àùåc biïåt quan trổng Mưåt sưë ûáng dng quan trổng ca hïå thưëng thúâi gian thûåc (RTS) àậ vâ àang àûúåc ûáng dng rưång rậi hiïån lâ cấc dêy chuìn sẫn xët tûå àưång, rưbưët, àiïìu khiïín khưng lûu, àiïìu khiïín cấc thđ nghiïåm tûå àưång, truìn thưng, àiïìu khiïín quên sûå Thïë hïå ûáng duång tiïëp theo ca hïå thưëng nây sệ lâ àiïìu khiïín rưbưët cố hoẩt àưång giưëng ngûúâi, hïå thưëng kiïím soất thưng minh cấ c nhâ cưng nghiïåp, àiïìu khiïín cấc trẩm khưng gian, thùm dô àấy àẩi dûúng 1.1.2 Khấi niïåm hïå thưëng thúâi gian thûåc : Mưåt hïå thưëng thúâi gian thûåc (RTS – Realtime Systems) cố thïí àûúåc hiïíu nhû lâ mưåt mư hịnh xûã l mâ tđnh àng àùỉn ca hïå thưëng khưng chó ph thåc vâo kïët quẫ tđnh toấn lưgic mâ côn ph thåc vâo thúâi gian mâ kïët quẫ nây phất sinh Hùồ thửởng thỳõi gian thỷồc ỷỳồc thiùởt kùở nhựỗm cho phếp trẫ lúâi (response) lẩi cấc ëu tưë kđch thđch phất sinh tûâ cấc thiïët bõ phêìn cûáng mưåt râng båc thúâi gian xấc àõnh ÚÃ àêy ta coỏ thùớ hiùớu thùở naõo laõ mửồt RTS bựỗng caỏch hiïíu thïë nâo lâ mưåt tiïën trịnh, mưåt cưng viïåc thúâi gian thûåc Nhịn chung, nhûäng RTS chó cố mưåt sưë cưng viïåc àûúåc gổi lâ cưng viïåc thúâi gian thûåc, cấc cưng viïåc nây cố mưåt mûác àưå khêín cêëp riïng phẫi hoân têët, vđ d mưåt tiïën trịnh àang cưë gùỉng àiïìu khiïín hóåt giấm mưåt sûå kiïån àang xaãy thïë giúái thûåc Búãi vị mưỵi sûå kiïån xët hiïån thïë giúái thûåc nïn tiïën trịnh giấm sûå kiïån nây phẫi xûã l theo kõp vúái nhûäng thêy àưíi ca sûå kiïån nây Sûå thay àưíi ca sûå kiïån http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com thïë giúái thûåc xẫy rêët nhanh, mưỵi tiïën trịnh giấm sûå kiïån nây phẫi thûåc hiïån viïåc xûã l mưåt khoẫn thúâi gian râng båc gổi lâ deadline, khoẫn thúâi gian râng båc nây àûúåc xấc àõnh búãi thúâi gian bùỉt àêìu vâ thúâi gian hoân têët cưng viïåc Trong thûåc tïë, cấc ëu tưë kđch thđch xẫy thúâi gian rêët ngùỉn vâo khoẫng vâi mili giêy, thúâi gian mâ hïå thưëng trẫ lúâi lẩi ëu tưë kđch thđch àố tưët nhêët vâo khoẫng dûúái mưåt giêy, thûúâng vâo khoẫng vâi chc mili giêy, khoẫng thúâi gian nây bao gưìm thúâi gian tiïëp nhêån kđch thđch, xûã l thưng tin vâ trẫ lúâi lẩi kđch thđch Mưåt ëu tưë khấc cêìn quan têm RTS lâ nhûäng cưng viïåc thúâi gian thûåc nây cố tìn hoân hay khưng ? Cưng viïåc tìn hoân thị râng båc thúâi gian êën àõnh theo tûâng chu k xấc àõnh Cưng viïåc khưng tìn hoân xẫy vúái râng båc thúâi gian vâo lc bùỉt àêìu vâ lc kïët thc cưng viïåc, râng båc nây chó àûúåc xấc àõnh vâo lc bùỉt àêìu cưng viïåc Cấc biïën cưë kđch hoẩt cưng viïåc khưng tìn hoân thûúâng dûåa trïn k thåt xûã l ngùỉt ca hïå thưëng phêìn cûáng Vïì mùåt cêëu tẩo, RTS thûúâng àûúåc cêëu thânh tûâ cấc thânh tưë chđnh sau : - Àưìng hưì thúâi gian thûåc : Cung cêëp thưng tin thúâi gian thûåc - Bưå àiïìu khiïín ngùỉt : Quẫn l cấc biïën cưë khưng theo chu k - Bưå àõnh biïíu : Quẫn l cấc qua trịnh thûåc hiïån - Bưå quẫn l tâi ngun : Cung cêëp cấc tâi ngun tđnh - Bưå àiïìu khiïín thûåc hiïån : Khúãi àưång cấc tiïën trịnh Cấc thânh tưë trïn cố thïí àûúåc phên àõnh lâ thânh phêìn cûáng hay mïìm ty thåc vâo hïå thưëng vâ nghơa sûã dng Thưng thûúâng, cấc RTS àûúåc kïët húåp vâo phêìn cûáng cố khẫ nùng tưët hún so vúái hïå thưëng phêìn mïìm cố chûác nùng tûúng ûáng vâ trấnh àûúåc chi phđ quấ àùỉt cho viïåc tưëi ûu hoấ phêìn mïìm Ngây nay, chi phđ phêìn cûáng ngây câng rễ, chổn lûåu ûu tiïn phêìn cûáng lâ mưåt xu hûúáng chung 1.1.3 Cấc loẩi hïå thưëng thúâi gian thûåc: Cấc RTS thûúâng àûúåc phên thânh hai loẩi sau Soft reatime system vâ Hard realtime system : Àưëi vúái Soft realtime system, thúâi gian trẫ lúâi ca hïå thưëng cho ëu tưë kđch thđch lâ quan trổng, nhiïn trûúâng húåp râng båc nây bõ vi phẩm, tûác lâ thúâi gian trẫ lúâi ca hïå thưëng vûúåt quấ giúái hẩn trïỵ cho phếp, hïå thưëng vêỵn cho phếp tiïëp tc hoẩt àưång bịnh thûúâng, khưng quan têm àïën cấc tấc hẩi sûå vi phẩm nây gêy (Thûúâng thị tấc hẩi nây lâ khưng àấng kïí) Ngûúåc lẩi vúái Soft realtime system lâ Hard realtime system, trûúâng húåp nây ngûúâi ta quan têm khùỉc khe àïën cấc hêåu quẫ sûå vi phẩm giúái hẩn thúâi gian àïí cho phếp búãi vị nhûäng hêåu quẫ nây cố thïí lâ rêët tưìi tïå, thiïåt hẩi vïì vêåt SVTH: TRÊÌN DUY HOÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com chêët, cố thïí gêy nhûäng ẫnh hûúãng xêëu àïën àúâi sưëng ngûúâi Mưåt vđ d cho loẩi nây lâ hïå thưëng àiïìu khiïín khöng lûu, möåt phên phöëi àûúâng bay, thúâi gian cêët cấnh, hẩ cấnh khưng húåp l, khưng àng lc cố thïí gêy tai nẩn bay mâ thẫm hổa ca nố khố mâ lûúâng trûúác àûúåc Trong thûåc tïë thị cố nhiïìu RTS bao gưìm cẫ hai loẩi soft vâ hard Trong cẫ hai loẩi nây, tđnh thûúâng can thiïåp trûåc tiïëp hóåc giấn tiïëp àïën cấc thiïët bõ vêåt l àïí kiïím soất cng nhû àiïìu khiïín sûå hoẩt àưång ca thiïët bõ nây Àûáng trïn gốc àưå nây, ngûúâi ta thûúâng chia cấc RTS lâm hai loẩi sau : (1) Embedded system : Bưå vi xûã l àiïìu khiïín lâ mưåt phêìn toân bưå thiïë t bõ, nố àûúåc sẫn xët trổn gối tûâ ëu tưë cûáng àïën ëu tưë mïìm tûâ nhâ mấy, ngûúâi sûã dng khưng biïët vïì chi tiïët ca nố vâ chó sûã dng thưng qua cấc nt àiïìu khiïín, cấc bẫng sưë Vúái hïå thưëng nây, ta sệ khưng thêëy àûúåc nhûäng thiïët bõ nhû tđnh bịnh thûúâng nhû bân phđm, mân hịnh mâ thêy vâo àố lâ cấc nt àiïìu khiïín, cấc bẫng sưë, àên tđn hiïåu hay cấc mân hịnh chun dng àùåc trûng cho tûâng hïå thưëng Mấy giùåt lâ mưåt vđ d Ngûúâi sûã dng chó viïåc bêëm nt chổn chûúng trịnh giùåt, xem kïët quẫ qua hïå thưëng àên hiïåu Bưå vi xûã l Embedded system nây àậ àûúåc lêåp trịnh trûúác vâ gùỉn chùåt vâo tûâ sẫn xët vâ khưng thïí lêåp trịnh lẩi Nhûäng chûúng trịnh nây chẩy àưåc lêåp, khưng cố sûå giao tiïëp vúái hïå àiïìu hânh (HÀH) cng nhû khưng cho phếp ngûúâi sûã dng can thiïåp vâo (2) Loẩi thûá hai lâ bao gưìm nhûäng hïå thưëng cố sûå can thiïåp ca tđnh thưng thûúâng Thưng qua tđnh ta hoân toân cố thïí kiïím soất cng nhû àiïìu khiïín mổi hoẩt àưång ca thiïët bõ phêìn cûáng ca hïå thưëng nây Nhûäng chûúng trịnh àiïìu khiïín nây cố rêët nhiïìu loẩi, phc v cho nhiïìu mc àđch khấc vâ cố thïí àûúåc viïët lẩi cho ph húåp vúái u cêìu thûåc tïë Hiïín nhiïn thị loẩi hïå thưëng nây hoẩt àưång àûúåc phẫi cêìn mưåt HÀH àiïìu khiïín tđnh HÀH nây phẫi cố khẫ nùng nhêån biïët àûúåc thiïët bõ phêìn cûáng, cố khẫ nùng hoân têët cưng viïåc giúái hẩn thúâi gian nghiïm ngùåt HÀH nây phẫi lâ HÀH hưí trúå xûã l thúâi gian thûåc – Realtime operating system (RTOS) SVTH: TRÊÌN DUY HOÂ 1.2 Hïå àiïìu hânh cho hïå thưëng thúâi gian thûåc : 1.2.1 Sú lûúåc vïì hïå àiïìu hânh : Cho àïën nay, nhịn chung thị chûa cố mưåt àõnh nghơa nâo lâ hoân hẫo vïì hïå àiïìu hânh (HÀH) HÀH àûúåc xem nhû mưåt chûúng trịnh hoẩt àưång giûäa ngûúâi sûã dng vâ phêìn cûáng tđnh vúái mc tiïu cung cêëp mưåt mưi trûúâng àïí thûåc thi cấc chûúng trịnh ûáng dng vâ thån lúåi, hiïåu quẫ hún viïåc sûã dng tđnh http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Cho àïën ngaây nay, HÀH àậ phất triïín vúái nhiïìu loẩi khấc nhû : HÀH quẫn l theo lư àún giẫn, quẫn l theo lư àa chûúng (Multiprogram), chia xễ thúâi gian (Multitasking), xûã l song song, mẩng vâ phên 1.2.2 Quan niïåm tiïën trịnh, tiïíu trịnh : Trong cấc HÀH hiïån àẩi ngây nay, quan niïåm tiïën trịnh vâ tiïíu trịnh lâ trung têm ca cẫ hïå thưëng, têët cẫ cấc xûã l àïìu têåp trung vâo tiïën trịnh, vâo tiïíu trịnh ÚÃ àêy àïí thån tiïån, ta ch trổng vâo mưi trûúâng Winows 32 bit SVTH: TRÊÌN DUY HOÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ CẤC CHÛÚNG TRỊNH ÛÁNG DNG HÏÅ ÀIÏÌU HÂNH PHÊÌN CÛÁNG User Hịnh : Mư hịnh trûâu tûúång ca hïå thưëng tđnh User n User Mưåt tiïën trịnh àûúåc xem nhû lâ mưåt thïí hiïån àang thûåc thi ca mưåt chûúng trịnh Trïn mưi trûúâng Windows 32 bit, mưåt tiïën trịnh súã hûãu GB khưng gian àõa chó bưå nhúá khưng ph thåc vâo bưå nhúá vêåt l Têët cẫ cấc DLL cêìn thiïët àïìu àûúåc map vâo khưng gian àõa chó nây Khi mưåt tiïën trịnh àûúåc tẩo lêåp, cố mưåt tiïíu trịnh chđnh àûúåc tẩo lêåp vâ tiïën trịnh kïët thc têët cẫ cấc tiïíu trịnh àïìu kïët thc Mưåt tiïën trịnh cố thïí cố nhiïìu tiïíu trịnh vâ cố thïí tẩo lêåp cấc tiïën trịnh khấc Tiïíu trịnh lâ mưåt thânh phêìn xûã l cú bẫn ca tiïën trịnh, tiïíu trịnh súã hûäu mưåt trỗ lïånh riïng, tẩp cấc ghi riïng, stack riïng vâ têët caó nựỗm khửng gian ừa cuóa tiùởn trũnh súã hûäu Nhû vêåy, cấc tiïíu trịnh mưåt tiïën trịnh cố thïí chia sễ cấc tâi ngun vúái Têët cẫ cấc cưng viïåc àiïìu phưëi tiïën trịnh àïìu nhùỉm vâo hoẩt àưång ca tiïíu trịnh Cấc tiïíu trịnh, tiïën trịnh phẫi liïn lẩc vúái àïí cố mưåt cú chïë àiïìu phưëi húåp l, àïí cố mưåt cấch thûác chia sệ dûä liïåu vúái Cấc cú chïë liïn lẩc vâ chia sệ dûä liïåu àûúåc cấc HÀH vâ NNLT hiïån àẩi quan têm nhû sûã dng tđn hiïåu, pipe, vng nhúá chia sệ, trao àưíi thưng àiïåp, sûã dng socket v.v 1.2.3 Hïå àiïìu hânh thúâi gian thûåc : Hïå àiïìu hânh thúâi gian thûåc (RTOS - Realtime Operating system) lâ HÀH cố sûå ch trổng giẫi quët vêën àïì àôi hỗi khùỉc khe vïì thúâi gian cho cấc thao tấc xûã l hóåt dông dûä liïåu Àêy lâ HÀH hiïån àẩi, tinh vi, thúâi gian xûã l nhanh, phẫi cho kïët quẫ chđnh xấc thúâi gian bõ thc ếp nhanh nhêët HÀH nây http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com thûúâng sûã dng mưåt àưìng hưì hïå thưëng cố cho k ngùỉt nhỗ vâo khoẫng vâi micro giêy àïí thûåc hiïån àiïìu phưëi cấc tiïën trịnh Cấc HÀH hiïån àẩi ngây phêìn lúán àïìu hưí trúå (úã mûác tûúng àưëi) xûã l thúâi gian thûåc, cung cêëp mưåt mưi trûúâng cố thïí tưí chûác cấc RTS Theo sûå àấnh giấ ca cấc chun viïn RTS thị cho àïën nay, cấc HÀH thåc hổ UNIX lâ cố thïí àấp ûáng tưët nhêët cấc u cêìu khùỉc khe ca cấc RTS phûác tẩp Tuy nhiïn, khn khưí lån vùn nây cng vúái cấc u cêìu cng nhû hiïån trẩng thûåc tïë, hïå thưëng àang àûåoc quan têm sệ triïín khai trïn hïå thưëng PC s dng HÀH Windows 9x 32 bit SVTH: TRÊÌN DUY HOÂ HÏÅ ÀIÏÌU HÂNH WINDOWS VÂ VÊËN ÀÏÌ THÚÂI GIAN THÛÅC Windows àûúåc thiïët kïë búãi hậng Microsoft, àúâi vâo 11/1985, cho àïën àậ trẫi qua nhiïìu phiïn bẫn vâ cẫi tiïën Windows àûúåc sûã dng rưång rậi nhêët trïn thïë giúái vi tđnh cấ nhên (PC) vâ àậ àûa Microsoft thânh cưng ty hâng àêìu thïë giúái lơnh vûåc tin hổc ÚÃ àêy ta quan têm àïën caác Windows 9x vúái caác phiïn bẫn 32 bit Lâ HÀH àa nhiïåm (Multitasking) xûã l 32 bđt, chẩy trïn mưi trûúâng PC, cố hưỵ trúå cho viïåc xûã l thúâi gian thûåc, cố u cêìu cêëu hịnh khưng cao, nïëu cêëu hịnh cao thị tưëc àưå xûã l câng nhanh, tûúng thđch cấc HÀH khấc, cố nhiïìu àùåc àiïím àûúåc mổi ngûúâi ûu chång nhû giao diïån àưì hoẩ thên thiïån, tđnh an toân, khẫ nùng Plus and Play v.v Vïì vêën àïì thúâi gian thûåc, HÀH àa nhiïåm nây àùåt nïìn mống trïn sûå chia xễ thúâi gian Khấi niïåm tiïën trịnh vâ khấi niïåm tiïíu trịnh lâ trung têm nïìn tẫng cho vêën àïì xûã l àiïìu phưëi, àưìng bưå vâ cấc xûã l liïn quan thúâi gian thûåc khấc HH naõy vửởn ỷỳồc viùởt phờỡn lỳỏn bựỗng ngửn ngỷọ C/C++ lâ mưåt nhûäng ngưn ngûä lêåp trịnh (NNLT) cố khẫ nùng hưí trúå xûã l thúâi gian thûåc (Xem phêìn Ngưn ngûä lêåp trịnh RTS) Cung cêëp thû viïån duâng chung API cho pheáp giao tiïëp vúái hïå thưëng cng nhû tưí chûác àưìng bưå hoấ tiïën trịnh, tiïíu trịnh Windows 9x khưng hưí trúå can thiïåp trûåc tiïëp vâo hïå thưëng hay cấc thiïët bõ ngoẩi vi (nhûng vêỵn cho phếp), nhiïn lẩi cung cêëp mưåt mưi trûúâng giao tiïëp dïỵ dâng http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ 10 1.3 Ngưn ngûä lêåp trịnh cho hïå thưëng thúâi gian thûåc: 1.3.1 Tưíng quan vïì ngưn ngûä lêåp trịnh cho hïå thưëng thúâi gian thûåc: Phêìn lúán cấc ûáng duồng thỳõi gian thỷồc khửng thùớ viùởt bựỗng caỏc ngửn ngûä lêåp trịnh (NNLT) truìn thưëng dûúái nhûäng HÀH truìn thưëng búãi vị cấc NNLT nây khưng hưỵ trúå cấc xûã l cố sûå râng båc khùỉc khe vïì thúâi gian thûåc thi Cng cố mưåt sưë NNLT loẩi nây cố phêìn múã rưång hưí trúå cho phếp viïët chûúng trũnh xỷó lyỏ thỳõi gian thỷồc bựỗng caỏch can thiùồp trûåc tiïëp vâo phêìn cûáng mâ khưng thưng qua NNLT àang chẩy Mưåt sưë RTS àûúåc viïët tûâ ngưn ngûä kinh àiïín nhû C nïëu àûúåc cung cêëp thïm thû viïån cấc hâm hưí trúå xûã l thúâi gian thûåc, ëu tưë thúâi gian thûåc lc nây lâ sûå chia xễ giûäa NNLT vâ RTOS àang chẩy Ngây cố nhiïìu NNLT hưí trúå viïët chûúng trịnh xûã l thúâi gian thûåc, vđ d nhû Ada chun cấc lơnh vûåc qn sûå Java vưën àûúåc thuët kïë àïí dng cấc hïå thưëng nhng cấc thiïët bõ dên dng, truìn thưng Java cố cú chïë hưí trúå àa nhiïåm riïng khưng ph thåc vâo HÀH C/C++ àûúåc cung cêëp cấc thû viïån hâm hưỵ trúå cú chïë xûã l thúâi gian thûåc theo nhiïìu HÀH hưí trúå xûã lyá thúâi gian thûåc khaác v.v Trong luêån vùn nây, NNLT àûúåc quan têm àïën lâ ngưn ngûä C dng àïí phất triïín cấc RTS dûåa trïn mưi trûúâng HÀH Windows (32 bit) Microsoft cung cêëp 1.3.2 Sú lûúåc vïì ngưn ngûä lêåp trịnh C: NNLT C(/C++) ngây àûúåc sûã dng rưång rậi trïn nhiïìu phûúng diïån cng nhû nhiïìu loẩi tđnh, lâ NNLTõ dng àïí viïët nhiïìu NNLT, trịnh biïn dõch cng nhû viïët cấc ûáng dng thûúng mẩi NNLT C àûúåc thuët kïë vâo nùm 1973 búãi tiïën sơ Denis Ritche thåc diïån nghiïn cûáu Bell trûåc thåc hậng AT&T, NNLT nây àûúåc thuët kïë àïí viïët HÀH UNIX - mưåt (hổ) HÀH àûúåc rêët nhiïìu ngûúâi sûã duång cho àïën hiïån nay, trïn cẫ mainframe vâ hiïån lâ PC Ngây trïn thõ trûúâng cố rêët nhiïìu trịnh biïn dõch cho cẫø C vâ C++, phêìn lúán àïìu dûåa trïn chuêín ANSI nhû Turbo C/C++, Borland C/C++, Builder C/C++ cuãa haäng Borland, Microsoft C/C++, Visual C/C++ cuãa Microsoft C lâ NNLT cêëp trung, cố cêëu trc (nhûng khưng chđnh thưëng), nhiïn C lâ mưåt NNLT mẩnh cẫ vïì khđa cẩnh c phấp cng nhû phất sinh mậ thûåc thi C kïët húåp àûúåc cẫ ëu tưë mïìm dệo vâ khẫ nùng àiïìu khiïín mẩnh mệ ca Assembly cng nhû tđnh dïỵ hiïíu, rỗ râng ca cấc ngưn ngûä cêëp cao khấc nhû BASIC, Pascal Vïì vêën àïì thúâi gian thûåc, NNLT C vưën dng àïí viïët HÀH UNIX – mưåt HÀH cố khẫ nùng xûã l thúâi gian thûåc tưët nhêët hiïån nhû àậ àïì cêåp trïn C http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 11 côn àûúåc dng àïí viïët nhiïìu HÀH hiïån àẩi khấc ngây C cố sùèn thû viïån hâm xûã l thúâi gian chín, mûác àưå chđnh xấc thúâi gian xûã l cố thïí lïn àïën hâng micro giêy Bïn cẩnh àố lâ khẫ nùng giao tiïëp trûåc tiïëp vúái thiïët bõ phêìn cûáng, cêìn cố thïí goồi trỷồc tiùởp caỏc oaồn maọ viùởt bựỗng Assembly hay cheõn trỷồc tiùởp maọ Assembly vaõo chỷỳng trũnh viùởt bựỗng C Trïn mưỵi nïìn HÀH khấc nhû Windows, UNIX C côn àûúåc cung cêëp hïå thưëng cấc hâm hưí trúå xûã l thúâi gian thûåc, hưí trúå àưìng bưå hốa cấc quấ trịnh, râng båc toân vển, àưåc quìn truy xët gip cho C cố khẫ nùng àiïìu khiïín àïën tûâng tiïën trịnh, tûâng tiïíu trịnh àang thûåc thi NNLT C cố thû viïån hâm xûã l thúâi gian thûåc riïng vâ thû viïån cấc hâm àiïìu phưëi vâ àưìng bưå cấc tiïën trịnh àûúåc hưí trúå tûâ HÀH Windows (Chi tiïët cấc hâm nây úã phêìn ph lc) Trong xu hûúáng ngây nay, cưng nghïå hûúáng àưëi tûúång cng rêët àûúåc quan têm lơnh vûåc RTS, cố nhiïìu NNLT hûúáng àưëi tûúång hưí trúå xêy dûång RTS àúâi nhû C++, Java Tuy nhiïn nhûäng NNLT nây lẩi vi phẩm vïì phûúng phấp lån ca RTS nhû cố quấ nhiïìu thao tấc ph lâm mêët thúâi gian xûã l Trong thûåc tïë, àậ cố mưåt sưë àïì ấn vïì RTS xêy dûång dûåa trïn khưng gian àưëi tûúång (cẫ vïì thiïët kïë vâ câi àùåt) phẫi ngûng giûäa chûâng hóåt phẫi chuín hûúáng vị khưng àấp ûáng àûúåc cấ c râng båc thúâi gian mâ ngun nhên sêu xa lâ bùỉt ngìn tûâ NNLT cố qua nhiïìu thao tấc ph nối trïn vâ viïåc bao bổc dûä liïåu theo phûúng phấp hûúáng àưëi tûúång lâm mêët thúâi gian truy xët SVTH: TRÊÌN DUY HOÂ 1.4 Quan niïåm thúâi gian hïå thöëng thúâi gian thûåc: 1.4.1 Àưìng hưì hïå thưëng: Thúâi gian hïå thưëng ỷỳồc baỏo bựỗng mửồt ửỡng hửỡ goồi laõ ửỡng hửỡ hïå thưëng Trong mưi trûúâng cố nhiïìu vi xûã l cố thïí tưìn tẩi nhiïìu àưìng hưì, thị nhûäng àưìng hưì nây phẫi àûúåc àưìng bưå vúái Cố thïí biïíu diïỵn mûác àưå chđnh xấc ca àưìng hưì hïå thưëng qua hâm sưë sau: C(t) = t, •t Àưìng hưì àûúåc gổi lâ chđnh xấc vâo thúâi àiïím ti nïëu : C(ti) = ti 1.4.2 Cấc loẩi àưìng hưì hïå thưëng: Àún giẫn nhêët lâ hïå thưëng chó cố mưåt àưìng hưì (sever clock), u cêìu àưå chđnh xấc vâ tin cêåy rêët cao Loẩi nây giấ thânh rêët àùỉt Mưåt loẩi khấc gưìm mưåt àưìng hưì chđnh (master clock) àưìng bưå vúái nhiïìu àưìng hưì ph (slave clock) theo kiïíu “polling”, têët cẫ cấc àưìng cố cng àưå chđnh xấc, nïëu àưìng hưì chđnh bõ hỗng thị mưåt nhûäng àưìng hưì ph sệ thay thïë http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 12 Àöëi vúái cấc hïå thưëng phên tấn, àưìng hưì hïå thưëng bao gưìm têët cẫ cấc àưìng hưì phên vâ àûúåc àưìng bưå vúái theo cng mưåt thåt toấn 1.4.3 Quan niïåm vïì sûå rúâi rẩc thúâi gian: Trong quan niïåm ca RTS, thúâi gian àûúåc xem nhû lâ mưåt ëu tưë rúâi rẩc Àêy lâ mưåt khđa cẩnh rêët phûác tẩp vâ l th (1) Trong cấc HÀH kinh àiïín, cố mưå t àưìng hưì quẫn l thúâi gian àưìng bưå giûäa cấc tiïën trịnh Àưìng hưì nây phất sinh ngùỉt bấo hiïåu cho hïå thưëng theo chu k Chu k nây cố thïí àûúåc àiïìu chónh nhûng khưng quấ nhanh hay quấ chêåm lâm ẫnh hûúãng àïën thúâi gian thûåc thi cấc tiïën trịnh, vâ thûúâng lâ vâo khoẫng vâi chc mili giêy Chđnh chu k nây àậ chia thúâi gian thânh cấc mẫnh nhỗ (2) Côn cấc RTOS, hïå thưëng sûã dng mưåt àưìng hưì cố khẫ nùng lêåp trịnh àiïìu phưëi ngùỉt theo mưåt chu k nhỗ húåp l, chu k úã hïå thưëng nây vâo khoẫng vâi micrư giêy Trong thûåc tïë thị cấc RTS thûúâng dûåa trïn cấch tiïëp cêån kïët húåp giûäa hai quan niïåm trïn, thûúâng thò quan àiïím (1) lâ nïìn tẫng cố sûå hưí trúå ca quan àiïím (2) 1.4.4 Râng båc vïì thúâi gian: Vúái mưỵ i ëu tưë kđch thđch, hïå thưëng tiïëp nhêån vâo mưåt thúâi àiïím t0, hïå thưëng tiïën hânh cêëp phất tâi ngun, thûåc hiïån cấc xûã l tđnh toấn vâ hoân têët viïåc trẫ lúâi vâo thúâi àiïím tk khấc sau àố Mưåt râng båc tưëi thiïíu cố thïí àûúåc àõnh nghơa qua bưå ba sau: (ID, Tbegin(condition1), Tend(condition2)) Trong àố: ID : Chó sưë ca tiïën trịnh Tbegin(condition1) : Thúâi gian bùỉt àêìu tiïën trịnh Tend(condition2) : Thúâi gian tiïën trịnh hoân têët xûã l Ph thåc vâo hïå thưëng vâ thúâi gian xấc àõnh àûúåc tâi ngun cêìn cêëp phất, cng nhû quấ trịnh giẫi phống tâi ngun sau tiïën trịnh sûã dng… Mưåt râng båc khùỉc khe hún cố thïí xấc àõnh nhû sau: (ID, Tbegin(condition1), CID, FID, Tend(condition2)) dC(t) dt ti Trong àoá: ID : Chó sưë ca tiïën trịnh Tbegin(condition1) : Thúâi gian bùỉt àêìu tiïën trịnh Tend(condition2) : Thúâi gian tiïën trịnh hoân têët xûã l CID : Thúâi gian ûúác tđnh ca tiïën trịnh (sưë mêỵu thúâi gian) FID : Têìn sưë mêỵu thúâi gian Mưỵi chó thõ cú súã (Assembly) cố mưåt thúâi gian thûåc thi cưë àõnh ph thåc vâo phêìn cûáng, vđ d : SVTH: TRÊÌN DUY HOAÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ 13 Chó thõ Thúâi gian thûåc thi (clock) MOV reg8, reg8 JMP 15 IRET 24 IN 10 OUT 10 Nhû vêåy, mưỵi tiïíu trịnh thûåc hiùồn mửồt cửng viùồc ỷỳồc viùởt bựỗng mửồt nhoỏm caỏc chó thõ (hâm) sệ cố thúâi gian thûåc hiïån lâ cưë àõnh, thïm vâo àố côn cố thúâi gian dng àïí khúãi tẩo tiïíu trịnh, kïët thc tiïíu trịnh dêỵn àïën thúâi gian thûåc hiïån cưng viïåc àố sệ lúán hún thúâi gian thûåc th thûåc hiïån tiïíu trịnh Cêu hỗi àùåt lâ lâm thïë nâo nhûäng cưng viïåc cố thïí thûåc thi mưåt cấch hoân chónh thúâi gian bõ hẩn chïë Cêu trẫ lúâi àố lâ cú chïë Àiïìu Phưëi Quấ Trịnh àûúåc xem xết úã phêìn tiïëp theo 1.5 Vêën àïì àiïìu phưëi cưng viïåc : Àïí thêëy àûúåc tđnh nùng ca viïåc àiïìu phưëi, ta xem xết vđ d sau : Giẫ sûã cố mưåt u cêìu tấc v gưìm cấc cưng viïåc sau : 1) Àổc àơa cûán g lêëy dûä liïåu, thúâi gian thûåc hiïån hïët 30 ms 2) Xaác lêåp vuâng nhúá trïn bư nhúá chđnh, hïët ms vâ phẫi bùỉt àêìu tẩi thúâi àiïím 10 ms sau tấc v bùỉt àêìu 3) Nhêån tđn hiïåu tûâ thiïët bõ ngoẩi vi, hïët 10 ms, bùỉt àêìøu lc 20 ms 4) Tđnh toấn sưë liïåu dûåa trïn kïët quẫ tđn hiïåu nhêån vâ dûä liïåu trïn àơa àậ àổc, hïët ms 5) Kïët xët mân hịnh, hïët ms Trong cấc hïå thưëng kinh àiïín (xûã l tìn tûå theo lư) thị khố mâ cố thïí àấp ûáng àûúåc u cêìu cưng viïåc trïn Cấc cưng viïåc thûåc hiïån mưåt cấch tìn tûå theo sú àưì sau : 30 35 45 50 55 (30ms) (5ms) (10ms) (5ms) (5ms) Hònh : Mư hịnh àiïìu phưëi tiïën trịnh cưí àiïín (FIFO) Cöng viïåc Thúâi gian Vâ nhû vêåy cấc u cêìu vïì râng båc thúâi gian àậ bõ phấ vúã Nhû nïëu cố thïí tưí chûác cho cấc cưng viïåc thûåc hiïån theo mư hịnh dûúái àêy thị hoân toân cố thïí àấp ûáng àûúåc nhû cêìu vïì thúâi gian : Nhû vêåy àiïìu phưëi tiïën trịnh lâ mưåt cưng viïåc cêìn thiïët cho RTOS nối chung vâ cấc RTS nối riïng Mc tiïu ca viùồc iùỡu phửởi em laồi laõ : Sỷồ cửng bựỗng chia sệ CPU, tđnh hiïåu quẫ (têån dng CPU 100%), thúâi gian àaáp ûáng (response time) húåp lyá, cûåc tiïíu thúâi gian lûu lẩi hïå thưëng, thưng lûúång töëi http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 14 àa (throughtput) Tuy vêåy, bẫn thên cấc mc tiïu nây àậ cố sûå mêu thín nïn khưng thïí thoẫ mận têët cẫ cấc mc tiïu, chiïën lûúåc c thïí ph thåc vâo tûâng hïå thưëng Trong mưi trûúâng àa nhiïåm, àïí trấnh viïåc mưåt tiïën trịnh àưåc chiïëm CPU quấ lâm ngùn cẫn cưng viïåc ca cấc tiïën trịnh khấc Sûã dng mưåt àưìng hưì hïå thưëng àïí tưí chûác phên phưëi thúâi gian thûåc thi ca mưỵi tiïën trịnh Cú chïë àiïìu phưëi cố thïí lâ àưåc quìn hóåt khưng àưåc quìn Àiïìu phưëi cố thïí lâ àiïìu phưëi tấc v hóåt àiïìu phưëi tiïën trịnh Mưåt tiïën trịnh àûúåc phên phưëi CPU dûåa trïn cấc àưå ûu tiïn khấc nhau, àưå ûu tiïn nây cố thïí lâ tónh hóåt àưång Cố nhiïìu chiïën lûúåc àiïìu phưëi khaác nhû chiïën lûúåc FIFO, Round Robin, Sûã duång àưå ûu tiïn, cưng viïåc ngùỉn nhêët Àiïìu phưëi tiïën trịnh cho khẫ nùng hoân thânh tưët nhốm cấc cưng viïåc khoẫng thúâi gian râng båc Lẩi dêỵn àïën vêën àïì tranh chêëp tâi ngun dng chung, cêìn phẫi cố mưåt cú chïë phưëi húåp, àưìng bưå hoấ viïåc àưåc quìn truy xët Vêën àïì Àưìng Bưå Hoấ sệ àûúåc xem xết dûúái àêy SVTH: TRÊÌN DUY HOÂ 1.6 Vêën àïì àưìng bưå hoấ: 1.6.1 Cú chïë àưìng bưå hoấ: 10 15 20 30 45 50 55 (10ms) (5ms) (10ms) (5ms) (5ms) Hịnh : Mư hịnh àiïìu phưëi tiïën trịnh cẫi tiïën (Round Robin, quantum = ms) Cöng viïåc Thúâi gian (5ms) (15ms) Trong cấc HÀH hiïån àẩi nối chung vâ cấc RTS nối riïng thị viïåc àưìng bưå hoấ viïåc thûåc thi cấc tiïën trịnh, tiïíu trịnh lâ rêët quan trổng, phûác tẩp vâ nhiïìu àiïìu th võ Mc tiïu chđnh ca viïåc àưìng bưå lâ trấnh sûå tranh chêëp tâi ngun, mưi trûúâng ca cấc tiïën trịnh àang thûåc thi, u cêìu phưëi húåp giûäa cấc cưng viïåc Tưì n tã rêët nhiïìu cú chïë cng nhû thåt toấn àưìng bưå, úã àêy ta xem xết mưåt sưë cú chïë àưìng bưå mang tđnh cú bẫn nhû : Giẫi phấp “busy waiting” ln phiïn kiïím tra, cấc cú chïë àûúåc hưí trúå tûâ phêìn cûáng, giẫ phấp “SLEEP and WAKEUP” 1.6.2 Phûúng phấp àưìng bưå trïn möi trûúâng Windows: http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 15 HÀH Windows lâ HÀH àa nhiïåm, cố hưí trúå cú chïë àưìng bưå hoấ cấc tiïën trịnh, tiïìu trịnh àùåt biïåt lâ mưi trûúâng Windows NT vâ cấc Windows 9x phiïn bẫn 32 bđt ÚÃ àêy ta ch àïën cấc phûúng phấp àưìng bưå thưng dng, tûúng thđch vúái Windows 9x, phiïn bẫn 32 bđt (1) Phûúng phấp sûã dng miïìn gùng (Critical section): Miïìn gùng lâ mưåt àoẩn chûúng trịnh chó cho phếp mưåt tiïíu trịnh thûåc hiïån tẩi mưåt thúâi àiïím, tiïíu trịnh thûåc hiïån àoẩn mậ àố gổi lâ tiïíu trịnh miïìn gùng (2) Phûúng phấp sûã dng Mutex: Lâ mưåt àưëi tûúång àưìng bưå hoấ nhêån trẩng thấi TRUE khưng cố tiïíu trịnh nâo súã hûãu nố vâ nhêån trẩng thấi FALSE cố mưåt tiïíu trịnh súã hûäu nố (3) Phûúng phấp sûã dng Semaphore: Lâ àưëi tûúång àưìng bưå hoấ lûu giûä mưåt biïën àïëm cố giấ trõ tûâ àïën Max, Semaphore nhêån giaá trõ TRUE biïën àïëm lúán hún vâ giấ trõ FALSE biùởn ùởm coỏ giaỏ trừ bựỗng (4) Phỷỳng phấp sûã dng biïën cưë (Event) :Lâ àưëi tûúång àưìng bưå hoấ àûúåc dng àïí àưìng bưå cấc thao tấc truy xët àưìng thúâi àïën cấc àưëi tûúång dng chung, thûåc chêët thị biïën cưë lâ mưåt cúâ cố hai trẩng thấi TRUE/FALSE Cố hai loẩi biïën cưë : - Biïën cưë khưng tûå àưång : Àưëi tûúång sệ giûä trẩng thấi TRUE cho àïën cố tiïíu trịnh tûúâng minh xấc lêåp lẩi trẩng thấi FALSE cho àưëi tûúång - Biïën cưë tûå àưång : Àưëi tûúång sệ giûä trẩng thấi TRUE cho àïën cố mưåt tiïíu trịnh àang chúâ àúåi àûúåc giẫi phống, hïå thưëng sệ àùåt lẩi trẩng thấi FALSE cho àưëi tûúång SVTH: TRÊÌN DUY HOÂ 1.7 Mưåt sưë u cêìu ca hïå thưëng thúâi gian thûåc : Cấc RTS cố mưåt sưë àùåc biïåt àùåc trûng cho loẩi hïå thưëng nây, nhiïn khưng phẫi têët cẫ cấc RTS àïìu quan têm àïën cấc àùåc àiïím nây Thûúâng thị NNLT vâ HÀH cho RTS àậ rêët nhiïìu cho mưåt sưë àùåc àiïím hóåt tẩo mưi trûúâng thån lúåi cho viïåc thûåc hiïån cấc àùåc àiïím 1.7.1 Hïå thưëng lúán vâ phûác tẩp: Àêy lâ vêën àïì chung cho cẫ lơnh vûåc phêìn mïìm, ëu tưë phûác tẩp vâ têìm cúã ca hïå thưëng thûúâng tó lïå thån vúái Àùåc biïåt mâ RTS phẫi phên chia thúâi gian húåp l, sûã dng nhiïìu thåt toấn phûác tẩp, phẫi thûåc hiïån lêåp lõch, àưìng bưå nïn àưå phûác tẩp lâ rêët lúán, cẫ tûâ cấc giai àoẩn àùåt vêën àïì, phên tđch, thiïët kïë, tiïën hânh, kiïìm tra, bẫo trị ÚÃ àêy sệ cố mưåt nghõch l, àấp ûáng thúâi gian thûåc u cêìu giẫi quët vêën àïì nhanh gổn vâ chđnh xấc, mậ thûåc thi chûúng trịnh nhỗ gổn 1.7.2 Xûã l trïn söë thûåc: http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 16 RTS ln lâm viïåc trïn cấc thưng sưë trẩng thấi thûåc ca thiïët bõ vêåt l Viïåc tđnh toấn trïn sưë thûåc tưën rêët nhiïìu thúâi gian xûã l Ngây nay, tưëc àưå xûã l ca tđnh àậ rêët nhanh, viïåc xûã l sưë thûåc àûúåc hưí trúå tûâ phêìn cûáng, HÀH vâ NNLT nhûng sûã dng mưåt phûúng phấp tđnh toấn ph húåp, đt tưën thúâi gian nhêët vêỵn lâ mưåt u cêìu thûåc tïë 1.7.3 Thûåc sûå an toân vâ àấng tin cêåy: Nhûäng hêåu quẫ sûå thiïëu an toân ca nhûäng hïå thưëng thưng tin nối chung vâ RTS nối riïng cố thïí lïn àïën hâng tó àưla, thêåm chđ gêy thiïåt hẩi vïì tđnh mẩng ca nhiïìu ngûúâi Viïåc thiïët lêåp mưåt RTS cố àưå tin cêåy cao vâ an toân lâ mưåt u cêìu hâng àêìu, phẫi cố cấch lûúâng trûúác àûúåc nhûäng lưỵi cố thïí xậy vâ cấc biïån phấp khùỉc phc 1.7.4 Giao tiïëp trûåc tiïëp vúái thiïët bõ phêìn cûáng: Cấc thiïët bõ vêåt l giao tiïëp trûåc tiïëp thûúâng lâ cấc bưå cẫm biïën, cấc loẩi àưìng hưì trẩng thấi, nhiïåt kïë, cấc thiïët bõ àiïån àiïån tûã, bấn dêín… Cấc thiïët bõ nây cố khẫ nùng phất phất sinh hóåt tiïëp nhêån cấc tđn hiïåu, phất sinh cấc ngùỉt àûúåc nhêån biïët búãi tđnh Thưng qua cấc tđn hiïåu, cấc ngùỉt àố mâ tđnh cố thïí kiïím soất cấc trẩng thấi hóåt àiïìu khiïín sûå hoẩt àưång ca thiïët bõ 1.7.5 Thûåc hiïån trïn mưi trûúâng vâ ngưn ngûä lêåp trịnh hiïåu quẫ: Khấc vúái cấ c hïå thưëng khấc, RTS cố u cêìu thûåc thi nhanh vâ hiïåu quẫ Vị vêåy viïåc sûã duång möåt möi trûúâng khöng húåp lyá hay mưåt NNLT bịnh thûúâng thị khố mâ cố thïí àẩt àûúåc u cêìu, vđ d: Hïå thưëng xûã l thúâi gian cố àưå chia cho àïën micro giêy thị khưng thïí thûåc hiïån trïn NNLTõ chó hưí trúå àïën mili giêy 1.7.6 Ngûúâi sûã dng àiïìu khiïín : Trong cấc hïå thưëng kinh àiïín, thûúâng thị ngûúâi sûã dng u cêìu vâ chúâ nhêån kïët quẫ Trong nhûäng RTS côn u cêìu ngûúâi sûã dng phẫi nùỉm vûäng vïì hïå thưëng nïìn (HÀH) Àïí kïët quẫ cưng viïåc thânh cưng tưët, ngûúâi sûã dng cố thïí can thiïåp trûåc tiïëp àïën tûâng tiïën trịnh, tûâng tiïíu trịnh, cho phếp, cờởp quyùỡn ỷu tiùn ùởn tỷõng cửng viùồc nhựỗm taồo sûå thưng sët hïå thưëng, trấnh sûå tùỉt ngện SVTH: TRÊÌN DUY HOÂ 1.8 Vâi vđ d vïì Hïå thưëng thúâi gian thûåc : 1.8.1 Vđ d 1: Mấy àiïìu hôa nhiïåt àưå tûå àưång àiïìu khiïín nhiïåt àưå phông kđn lâ mưåt vđ d Dûåa vâo cấc thưng tin nhêån àûúåc tûâ nhiïåt kïë, ấp sët kïë tđnh àûúåc nhng àiïìu hoâ sệ tđnh toấn cấc thưng sưë húåp l vâ àiïìu khiïín múã àiïìu hoâ úã mûác húåp l, tẩo nhiïåt àưå thđch húåp 1.8.2 Vđ d 2: Hïå quẫn trõ CSDL cng lâ mưåt vđ d vïì TTS Ngûúâi quẫn trõ thónh thoẫng cêìn kïët quẫ ca mưåt truy vêën vông vâi giêy, àùåt biïåt vúái nhûäng u cêìu http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 17 nhû quẫn l ngên hâng, chûáng khoấn ngûúâi ta cêìn biïët sûå biïën àưång vïì giấ cẫ tûâng phuát, tûâng giêy cuäng nhû cêåp nhêåt thöng tin kõp thúâi Hiïín nhiïn thị ëu tưë thúâi gian thûåc trûúâng húåp nây lâ tûúng àưëi, râng båc vïì giúái hẩn thúâi gian trẫ lúâi rưång rẫi hún cấc ûáng dng thúâi gian thûåc khấc 1.8.3 Vđ d 3: Hïå thưëng tđnh trúå gip bấc sơ thûåc hiïån ca giậi phêỵu lâ mưåt vđ d khấc Mấy tđnh sệ nhêån cấc hịnh ẫnh tûâ cấc camera, phên tđch cấc hịnh ẫnh vâ cố nhûäng chơ thõ, nhêån àõnh, phấn àoấn gip sơ quët àõnh thûåc hiïån nhû thïë nâo 1.8.4 Ngoâi côn cố rêët nhiïìu RTS khấc Cấc RTS nây àûúåc ûáng dng nhiïìu lơnh vûåc khấc nhû qn sûå, truìn thưng, y tïë, cấc dêy chuìn sẫn sët cấc nhâ mấy, cấc thiïët bõ dên dng dng gia àịnh SVTH: TRÊÌN DUY HOÂ 1.9 Phûúng phấp phên tđch thiïët kïët Hïå thöëng thúâi gian thûåc : 1.9.1 Sú lûúåc vïì phûúng phấp thiïët kïë phêìn mïìm: Quấ trịnh xêy dûång mưåt phêìn mïìm trậi qua nhiïìu giai àoẩn liïn tiïëp nhau, quấ trịnh thûåc hiïån cố thïí quay lẩi nhûäng giai àoẩn trûúác àố Viïåc phên chia thânh cấc giai àoẩn nây lâm cho quấ trịnh xêy dûång rỗ râng hún, cấc giai àoẩn cố thïí thûåc hiïån àưåc lêåp búãi àưåi ng lâm viïåc Cố thïí phên thânh cấc giai àoẩn sau: - Xấc àõnh vêën àïì bâi toấn - Phên tđch hïå thưëng - Thiïët kïë dûä liïåu vâ chûúng trịnh - Câi àùåt - Kiïím tra vâ cẫi tiïën - Nghiïåm thu - Khai thấc vâ bẫo trị Trong cấc giai àoẩn trïn thị giai àoẩn thiïët kïë lâ rêët quan trổng Chêët lûúång ca phêìn mïìm ph thåc rêët nhiïìu vâo bẫn thiïët kïë Mưåt bẫn thiïët kïë tưët côn gip cho viïåc thûåc hiïån cấc giai àoẩn khấc dïí dâng hún, gip cho nhûäng ngûúâi thûåc hiïån hoân thânh chđnh xấc hún cưng viïåc ca mịnh Cấc chiïën lûúåc phên tđch thiïët kïë thûúâng àûúåc sûã duång nhû : (1) Chiïën lûúåc tûâ trïn xëng (Bottom-Up design) : Chiïën lûúåc nây àûúåc tiïëp cêån theo hûúáng xem xết bâi toấn tûâ cấc khđa cẩnh chi tiïët vâ sau àố múái tưíng quất lïn (2) Chiïën lûúåc tûâ dûúái lïn (Top-Down design):Ngûúåc vúái Bottom-Up laâ Top-Down, tiïëp cêån theo hûúáng tûâng bûúác tûâ tưíng quất dêìn àïën chi tiïët bâi toấn, ban àêìu bâi toấn àûúåc nhịn dûúái dẩng tưíng quan vâ dêìn ài sau vaâo tûâng chi tiïët http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 18 (3) Kïët húåp caã hai chiïënâ lûúåc:Trong thûåc tïë cố nhiïìu chûúng trịnh àûúåc thiïët kïë kïët húåp caã hai hûúáng tiïëp cêån Bottom-Up vâ Top-Down, cấch tiïëp cêån nây lâ mưåt phûúng phấp tưët, têån dng àûúåc cấc ûu àiïím ca hai cấch tiïëp cêån trïn thêåm chđ côn loẩi búát mưåt sưë khuyïët àiïím cuãa chuáng 1.9.2 Thiïët kïë ûáng duång thúâi gian thûåc : Thưng thûúâng, mưỵi RTS thûúâng àûúåc thiïët kïë dûåa trïn mưåt sưë hïå thưëng chín Cố ba dẩng chín thûúâng gùåp lâ : - Cấc hïå thưëng giấm (Monitoring system) - Cấc hïå thưëng kiïím soất (Control system) - Cấc hïå thưëng thu thêåp dûä liïåu (Data accquistion system) (Hïå thưëng mâ lån vùn àang quan têm kïët húåp giûäa hai hïå thưëng kiïím soất vâ thu thêåp dûä liïåu – Data accquistion and Control) Xêy dỷồng mửồt RTS cuọng bựổt ờỡu bựỗng giai oaồn xaỏc àõnh u cêìu, sau àố lâ cấc giai àoẩn phên tđch, thiïët kïë, câi àùåt, kiïím tra… Cấc giai àoẩn nây cố thïí lâ tưíng quan hay lâ ài vâo chi tiïët, cố thïí phên thânh cấc giai àoẩn Cấc giai àoẩn cố thïí gưëi chưìng lïn Xấc àõnh Phên tđch Thiïët kïë Câi àùåt Kiïím tra Nghiïåm thu Khai thấc & bẫo trị Hịnh : Mư hịnh thấc nûúác cấc giai àoẩn xêy dûång phêìn mïìm Trong quấ trịnh thiïët kïë cêìn cố sûå mïìm dễo, khưng ài quấ sau vâo chi tiïët àùåt biïåt lâ cấc chi tiïët vïì k thåt, phêìn cûáng Sûå phên àõnh giûäa phêìn cûáng vâ phêìn mïìm câng trị hoận giai àoẩn thiïët kïë câng tưët Song song vúái cấc giai àoẩn lâ viïåc tưí chûác tâi liïåu k thåt ca giai àoẩn àố Viïåc lâm nây cêìn thiïët cho cấc giai àoẩn khấc toân bưå quấ trịnh Trong quấ trịnh xêy dûång mưåt ûáng dng thúâi gian thûåc thị cấc giai àoẩn phên tđch vâ thiïët kïë cố tđnh chêët quan trổng àùåt biïåt, giai àoẩn nây bao gưìm cẫ viïåc xấc àõnh cấc râng båc vïì thúâi gian Giai àoẩn nây cêìn phẫi: - Xấc àõnh cấc nhên bïn ngoâi ẫnh hûúãng àïën hïå thưëng - Xấc àõnh cấch trẫ lúâi ca hïå thưëng cho cấc tấc nhên àố - Xấc àõnh cấc râng båc thúâi gian ûáng dng phẫi àấp ûáng Theo DART – Design Approach for Realtime System (àûúåc phất triïín búãi SVTH: TRÊÌN DUY HOAÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 19 General Electric), RTS thị khưng phẫi cưng viïåc nâo cng àôi hỗi thúâi gian thûåc, mưíi cưng viïåc tûúng ûáng vúái nhûäng chûác nùng cuå thïí, àûúåc phên thânh cấc nhốm sau : - Ph thåc nhêåp xët (I/O dependency): Thûúâng thị tưëc àưå thûåc hiïån trïn cấc thiïët bõ chêåm hún rêët nhiïìu so vúái tưëc àöå xûã lyá cuãa CPU, nhûäng cöng viïåc liïn quan àïën nhêåp xët trïn cấc thiïët bõ nây thûúâng àûúåc phên vâo mưåt nhốm - Râng båc thúâi gian (Time-critical): Nhốm cưng viïåc cố râng båc thúâi gian thûåc thi, u cêìu quìn ûu tiïn cao àûúåc phên vâo mưåt nhoám - Thûåc thi theo àõnh kyâ (Periodic execution): Nhoám cưng viïåc u cêìu thûåc hiïån theo mưåt chu k chó àõnh - u cêìu tđnh toấn (Computational requirements): Nhûäng cưng viïåc cố nhu cêìu tđnh toấn cao àûúåc phên thânh mưåt nhốm Àïí thiïët kïë àûúåc nhûäng hïå thưëng phûác tẩp nối chung vâ RTS nối riïng thị phẫi cố nhûäng phûúng phấp lån rỗ râng, nhûäng cưng c c thïí phẫn ấnh àûúåc bẫn chêët ca vêën àïì nhûng khưng quấ rûúâm râ phûác tẩp Phêìn dûúái àêy lâ phêìn trịnh bâ y nhûäng phûúng phấp lån, nhûäng cưng c thûúâng dng thiïët kïë cấc RTS, nhû mư hịnh àưëi tûúång, mẩng Petri SVTH: TRÊÌN DUY HOÂ 1.9.3 Mư hịnh àưëi tûúång : Lâ phûúng tiïëp cêån dûåa trïn cấch tiïëp tiïëp cêån mư hịnh cấc àöëi tûúång cuãa thïë giúái thûåc àûúåc quan têm chûúng trịnh Khưng àưìng nghơa vúái phûúng phấp lêåp trịnh hûúáng àưëi tûúång, phûúng phấp nây àûúåc thûåc hiïån dïỵ dâng, àấp ûáng àûúåc cấc u cêìu ca Cưng nghïå phêìn mïìm nhû tđnh àng àùỉn, tđnh tiïën hoấ, tđnh hiïåu quẫ, tđnh tiïån dng, tđnh tûúng thđch, tđnh tấi sûã dng Tûâ mư hịnh àưëi tûúång sệ cố mưåt loẩt cấc mư hịnh liïn quan dûåa trïn quan àiïím àưëi tûúång nhû : - Mư hịnh trẩng thấi : Diïín tẫ chu trịnh sưëng ca mưåt àưëi tûúång tûâ luác sinh àïën luác mêët ài - Mö hịnh xûã l : Hïå thưëng nhûäng nghiïåp v thïë giúái thûåc tấc àưång lïn àưëi tûúång - Mư hịnh khưng gian : Hïå thưëng cấc võ trđ mâ àố cấc àưëi tûúång àûúåc sinh vâ mêët ài, cấc nghiïåp v àûúåc tiïën hânh - Mư hịnh thúâi gian : Hïå thưëng cấc mâ àố cấc nghiïåm v trïn cấc àưëi tûúång àûúåc thûåc hiïån, cấc àưëi tûúång àåc phất sinh, àûúåc mêët ài theo nhûäng râng båc c thïí - Mư hịnh ngûúâi sûã dng v.v Trong lônh vûåc ûáng duång thúâi gian thûåc, mư hịnh àưëi tûúång nïëu àûúåc sûã dng àïí thiïët kïë nïn têåp trung ch ëu vâo mư hịnh trẩng thấi vâ mư hịnh xûã l http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 20 Tuy vêåy lônh vûåc RTS nây, u cêìu cao nhêët vâ nhiïìu nhêët lâ u cêìu xûã l, râng båc vïì thúâi gian, vêën àïì àưìng bưå, àiïìu phưëi Dûä liïåu cho quấ trịnh xûã l lâ cêìn thiïët nhûng khưng phẫi lâ trung têm Sûå phên lúáp àưëi tûúång sệ gùåp nhiïìu khố khùn thêåm chđ nïëu cưë gùỉng àưi lẩi àem àïën kïët quẫ sai lïåch vúái mc àđch ca hïå thưëng Do vêåy thûúâng lơnh vûåc nây ngûúâi ta chó sûã dng mư hịnh àưëi tûúång nhû mưåt mư hịnh tưíng quất ca hïå thưëng Khi ài vâo thiïët kïë chi tiïët xûã lyá seä sûã duång nhûäng phûúng phấp àùåc biïåt, àùåc trûng cho lơnh vûåc nây Trong lån vùn nây, sệ trịnh bây hai phûúng phấp thiïët kïë cho àùåc trûúng nây vâ dng nố cho phêìn thiïët kïë ûáng dng c thïí Hai phûúng phấp àố lâ Sú àưì trẩng thấi – mưåt phûúng phấp thûúâng gùåp vâ Phng phấp Mẩng Petri – Àưì thõ Petri (Petri net vâ Petri graph) 1.9.4 Sú àưì trẩng thấi (State chart, state diagram): Mưåt cưng c tûúng àưëi mẩnh mệ lơnh vûåc thiïët kïë RTS lâ dng sú àưì trẩng thấi Sú àưì trẩng thấi mư tẫ cấc trẩng thấi cng nhû quấ trịnh biïën àưíi giûäa cấc trẩng thấi àố mưåt hïå thưëng cng vúái cấc sûå kiïån àûúåc kđch hoẩt, cấc àiïìu kiïån râng buửồc Caỏc traồng thaỏi ỷỳồc mử taó bựỗng caỏc hũnh chûä nhêåt, quấ trịnh biïën àưíi tûâ trẩng thấi nây sang traồng thaỏi khaỏc mử taó bựỗng caỏc muọi tùn, cấc sûå kiïån, râng båc lâ cấc nhận kêm theo cấc mi tïn X[C]ZZYYABC Hịnh 5: Vđ d mưå sú àưì trẩng thấi Sú àưì trẩng thấi cho phếp nhịn hïå thưëng dûúái nhûäng mûác àưå chi tiïët khấc Sú àưì trẩng thấi cố thïí àûúåc phên rậ xëng mûác trẩng thấi thêëp hún hóåt lâ liïn kïët vúái mûác trẩng thấi cao hún, sûå kïët húåp nây cho phếp nhịn thêëy giao tiïëp giûäa cấc lúáp trẩng thấi khấc hïå thưëng 1.9.5 Mẩng Petri vâ àưì thõ Petri (Petri net and Petri graph): Mẩng Petri vâ àưì thõ Petri lâ mưåt cưng c rêët mẩnh mệ vâ thûúâng àûúåc dng viïåc thiïët kïë nhûäng hïå thưëng cố sûå râng båc vïì thúâi gian Nhûäng RTS vïì bẫn chêë t, phûác tẩp úã chưí phẫi thûúâng xun giấm chùåt chệ toân bưå cấc tấc àưång qua lẩi giûäa cấc tiïën trịnh, cấc cưng viïåc thúâi gian thûåc cuäng nhû phi thúâi gian thûåc, giaám soất toân bưå cấc xung àưåt cng nhû diïỵn biïën ca cấc quấ trịnh nưåi tẩi theo thúâi gian thûåc ÚÃ mûác àưå quan niïåm, mẩng Petri (Petri net) lâ mưåt cưng c rêët mẩnh viïåc thiïët kïë nhûäng RTS, nố cho phếp trịnh bây toân bưå cấc tấc àưång qua lẩi giûäa cấc tiïën trịnh cng nhû diïỵn tiïën ca cấc tiïën trịnh hïå thưëng theo thúâi gian Mẩng Petri lâ mưåt bưå bưën (quadruple) C = (P, T, I, O) bao gưìm: N trẩng thấi (places) pi ??P, L chuín àưíi (transition) ti ??T, hai ma trêån I vâ O kđch SVTH: TRÊÌN DUY HOÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 21 thûúác L ??M xấc àõnh cấc àêìu vâo (input) vâ àêìu (output) ca cấc chuín àưíi Thânh phêìn ca ma trêån lâ cấc sưë ngun biïíu diïỵn cho trổng lûúång cho mưëi liïn kïët giûäa trẩng thấi vâ chuín àưíi, nùởu khửng coỏ liùn kùởt thũ troồng lỷỳồng naõy bựỗng 0.YD CZX[C] YAB Hịnh 6: Sú àưì trẩng thấi hịnh nhịn dûúái cấc mûác khấc A B C D Y X[ Y Z Hịnh 7: Sú àưì trẩng thấi hịnh phên rẫ àûúái mûác thêëp hún Cng cờỡn noỏi thùm ỳó ờy rựỗng, ửởi vỳỏi mửợi taỏc v xûã l nïëu ta nhịn nhêån dûúái gốc àưå chi tiïët thị sệ khố mâ nhêån àûúåc mưëi tûúng quan tưíng hoâ ca nố toân bưå hïå thưëng Tuy vêåy nïëu ta nhịn toân bưå hïå thưëng dûúái mưåt sú àưì tưíng quất nhûng chi tiïët àïí tịm mưëi tûúng quan giûäa cấc thânh phêìn cng nhû giûäa cấc xûã l thị câng khố khùn khùn búãi vị tđnh phûác tẩp ca mưåt tưíng thïí phûác tẩp Trïn quan àiïím àố, mẩng Petri dûåa trïn mư hịnh toấn hổc – Àẩi sưë tuën tđnh – Ma trêån c thïí cho phếp cố thïí cưång trûâ nhên chia, cho nhûäng kïët quẫ c thïí mâ dûåa trïn àố sệ cố mưåt sûå àấnh giấ chđnh xấc hïå thưëng cng nhû tûâng thânh phêìn ca hïå thửởng Maồng Petri coỏ thùớ ỷỳồc biùớu diùợn bựỗng ửỡ thõ Petri (Petri graph), vúái hai loẩi node: trẩng thấi vâ chuín àưíi Cung nưëi trûåc tiïëp chó liïn kïët giûäa hai node khấc loẩi (trẩng thấi - chuín àưíi hóåt chuín àưíi - trẩng thấi, trûúâng húåp àùåc biïåt cố thïí lâ cng loẩi) C = (P, T, I, O) P = |p1, p2, p3, p4, p5 | T = |t1, t2| p1 p2 p3 p4 p5 I = 1 0 t1 0 0 t2 p1 p2 p3 p4 p5 O = 0 t1 0 0 t2 Vđ d mưåt mẩng Petri SVTH: TRÊÌN DUY HOAÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ 22 p1 P2 p3 p4 p5 t1 t2 Hịnh 8: Àưì thõ Petri liïn kïët vúái mẩng Petri vđ d trïn Vúái àõnh nghơa trïn thị mẩng Petri chó trịnh bây àûúåc nhûäng ëu tưë tơnh hïå thưëng Nhû vêåy sệ khưng mư hịnh hoấ àûúåc nhûäng tấc nhên mang tđnh àưång Mẩng Petri àấnh dêëu (Marked Petri Net) àûúåc sûã dng àïí mư hịnh sûå biïën àưíi theo thúâi gian ca hïå thưëng Trong oỏ caỏc traồng thaỏi seọ ỷỳồc aỏnh dờởu bựỗng nhûäng àiïím àưì thõ gổi lâ thễ àấnh dêëu (marking tokens) Thễ àấnh dêëu lâ mưåt vector N chiïìu xấc àõnh sưë thễ mưỵi trẩng thấi Hïå thưëng trúã thânh hïå thưëng àưång cấc thễ lêìn lûúåc duåt qua cấc node trïn mẩng Quấ trịnh di chuín cấc thễ xun qua cấc chuín àưíi túái hẩn Mưåt biïën àưíi àûúåc gổi lâ túái hẩn chó têët cẫ cấc trẩng thấi àûáng trûúác nố àûúåc àấnh dêëu, cấc chuín àưíi nây côn àûúåc gổi lâ chuín àưíi cho phếp Chó cố nhêët mưåt chuín àưíi túái hẩn tẩi mưåt thúâi àiïím vâ tu chổn ngêỵu nhiïn giûäa cấc chuín àưíi cho phếp (ûu tiïn cho cẩnh cố trổng lûúång lúán nhêët) Mưåt chuín àưíi túái hẩn kếo theo nhûäng ẫnh hûúãng trïn nhûäng trẩng thấi àûáng trûúác vâ sau chuín àưíi àố : + w thễ àûúåc gúã bỗ khỗi mưỵi trẩng thấi àûáng trûúác + w thễ àûúåc thïm vâo mưỵi trẩng thấi àûáng sau Mưåt giúái hẩn xẫy cố cấc tđnh chêët sau : + Ch àưång : Mưåt chuín àưíi cho phếp àûúåc túái hẩn nhûng khưng bùỉt båc + Trổn vển : Têët cẫ cấc quấ trịnh liïn quan cng túái hẩn + Tûác thúâi : Khưng cố tưìn tẩi thúâi gian trïí giûäa cấc quấ trịnh liïn quan 2 p1 P2 p3 p4 p5 t1 t2 Hịnh 9: Mưåt àưì thõ Petri àấnh dêëu http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 23 Khưng cêìn ài vâo chi tiùởt tỷõng thiùởt kùở, ta nhờồn thờởy rựỗng maồng Petri, àiïìu kiïån, trẩng thấi thûåc tïë tûúng ûáng vúái node trẩng thấi mư hịnh vâ sûå kiïån, kïët quẫ tûúng ûáng vúái chuín àưíi Hịnh 12: Mư tẫ mẩng Petri ca mưåt quấ trịnh chia sệ CPU cho cấc tiïën trịnh Khi CPU rẫnh rưỵi (idle) - p2 àûúåc àấnh dêëu Ngay cố mưåt tiïën trịnh vâo chúâ trïn hâng àúåi CPU - p1 àûúåc àấnh dêëu, tiïën trịnh àố àûúåc thûåc hiïån - t1 Kïët thuác t1 – p3 àûúåc àaánh dêëu t2 thûåc hiïån Kïët thuác t2 – p4 àûúåc àaánh dêëu, CPU àûúåc giẫi phống – p2 àûúåc àấnh dêëu Quấ trịnh àûúåc lùåp lẩi cố mưåt tiïën trịnh vâo hâng àúåi CPU Hịnh 10: Mưåt àưì thõ Petri hịnh sau chuín àưíi t1túái hẩn 2 p1 P2 p3 p4 p5 t1 t2 Hịnh 11: Mưåt àưì thõ Petri hịnh sau kïët thc têët cẫ cấc chuín àưíi (t1vâ t2) 2 p1 p2 p3 p4 p5 t1 t2 Thiïët kïë dng mẩng Petri cố thïí sûã duång caác chiïën lûúåc tiïëp cêån theo hûúáng bottom-up hay top-down Hịnh 14, 15 vâ 16 lâ mưåt vđ d sûã duång hûúáng tiïëp cêån top-down P1 t1 P2 t2 P3 t3 Hịnh 14: Nhịn tưíng quan mưåt sú àưì thiïët kïë tiïëp cêån theo hûúáng top-down Tuêìn tûå F T Rệ nhấnh SVTH: TRÊÌN DUY HOÂ http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ 24 Vông lùåp T Hịnh 13: Àưì thõ Petri cho cấc cêëu trc àiïìu khiïín Hịnh 12: Mưåt mẩng Petri mư hịnh quấ trịnh chia sệ CPU cho cấc tiïën t1 t2 p1 p2 p3 p4 Kïët thuác tiïën trònh CPU rậnh rưỵi Tiïën trịnh trïn hâng àúåi CPU Bùỉt àêìu xûã l Kïët thc xûã l Quấ trịnh xûã l Mẩng Petri côn cố thïí chuín àưíi dïỵ dâng qua sú àưì tìn tûå Mưỵi node trïn sú àưì tìn tûå tûúng ûáng vúái mưåt chuỵn àưíi, mưåt tûúng ûáng vúái mưåt trẩng thấi trïn mẩng Petri tûúng tûúng ûáng Hịnh 17 vâ 18 lâ mưåt vđ d vïì sûå chuín àưíi nây t6 t4 t5 t7 P4 P5 P6 P7 P2 P1 t1 Hònh 16: Kïët húåp sú àưì thiïët kïë chi tiïët vâo sú àưì thiïët kïë tưíng quan theo hûúáng tiïëp cêån top-down t6 t4 t5 t7 P4 P5 P6 P7 Hịnh 15 : Mưåt khưëi chi tiïët sú àưì thiïët kïë tiïëp cêån theo hûúáng top-down s1 s2 http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SVTH: TRÊÌN DUY HOÂ 25 s3 F s3 T s4 s5 s6 T s6 F s7 Hònh 17: Vđ d mưåt mẩng Petri Hịnh 19 mư tẫ mư hịnh àưåc quìn truy xët tâi ngun dng chung giûäa hai tiïën trịnh trïn miïìn gùng sûã dng cú chïë semaphore: + Giậ sûã cố hai tiïën trịnh cng sûä duång taâi nguyïn S theo hai àûúâng T1 = (t1, t3) vâ T2 = (t2, t4) + Tẩi mưåt thúâi àiïím chó cố mưåt tiïën trịnh túái hẩn (trong T1 vâ T2 cng àûúåc phếp), ngêỵu nhiïn giẫ sûã T1 àûúåc vâo miïìn gùng trûúác + Khi T1 vâo miïìn gùng thị miïìn gùng àûúåc àấnh dêëu, S khưng àûúåc àấnh dêëu dêỵn àïën t2 khưng àûúåc phếp, T2 khưng thïí vâo miïìn gùng, lc nây miïìn gựng coỏ T1 + T1 rỳõi miùỡn gựng bựỗng cấch kïët thc t3, miïìn gùng khưng àûúåc àấnh dêëu, S àûúåc àấnh dêëu, t2 àûúåc phếp vâ túái hẩn, T2 tiïëp tc vâo miïìn gùng tûúng tûå T1 vâ khỗi miïìn gùng kïët thc t4 s1 s2 s3 s5 s4 s6 s7 F T FT Hònh 18: Sú àưì khưëi ca mẩng Petri hịnh ### Miïìn gùng Miïìn gùng t1 t3 t2 t4 P1 S Hịnh 19: Àưì thõ Petri ca mư hịnh àưåc quìn truy xët sûã duång cú chïë Semaphore http://www.ebooks.vdcmedia.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ... thúâi gian râng båc gổi lâ deadline, khoẫn thúâi gian râng båc nây àûúåc xấc àõnh búãi thúâi gian bùỉt àêìu vâ thúâi gian hoân têët cưng viïåc Trong thûåc tïë, cấc ëu tưë kđch thđch xẫy thúâi gian. .. : Thúâi gian bùỉt àêìu tiïën trịnh Tend(condition2) : Thúâi gian tiïën trịnh hoân têët xûã l CID : Thúâi gian ûúác tđnh ca tiïën trịnh (sưë mêỵu thúâi gian) FID : Têìn sưë mêỵu thúâi gian Mưỵi... HÏÅ THƯËNG THÚÂI GIAN THÛÅC 1.1 Hïå thưëng thúâi gian thûåc: 1.1.1 Giúái thiïåu vïì hïå thưëng thúâi gian thûåc : Trong nhûäng nùm gêìn àêy, cấc hïå thưëng àiïìu khiïín theo thúâi gian thûåc lâ