Interested to Buy Any Domain ? << Click Here >> for more details...
Answer Posted / mustafa_7_8_6
Synchronization in DSVM (distributed shared virtual memory)
process level instead of only at the memory access level.
idea in the context of transaction synchronization,
devising two-phase locking-based algorithms under two DSVM
with and without an underlying memory coherence system.
They compare the performances of the two algorithms and
argue that significant performance gain can potentially
result from bypassing memory coherence and supporting
process synchronization directly on distributed memory.
They also study the role of the optimistic algorithms in
transaction synchronization in DSVM.
Synchronization bugs are caused by physical phenomena which
cause the actual behavior of a chip to be different than
predicted according to the functional model. Traditionally,
verification methods such as dynamic simulation and model
checking use a synchronous model, whereas the actual
behavior is according to an asynchronous model. Because of
this, synchronization bugs are very hard to trace. Using a
model checker we were able to create a model closer to the
actual behavior, and retrace many synchronization bugs.
Because model checking allows us to introduce non-
determinism when checking a VLSI design, and because of its
ability to produce counter examples for specifications that
fail, we find that model checking is the ideal tool for
reproducing synchronization bugs.
| Is This Answer Correct ? | 1 Yes | 0 No |
Post New Answer View All Answers
What is error-based testing?
What is test case generator?
What is difference between Agile and V model? Explain
How will you conduct risk analysis?
What is intrusive testing?
What is meant by Regression testing? Differentiate Sanity and Regression testing?
repeated testing of an already tested program, after modification, to discover any defects introduced or uncovered as a result of the changes in the software being tested or in another related or unrelated software component:
What is the purpose of a test completion criterion?
What is issues?
hi frens, i need ur help if nebody had worked or workin on online banking projects n online job portals ..frens cud u pls gimme the realtime examples for critical bugs, high severity n low priority bugs high severity n high priority bugs low severity n low priority bugs high severity n low priority bugs related to banking n job portal
What are enter & exit criterias of a test paln?
What is system test?
What is test development?
Hi, I am writing ISTQB foudation exam on 9 June 2010. Anyone please send me pdf of the book "Sample Exam Questions: ISTQB Certified Tester Foundation Level (Paperback)by John A. Estrella " to hsdantot@yahoo.com Thanks Sree
What is storage virtualization?
