Patents by Inventor Brandon Michael Lucia

Brandon Michael Lucia has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Critical path deterministic execution of multithreaded applications in a transactional memory system
    Patent number: 8739163
    Abstract: A hardware and/or software facility for controlling the order of operations performed by threads of a multithreaded application on a multiprocessing system is provided. The facility may serialize or selectively-serialize execution of the multithreaded application such that, given the same input to the multithreaded application, the multiprocessing system deterministically interleaves operations, thereby producing the same output each time the multithreaded application is executed. The facility divides the execution of the multithreaded application code into two or more quantum specifying a deterministic number of operations, and the facility specifies a deterministic order in which the threads execute the two or more quantum. The deterministic number of operations may be adapted to follow the critical path of the multithreaded application. Specified memory operations may be executed regardless of the deterministic order, such as those accessing provably local data.
    Type: Grant
    Filed: March 11, 2009
    Date of Patent: May 27, 2014
    Assignee: University of Washington
    Inventors: Luis Ceze, Mark H. Oskin, Joseph Luke Devietti, Brandon Michael Lucia
  • EFFICIENT DETERMINISTIC MULTIPROCESSING
    Publication number: 20090235262
    Abstract: A hardware and/or software facility for controlling the order of operations performed by threads of a multithreaded application on a multiprocessing system is provided. The facility may serialize or selectively-serialize execution of the multithreaded application such that, given the same input to the multithreaded application, the multiprocessing system deterministically interleaves operations, thereby producing the same output each time the multithreaded application is executed. The facility divides the execution of the multithreaded application code into two or more quantum specifying a deterministic number of operations, and the facility specifies a deterministic order in which the threads execute the two or more quantum. The deterministic number of operations may be adapted to follow the critical path of the multithreaded application. Specified memory operations may be executed regardless of the deterministic order, such as those accessing provably local data.
    Type: Application
    Filed: March 11, 2009
    Publication date: September 17, 2009
    Applicant: University of Washington
    Inventors: Luis Ceze, Mark H. Oskin, Joseph Luke Devietti, Brandon Michael Lucia