Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(multi threaded program). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of California – Santa Cruz

1. Das, Madan Mohan. Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.

Degree: Computer Engineering, 2015, University of California – Santa Cruz

Most systems that test and verify parallel programming, such as data race detectors and software transactional memory systems, require instrumenting loads and stores in an application. This can cause a very significant runtime and memory overhead compared to executing uninstrumented code. Multithreaded programming typically allows any thread to perform loads and stores at any location in the process's address space independently. Most of these unsynchronized memory accesses are non-conflicting in nature; that is, the values read from or written to memory are only used by a single thread. We propose Section Based Program Analysis (SBPA), a novel way to decompose the program into disjoint sections to identify non-conflicting loads and stores during program compilation.We combine SBPA with improved context sensitive alias analysis, loop specific optimizations and a few user directives to further increase the effectiveness of SBPA. We implemented SBPA for a deterministic execution runtime environment, and were able to eliminate 63% of dynamic memory access instrumentations. We also integrated SBPA with ThreadSanitizer, a state of the art dynamic race detector, and achieved a speed-up of 2.74 times on a geometric mean basis. Lastly, we show that SBPA is also effective in static race detection.

Subjects/Keywords: Computer engineering; Data Race Detection; Multi threaded programming; Phase detection in program; Program analysis; Section based program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Das, M. M. (2015). Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/8vx8d8wv

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Das, Madan Mohan. “Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.” 2015. Thesis, University of California – Santa Cruz. Accessed January 19, 2020. http://www.escholarship.org/uc/item/8vx8d8wv.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Das, Madan Mohan. “Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.” 2015. Web. 19 Jan 2020.

Vancouver:

Das MM. Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication. [Internet] [Thesis]. University of California – Santa Cruz; 2015. [cited 2020 Jan 19]. Available from: http://www.escholarship.org/uc/item/8vx8d8wv.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Das MM. Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication. [Thesis]. University of California – Santa Cruz; 2015. Available from: http://www.escholarship.org/uc/item/8vx8d8wv

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Zeng, Reng. Methods for Modeling and Analyzing Concurrent Software.

Degree: PhD, Computer Science, 2013, Florida International University

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool. Advisors/Committee Members: Xudong He, Shu-Ching Chen, Peter J. Clarke, Ronald M. Lee.

Subjects/Keywords: concurrency; multi-threaded program; atomicity violation; model checking; Petri nets; verification; Mondex; scientific workflow; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zeng, R. (2013). Methods for Modeling and Analyzing Concurrent Software. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908

Chicago Manual of Style (16th Edition):

Zeng, Reng. “Methods for Modeling and Analyzing Concurrent Software.” 2013. Doctoral Dissertation, Florida International University. Accessed January 19, 2020. https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908.

MLA Handbook (7th Edition):

Zeng, Reng. “Methods for Modeling and Analyzing Concurrent Software.” 2013. Web. 19 Jan 2020.

Vancouver:

Zeng R. Methods for Modeling and Analyzing Concurrent Software. [Internet] [Doctoral dissertation]. Florida International University; 2013. [cited 2020 Jan 19]. Available from: https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908.

Council of Science Editors:

Zeng R. Methods for Modeling and Analyzing Concurrent Software. [Doctoral Dissertation]. Florida International University; 2013. Available from: https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908

.