Pascal Leroy

Isn't it simply that the macros are missing their mutex argument, e.g., `ACQUIRE(mut_)`? As written I can't imagine how the analyzer could figure out what happens to `mut_`.

1. The proposed fix would work, but it dodges the issue a bit. If you are targeting UWP, then you ought to have code for the other versions of UWP...

I don't understand why the registry would be less correct. It's actually likely to be *more* correct if what you are after the CPU frequency: according to [MSDN](https://docs.microsoft.com/en-gb/windows/desktop/DxTechArts/game-timing-and-multicore-processors): > These...

Well, you can bump all you want but you didn't give us the INFO log as instructed by the [FAQs](https://github.com/mockingbirdnest/Principia/wiki/Installing,-reporting-bugs,-and-frequently-asked-questions#windows-dialog-box-or-sigabrt) so as it stands this bug report is unusable. This...

The stack at the end of `Player.log` looks somewhat similar to one we saw in [issue 3197]( https://github.com/mockingbirdnest/Principia/issues/3197#issuecomment-966047660). Unfortunately we never determined the cause for that issue, so it doesn't...

Looking into this further we are no longer sure that it is related to #1549. We'll definitely need logs as explained by @eggrobin above.

For our reference, decoded stack trace: [`ksp_plugin/vessel.cpp:115`](https://github.com/mockingbirdnest/Principia/blob/c9d0610117bbfaa4633fa3f2d5b72b99547f7151/ksp_plugin/vessel.cpp#L115) [`ksp_plugin/plugin.cpp:484`](https://github.com/mockingbirdnest/Principia/blob/c9d0610117bbfaa4633fa3f2d5b72b99547f7151/ksp_plugin/plugin.cpp#L484) [`ksp_plugin/interface.cpp:356`](https://github.com/mockingbirdnest/Principia/blob/c9d0610117bbfaa4633fa3f2d5b72b99547f7151/ksp_plugin/interface.cpp#L356)

Tried this, and it doesn't help, the system remains sensitive to the order.

It turns out that using compensated summation (`Increment` or `Decrement`) is not correct: these methods are only valid if the addend is smaller that the current value. For accelerations we...

Code pushed to [pleroy/1351](https://github.com/pleroy/Principia/tree/1351).