東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Improving concurrent software reliab...

Zhang, Wei.

Linked to FindBook

Google Book

Amazon

博客來

Improving concurrent software reliability via an effect-oriented approach.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Improving concurrent software reliability via an effect-oriented approach./
Author:	Zhang, Wei.
Description:	157 p.
Notes:	Source: Dissertation Abstracts International, Volume: 74-11(E), Section: B.
Contained By:	Dissertation Abstracts International74-11B(E).
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3588421
ISBN:	9781303264665

Improving concurrent software reliability via an effect-oriented approach.
Zhang, Wei.

Improving concurrent software reliability via an effect-oriented approach. - 157 p.

Source: Dissertation Abstracts International, Volume: 74-11(E), Section: B.

Thesis (Ph.D.)--The University of Wisconsin - Madison, 2013.

Concurrent software reliability is becoming an increasingly critical issue. It is important to detect concurrency bugs before software is released and to help software recover from failures if concurrency bugs do slip into production runs.

ISBN: 9781303264665Subjects--Topical Terms:

626642
Computer Science.

Improving concurrent software reliability via an effect-oriented approach.
LDR:03163nam a2200325 4500 001 1963491
005 20141003074059.5
008 150210s2013 ||||||||||||||||| ||eng d
020 $a 9781303264665
035 $a (MiAaPQ)AAI3588421
035 $a AAI3588421
040 $a MiAaPQ $c MiAaPQ
100 1 $a Zhang, Wei. $3 1043738
245 1 0 $a Improving concurrent software reliability via an effect-oriented approach.
300 $a 157 p.
500 $a Source: Dissertation Abstracts International, Volume: 74-11(E), Section: B.
500 $a Adviser: Shan Lu.
502 $a Thesis (Ph.D.)--The University of Wisconsin - Madison, 2013.
520 $a Concurrent software reliability is becoming an increasingly critical issue. It is important to detect concurrency bugs before software is released and to help software recover from failures if concurrency bugs do slip into production runs.
520 $a In the past, much concurrency bug detection research has focused on the cause of concurrency bugs (i.e. data race, atomicity violation), which lead to both false positive problems (as many un-serialized operations are not harmful) and false negative issues (as bug detector designed for one type of bugs will miss other types). For failure recovery, much research work has taken the whole program rollback and re-execute approach, which leads to degraded performance.
520 $a This work takes a different perspective, and exploits the previously little-thought / little-known characteristics of the effect of concurrency bugs: (1) The patterns of concurrency errors resemble those of sequential bugs' errors, including both memory errors and semantic errors. (2) Errors propagate within the same thread. (3) Error propagation distance is short .
520 $a The bug detection work proposed in this thesis starts from potential failure sites and uses static backward slicing to identify the shared memory reads that, when fed a bad value, could cause a program failure. Then it uses dynamic analysis to predictively identify an interleaving that reveals the bug.
520 $a The failure recovery work proposed in this work starts from the potential failure sites and then inserts code at these sites, so that when failure occurs the program re-execute just one thread within a short code region. The analysis will ensure that this short region is chosen so that it is idempotent, which means its re-execution does not require checkpointing.
520 $a The experiment results on the set of benchmarks (MySQL, Apache, Mozilla, SPLASH2 etc) we evaluated show that the bug detection tool achieves about 10X lower false positive rate than the state of the art concurrency bug detection tools (e.g. Valgrind, Ctrigger) while being able to detect unknown bugs with various root causes. The failure recovery tool can survive many hidden unknown bugs without any prior-knowledge about the bug while incurring less than 1% runtime overhead.
590 $a School code: 0262.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 $a The University of Wisconsin - Madison. $b Computer Sciences. $3 2099760
773 0 $t Dissertation Abstracts International $g 74-11B(E).
790 $a 0262
791 $a Ph.D.
792 $a 2013
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3588421