Patents Assigned to Hwlett-Packard Development Company, L.P.
  • Patent number: 8813042
    Abstract: In a method of identifying a globally consistent state in a multithreaded program, a plurality of locally consistent states is identified, in which a locally consistent state of a thread comprises a set of memory locations and their corresponding data values accessed between points in the multithreaded program where no locks are held. Globally consistent states are identified based at least in part on the locally consistent states.
    Type: Grant
    Filed: April 6, 2012
    Date of Patent: August 19, 2014
    Assignee: Hwlett-Packard Development Company, L. P.
    Inventor: Dhruva Chakrabarti
  • Patent number: D539283
    Type: Grant
    Filed: July 20, 2005
    Date of Patent: March 27, 2007
    Assignee: Hwlett-Packard Development Company, L.P.
    Inventor: C. Kevin McIntyre