(3.236.228.250) 您好!臺灣時間:2021/04/19 23:48
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:張育銘
研究生(外文):Yu-Ming Chang
論文名稱:以CORBA為基礎的分散式正規驗證
論文名稱(外文):CORBA-Based Distributed Formal Verification
指導教授:熊博安熊博安引用關係
指導教授(外文):Pao-Ann Hsiung
學位類別:碩士
校院名稱:國立中正大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2004
畢業學年度:92
語文別:英文
論文頁數:44
中文關鍵詞:分散式驗證負載平衡
外文關鍵詞:Distributed SGMCORBALoad Balancing
相關次數:
  • 被引用被引用:0
  • 點閱點閱:108
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:7
  • 收藏至我的研究室書目清單書目收藏:0
在運用CORBA技術當作我們分散式驗證系統的基礎的過程中,我們馬上遭遇到一些設計上的困難與問題。其中之一就是CORBA並不提供一個標準的負載平衡服務。更精確的說CORBA的制作標準中保留了特定的機制來擴充並把這個工作留給了各廠商及使用者。通常這種問題有兩種解決方式:不按標準來實作或技巧性的迴避此問題。兩種方式都會帶來負面影響,如程式無法移殖或增加設計的困難度。在此篇論文中,我們會參考和評估許多來自廠商和開放軟體專案的解決方式(例如TAO、MICO、Visiborker)並指出它們的優缺點。我們主要的貢獻在於提供一個新的機制來解決上述的問題。我們能讓使用者使用數個相同的物件當作一個物件群組,並且在不使用非標準機制的方式下讓使用者通透的使用物件,也提供使用者一個新的負載平衡機制。我們採取的方法是結合命名服務和攔截並重導向要求。我們使用前者來註冊、註銷並收集物件然後分派要求給這些物件。這兩種方式均按照CORBA標準來實現,因此而逹成了可移稙性。最後,我們提供了一個獨立的、可移稙並易於使用的負載平衡器,它不僅可當作我們分散式驗證器的基礎也可以應用於其它的需要負載平衡的領域。

In trying to apply the Common Object Request Broker
Architecture (CORBA) technology as an infrastructure for the
distributed architecture of our SGM model checker, we
immediately face some design problems and issues. One of them is
CORBA's lack of standard Load Balancing mechanism. More exactly,
the CORBA specification preserves certain mechanisms to scale up
and leave this issue to vendors and users.
There are two popular philosophies to resolve the problem: extend
the specification or use tricky methods, either way will cause
penalties like non-portable applications or increase design
complexity. In this Thesis we will review and study several
solutions from vendors and open-source projects (such as Borland
Visibroker, TAO, MICO) and point out their limitations and
disadvantages.
Our major effort is on providing a new mechanism to solve the
above issue, we let user to create an object cluster consisting of
several CORBA objects of the same kind and use it transparently as
a single one without introducing new function calls or complex
design schemes. This approach benefits users by saving design
efforts, through our implementation of the novel load balancing
scheme.
The adopted strategy is a combination of the Naming service and the redirection of object requests wring the Interceptor
pattern. We use the former to register, unregister, and collect
CORBA objects and dispatch the request with latter one. Both of
them were implemented by following the CORBA standard mechanism
and implicitly provide portability.
Finally, we will provide a stand-alone, portable, and easy-to-use
CORBA-based load balancer. Not only can it be used as a building
block for distributed SGM tool, but can also be applied to other
application fields where such a load balancing service is needed.

1 Introduction 1
1.1 Background
1.1.1 Model Checking and the SGM Tool1.1.2 AGR-based parallel verication
1.2 Motivation
1.3 Thesis Organization
2 PreviousWork
2.1 CORBA Architecture
2.1.1 Object Model
2.1.2 Interoperable Object Reference
2.1.3 POA 2.1.4 Servant Manager of POA
2.1.5 Object Groups
2.1.6 Naming Service
3 The Mechanism and Analysis of Load Balancing of CORBA products
3.1 TAO
3.1.1 Component Structure
3.1.2 Mechanism and Analysis
3.1.3 Remarks
3.2 MICO 3.2.1 Mechanism and Analysis
3.2.2 Remarks
3.3 Borland Visibroker
3.3.1 Mechanism and Analysis
3.3.2 Remarks
4 The Implementation of DSGM 30
4.1 Design Guidelines
4.2 System Component Structures
4.2.1 Implementation of the SGM Core and Client Program
4.2.2 Middle Layer
4.3 Load Balancing of DSGM
4.3.1 Service Registering and Deregistering
4.3.2 Servant Locator and Load Balancing Strategies
4.4 System Deployments
5 Example
6 Conclusion and FutureWork
Bibliography

[1] Object Management Group. Common Object Request Broker Architecture (CORBA/IIOP), Dec 2002.
http://www.omg.org/technology/documents/formal/corba iiop.htm.
[2] Orna Grumberg Edmund M. Clarke, Jr. and Doron A. Peled. Model Checking. The MIT Press, 1999.
[3] Shu-Yu Cheng. Automating assume-guarantee reasoning for model checking real-time embedded systems. Master's
thesis, National Chung Cheng University, May 2002.
[4] Gnu-copyright notice. http://www.gnu.org/copyleft/.
[5] M. Henning and S. Vinoski. Advanced CORBA Programming With C++. Addison-wesley Longman, 1999.
[6] Object Management Group. CORBA Component Model, Jun 2003.
http://www.omg.org/technology/documents/formal/components.htm.
[7] Andew S. Tanenbaum and Maarten van Steen. Distributed systems. Prentice Hall, 2002.
[8] Corba product matrix. http://www.puder.org/corba/matrix/.
[9] Object Management Group. Fault Tolerant CORBA. OMG Document, 2000.
[10] Tao 1.3. http://www.cs.wustl.edu/ schmidt/TAO.html.
[11] Mico 2.3.11. http://www.mico.org/.
[12] Borland visibroker 4.5. http://www.borland.com/besvisibroker/.
[13] C. O'Ryan O. Othman and D.C. Schmidt. Strategies for corba middleware-based load balancing. IEEE Distributed
System Online, 2(3), Mar 2001.
[14] C. O'Ryan O. Othman and D.C. Schmidt. Designing an corba load balancing service using tao. IEEE Distributed
System Online, 2(4), Mar 2001.
[15] D.C. Schmidt et al. Pattern-Oriented Software Architecture: Patterns for Concurrency and Distributed Objects,
volume 2. John Wiley and Sons, 2000.
[16] Borland. VisiBroker for C++ Programmer's guide, 2002.
[17] Borland. VisiBroker for C++ Reference, 2002.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