Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

i#7050 remove preempted instruction and memref. #7058

Open
wants to merge 8 commits into
base: master
Choose a base branch
from

Commits on Oct 22, 2024

  1. i#7050: reset expected read and write record counts after a kernel tr…

    …ansfer.
    
    When an instruction is preempted by a kernel transfer, the instruction
    is not retired. The trace might not have captured all the read and write
    records. To avoid false positive, the invariant checker should reset the
    expected read and write record counters.
    
    Fixes #7050
    ivankyluk committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    05ddb8a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b1feaeb View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Configuration menu
    Copy the full SHA
    0ffeb9e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    da6d3fa View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f02cd07 View commit details
    Browse the repository at this point in the history
  4. Merge branch 'i7050-reset-expected-read-write-record-counts' of githu…

    …b.com:DynamoRIO/dynamorio into i7050-remove-preempted-instructions
    ivankyluk committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    f3ee810 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1ede682 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    10c8705 View commit details
    Browse the repository at this point in the history