Filters








509 Hits in 4.7 sec

Using program analysis to identify and compensate for nondeterminism in fault-tolerant, replicated systems

J.G. Slember, P. Narasimhan
2004 Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.  
Through the novel application of program analysis to distributed CORBA applications, we decompose an application into its constituent structures, and discover the kinds of nondeterminism present within  ...  Fault-tolerant replicated applications are typically assumed to be deterministic, in order to ensure reproducible, consistent behavior and state across a distributed system.  ...  Clearly, both event-based and thread-based programming introduce the possibility of nondeterminism because we are no longer able to predict the control flow of such programs, especially in the face of  ... 
doi:10.1109/reldis.2004.1353026 dblp:conf/srds/SlemberN04 fatcat:ac3yhkjpwrhwbcwb5d2yu36o3u

Research in concurrent software testing

Simone R. S. Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo S. L. Souza, Ed Zaluska
2011 Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11  
The current increased demand for distributed applications in domains such as web services and cloud computing has significantly increased interest in concurrent programming.  ...  The results include information about the research relationships and research teams that are working in the different areas of concurrent programs testing.  ...  multithreaded race detection - [41, 45, 26] testing tool multithreaded mutation testing - [15] testing tool multithreaded exaustive testing Java [37, 38] testing tool multithreaded controled  ... 
doi:10.1145/2002962.2002964 dblp:conf/issta/SouzaBSSZ11 fatcat:rlpgzyfiqvdzvptyb2hxk4tjvi

The Problem with Threads

E.A. Lee
2006 Computer  
They make distributed programming look much like multithreaded programming. Yet this argument is not a resurrection of the old shared-memory versus message-passing debate.  ...  How long must we test before we can be sure to have discovered all such problems? Regrettably, I must conclude that testing might never reveal all the problems in nontrivial multithreaded code.  ... 
doi:10.1109/mc.2006.180 fatcat:2xr64ouajvd5flqceb7sfrrzq4

Deterministic Process Groups in dOS

Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble
2010 USENIX Symposium on Operating Systems Design and Implementation  
Our goals in this work are twofold: (1) to provide fully deterministic execution of arbitrary, unmodified, multithreaded programs as an OS service; and (2) to make all sources of intentional nondeterminism  ...  , such as network I/O, be explicit and controllable.  ...  Acknowledgments We thank Karin Strauss, Dan Grossman, John Zahorjan, and the members of the UW Sampa and systems research groups for their feedback and help.  ... 
dblp:conf/osdi/BerganHCG10 fatcat:77r76xcqtnfttdljjy5kneguum

Extending DIVINE with Symbolic Verification Using SMT [chapter]

Henrich Lauko, Vladimír Štill, Petr Ročkai, Jiří Barnat
2019 Msphere  
In DIVINE, it is now possible to deal with input data via symbolic computation instrumented into the original program at the level of LLVM bitcode.  ...  DIVINE is an LLVM-based verification tool focusing on analysis of real-world C and C++ programs. Such programs often interact with their environment, for example via inputs from users or network.  ...  DIVINE is open source software distributed under the ISC license.  ... 
doi:10.1007/978-3-030-17502-3_14 fatcat:ao3vxqynizhn3pppw4e25xaxeq

Living with Nondeterminism in Replicated Middleware Applications [chapter]

Joseph Slember, Priya Narasimhan
2006 Lecture Notes in Computer Science  
In our enhanced approach, Midas, described in this paper, we handle all forms of nondeterminism, including multithreading and contaminated nondeterminism.  ...  We present Midas, a new approach for living with nondeterminism in distributed, replicated, middleware applications.  ...  Conclusions We present Midas, a new approach, for living with nondeterminism in distributed, replicated applications by exploiting static program analysis on the application's source code, along with the  ... 
doi:10.1007/11925071_5 fatcat:xm7thxusazbbhlnparxus5nsmq

DMP

Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
2009 SIGARCH Computer Architecture News  
Previous approaches to coping with nondeterminism in multithreaded programs have focused on replay, a technique useful only for debugging.  ...  This frustrates debugging and limits the ability to properly test multithreaded code, becoming a major stumbling block to the much-needed widespread adoption of parallel programming.  ...  We also thank Karin Strauss, Dan Grossman, Susan Eggers, Martha Kim, Andrew Putnam, Tom Bergan and Owen Anderson from the University of Washington for their feedback on the manuscript.  ... 
doi:10.1145/2528521.1508255 fatcat:i53avj67uvfg5dovopb6p7xjfi

