第一个问题的隔离账户解法 https://geelaw.blog/entries/isolate-app/

Invariant 的意思和并行、并发关系不大。不变量就是说“数据的组织形式符合该数据结构的要求”，比如一个双向链表里任何非尾节点 x 都有 x.next.prev 等于 x 且任何非头节点 x 都有 x.prev.next 等于 x 。

当编辑链表时，要对多个对象的 prev 、next 分别重新赋值，几个赋值操作之间的时刻，不满足不变量。编辑操作保证：操作前符合不变量，则操作完成后还是符合。

如果链表被并行修改则可能出问题，这是因为有的时候，编辑开始的时候链表不满足它的不变量（例如另一个人也在编辑它）。于是你可以用一个 mutex 保护链表，设原先的不变量是命题 P，则新的不变量改成：当 mutex 未锁定时，P 成立。

如果 mutex 不可重入，则上述命题的简单推论是：当 mutex 刚被获取时，P 成立。
如果 mutex 可重入，则上述推论不成立，因为重入时 P 不一定成立。

那段教程就是在说，大家都希望该推论成立（从而验证正确性会更简单），所以我们设计的 mutex 不可重入。

你可以重新编译 Chromium 实现，因为是 Chromium 的代码在网页正在播放媒体时建议操作系统继续运行的。

另一种方式是定时休眠，例如 PowerShell 里运行命令行

Start-Sleep 3600; shutdown /h

则 3600 秒后休眠，这不受有程序建议系统持续运行的影响，因为是用户主动要求休眠的。

Tip 的单数是 tip，不是 tips 。

Hmmm 我更新了文章。

@devjoe #3
@qiayue #4
啊，感谢告知。我了解的情况是朋友是从 TTYL 出发设计他的 app 的，目前无法理解的问题是为什么 CH 和他的 app UI 高度相似。我正在和他了解情况。

像素级的像

🤔 看起来是处理转义符方法错误，误以为转义符后面一定有一个有效字符。

让我来念力理解一下：楼主是不是混淆了虚拟桌面和多监视器扩展桌面？

Windows 10 的虚拟桌面同时作用于所有显示器，所有显示器显示了一个共同的桌面（这个桌面的形状取决于设置的显示器排布）。

多监视器扩展桌面的操作如 #1 。

附言和正文是两个不同的问题。
能够识别可还原魔方，不代表就可以抽取一个随机的可还原魔方。（并不显然具有多项式时间归约。）

可以先研究拧魔方映射的群，然后依据群的结构抽样。然而这样做的结果很可能就是“从还原魔方逐步打乱”。
群的结构也可以导出识别轨道的算法（即如何识别一个魔方是还原魔方被拧魔方映射作用后的结果的方法）。

从现实角度你可能需要 non-malleable secret sharing 。

最重要的问题是如何理解“免息”，因为很多国内的银行会巧立名目，管利息叫“手续费”。如果分期的年化利率是 0 （即所谓“免息免手续费”），则分期付款更优。

粘 zhan1 贴
粘 nian2 滞键

音—义对应如 #2 。

顺便提一下“粘”“黏”。
两个字过去互为异体；后来审定标准定义“粘”为正字，“黏”为异体；再后来审定标准定义“黏”为形容词正字，“粘”为动词正字，且是各自的异体。
实际上很多词我也确实倾向于如此（应该是我出生于该审定标准之后的缘故）、例如：粘不住、粘起来、黏液、黏菌、黏性。有一些词我也会使用 粘 nian2，例如：粘滞、粘性。但我似乎不会用 黏 zhan1 。

你在 Linux 上看到的行为要么是运气，要么是 Linux 的特殊行为。POSIX 对 write 的原子性无要求 https://stackoverflow.com/a/12943431/4598348

同一个问题下可以看到，如果用追加的方式写入文件，则保证不会互相踩 https://stackoverflow.com/a/35260110/4598348
可以想象，主流的追加实现实际上是原子地增加文件长度并写入刚刚扩增的位置，由于长度变化是原子的，后续写入区域无重叠，从而自然保证不会互相踩掉。

Get-ChildItem -File | Sort-Object -Descending {
$_ | Get-Content -ReadCount 1 |
Measure-Object | Select-Object -ExpandProperty Count } |
Select-Object -First 5