English  |  正體中文  |  简体中文  |  Items with full text/Total items : 88295/117812 (75%)
Visitors : 23406293      Online Users : 184
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/53457


    Title: S2NPGR2 和S3PGR2的僵局控制
    Other Titles: Deadlock Control for S2NPGR2 and S3PGR2
    Authors: 趙玉
    Contributors: 政治大學資訊管理系
    行政院國家科學委員會
    Keywords: 僵局;控制;預防;活的;虹吸管
    Date: 2006
    Issue Date: 2012-08-30 15:49:50 (UTC+8)
    Abstract: 當今S3PGR2 的僵局控制受苦於基於致命標記的虹吸管之錯誤活性(liveness)特 徵化。 我們的93 &94 計劃發現非活過渡(transitions) 可能存在,即使沒有致命標記。 那就是在沒有致命標記下,這網模可能是弱活或者在活鎖(livelock)狀況下。這在一種 新liveness 條件下這網模是活的︰ 全部siphons 都必須是max』-controlled。 為了確立 我們在此領域的領先地位,本計劃將以類似於S3PR 的方式,對S3PGR2 藉著增加控制 節點和電弧來作僵局控制。更進一步,李等人提議適合S3PR 的一僵局預防方法。此法 僅對所謂初等虹吸管增加控制節點和電弧,因此大大降低架構的複雜性。 不過,怎樣 把它延長到S3PGR2 和S2CPGR2,迄今是不清楚的,並且沒被研究。 我們提議開拓這 樣的研究。
    Current deadlock control approaches for S3PGR2 suffers from incorrect liveness characterization based on the concept of deadly marked siphons (DMS). Our 93&94 proposals discover that nonlive transitions may exist even though there are no DMS. That is the net model may be weakly live or in livelock states under no DMS. It is live under a new liveness condition: all siphons must be max』-controlled. We propose to consolidate our leading position by further working out the deadlock control for S3PGR2 (systems of simple sequential processes with general resources requirement) by adding control nodes and arcs similar to that for S3PR. Next we will extend it to S2CPGR2 ((systems of Synchronized Choice processes with general resources requirement)). Further, Li et. al. proposed a deadlock prevention approach for S3PR to add control nodes and arcs for elementary siphons only greatly reducing the structural complexity. However, it is unclear how to extend it to S3PGR2 and S2CPGR2 and have not been studied so far. We propose to pioneer such study. Abstract: deadlock control prevention live siphons
    Relation: 基礎研究
    學術補助
    研究期間:9508 ~ 9607
    研究經費:213仟元
    Data Type: report
    Appears in Collections:[資訊管理學系] 國科會研究計畫

    Files in This Item:

    File SizeFormat
    952416H013.pdf166KbAdobe PDF747View/Open


    All items in 政大典藏 are protected by copyright, with all rights reserved.


    社群 sharing

    著作權政策宣告
    1.本網站之數位內容為國立政治大學所收錄之機構典藏,無償提供學術研究與公眾教育等公益性使用,惟仍請適度,合理使用本網站之內容,以尊重著作權人之權益。商業上之利用,則請先取得著作權人之授權。
    2.本網站之製作,已盡力防止侵害著作權人之權益,如仍發現本網站之數位內容有侵害著作權人權益情事者,請權利人通知本網站維護人員(nccur@nccu.edu.tw),維護人員將立即採取移除該數位著作等補救措施。
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback