145 Hits in 10.5 sec

Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net

Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
2014 Journal of Robotics, Networking and Artificial Life (JRNAL)  
This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net.  ...  It is difficult to implement the multi-threaded programs. The reason is that the behavior of each thread is non-deterministic.  ...  This paper proposes a supporting method for debugging to reproduce multi-threaded programs by Petri-net to improve efficiency of debugging work for the multi-threaded programs written in Java language.  ... 
doi:10.2991/jrnal.2014.1.3.8 fatcat:34vis5jpk5e4jmkbr735s4xffe

The application of supervisory control to deadlock avoidance in concurrent software

Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stephane Lafortune
2008 2008 9th International Workshop on Discrete Event Systems  
The methodology is based on supervisory control of discrete event systems modeled by Petri nets.  ...  We propose and validate a novel methodology for dynamically controlling the execution of concurrent software in order to provably avoid deadlocks.  ...  The multi-threaded C program is first fed into the compiler to generate its CFG. Second, the CFG is translated into a Petri net.  ... 
doi:10.1109/wodes.2008.4605961 fatcat:kmsncptxbjc3pcjpxhbx2necju

On atomicity enforcement in concurrent software via Discrete Event Systems theory

Yin Wang, Peng Liu, Terence Kelly, Stephane Lafortune, Spyros Reveliotis, Charles Zhang
2012 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)  
We use the same class of Petri net models as in our prior work to capture program semantics, and handle atomicity violations by control specifications in the form of linear inequalities.  ...  We propose two methodologies for synthesizing control logic that enforces these linear inequalities without causing deadlocks; the resulting control logic is embedded into the program's source code by  ...  We have used case studies of real Java programs to illustrate our proposed solution procedure.  ... 
doi:10.1109/cdc.2012.6426112 dblp:conf/cdc/WangLKLRZ12 fatcat:6vpaax6jsbadtghav7saif6nuq

Modelling And Verification Of Concurrent Programs Using Uppaal

Franco Cicirelli, Libero Nigro, Francesco Pupo
2011 ECMS 2011 Proceedings edited by: T. Burczynski, J. Kolodziej, A. Byrski, M. Carvalho  
This paper describes the design and implementation of a library of reusable UPPAAL template processes which support reasoning and property checking of concurrent programs, e.g. to be realized in the Java  ...  for debugging and property assessment of concurrent models.  ...  The same method was applied to the termination problem AABABB with three A and three B. In this case was designed the Petri net model of Fig. 18 .  ... 
doi:10.7148/2011-0525-0533 dblp:conf/ecms/CicirelliNP11 fatcat:dqju5zpehbav5m67odrkkeaycm

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)

Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers, Michael Wagner
2019 European Conference on Object-Oriented Programming  
As a solution, we propose multiverse debugging, a new approach for debugging non-deterministic programs that allows developers to observe all possible execution paths of a parallel program and debug it  ...  We provide a proof of non-interference, i.e., we prove that observing the behavior of a program by the debugger does not affect the behavior of that program and vice versa.  ...  Acknowledgements We would like to thank Thomas Dupriez (ENS Paris-Saclay -RMoD, Inria, Lille-Nord Europe) for an initial implementation of the underlying visualization and reduction code. 27:27  ... 
doi:10.4230/lipics.ecoop.2019.27 dblp:conf/ecoop/LopezSMBS19 fatcat:7b5k34sografbhtkduvu2t6twu

Programming languages and systems for prototyping concurrent applications

Wilhelm Hasselbring
2000 ACM Computing Surveys  
For some high-level programming approaches, prototyping for facilitating early evaluation of new ideas is a central goal.  ...  This paper presents a survey of programming languages and systems for prototyping concurrent applications to review the state of the art in this area.  ...  Hasselbring ACKNOWLEDGMENTS The comments on drafts of this paper by the anonymous referees were a valuable source to improve the paper.  ... 
doi:10.1145/349194.349199 fatcat:gbvxlispuvckvbqc7p4f5lecqu

A Survey of Context Simulation for Testing Mobile Context-Aware Applications

Chu Luo, Jorge Goncalves, Eduardo Velloso, Vassilis Kostakos
2020 ACM Computing Surveys  
This article aims to give a comprehensive overview of the state-of-the-art context simulation methods for testing mobile context-aware applications.  ...  This article also discusses how each method can be implemented and deployed by testing tool developers and mobile application testers.  ...  ACKNOWLEDGMENTS This work is partially funded by a Samsung Global Research Outreach grant, the ARC Discovery Project DP190102627, and Google.  ... 
doi:10.1145/3372788 fatcat:mpkgpye24jetbkep7hh2bkjf7y

A concurrent automatic programming system