DMP

Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
2009 Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09  
Previous approaches to coping with nondeterminism in multithreaded programs have focused on replay, a technique useful only for debugging.  ...  This frustrates debugging and limits the ability to properly test multithreaded code, becoming a major stumbling block to the much-needed widespread adoption of parallel programming.  ...  We also thank Karin Strauss, Dan Grossman, Susan Eggers, Martha Kim, Andrew Putnam, Tom Bergan and Owen Anderson from the University of Washington for their feedback on the manuscript.  ... 
doi:10.1145/1508244.1508255 dblp:conf/asplos/DeviettiLCO09 fatcat:hm2rmz7qe5cbbepymg22fro3xe

DMP

Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
2009 SIGPLAN notices  
Previous approaches to coping with nondeterminism in multithreaded programs have focused on replay, a technique useful only for debugging.  ...  This frustrates debugging and limits the ability to properly test multithreaded code, becoming a major stumbling block to the much-needed widespread adoption of parallel programming.  ...  We also thank Karin Strauss, Dan Grossman, Susan Eggers, Martha Kim, Andrew Putnam, Tom Bergan and Owen Anderson from the University of Washington for their feedback on the manuscript.  ... 
doi:10.1145/1508284.1508255 fatcat:nzvvj2kxerc3vlph4typ5qq5hy

DDOS

Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble
2013 Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '13  
Our results show up to two orders of magnitude reduction in log size of record/replay, and that distributed systems can be made deterministic with an order of magnitude of overhead.  ...  This paper proposes DDOS, a system that leverages prior work on deterministic multithreading to offer: 1) space-efficient record/replay of distributed systems; and 2) fully deterministic distributed behavior  ...  Acknowledgements We thank the members of the UW Sampa and systems research groups for their feedback and fruitful discussions.  ... 
doi:10.1145/2451116.2451170 dblp:conf/asplos/HuntBCG13 fatcat:od66joykjvevfmlo6vj6s5c47y

DDOS

Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble
2013 SIGPLAN notices  
Our results show up to two orders of magnitude reduction in log size of record/replay, and that distributed systems can be made deterministic with an order of magnitude of overhead.  ...  This paper proposes DDOS, a system that leverages prior work on deterministic multithreading to offer: 1) space-efficient record/replay of distributed systems; and 2) fully deterministic distributed behavior  ...  Acknowledgements We thank the members of the UW Sampa and systems research groups for their feedback and fruitful discussions.  ... 
doi:10.1145/2499368.2451170 fatcat:67uhxfpflbbqleeexaseepdxkq

Byzantine Fault Tolerance for Nondeterministic Applications

Wenbing Zhao
2007 Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007)  
In this paper, we propose a classification of common types of replica nondeterminism with respect to the requirement of achieving Byzantine fault tolerance, and describe the design and implementation of  ...  All practical applications contain some degree of nondeterminism.  ...  Acknowledgement The author wishes to thank Professor Lorenzo Alvisi and his students for providing a bug-fix version of the BFT framework source code, and his help in understanding the BFT algorithm.  ... 
doi:10.1109/dasc.2007.11 dblp:conf/dasc/000107a fatcat:hyhfnq67ebcrvbvmammixa47qm

Byzantine Fault Tolerance for Nondeterministic Applications

Wenbing Zhao
2007 Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007)  
There are other types of nondeterminism in many practical applications.  ...  This paper points out the inadequacy of current approaches in handling such types of replica nondeterminism, and presents a systematic solution for the problem in the context of a unified BFT framework  ...  Acknowledgement The author wishes to thank Professor Lorenzo Alvisi and his students for providing a bug-fix version of the BFT framework source code, and his help in understanding the BFT algorithm.  ... 
doi:10.1109/isdasc.2007.4351395 fatcat:pkvctxi3prbire2whlvd2naqlq

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
2013 Electronical Notes in Theoretical Computer Science  
This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.  ...  LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs.  ...  Acknowledgement This work has been financially supported by Tekes -Finnish Agency for Technology and Innovation, Conformiq Software, Elektrobit, Nokia, Space Systems Finland, and Academy of Finland (projects  ... 
doi:10.1016/j.entcs.2013.09.002 fatcat:o2elmhmfxfeidbmaaukwsrpcsu

CoreDet

Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman
2010 Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems - ASPLOS '10  
Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in the execution of multithreaded programs.  ...  The behavior of a multithreaded program does not depend only on its inputs.  ...  We also thank the members of the Sampa group for their feedback on the manuscript. We thank Mark Oskin for his early work on some of the compiler code.  ... 
doi:10.1145/1736020.1736029 dblp:conf/asplos/BerganADCG10 fatcat:oc2wjggy6vhlzj5tuxtmub4hz4
« Previous Showing results 1 — 15 out of 509 results