公开(公告)号：US10198335B2

公开(公告)日：2019-02-05

申请号：US15274481

申请日：2016-09-23

Applicant: Intel Corporation

Inventor： Justin E Gottschlich ,  Gilles A Pokam ,  Cristiano L Pereira ,  Michael F Spear

IPC: G06F11/07 ,  G06F11/30

Abstract: Methods, systems, and computer programs are presented for detecting the root cause in use-after-free (UAF) memory corruption errors. A method includes an operation for tracking access to memory by a program to detect access to memory not allocated by the program. The method further includes operations for tracking allocations and deallocations of memory by the program, and for storing, in response to detecting a deallocation of memory by the program, at least part of a state of a program stack at a time of the deallocation of memory. Further, the method includes an operation for detecting, after the deallocation, access by the program to the memory associated with the deallocation of memory. In response to the detecting, the state of the program stack is saved in permanent storage at the time of the deallocation.

公开(公告)号：US09588801B2

公开(公告)日：2017-03-07

申请号：US14024451

申请日：2013-09-11

Applicant: Intel Corporation

Inventor： Irina Calciu ,  Justin E Gottschlich ,  Tatiana Shpeisman ,  Gilles A Pokam

IPC: G06F9/30 ,  G06F9/46 ,  G06F12/14 ,  G06F9/52

CPC classification number: G06F9/467 ,  G06F9/30181 ,  G06F9/526 ,  G06F12/1466

Abstract: An apparatus and method for improving the efficiency with which speculative critical sections are executed within a transactional memory architecture. For example, a method in accordance with one embodiment comprises: waiting to execute a speculative critical section of program code until a lock is freed by a current transaction; responsively executing the speculative critical section to completion upon detecting that the lock has been freed, regardless of whether the lock is held by another transaction during the execution of the speculative critical section; once execution of the speculative critical section is complete, determining whether the lock is taken; and if the lock is not taken, then committing the speculative critical section and, if the lock is taken, then aborting the speculative critical section.

Abstract translation: 一种用于提高在事务存储架构内执行投机关键部分的效率的装置和方法。 例如，根据一个实施例的方法包括：等待执行程序代码的推测性临界部分，直到当前事务释放锁定为止; 在检测到锁已经被释放时响应地执行推测性关键部分以完成，而不管在推测性关键部分的执行期间锁是否被另一事务持有; 一旦投机关键部分的执行完成，确定是否采取锁定; 如果不采取锁定，则提交投机性关键部分，如果采取锁定，则中止推测性关键部分。