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

Add managed blocking info for lock and monitor waits #101192

Merged
merged 3 commits into from
Apr 24, 2024

Conversation

kouvel
Copy link
Member

@kouvel kouvel commented Apr 17, 2024

  • Added a managed ThreadBlockingInfo struct that is similar to CoreCLR's DebugBlockingItem
  • Updated Lock, Condition, and Monitor to record the info
  • The LockOwnerOSThreadId and LockOwnerManagedThreadId properties can be used by debuggers to determine which thread owns a lock that the current thread is waiting on
    • In CoreCLR, Monitor records the info using the Monitor object kinds. In NativeAOT, Lock and Condition are used for Monitor waits, so the object kinds would be Lock/Condition. For now, Mono's Monitor does not record this info.

- Added a managed `ThreadBlockingInfo` struct that is similar to CoreCLR's `DebugBlockingItem`
- Updated `Lock`, `Condition`, and `Monitor` to record the info
- The `LockOwnerOSThreadId` and `LockOwnerManagedThreadId` properties can be used by debuggers to determine which thread owns a lock that the current thread is waiting on
  - In CoreCLR, `Monitor` records the info using the `Monitor` object kinds. In NativeAOT, `Lock` and `Condition` are used for `Monitor` waits, so the object kinds would be `Lock/Condition`. For now, Mono's `Monitor` does not record this info.
@kouvel kouvel added this to the 9.0.0 milestone Apr 17, 2024
@kouvel kouvel requested a review from noahfalk April 17, 2024 16:42
@kouvel kouvel self-assigned this Apr 17, 2024
Copy link
Contributor

Tagging subscribers to this area: @mangod9
See info in area-owners.md if you want to be subscribed.

@hughbe
Copy link
Contributor

hughbe commented Apr 17, 2024

Is there an issue/rationale for making these classes managed? Just curious

@kouvel
Copy link
Member Author

kouvel commented Apr 17, 2024

Is there an issue/rationale for making these classes managed? Just curious

It's a bit easier to track this info in a managed surface when the types involved are managed (eg. Lock). It also unifies how the info is stored between runtimes, and makes it easier for other managed types to record similar info in the future.

Copy link
Member

@noahfalk noahfalk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Have the VS folks confirmed they can work with this?


// This is the equivalent of the managed ThreadBlockingInfo (see ThreadBlockingInfo.cs), which is used for tracking blocking
// info from the managed side, similarly to DebugBlockingItem
struct ThreadBlockingInfo
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we need a 2nd definition of these types? Could we update DebugBlockingItem and DebugBlockingItemType to match instead?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The current definition appears to be used by debugger APIs to enumerate the blocking items. It seems there would need to be a second object on the stack for maintaining a separate linked list that contains info only about Monitor blocking, as the current APIs to get info from a blocking object would not work with Lock. I was thinking it might be easier to remove the current definitions in the future after debuggers switch to using the managed surface, and maybe deprecate some of the relevant debugger APIs. Thoughts?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The types that get exposed publicly should be CorDebugBlockingObject and CorDebugBlockingReason in the ICorDebug interface. The types exposed in the DAC IDacDbiInterface are not public and can be changed as needed. The code to convert from the internal to public types occurs here:

SIZE_T dacObjIndex = dacBlockingObjects.Size()-i-1;
.

However if we removed the domain field off the internal type we'd have to repopulate it from somewhere else and it looks like we've never done the work to convert ICorDebug to understand that CoreCLR just has a single AppDomain. Its probably not that hard, but I wouldn't feel right asking you to do that refactoring when the ground work isn't there yet. So I'd say lets not worry about this, it was just a potential for some minor deduplication.

In terms of deprecation we've rarely ever done it in the past but it is possible if supporting the old APIs is ongoing hassle and we've allowed some time to pass so that the new API is easily available. I'd think next release at the earliest unless there is some pressing need. We'd need to remove the usage from our tests, remove code from the runtime, and put out notifications of the breaking change. Thanks Kount!

@kouvel
Copy link
Member Author

kouvel commented Apr 23, 2024

Have the VS folks confirmed they can work with this?

Someone from their team has taken a look and confirmed that it looks ok for them to proceed with.

matouskozak pushed a commit to matouskozak/runtime that referenced this pull request Apr 30, 2024
* Add managed blocking info for lock and monitor waits

- Added a managed `ThreadBlockingInfo` struct that is similar to CoreCLR's `DebugBlockingItem`
- Updated `Lock`, `Condition`, and `Monitor` to record the info
- The `LockOwnerOSThreadId` and `LockOwnerManagedThreadId` properties can be used by debuggers to determine which thread owns a lock that the current thread is waiting on
  - In CoreCLR, `Monitor` records the info using the `Monitor` object kinds. In NativeAOT, `Lock` and `Condition` are used for `Monitor` waits, so the object kinds would be `Lock/Condition`. For now, Mono's `Monitor` does not record this info.
michaelgsharp pushed a commit to michaelgsharp/runtime that referenced this pull request May 9, 2024
* Add managed blocking info for lock and monitor waits

- Added a managed `ThreadBlockingInfo` struct that is similar to CoreCLR's `DebugBlockingItem`
- Updated `Lock`, `Condition`, and `Monitor` to record the info
- The `LockOwnerOSThreadId` and `LockOwnerManagedThreadId` properties can be used by debuggers to determine which thread owns a lock that the current thread is waiting on
  - In CoreCLR, `Monitor` records the info using the `Monitor` object kinds. In NativeAOT, `Lock` and `Condition` are used for `Monitor` waits, so the object kinds would be `Lock/Condition`. For now, Mono's `Monitor` does not record this info.
@kouvel kouvel mentioned this pull request May 14, 2024
8 tasks
@github-actions github-actions bot locked and limited conversation to collaborators May 25, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants