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 outputs?
Suggest some good webinars on Testing concepts?
Explain audit?
What is heuristics testing?
Which types are testing are important for web testing?
What is test driver?
Metrics of your Project?
What all things you should consider before selecting automation tools for the aut?
What is the main benefit of designing tests early in the life cycle?
Mention what the main advantages of statement coverage metric of software testing are?
What would you say to your boss if he?s crazy about an idea, but you think it stinks?
What is meant by Regression testing? Differentiate Sanity and Regression testing?
Explain branch testing?
hello everybody, I have started learning testing tools and have familiarity with winrunner and general testing knowledge.Pl let me know what other stuff should i learn. I had 6 yrs of exp in GIS field and now i want to shift to testing tools. I left my job in 2001 now i want to enter into the market again. Could any of u help me how to approach the market. Any suggetions are very helpful to me. I am in US though. Thanks in advance
What is peer reviews?
