Add a TID to the PAL #536

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.

Sign up for GitHub

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

Jump to bottom

Merged

mjp41 merged 2 commits into microsoft:main from mjp41:pal_tid

May 31, 2022

Member

mjp41 commented May 31, 2022

Making this part of the PAL allows other platforms to replace with
something more suitable.

mjp41 requested review from davidchisnall, ihaller and nwf-msr

May 31, 2022 14:05


          Add a TID to the PAL

8083e13

Making this part of the PAL allows other platforms to replace with
something more suitable.

mjp41 force-pushed the pal_tid branch from f707561 to 8083e13 Compare

May 31, 2022 14:15

davidchisnall reviewed

View reviewed changes

src/snmalloc/ds/flaglock.h Outdated Show resolved Hide resolved

mjp41 force-pushed the pal_tid branch from 3f0e5e1 to 2bfeb22 Compare

May 31, 2022 14:58

davidchisnall approved these changes

View reviewed changes

nwf-msr reviewed

View reviewed changes

src/snmalloc/ds/flaglock.h Outdated Show resolved Hide resolved

mjp41 force-pushed the pal_tid branch from 2bfeb22 to 3c22258 Compare

May 31, 2022 15:01


          CR anf CF

4e8b3e7

mjp41 force-pushed the pal_tid branch from 3c22258 to 4e8b3e7 Compare

May 31, 2022 15:03

mjp41 merged commit 9464556 into microsoft:main

mjp41 deleted the pal_tid branch

May 31, 2022 15:42

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet