Kacam.net

Systeme

重排序,是编译器干的还是 CPU 干的

你说的重排序,是编译器干的还是 CPU 干的?

Vorlage kopieren, dann ein Modell wählen. Es spielt den Interviewer und fragt dich Szene für Szene ab, statt dir die Antwort hinzulegen.

Auf einem Telefon mit installierter App öffnet das System die App direkt. In WeChat lassen sich keine externen Apps öffnen — öffne es zuerst im Browser.

Am Ende des kopierten Textes steht der Lösungsschlüssel, mit dem das Modell dich bewertet. Lies ihn nicht vorher — es zählt, dass du selbst darauf gekommen bist.

这一份从一段十行的代码开始:两个线程,一个写、一个读,问你会不会读到旧值。答「不会」和答「会」都要接着回答同一个问题 —— 谁把顺序换了。

目标是把「重排序」拆成三层:编译器、CPU 乱序、写缓冲与缓存可见性。三层都保证单线程看起来没变,所以这类 bug 在本地永远复现不了。

还有一问是照妖镜:你说的 volatile,能保证 i++ 是原子的吗?以及 C 的 volatile 和 Java 的 volatile 是不是同一回事。

★★★★★ · etwa 40 Min. · Geprüft wird: 三层重排序、可见性 vs 有序性 vs 原子性、x86 为什么骗了你

Was diese Übung trainiert

Umordnung und Sichtbarkeit Caches und Cache-Lines

Schon gemacht?

Melde dich an, um festzuhalten, dass du diese Aufgabe geübt hast — beim nächsten Mal siehst du, wann das war.

Notizen von Leuten, die das gemacht haben

Noch hat niemand etwas geschrieben. Erzähl nach dem Durchlauf, was dabei herauskam — welche Szene dich ins Stocken brachte, welche Schlussfolgerung du danach geändert hast.

Anmelden, um eine Notiz zu schreiben.

So funktioniert es

Diese Reihe lehrt, statt zu verhören: sie führt dich, statt zu bohren, bis dir nichts mehr einfällt. Wenn du hängst, fragt sie zuerst, auf welcher Ebene (nie gehört / weiß es, aber nicht warum / weiß warum, kann es aber nicht anwenden), und entscheidet dann, was sie gibt. Erst nach zwei Anläufen sagt sie es direkt — und lässt dich es danach in eigenen Worten wiederholen.

Sie fragt unablässig nach Zahlen: „das kostet etwas“ oder „das ist schneller“ wird abgebrochen. Eine Schlussfolgerung ohne Größenordnung ist auswendig gelernt — genau das trainiert diese Reihe.

So fängst du an

  1. Eine auswählen, öffnen, den Prompt kopieren.
  2. In ein ganz neues, leeres Gespräch einfügen, nichts sagen, auf die erste Frage warten.
  3. Rechne damit, Größenordnungen nennen zu müssen: wie viele Nanosekunden, wie viele Mikrosekunden, um welchen Faktor langsamer. „Weiß ich nicht“ ist in Ordnung — sie notiert es und macht weiter.

Vier Zurufe, jederzeit möglich

  • 跳过 sofort zur nächsten Szene
  • 换个说法 diese Stelle aus einem anderen Blickwinkel erklären
  • 直说吧 die Antwort ganz sagen und mich danach wiederholen lassen
  • 复盘 direkt zum Abschluss springen und die Auswertungskarte ausgeben

Drei Fallen

  • Lies das Lösungsblatt am Ende nicht vorher — der Abschnitt „so denkt man es sich falsch“ ist die Antwort auf jede Frage.
  • Greif nicht sofort zum Fachwort. „Das ist ein TLB-Miss“ ist leicht gesagt; zu sagen, um wie viel billiger er als ein Page Fault ist, zählt.
  • Wenn sie anfängt, dich zu loben, verweise sie auf die Regel „lob mich nicht“. Führen ist kein Bemuttern.

Für das Gefühl für Größenordnungen: erst Random Reads, dann das erste Byte. Für Produktionsanalyse: malloc, TCP-Stockungen, Kontextwechsel. Für nebenläufigen Code: Umordnung und False Sharing.