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 Functional, Non-Functional, and Regression used for (i.e. the purpose of each)?
I am having 1.5 years of exp. in Manual testing.What I have to do now? Should I do ISTQB Certification or Perl/Shell Scripting Languages? OR Anything else.Please Guide me properly.
What is test script?
wht is scope of ur project?
how i find swing lenth of probe ?
Explain cyclomatic complexity?
When is used decision table testing?
I would like to know the kinds of questions that could come up with regard to backend testing? As i am new to this field would also know if backend testing is restricted only to sql and unix. If at all anyone has any information on the same kindly get back to me..thanks
Explain path testing?
A number of critical bugs are fixed in software. All the bugs are in one module, related to reports. The test manager decides to do regression testing only on the reports module.
What version of the oracle are you familiar with?
What is a method that attempts to reduce the complexity levels of aging legacy software? 1. Reengineering 2. Regression 3. Restructuring 4. Reusability 5. Reverse engineering
What is parameter?
What the meaning of breath testing is?
What is interface analysis?
