Filters








762 Hits in 6.3 sec

Online Efficient Predictive Safety Analysis of Multithreaded Programs [chapter]

Koushik Sen, Grigore Roşu, Gul Agha
2004 Lecture Notes in Computer Science  
An automated and configurable technique for runtime safety analysis of multithreaded programs is presented, which is able to predict safety violations from successful executions.  ...  Based on a user provided safety formal specification, the program is automatically instrumented to emit relevant state update events to an observer, which further checks them against the safety specification  ...  Level by Level Analysis of the Computation Lattice A naive observer of an execution trace of a multithreaded program would just check the observed execution trace against the monitor for the safety property  ... 
doi:10.1007/978-3-540-24730-2_9 fatcat:fdgmv7p2vjan7fokh6xiukvf44

Online efficient predictive safety analysis of multithreaded programs

Koushik Sen, Grigore Roşu, Gul Agha
2006 International Journal on Software Tools for Technology Transfer (STTT)  
An automated and configurable technique for runtime safety analysis of multithreaded programs is presented, which is able to predict safety violations from successful executions.  ...  Based on a user provided safety formal specification, the program is automatically instrumented to emit relevant state update events to an observer, which further checks them against the safety specification  ...  Acknowledgments The work is supported in part by the Defense Advanced Research Projects Agency (the DARPA IPTO TASK Program, contract number F30602-00-2-0586, the DARPA IXO NEST Program, contract number  ... 
doi:10.1007/s10009-005-0192-y fatcat:wooppxxvjbc5bduj4fbpj3cisi

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions [chapter]

Koushik Sen, Grigore Roşu, Gul Agha
2005 Lecture Notes in Computer Science  
A generalized predictive analysis technique is proposed for detecting violations of safety properties from apparently successful executions of multithreaded programs.  ...  A permutation of the observed events is a possible execution of a program if and only if it does not contradict the weak happens-before relation.  ...  Conclusion We have developed a simple and efficient technique to predict violations of safety properties.  ... 
doi:10.1007/11494881_14 fatcat:ip6lk5jopvfufh5r6jwjyywaaa

An instrumentation technique for online analysis of multithreaded programs

Grigore Roşu, Koushik Sen
2007 Concurrency and Computation  
This technique is used in a formal testing environment, not only to detect, but especially to predict safety errors in multithreaded programs.  ...  where a runtime analysis tool supporting the proposed technique, such as JMPaX, would be able to predict a violation of a property from a single, successful execution of the program.  ...  Many thanks to Gul Agha and Mark-Oliver Stehr for their comments on previous drafts of this work.  ... 
doi:10.1002/cpe.1066 fatcat:dlwtxy6ybrfcnef7ggq5dqavva

Decentralized runtime analysis of multithreaded applications

K. Sen, A. Vardhan, G. Agha, G. Rosu
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
Violations of a number of common safety properties of multithreaded programs-such as atomicity and absence of dataraces-cannot be observed by looking at the linear execution trace.  ...  We then develop an efficient algorithm to automatically monitor and predict violations of robust safety properties.  ...  [25] develop techniques for runtime safety analysis for multithreaded programs and introduce the tool JMPaX.  ... 
doi:10.1109/ipdps.2006.1639591 dblp:conf/ipps/SenVAR06 fatcat:3jc4tlipo5gwthsl4a6cup56xa

Crowdsourcing for Mobile Networks and IoT

Xiping Hu, Zhaolong Ning, Kuan Zhang, Edith Ngai, Kun Bai, Fei Wang
2018 Wireless Communications and Mobile Computing  
The paper entitled "An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks" presents a novel IC3-based algorithm on the safety verification of the multithreaded programs  ...  The performance of this method is verified by comparing with three widely used traffic prediction methods.  ...  The paper entitled "An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks" presents a novel IC3-based algorithm on the safety verification of the multithreaded programs  ... 
doi:10.1155/2018/6231236 fatcat:r7i2xg4u4jdbbh5a7egstkmsri

Software speculative multithreading for Java

Christopher J. F. Pickett
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
or fork heuristics that use online profiling data.  ...  We will use non-trivial benchmark programs and apply a statistically rigourous evaluation methodology. Analysis results will be used to determine the most beneficial aspects of the system.  ...  These include adaptive return value prediction, nested method level speculation, memory management for efficient speculative thread creation, and online fork heuristics. • An experimental analysis of the  ... 
doi:10.1145/1297846.1297950 dblp:conf/oopsla/Pickett07 fatcat:6zydjc6hwbflvfstmm574e2nam

Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors

Ryan W. Moore, Bruce R. Childers, Jingling Xue
2015 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems  
The challenge for ACMPs is to map the program to the best core type and thread count to achieve performance requirements under power constraints.  ...  This paper describes an empirical strategy, MONARCH, to automatically build estimation models that capture how a multithreaded program's performance scales with thread count and core type.  ...  Our results show that model predictions are accurate and beneficial for mapping multithreaded programs to asymmetric cores. VIII.  ... 
doi:10.1109/hpcc-css-icess.2015.151 dblp:conf/hpcc/MooreCX15 fatcat:2mgx2e27tzh47aznfw4nvmfegq

Design Issues on Software Aspects and Simulation Tools for Wireless Sensor Networks

Leelavathi G, Shaila K, Venugopal K R, Patnaik L M
2013 International journal of network security and its applications  
The features of number of different sensor network simulators and operating systems are compared.  ...  Selection of simulator is purely based on the application, since each simulator has a varied range of performance depending on application.  ...  It shows that multithreading and energy efficiency are not mutually exclusive .The hardware details specified illustrates the usage of MANTIS-OS.  ... 
doi:10.5121/ijnsa.2013.5204 fatcat:wewv4xpjybdnff4ttivftbkntq

Dynamic prediction of architectural vulnerability from microarchitectural state

Kristen R. Walcott, Greg Humphreys, Sudhanva Gurumurthi
2007 Proceedings of the 34th annual international symposium on Computer architecture - ISCA '07  
Using these simple indicators as predictors, we create a proof-of-concept RMT implementation that demonstrates that AVF prediction can be used to maintain a low fault tolerance level without significant  ...  To protect against soft errors, redundancy techniques such as redundant multithreading (RMT) are often used.  ...  Because of this variability, the need for a dynamic characterization that can be evaluated efficiently at any point in program execution is established. • A rigorous characterization of AVF behavior based  ... 
doi:10.1145/1250662.1250726 dblp:conf/isca/WalcottHG07 fatcat:g7yloyxqevcgfftd26dyfz23je

Dynamic prediction of architectural vulnerability from microarchitectural state

Kristen R. Walcott, Greg Humphreys, Sudhanva Gurumurthi
2007 SIGARCH Computer Architecture News  
Using these simple indicators as predictors, we create a proof-of-concept RMT implementation that demonstrates that AVF prediction can be used to maintain a low fault tolerance level without significant  ...  To protect against soft errors, redundancy techniques such as redundant multithreading (RMT) are often used.  ...  Because of this variability, the need for a dynamic characterization that can be evaluated efficiently at any point in program execution is established. • A rigorous characterization of AVF behavior based  ... 
doi:10.1145/1273440.1250726 fatcat:gupt3bzbxvhl5fiazc5ozdoaiu

An Analysis of the Impact of Gating Techniques on the Optimization of the Energy Dissipated in Real-Time Systems

Ernest Antolak, Andrzej Pułka
2022 Applied Sciences  
predictability.  ...  The set of tasks tested consists of programs that implement Mälardalen WCET benchmark algorithms. The tested scenarios are divided into periodic and non-periodic execution schemes.  ...  of tasks is corrected online.  ... 
doi:10.3390/app12031630 fatcat:w5lw4fvvtjdmnmadllxjldazyi

Simultaneous Multithreading and Hard Real Time: Can It Be Safe?

Sims Hill Osborne, James H. Anderson, Marcus Völp
2020 Euromicro Conference on Real-Time Systems  
The applicability of Simultaneous Multithreading (SMT) to real-time systems has been hampered by the difficulty of obtaining reliable execution costs in an SMT-enabled system.  ...  A large-scale schedulability study is presented that shows CERT-MT can schedule systems with total utilizations approaching 1.4 times the core count, without sacrificing safety.  ...  Finally, we thank our anonymous reviewers and Shepherd for the improvements they suggested to the final version of this paper.  ... 
doi:10.4230/lipics.ecrts.2020.14 dblp:conf/ecrts/OsborneA20 fatcat:xa2whpxydfbjrfh5c6yw4fwfwu

System Self Diagnosis for industrial devices

Markus Rentschler, Stephan Kehrer, Clemens Pirmin Zangl
2013 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)  
To achieve effective SSD techniques for network infrastructure devices, a root cause analysis of past failures was conducted and a fault model derived.  ...  device, achieving a highly efficient "Design for Testability" approach.  ...  This is especially true for safety critical systems. Due to legal and normative guidelines, in such environments the safety of a system has to be guaranteed at all times.  ... 
doi:10.1109/etfa.2013.6648019 dblp:conf/etfa/RentschlerKZ13 fatcat:t3o4paukkzd3fl56wggcwxdylm

Parallelizing data race detection

Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy
2013 Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '13  
Detecting data races in multithreaded programs is a crucial part of debugging such programs, but traditional data race detectors are too slow to use routinely.  ...  We use several techniques to make parallelization effective: dividing race detection into three phases, predicting a subset of the analysis state, eliminating sequential work via transitive reduction,  ...  the University of Michigan, or the U.S. government.  ... 
doi:10.1145/2451116.2451120 dblp:conf/asplos/WesterDCFN13 fatcat:l5hj42g4ezfdlcffha5mqn2eru
« Previous Showing results 1 — 15 out of 762 results