Oracle America, Inc.

Miguel Angel Lujan Moreno

Christopher A Vick

Michael H Paleczny

Olaf Manczak

Jay R Freeman

Phyllis E Gustafson

A method for detecting a dependence violation in an application that involves executing a plurality of sections of the application in parallel, and logging memory transactions that occur while executing the plurality of sections to obtain a plurality of logs and a plurality of temporary results, where the plurality of logs is compared while executing the plurality of sections to determine whether the dependence violation exists.

Using police threads to detect dependence violations to reduce speculative parallelization overhead

A method for committing memory transactions in an application that includes executing a plurality of sections of the application in parallel, logging a plurality of memory transactions that occur while executing the plurality of sections to obtain a plurality of logs and a plurality of temporary results, wherein the plurality of memory transactions that includes a plurality of writes to at least one memory location, comparing the plurality of logs to identify an optimal list of writes from the plurality of writes, and committing memory transactions corresponding to a subset of the plurality of temporary results, wherein the subset of the plurality of temporary results is identified by the optimal list of writes.

Growing community of inventors

Mountain View, CA, United States of America

Miguel Angel Lujan Moreno