Hardaliasingperformance
Что такое pointer aliasing и как оно влияет на производительность?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Pointer aliasing — два указателя ссылаются на одну память. Если компилятор не может доказать, что они не алиасят, он не кэширует значения в регистрах — замедление.
// Если a и b могут перекрываться, компилятор
// перечитывает b[i] и c каждый раз
void scale(int* a, int* b, int c, int n) {
for (int i = 0; i < n; ++i)
a[i] = b[i] + c;
}
// __restrict обещает «не алиасят» (расширение GCC/Clang)
void scale_fast(int* __restrict a, int* __restrict b,
int c, int n);В численных inner loops aliasing — частая причина падения производительности. Способы: __restrict, value semantics, std::valarray, PGO.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.