K. E. Kennedy
2008 Proceedings of the 46th Annual Southeast Regional Conference on XX - ACM-SE 46  
For each statement of the language, there exists a mapping to a colored Petri net. Once in the form of a CP-net, the specifications can be formally verified or a simulation can be run. ii  ...  The specification language of CAPS (CAPSL) is a very high-level language designed for concurrency and automatic conversion to a colored Petri net (CP-net).  ...  The colored Petri net engine of CAPS supports both methods of boundedness; however, the boundedness statement of CAPSL tests only the bounds for a specific place.  ... 
doi:10.1145/1593105.1593129 dblp:conf/ACMse/Kennedy08 fatcat:cy5tp3rmxzdbnnxbahi2nz5n3u

Towards Automatic Risk Analysis and Mitigation of Software Applications [chapter]

Leonardo Regano, Daniele Canavese, Cataldo Basile, Alessio Viticchié, Antonio Lioy
2016 Lecture Notes in Computer Science  
This work represents a first step towards a user-friendly expert system for the protection of software applications.  ...  This paper proposes a novel semi-automatic risk analysis approach that not only identifies the threats against the assets in a software application, but it is also able to quantify their risks and to suggests  ...  Yao et al. have recently proposed a Petri net based mechanism to analyse SDN threats [16] . In the proposed mechanism they use Petri nets to model the SDN structure and data flow.  ... 
doi:10.1007/978-3-319-45931-8_8 fatcat:vhxycdpwfbfxjbhppdjgd2nhky

Third Workshop on Modelling of Objects, Components, and Agents

Daniel Moldt
2004 DAIMI Report Series  
The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" group at the University of Hamburg.  ...  This booklet contains the proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04), October 11-13, 2004.  ...  Acknowledgement The authors are thankful for a number of interesting remarks and comments provided by four anonymous reviewers.  ... 
doi:10.7146/dpb.v33i571.7128 fatcat:hplsl7dywrhppi2dzascdu3huq

Software and Reversible Systems: A Survey of Recent Activities [chapter]

Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik P. Schultz, Irek Ulidowski
2020 Lecture Notes in Computer Science  
A witness of the liveness of the working group is the list of authors who happily contributed to this document.  ...  For both of us, it has been an enormous honour to lead such WG, to organise the WG meetings and to interact with all the people involved in the working group.  ...  Benefits include bugs being reproducible should a user wish to re-execute a program forwards (for example, a randomly interleaved program experiences a bug that can only be reproduced by luck, with inversion  ... 
doi:10.1007/978-3-030-47361-7_2 fatcat:rvg4phvshvdm5owg2ih4kl52ty

Preventing database deadlocks in applications

Mark Grechanik, B. M. Mainul Hossain, Ugo Buy, Haisheng Wang
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
Database engines do not prevent database deadlocks for the same reason that the schedulers of operating system kernels do not preempt processes in a way to avoid race conditions and deadlocks -it is not  ...  Our tool prevented all existing database deadlocks in these applications and increased their throughputs by up to three orders of magnitude.  ...  Acknowledgments This work is supported by NSF CCF-1217928, CCF-1017633, and NSF CCF-0916139. We warmly thank our ESEC/FSE reviewers whose comments helped us improve the quality of this paper.  ... 
doi:10.1145/2491411.2491412 dblp:conf/sigsoft/GrechanikHBW13 fatcat:ti5ueg6t6ngexfs2xv7wgdtr6q

Detection of concurrency errors in multithreaded applications based on static source code analysis

D. Giebas, R. Wojszczyk
2021 IEEE Access  
Developed on the basis of the lams model and the Petri Net, the method of static code analysis allows detecting only two out of four cases of deadlock error (a re-creation of mutex by the loop or recurrence  ...  CFG or Petri net does not provide information about many characteristics important for detecting errors in a multithreaded application (e.g. execution time intervals of individual threads [12] ).  ... 
doi:10.1109/access.2021.3073859 fatcat:hqefredsm5dktiwn7x3wmytqaa

Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment [chapter]

Sofiane Bendoukha
2014 Lecture Notes in Computer Science  
The Cloud technology offers several attractive features for a number of applications.  ...  New modeling techniques and tools based on Petri net formalisms are provided.  ...  Paose not only covers technical issues of implementing multi-agent systems with Petri nets, but it also provides methods, techniques and tools that build upon the multi-agent paradigm and Petri net theory  ... 
doi:10.1007/978-3-319-06859-6_48 fatcat:bhimsecfh5fgxgmoff4iaaakt4

Midpoint routing algorithms for Delaunay triangulations

Weisheng Si, Albert Y. Zomaya
2010 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS)  
In this case we see the applicability of the proposed method for debugging. Identifying Ad-hoc Synchronization for Enhanced Race Detection Ali Jannesari and Walter F.  ...  We present a novel technique to translate WSBPEL processes into non-Markovian stochastic Petri nets with the final goal to evaluate parameters such as service time distribution and service reliability.  ...  This paper addresses the issue through the design of a lock-free, cache-efficient synchronization mechanism that serves as a basic building block for a general class of multi-threaded, multi-core traffic  ... 
doi:10.1109/ipdps.2010.5470471 dblp:conf/ipps/SiZ10 fatcat:yuchdc4zp5borm5vs7j4rqgmzy
« Previous Showing results 1 — 15 out of 145 results