what r transaction synchronistion
bugs



..

Answer / 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

More Testing AllOther Interview Questions

What good bug tracking systems have you used?

0 Answers  


What is fault tree analysis?

0 Answers  


how do u know the defect report is correct or not?

3 Answers   MBT,


The purpose of which is to allow specific tests to be carried out on a system or network that resembles as closely as possible the environment where the item under test will be used upon release?

0 Answers  


How will you conduct risk analysis?

0 Answers  






How to do Integration testing in gmail application?

3 Answers  


What the meaning of code walk through is?

0 Answers  


'This life cycle model is driven by schedule and budget risks' this statement is best suited for.

0 Answers  


WHAT ARE THE VARIOUS RISKS INVOLVE IN TESTING?

0 Answers   NIIT,


What is 'test plan driven' or 'key word driven' method of testing?

0 Answers  


What is the difference between Test Startegy and Test Planning.

2 Answers   Barclays,


What is Application entry and exit criteria

3 Answers   Maveric,


Categories