AU8025100A - Software fault tolerance of concurrent programs using controlled re-execution - Google Patents

Software fault tolerance of concurrent programs using controlled re-execution

Info

Publication number
AU8025100A
AU8025100A AU80251/00A AU8025100A AU8025100A AU 8025100 A AU8025100 A AU 8025100A AU 80251/00 A AU80251/00 A AU 80251/00A AU 8025100 A AU8025100 A AU 8025100A AU 8025100 A AU8025100 A AU 8025100A
Authority
AU
Australia
Prior art keywords
execution
controlled
fault tolerance
software fault
concurrent programs
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Abandoned
Application number
AU80251/00A
Other languages
English (en)
Inventor
Vijay Kumar Garg
Ashis Tarafdar
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
University of Texas System
Original Assignee
University of Texas System
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by University of Texas System filed Critical University of Texas System
Publication of AU8025100A publication Critical patent/AU8025100A/en
Abandoned legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/366—Software debugging using diagnostics
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3632—Software debugging of specific synchronisation aspects
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
AU80251/00A 1999-10-13 2000-10-13 Software fault tolerance of concurrent programs using controlled re-execution Abandoned AU8025100A (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US15925399P 1999-10-13 1999-10-13
US60159253 1999-10-13
PCT/US2000/028568 WO2001027764A1 (fr) 1999-10-13 2000-10-13 Tolerance aux failles de logiciel de programmes concurrents par reexecution commandee

Publications (1)

Publication Number Publication Date
AU8025100A true AU8025100A (en) 2001-04-23

Family

ID=22571749

Family Applications (1)

Application Number Title Priority Date Filing Date
AU80251/00A Abandoned AU8025100A (en) 1999-10-13 2000-10-13 Software fault tolerance of concurrent programs using controlled re-execution

Country Status (2)

Country Link
AU (1) AU8025100A (fr)
WO (1) WO2001027764A1 (fr)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP2232367A4 (fr) 2007-12-12 2011-03-09 Univ Washington Multitraitement déterministe
JP5624480B2 (ja) * 2008-03-11 2014-11-12 ユニバーシティ・オブ・ワシントン 効率的な決定論的マルチプロセッシング（ｄｅｔｅｒｍｉｎｉｓｔｉｃｍｕｌｔｉｐｒｏｃｅｓｓｉｎｇ）
US8453120B2 (en) 2010-05-11 2013-05-28 F5 Networks, Inc. Enhanced reliability using deterministic multiprocessing-based synchronized replication

Also Published As

Publication number Publication date
WO2001027764A1 (fr) 2001-04-19

Similar Documents

Publication Publication Date Title
AU2743600A (en) Executing programs for a first computer architecture on a computer of a second architecture
AU1579201A (en) Automated control of interactive application execution using defined time periods
AU5445600A (en) Graphical system and method for debugging computer programs
AU5869000A (en) System and method for performing context switching and rescheduling of a processor
AUPP949599A0 (en) Visual architecture software language
AU4812500A (en) Optimized execution of statically strongly predicted branch instructions
AU4946600A (en) Application generation system
AUPQ052199A0 (en) Joining arrangements for structural members
AU7523800A (en) Fixing device for panels
GB2371134B (en) Software development system for facilitating selection of components
AU4068100A (en) Method and system for controlling execution of computer programs
AUPQ005099A0 (en) Sequential bus architecture
AU2115201A (en) Method for utilizing concurrent context switching to support isochronous processes
AU1793999A (en) Redundancy termination for dynamic fault isolation
AU1598601A (en) Method and system for intercepting an application program interface
AU2002228774A1 (en) Frameworks for loading and execution of object-based programs
AU7472600A (en) Satellite simulator
AU8025100A (en) Software fault tolerance of concurrent programs using controlled re-execution
AU7383600A (en) A method and system for the simplification of leaf-limited bridges
AU6606000A (en) Acoustic fault injection tool
AU6328700A (en) Method for immobilising physiologically active compounds
AU6253200A (en) Method for fixing a spreading anchor and spreading anchor
AU5205400A (en) Microencapsulated bovine adrenal medulla chromaffin cell-drug for alleviating pain
AU3895400A (en) Control of metabolism
AU7623600A (en) A method of providing secure linkage of program modules

Legal Events

Date Code Title Description
MK6 Application lapsed section 142(2)(f)/reg. 8.3(3) - pct applic. not entering national phase