Patent · US Active

Methods, systems, and media for providing determinism in multithreaded programs

US9454460B2 · kind B2 · utility

4Cited by

11References

20Claims

0Family size

Assignee

The Trustees of Columbia University in the City of New York · US

Inventors

Junfeng Yang · New York, US
Heming Cui · New York, US
Jingyue Wu · Newark, US

Key dates

Filing date	Jul 25, 2011
Grant date	Sep 27, 2016
Priority date	—
Expiry date	Dec 6, 2033

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/458
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Methods, systems, and media for providing determinism in multithreaded programs are provided. In some embodiments, methods for providing determinism in multithreaded programs are provided, the methods comprising: instrumenting a program with: a proxy that: receives inputs to the program; and determines whether a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized; and a replayer that: if it is determined that a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized, processes the inputs by the program according to the schedule.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.