Filters








24,331 Hits in 4.4 sec

Event-based detection of concurrency

Jonathan E. Cook, Alexander L. Wolf
1998 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6  
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency.  ...  This paper presents a technique to discover patterns of concurrent behavior from traces of system events. The technique is based on a probabilistic analysis of the event traces.  ...  Thus, while an engineer might fairly quickly see from a specification the intended concurrency in a system, identifying the points of thread interaction and how much actual concurrent behavior is exhibited  ... 
doi:10.1145/288195.288214 dblp:conf/sigsoft/CoolW98 fatcat:bcq5my3bqbbnbdf4fvs2vrycem

Event-based detection of concurrency

Jonathan E. Cook, Alexander L. Wolf
1998 Software engineering notes  
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency.  ...  This paper presents a technique to discover patterns of concurrent behavior from traces of system events. The technique is based on a probabilistic analysis of the event traces.  ...  Thus, while an engineer might fairly quickly see from a specification the intended concurrency in a system, identifying the points of thread interaction and how much actual concurrent behavior is exhibited  ... 
doi:10.1145/291252.288214 fatcat:lcrhacpjkbde3iyppe5gznsmlq

STORM

Zvonimir Rakamarić
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
Concurrency is inherent in today's software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs.  ...  Such bugs are hard to discover using traditional testing techniques since they require executing a program on a particular unit test (i.e. input) through a particular thread interleaving.  ...  Unexpected asynchronous interactions between concurrently executing threads often cause subtle bugs in concurrent programs.  ... 
doi:10.1145/1810295.1810460 dblp:conf/icse/Rakamaric10 fatcat:juzvojv4wfehdgt2n4hxy5fkxm

Virtual organizing: using threads to coordinate distributed work

J.A. Yates, W.J. Orlikowski, S.L. Woerner
2003 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the  
In particular, we found that organizational members relied on simple threads to focus their attention and action on a particular topic over a short period of time, concurrent threads to enable their participation  ...  In studying the electronic mail exchanges of organizational members during one year, we found that they engaged in a range of threading activity to establish and maintain continuity, coherence, and coordination  ...  Thread A of the five concurrent threads discussed above is a linker thread, for example, triggered by a system crash during linking and subsequently discovered to involve at least three bugs.  ... 
doi:10.1109/hicss.2003.1174796 dblp:conf/hicss/YatesOW03 fatcat:3xqth3tybbf5pg7k6asd6qncny

TIE

Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins
2010 Proceedings of the 5th international symposium on Software visualization - SOFTVIS '10  
In this paper, we present an interactive visualization tool, TIE, that integrates with JPF to enhance concurrency testing and debugging.  ...  Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors.  ...  DESIGN OF TIE We propose a solution to the analytic limitations of current thread interleaving outputs by introducing the TIE, a system to support interactive visual analysis of JPF's output.  ... 
doi:10.1145/1879211.1879247 dblp:conf/softvis/MaheswaraBC10 fatcat:nupeetjnljgblfiwtfxl6zhb3q

Virtual Organizing: Using Threads to Coordinate Distributed Work

JoAnne Yates, Wanda J. Orlikowski, Stephanie Woerner
2003 Social Science Research Network  
In particular, we found that organizational members relied on simple threads to focus their attention and action on a particular topic over a short period of time, concurrent threads to enable their participation  ...  In studying the electronic mail exchanges of organizational members during one year, we found that they engaged in a range of threading activity to establish and maintain continuity, coherence, and coordination  ...  Thread A of the five concurrent threads discussed above is a linker thread, for example, triggered by a system crash during linking and subsequently discovered to involve at least three bugs.  ... 
doi:10.2139/ssrn.420521 fatcat:7mstniwaone3neebiiyyx4wrwe

Discovering models of behavior for concurrent workflows

Jonathan E. Cook, Zhidian Du, Chongbing Liu, Alexander L. Wolf
2004 Computers in industry (Print)  
Automated techniques which seek to mine workflow data logs to discover information about the workflows must be able to handle the concurrency that manifests itself in the workflow executions.  ...  Using metrics for the number, frequency, and regularity of event occurrences, a determination is made of the likely concurrent behavior being manifested by the system.  ...  Acknowledgements This work was supported in part by the National Science Foundation under grants CCR-9302739, CCR-9804067, EIA-9810732, and EIA-0220590; and by the Air Force Materiel Command, Rome Laboratory  ... 
doi:10.1016/j.compind.2003.10.005 fatcat:sbhdiejwafe5ppuohhg64tcnja

Analysis of Multithreaded Programs [chapter]

