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 does the mclabe cyclomatic complexity of a program determine?
What is pdr - peer design review?
What is Mainframe testing all about? What is testing methodology which applies to this kind of testing? Can anyone with the basic knowledge of mainframe system can apply for the Mainframe testing job requirement?
What is total quality management?
What is defect analysis?
What is the difference between test scenarios and test strategy?
Explain what test deliverables is?
plz give me anybody test data expected result during prime number programe ? advance thanks
Testing wherein we subject the target of the test, to varying workloads to measure and evaluate the performance behaviors and the ability of the target and the test to continue to function properly under these different workloads?
Explain a good test engineer?
How do you obtain the expected results for testing a search operation?
What r SQA activities?
What is the smallest unit of information transfer in FC?
What is the one key reason why developers have difficulty testing their own work?
Describe to the basic elements you put in a defect report?
