Skip to content

<locale>: Double-checked locking for locale::classic #3048

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

Merged
merged 8 commits into from
Oct 27, 2022
Merged

<locale>: Double-checked locking for locale::classic #3048

Changes from 6 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
1446049
Double-checked locking for locale::classic
MattStephanson Aug 20, 2022
e9222c6
Replace `Interlocked` calls with intrinsic load/store and barriers.
MattStephanson Aug 31, 2022
a4dd979
always use locking for `/clr:pure`
MattStephanson Sep 3, 2022
8890971
Merge branch 'main' into classic-locale-locking
MattStephanson Oct 26, 2022
2907701
review feedback
MattStephanson Oct 26, 2022
5b944d5
D'oh
MattStephanson Oct 26, 2022
6519e24
Merge branch 'main' into classic-locale-locking
StephanTLavavej Oct 26, 2022
6160021
Add a benchmark. Also sort the list of benchmarks.
StephanTLavavej Oct 26, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 32 additions & 4 deletions stl/src/locale0.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@

#include <crtdbg.h>
#include <internal_shared.h>
#include <xatomic.h>
#include <xfacet>

// This must be as small as possible, because its contents are
Expand Down Expand Up @@ -136,7 +137,22 @@ __PURE_APPDOMAIN_GLOBAL locale::id ctype<unsigned short>::id(0);
__PURE_APPDOMAIN_GLOBAL locale::id codecvt<unsigned short, char, mbstate_t>::id(0);

_MRTIMP2_PURE const locale& __CLRCALL_PURE_OR_CDECL locale::classic() { // get reference to "C" locale
_Init();
#if !defined(_M_CEE_PURE)
const auto mem = reinterpret_cast<const intptr_t*>(&locale::_Locimp::_Clocptr);
intptr_t as_bytes;
#ifdef _WIN64
as_bytes = __iso_volatile_load64(mem);
#else // ^^^ 64-bit / 32-bit vvv
as_bytes = __iso_volatile_load32(mem);
#endif // ^^^ 32-bit ^^^
_Compiler_or_memory_barrier();
const auto ptr = reinterpret_cast<locale::_Locimp*>(as_bytes);
if (ptr == nullptr)
#endif // !defined(_M_CEE_PURE)
{
_Init();
}

return classic_locale;
}

Expand All @@ -157,9 +173,21 @@ _MRTIMP2_PURE locale::_Locimp* __CLRCALL_PURE_OR_CDECL locale::_Init(bool _Do_in
ptr->_Catmask = all; // set current locale to "C"
ptr->_Name = "C";

_Locimp::_Clocptr = ptr; // set classic to match
_Locimp::_Clocptr->_Incref();
::new (&classic_locale) locale(_Locimp::_Clocptr);
// set classic to match
ptr->_Incref();
::new (&classic_locale) locale(ptr);
#if defined(_M_CEE_PURE)
locale::_Locimp::_Clocptr = ptr;
#else // ^^^ _M_CEE_PURE / !_M_CEE_PURE vvv
const auto mem = reinterpret_cast<volatile intptr_t*>(&locale::_Locimp::_Clocptr);
const auto as_bytes = reinterpret_cast<intptr_t>(ptr);
_Compiler_or_memory_barrier();
#ifdef _WIN64
__iso_volatile_store64(mem, as_bytes);
#else // ^^^ 64-bit / 32-bit vvv
__iso_volatile_store32(mem, as_bytes);
#endif // ^^^ 32-bit ^^^
#endif // ^^^ !defined(_M_CEE_PURE) ^^^
}

if (_Do_incref) {
Expand Down