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
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?
1). explain need of software testing? 2). explain difference between developer testing & test engineers testing? 3). explain difference between verification & validation 4). which process your organization follows to develop an application? 5). explain v-model? & what is the meeting point in v-model?
hi friends ,, i will give a small advice for all of ,, pls send genune answering don,t send half knowladge answers pls pls pls ....... i faced so many problms in interview pannels so pls pls
What is the main objective when reviewing a software deliverable?
What are the experience-based testing techniques?
What are benefits of iSCSI SAN over FCOE SAN?
Hello! I want to choose a software for verfication and validation. Can some one give me option for choosing software to test?
what is the difference between 8.2 and 9.2 versions of qtp tool
What the difference between a 'defect' and a 'failure' in software testing is?
What is the information that should be covered in test plan?
26). how will know do written test cases are sufficient to validate application of functionality? 27). how will you prepare test data to validate input object? 28). explain defect status? 29). how will know whether the developer accepted you defects or not? 30). explain acceptance test? 31). explain when we stop testing? 32). explain scope of your project? 33). in which module you conducted testing? 34). explain defects which you found in that module? 35). if defect is not reproducible then what information you will provide to developer 36). if developer is not accepted your defect then what you will do?
What bottom-up testing is?
Which one of the following activities is the most efficient and most cost effective at identifying defects? 1. Prototyping 2. Unit test 3. Beta test 4. Design/code inspection 5. Risk analysis
Mention what the purpose behind doing end-to-end testing is?
Which is not a tool of static code analysis? a.)Ada b.)Borland-delphi c.)Fortan d.)None
