Back to Results
First PageMeta Content
Data / Concurrency control / Software bugs / Databases / Lock / Atomicity / Deadlock / Idempotence / Thread / Computing / Data management / Transaction processing


ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution Wei Zhang1 Marc de Kruijf1,2
Add to Reading List

Document Date: 2013-01-24 18:23:37

Open Document

File Size: 675,74 KB

Share Result on Facebook

City

Houston / /

Company

MySQL / Google / ConAir / /

Country

United States / /

Currency

USD / /

/

Event

Force Majeure / /

Facility

Different checkpoint / checkpoint Thread / University of Wisconsin / /

IndustryTerm

potential segmentation fault failure site / potential segmentation-fault site / potential failure site / software semantics / multi-threaded software / call site / likely-invariant inference tools / backward depth-first search / possible software failures / potential site / failure site / open-source applications / recoverable failure site / above algorithm / potential deadlock site / production-run software / deployed software / /

OperatingSystem

Linux / /

Organization

University of Wisconsin / /

Position

driver / programmer / /

Product

ConAir / /

ProgrammingLanguage

V / R / C / C++ / /

ProvinceOrState

Texas / /

Technology

above algorithm / Linux / 2.2 Algorithm / operating systems / /

SocialTag