CAUSAL MODELING OF EVENT-BASED CONCURRENT SYSTEMS

دانشگاه آزاد اسلامی اصفهان(خوراسگان)

منو

رکورد قبلی

رکورد بعدی

" CAUSAL MODELING OF EVENT-BASED CONCURRENT SYSTEMS "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	151620
Doc. No	:	ET23412
Main Entry	:	Alexandre Santoro
Title Proper	:	CAUSAL MODELING OF EVENT-BASED CONCURRENT SYSTEMS
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	.Adm.nces in processor. operating systems and networking technology have contributed tothe increased commonality of distributed and concurrent systems. -Analysis and debuggingof such systems is complicated by such issues as non-deterministic behavior and the esistenceof mu1 tipIe foci of control. One approach to concurrent/distributed system analysis anddebugging is the visualization of the behavior of such systems. Such visualizations usuallyfall in two categories: traces and animations. The former provides a description of theactivities performed by the system while the latter presents a view of the state of thesystem over time.\\*e propose the use of a special kind of trace, which we call a computation. computationsare an estension to the concept of partially ordered sets (posets), consisting of an eventset and two partial orders on it, one temporal and one causal. Though temporal ordersare easily estracted for most system, causal orders are an altogether different proposition.Some approaches have been suggested, using concepts such as clock vectors in order toconstruct this causal relation. These methods have proven to be intrusive, inflexible andcumbersome. We propose an alternate approach to building computations for a system.IVe call this method causal modeling and show how it can be used to allow one to monitora system in a possibly non-intrusive manner, or a t least with only a minimal impact on thesystem. This approach also provides a simple and flexible mechanism.....-....,....-...,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL46651.pdf
Title and statement of responsibility and	:	CAUSAL MODELING OF EVENT-BASED CONCURRENT SYSTEMS [Thesis]