{"id":"https://openalex.org/W2290819484","doi":null,"title":"Software fault tolerance in distributed systems using controlled re-execution","display_name":"Software fault tolerance in distributed systems using controlled re-execution","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W2290819484","mag":"2290819484"},"language":"en","primary_location":{"id":"mag:2290819484","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=932724","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000372390","display_name":"Ashis Tarafdar","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ashis Tarafdar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061474994","display_name":"Vijay K. Garg","orcid":"https://orcid.org/0000-0002-5797-4389","observed_orcids":["https://orcid.org/0000-0002-5797-4389"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vijay K. Garg","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5797-4389","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.375253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"software fault tolerance","score":0.8600000143051147},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.9229999780654907},{"id":"https://openalex.org/keywords/rollback-recovery","display_name":"rollback recovery","score":0.8130000233650208},{"id":"https://openalex.org/keywords/predicate-detection","display_name":"predicate detection","score":0.9240000247955322},{"id":"https://openalex.org/keywords/race-conditions","display_name":"race conditions","score":0.5849999785423279},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"mutual exclusion","score":0.7730000019073486},{"id":"https://openalex.org/keywords/np-completeness","display_name":"NP-completeness","score":0.8610000014305115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8352432250976562},{"id":"https://openalex.org/C174220543","wikidata":"https://www.wikidata.org/wiki/Q395307","display_name":"Rollback","level":3,"score":0.7313264608383179},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7017009258270264},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.635540783405304},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.6262170076370239},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6027881503105164},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5321587324142456},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4435203969478607},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43609195947647095},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.4338875412940979},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.41952696442604065},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3739267587661743},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2472291886806488},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21313154697418213},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.10163703560829163},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2290819484","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=932724","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":81,"referenced_works":["https://openalex.org/W27245156","https://openalex.org/W132713643","https://openalex.org/W155983347","https://openalex.org/W1483128698","https://openalex.org/W1497542366","https://openalex.org/W1501541856","https://openalex.org/W1529718300","https://openalex.org/W1539816220","https://openalex.org/W1547206149","https://openalex.org/W1551519754","https://openalex.org/W1556276302","https://openalex.org/W1601496654","https://openalex.org/W1607424833","https://openalex.org/W1652742168","https://openalex.org/W1837907957","https://openalex.org/W1857681399","https://openalex.org/W1867976349","https://openalex.org/W1877496576","https://openalex.org/W1966275462","https://openalex.org/W1966746220","https://openalex.org/W1969548902","https://openalex.org/W1971329766","https://openalex.org/W1979868167","https://openalex.org/W1981173460","https://openalex.org/W1982568673","https://openalex.org/W1984871414","https://openalex.org/W2014603680","https://openalex.org/W2016323637","https://openalex.org/W2022075139","https://openalex.org/W2032182549","https://openalex.org/W2042851811","https://openalex.org/W2043003055","https://openalex.org/W2049355732","https://openalex.org/W2049764332","https://openalex.org/W2054739713","https://openalex.org/W2055116083","https://openalex.org/W2079214242","https://openalex.org/W2079729471","https://openalex.org/W2080235058","https://openalex.org/W2089720514","https://openalex.org/W2096167494","https://openalex.org/W2098721015","https://openalex.org/W2099198134","https://openalex.org/W2100559484","https://openalex.org/W2109049680","https://openalex.org/W2109691981","https://openalex.org/W2109698684","https://openalex.org/W2109975789","https://openalex.org/W2121236443","https://openalex.org/W2121584042","https://openalex.org/W2122155218","https://openalex.org/W2122563027","https://openalex.org/W2123031170","https://openalex.org/W2127055167","https://openalex.org/W2127913578","https://openalex.org/W2131053137","https://openalex.org/W2132773226","https://openalex.org/W2133201251","https://openalex.org/W2138890053","https://openalex.org/W2140116462","https://openalex.org/W2140834451","https://openalex.org/W2145372377","https://openalex.org/W2145655468","https://openalex.org/W2146396153","https://openalex.org/W2151832540","https://openalex.org/W2154612074","https://openalex.org/W2156669034","https://openalex.org/W2160800498","https://openalex.org/W2161424374","https://openalex.org/W2162497982","https://openalex.org/W2162648685","https://openalex.org/W2162980369","https://openalex.org/W2165396241","https://openalex.org/W2169115714","https://openalex.org/W2492008504","https://openalex.org/W2539130632","https://openalex.org/W2545093977","https://openalex.org/W2569209973","https://openalex.org/W3137220996","https://openalex.org/W3141437129","https://openalex.org/W3147005146"],"related_works":["https://openalex.org/W1539816220","https://openalex.org/W2059600276","https://openalex.org/W2106682477","https://openalex.org/W134792361","https://openalex.org/W2162648685","https://openalex.org/W7099827701","https://openalex.org/W2149619434","https://openalex.org/W300086237","https://openalex.org/W2127055167","https://openalex.org/W2152386071"],"abstract_inverted_index":{"Distributed":[0],"applications":[1],"are":[2,296],"particularly":[3],"vulnerable":[4],"to":[5,11,60,74,95,130,133,141,162,252],"synchronization":[6,13,37,63,165],"faults.":[7],"An":[8],"important":[9],"approach":[10],"tolerating":[12,285,321],"faults":[14,38,64,166,287],"is":[15,229,235,314],"rollback":[16,27,48],"recovery,":[17],"which":[18,119,181],"involves":[19,182,269],"restoring":[20],"a":[21,46,86,121,124,185,190],"previous":[22],"state":[23],"and":[24,33,123,127,152,203,243,288,300,317],"re-executing.":[25],"Existing":[26],"recovery":[28,49],"methods":[29],"depend":[30],"on":[31,54],"chance":[32],"cannot":[34],"guarantee":[35],"that":[36,62,84,213,290,301,311],"do":[39,65,79,90],"not":[40,66],"recur":[41],"during":[42,58],"re-execution.":[43],"We":[44,137,192,222,278,309],"propose":[45],"new":[47],"method,":[50],"controlled":[51,69,103,275,281,312],"re-execution,":[52],"based":[53],"selectively":[55],"adding":[56],"synchronizations":[57,83,129],"re-execution":[59,70,104,276,282,313],"ensure":[61,85],"recur.":[67],"The":[68],"method":[71,283,319],"gives":[72],"rise":[73],"three":[75],"interesting":[76],"questions:":[77],"How":[78,89,100],"we":[80,91],"determine":[81],"the":[82,112,115,131,135,143,174,177,194,197,205,219,227,238,260,267,274,280,291,305],"safe":[87],"re-execution?":[88],"monitor":[92],"an":[93,208,232,254,270,315],"application":[94],"detect":[96],"faulty":[97],"global":[98,125,186],"conditions?":[99],"well":[101],"does":[102],"perform":[105],"in":[106,189,204,225,284,323],"practice?":[107],"\r\nThe":[108,170,263],"first":[109],"part":[110,172,265],"of":[111,155,173,200,207,211,241,266,273,307],"dissertation":[113,175,268],"addresses":[114],"predicate":[116,178,216],"control":[117],"problem":[118,144,180,195,228],"takes":[120],"computation":[122,132,212],"property":[126,187],"adds":[128],"maintain":[134],"property.":[136],"design":[138],"efficient":[139,233],"algorithms":[140],"solve":[142],"for":[145,196,237,259,320],"many":[146],"useful":[147,198,239],"predicates,":[148],"including":[149],"disjunctive":[150],"predicates":[151,160,202],"various":[153],"types":[154],"mutual":[156],"exclusion":[157],"predicates.":[158],"These":[159],"correspond":[161],"commonly":[163],"encountered":[164],"such":[167],"as":[168],"races.":[169],"second":[171],"investigates":[176],"detection":[179,217],"determining":[183],"whether":[184],"occurs":[188],"computation.":[191],"address":[193],"class":[199],"conjunctive":[201],"context":[206],"extended":[209],"model":[210],"allows":[214],"improved":[215],"over":[218],"conventional":[220],"model.":[221],"show":[223],"that,":[224],"general,":[226],"NP-Complete.":[230],"However,":[231],"solution":[234,248,258],"demonstrated":[236],"cases":[240],"receive-ordered":[242],"send-ordered":[244],"computations.":[245],"Further,":[246],"this":[247],"can":[249],"be":[250],"used":[251],"achieve":[253],"improved,":[255],"though":[256],"exponential,":[257],"general":[261],"problem.":[262],"third":[264],"experimental":[271],"study":[272],"method.":[277],"evaluate":[279],"race":[286],"find":[289],"extra":[292],"tracing":[293],"costs":[294],"imposed":[295],"within":[297],"tolerable":[298],"limits":[299],"it":[302],"greatly":[303],"enhanced":[304],"likelihood":[306],"recovery.":[308],"conclude":[310],"effective":[316],"desirable":[318],"races":[322],"long-running":[324],"non-interactive":[325],"distributed":[326],"applications.":[327]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}