Martin Rinard
2001 Lecture Notes in Computer Science  
This paper surveys research in analysis for multithreaded programs, focusing on ways to improve the efficiency of analyzing interactions between threads, to detect data races, and to ameliorate the impact  ...  But multithreading is becoming increasingly important, both as a program structuring mechanism and to support efficient parallel computations.  ...  Because such a type system would provide information about the potential interactions between parallel threads, it could also serve as a foundation for new, very precise analyses.  ... 
doi:10.1007/3-540-47764-0_1 fatcat:rwavkysiwbcblen2hshcaw6weq

Context-Bounded Model Checking of Concurrent Software [chapter]

Shaz Qadeer, Jakob Rehof
2005 Lecture Notes in Computer Science  
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix.  ...  However, the analysis can still discover intricate bugs and is sound up to the bound since within each context, a thread is fully explored for unbounded stack depth.  ...  Dynamic Concurrent Pushdown Systems In this section, we define a dynamic concurrent pushdown system with operations for forking and joining on a thread.  ... 
doi:10.1007/978-3-540-31980-1_7 fatcat:babkdvqg55g7rd6eceozducfae

Systematic Asynchrony Bug Exploration for Android Apps [chapter]

Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
2015 Lecture Notes in Computer Science  
By enumerating all schedules within a limited threshold of reordering, we maximize the likelihood of encountering asynchrony bugs, according to prevailing hypotheses in the literature, and discover several  ...  The input user-event sequence is given either by user interaction, or can be generated by automated ui "monkeys".  ...  A tool must explore different possible concurrent behaviors for a given, fixed user interaction with the program.  ... 
doi:10.1007/978-3-319-21690-4_28 fatcat:mzqelmdulrfolezrnjlxuq6u3i

Introducing concurrency in CS 1

Kim B. Bruce, Andrea Danyluk, Thomas Murtagh
2010 Proceedings of the 41st ACM technical symposium on Computer science education - SIGCSE '10  
Students learn to use separate threads in a way that enables them to write programs that match their intuitions of the world.  ...  While the separate threads do interact, programs are selected so that race conditions are generally not an issue.  ...  in Curricula 2001, but it is more concerned with the support of concurrency in operating systems rather than writing concurrent programs.  ... 
doi:10.1145/1734263.1734341 dblp:conf/sigcse/BruceDM10 fatcat:zhqcdjdgsjc6jptf4fdvqqgnsa

Absolutely positively on time: what would it take? [embedded computing systems

E.A. Lee
2005 Computer  
In this column, I examine the following question, "if precise timeliness in a networked embedded system is absolutely essential, what has to change?" The answer, unfortunately, is "nearly everything."  ...  Despite considerable progress in software and hardware techniques, when embedded computing systems absolutely must meet tight timing constraints, many of the advances in computing become part of the problem  ...  The lack of timing in the core abstraction is a flaw, from the perspective of embedded software, and threads as a concurrency model are a poor match for embedded systems.  ... 
doi:10.1109/mc.2005.211 fatcat:fwacd4oq2jemtfe7kdt5wiuxka

Model checking concurrent linux device drivers

Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
Furthermore, we take predicate abstraction one step further and introduce a technique to verify concurrent software with shared memory.  ...  In particular, in the presence of threads it is essential to truthfully model the synchronization primitives of the operating system.  ...  We are able to verify the same properties using a concurrent model with two threads.  ... 
doi:10.1145/1321631.1321719 dblp:conf/kbse/WitkowskiBKW07 fatcat:zopjgi3zlzbjtf554vd7gyoefe

Threader: A Constraint-Based Verifier for Multi-threaded Programs [chapter]

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2011 Lecture Notes in Computer Science  
We present a tool that implements Owicki-Gries and relyguarantee methods for the compositional verification of multi-threaded programs.  ...  Our procedure is based on a Horn clause encoding of refinement queries and facilitates the discovery of thread-modular proofs when such proofs exist.  ...  Introduction Software running on our computers is becoming increasingly concurrent, i.e., it consists of several execution threads that process several tasks in parallel and interact with each other during  ... 
doi:10.1007/978-3-642-22110-1_32 fatcat:yqmoni3fp5fw3ey7mem6vk3ska

Scalable Software Model Checking Using Design for Verification [chapter]

Tevfik Bultan, Aysu Betin-Can
2008 Lecture Notes in Computer Science  
So far we have applied this approach to verification of synchronization operations in concurrent programs and to verification of interactions among multiple peers in composite web services.  ...  There has been significant progress in automated verification techniques based on model checking. However, scalable software model checking remains a challenging problem.  ...  We developed a design pattern, called concurrency controller pattern, in which synchronization policies for coordinating the interactions among multiple threads are specified using concurrency controller  ... 
doi:10.1007/978-3-540-69149-5_36 fatcat:3yitabhurba33k7cp4lb5g3aie
« Previous Showing results 1 — 15 out of 24,331 results