Senior Go Interview Prep - Core Go: https://go.vbloher.org/docs/01-core-go/ - Механика defer в Go: https://go.vbloher.org/docs/01-core-go/defer/ - Встраивание структур и интерфейсов (Embedding): https://go.vbloher.org/docs/01-core-go/embedding/ - Ошибки в Go: error, wrapping, errors.Is/As/Join: https://go.vbloher.org/docs/01-core-go/errors/ - Дженерики в Go (1.18+): https://go.vbloher.org/docs/01-core-go/generics/ - Интерфейсы в Go: https://go.vbloher.org/docs/01-core-go/interfaces/ - Устройство map в Go: https://go.vbloher.org/docs/01-core-go/maps/ - panic / recover: механика, раскрутка стека и runtime-паники: https://go.vbloher.org/docs/01-core-go/panic-recover/ - Указатели в Go: https://go.vbloher.org/docs/01-core-go/pointers/ - Рефлексия в Go (reflect): https://go.vbloher.org/docs/01-core-go/reflection/ - Внутреннее устройство слайсов в Go: https://go.vbloher.org/docs/01-core-go/slices/ - Строки, руны и байты в Go: https://go.vbloher.org/docs/01-core-go/strings-runes-bytes/ - Система типов Go: defined types, alignment, memory layout: https://go.vbloher.org/docs/01-core-go/type-system/ - Concurrency: https://go.vbloher.org/docs/02-concurrency/ - sync/atomic: https://go.vbloher.org/docs/02-concurrency/atomic/ - Буферизованные vs небуферизованные каналы: https://go.vbloher.org/docs/02-concurrency/buffered-unbuffered/ - Канал vs Mutex: когда что выбрать: https://go.vbloher.org/docs/02-concurrency/channel-vs-mutex/ - Каналы: устройство hchan: https://go.vbloher.org/docs/02-concurrency/channels/ - Утечки горутин, дедлоки, livelock, starvation: https://go.vbloher.org/docs/02-concurrency/common-leaks-deadlocks/ - sync.Cond: https://go.vbloher.org/docs/02-concurrency/cond/ - context: https://go.vbloher.org/docs/02-concurrency/context/ - Горутины: жизненный цикл, стоимость, стек: https://go.vbloher.org/docs/02-concurrency/goroutines-lifecycle/ - sync.Mutex и sync.RWMutex: https://go.vbloher.org/docs/02-concurrency/mutex-rwmutex/ - sync.Once: https://go.vbloher.org/docs/02-concurrency/once/ - Паттерны конкурентности: https://go.vbloher.org/docs/02-concurrency/patterns/ - Race Detector (гонки данных и -race): https://go.vbloher.org/docs/02-concurrency/race-detector/ - Планировщик GMP: https://go.vbloher.org/docs/02-concurrency/scheduler-gmp/ - select: https://go.vbloher.org/docs/02-concurrency/select/ - sync.WaitGroup: https://go.vbloher.org/docs/02-concurrency/waitgroup/ - Runtime и память: https://go.vbloher.org/docs/03-runtime-memory/ - Паттерны аллокаций и снижение давления на GC: https://go.vbloher.org/docs/03-runtime-memory/allocation-patterns/ - Escape Analysis: когда переменная убегает в кучу: https://go.vbloher.org/docs/03-runtime-memory/escape-analysis/ - Сборщик мусора Go: concurrent tri-color mark-sweep: https://go.vbloher.org/docs/03-runtime-memory/gc/ - Тюнинг GC: GOGC и GOMEMLIMIT: https://go.vbloher.org/docs/03-runtime-memory/gogc-gomemlimit/ - GOMAXPROCS: параллелизм планировщика и проблема контейнеров: https://go.vbloher.org/docs/03-runtime-memory/gomaxprocs/ - Утечки горутин (goroutine leaks): https://go.vbloher.org/docs/03-runtime-memory/goroutine-leaks/ - Утечки памяти в Go (несмотря на GC): https://go.vbloher.org/docs/03-runtime-memory/memory-leaks/ - Модель памяти Go (Go Memory Model): happens-before и синхронизация: https://go.vbloher.org/docs/03-runtime-memory/memory-model/ - pprof: профилирование CPU, памяти и блокировок в Go: https://go.vbloher.org/docs/03-runtime-memory/pprof/ - Execution Tracer и runtime/trace: тайминги вместо агрегатов: https://go.vbloher.org/docs/03-runtime-memory/runtime-tracing/ - Стек vs Куча: где живут данные в Go: https://go.vbloher.org/docs/03-runtime-memory/stack-vs-heap/ - Тестирование: https://go.vbloher.org/docs/04-testing/ - testify, assert/require и golden files: https://go.vbloher.org/docs/04-testing/assertions-testify/ - Бенчмарки в Go: https://go.vbloher.org/docs/04-testing/benchmarks/ - Покрытие, -race и флаки-тесты: https://go.vbloher.org/docs/04-testing/coverage-race/ - Нативный fuzzing в Go (1.18+): https://go.vbloher.org/docs/04-testing/fuzzing/ - Интеграционные тесты, testcontainers-go, TestMain: https://go.vbloher.org/docs/04-testing/integration-testcontainers/ - Моки, стабы и тестируемость: https://go.vbloher.org/docs/04-testing/mocks/ - Table-driven тесты, subtests и параллельность: https://go.vbloher.org/docs/04-testing/table-driven/ - Backend: https://go.vbloher.org/docs/05-backend/ - Аутентификация и авторизация: AuthN/AuthZ, сессии vs токены, RBAC/ABAC, API keys, mTLS, секреты: https://go.vbloher.org/docs/05-backend/auth-authz/ - Graceful Shutdown HTTP/gRPC сервера в Go: https://go.vbloher.org/docs/05-backend/graceful-shutdown/ - gRPC: типы RPC, интерсепторы, контекст, метаданные, error model: https://go.vbloher.org/docs/05-backend/grpc/ - JWT (JSON Web Token): https://go.vbloher.org/docs/05-backend/jwt/ - Middleware-паттерн в Go: https://go.vbloher.org/docs/05-backend/middleware/ - net/http: Server, Handler, ServeMux, таймауты, Client и контекст: https://go.vbloher.org/docs/05-backend/net-http/ - OAuth2: роли, grant types, OIDC, токены и типовые ошибки: https://go.vbloher.org/docs/05-backend/oauth2/ - OpenAPI/Swagger, code generation, contract-first vs code-first, валидация: https://go.vbloher.org/docs/05-backend/openapi/ - Protocol Buffers: схемы, wire format, эволюция и совместимость: https://go.vbloher.org/docs/05-backend/protobuf/ - REST: принципы, версионирование, идемпотентность, статусы, пагинация, ошибки: https://go.vbloher.org/docs/05-backend/rest/ - Сети и протоколы: https://go.vbloher.org/docs/06-networking/ - Пулы соединений: http.Transport, БД, утечки: https://go.vbloher.org/docs/06-networking/connection-pooling/ - DNS: записи, резолвинг, кэширование, DNS в Go: https://go.vbloher.org/docs/06-networking/dns/ - Версии HTTP: 1.1, 2, 3: https://go.vbloher.org/docs/06-networking/http-versions/ - TCP/IP: модель, транспорт и что важно бэкендеру: https://go.vbloher.org/docs/06-networking/tcp-ip/ - TLS: handshake, сертификаты, mTLS, производительность: https://go.vbloher.org/docs/06-networking/tls/ - UDP и надёжность поверх UDP: https://go.vbloher.org/docs/06-networking/udp/ - WebSocket: upgrade, фреймы, масштабирование: https://go.vbloher.org/docs/06-networking/websocket/ - Базы данных: https://go.vbloher.org/docs/07-databases/ - Пул соединений к PostgreSQL в Go: database/sql, pgx, pgxpool, PgBouncer: https://go.vbloher.org/docs/07-databases/connection-pooling-pgx/ - Взаимоблокировки (Deadlocks) в PostgreSQL: https://go.vbloher.org/docs/07-databases/deadlocks/ - Индексы в PostgreSQL: https://go.vbloher.org/docs/07-databases/indexes/ - Уровни изоляции транзакций в PostgreSQL: https://go.vbloher.org/docs/07-databases/isolation-levels/ - MVCC в PostgreSQL: версии строк, видимость, VACUUM и bloat: https://go.vbloher.org/docs/07-databases/mvcc/ - Обзор NoSQL и Redis: https://go.vbloher.org/docs/07-databases/nosql-redis/ - Партиционирование таблиц в PostgreSQL: https://go.vbloher.org/docs/07-databases/partitioning/ - Архитектура PostgreSQL: https://go.vbloher.org/docs/07-databases/postgresql-architecture/ - Планирование и оптимизация запросов в PostgreSQL: https://go.vbloher.org/docs/07-databases/query-planning/ - Репликация в PostgreSQL: https://go.vbloher.org/docs/07-databases/replication/ - Шардирование (горизонтальное масштабирование): https://go.vbloher.org/docs/07-databases/sharding/ - Транзакции в PostgreSQL и Go (database/sql, pgx): https://go.vbloher.org/docs/07-databases/transactions/ - Распределённые системы: https://go.vbloher.org/docs/08-distributed-systems/ - CAP теорема: https://go.vbloher.org/docs/08-distributed-systems/cap-theorem/ - Circuit Breaker: https://go.vbloher.org/docs/08-distributed-systems/circuit-breaker/ - Консенсус и Raft: репликация состояния в присутствии отказов: https://go.vbloher.org/docs/08-distributed-systems/consensus-raft/ - Модели согласованности: https://go.vbloher.org/docs/08-distributed-systems/consistency/ - Гарантии доставки сообщений: at-most-once / at-least-once / exactly-once: https://go.vbloher.org/docs/08-distributed-systems/delivery-guarantees/ - Eventual Consistency: https://go.vbloher.org/docs/08-distributed-systems/eventual-consistency/ - Идемпотентность в распределённых системах: https://go.vbloher.org/docs/08-distributed-systems/idempotency/ - Apache Kafka: https://go.vbloher.org/docs/08-distributed-systems/kafka/ - Transactional Outbox: https://go.vbloher.org/docs/08-distributed-systems/outbox/ - RabbitMQ: AMQP 0-9-1, маршрутизация, надёжность доставки и сравнение с Kafka: https://go.vbloher.org/docs/08-distributed-systems/rabbitmq/ - Ретраи: backoff, jitter, budgets и идемпотентность: https://go.vbloher.org/docs/08-distributed-systems/retries/ - Saga Pattern: https://go.vbloher.org/docs/08-distributed-systems/saga/ - Observability: https://go.vbloher.org/docs/09-observability/ - Grafana: https://go.vbloher.org/docs/09-observability/grafana/ - Метрики: RED, USE, Golden Signals: https://go.vbloher.org/docs/09-observability/metrics/ - OpenTelemetry: https://go.vbloher.org/docs/09-observability/opentelemetry/ - Prometheus: https://go.vbloher.org/docs/09-observability/prometheus/ - SLI / SLO / SLA: https://go.vbloher.org/docs/09-observability/slo-sli/ - Структурированное логирование (slog): https://go.vbloher.org/docs/09-observability/structured-logging/ - Distributed Tracing: https://go.vbloher.org/docs/09-observability/tracing/ - System Design: https://go.vbloher.org/docs/10-system-design/ - Analytics Pipeline: https://go.vbloher.org/docs/10-system-design/analytics-pipeline/ - Chat System: https://go.vbloher.org/docs/10-system-design/chat/ - Фреймворк System Design интервью: https://go.vbloher.org/docs/10-system-design/framework/ - Notification Service: https://go.vbloher.org/docs/10-system-design/notification-service/ - Order Service: https://go.vbloher.org/docs/10-system-design/order-service/ - Payment Service: https://go.vbloher.org/docs/10-system-design/payment-service/ - Rate Limiter: https://go.vbloher.org/docs/10-system-design/rate-limiter/ - URL Shortener: https://go.vbloher.org/docs/10-system-design/url-shortener/ - DevOps: https://go.vbloher.org/docs/11-devops/ - CI/CD: пайплайны, стадии, стратегии деплоя: https://go.vbloher.org/docs/11-devops/cicd/ - Облака (AWS / GCP) для бэкендера: https://go.vbloher.org/docs/11-devops/cloud-aws-gcp/ - Docker для Go-разработчика: https://go.vbloher.org/docs/11-devops/docker/ - GitHub Actions и GitLab CI: https://go.vbloher.org/docs/11-devops/github-gitlab-ci/ - Kubernetes для Go-разработчика: https://go.vbloher.org/docs/11-devops/kubernetes/ - Terraform / Infrastructure as Code: https://go.vbloher.org/docs/11-devops/terraform/ - Алгоритмы: https://go.vbloher.org/docs/12-algorithms/ - Типовые алгоритмические задачи и паттерны: https://go.vbloher.org/docs/12-algorithms/common-problems/ - Асимптотическая сложность (Big-O): https://go.vbloher.org/docs/12-algorithms/complexity/ - Структуры данных в Go: https://go.vbloher.org/docs/12-algorithms/data-structures/ - Специфика live-coding на Go: https://go.vbloher.org/docs/12-algorithms/go-specifics/ - Behavioral: https://go.vbloher.org/docs/13-behavioral/ - Конфликты, разногласия и работа со стейкхолдерами: https://go.vbloher.org/docs/13-behavioral/conflicts/ - Как проходит senior-интервью: этапы, оценка, оффер: https://go.vbloher.org/docs/13-behavioral/interview-flow/ - Лидерство и менторство: https://go.vbloher.org/docs/13-behavioral/leadership-mentoring/ - Типовые поведенческие вопросы для Senior: https://go.vbloher.org/docs/13-behavioral/senior-questions/ > Модуль: Concurrency · Уровень: Senior ## TL;DR `select` ждёт готовности одного из нескольких канальных кейсов; при нескольких готовых выбирает **псевдослучайно**. `default` делает select неблокирующим. nil-каналы исключают кейс из выбора — основа для динамического включения/выключения и таймаутов/отмены через `time.After`/`ctx.Done()`. ## Теория ### Семантика - Если готов **один** кейс — он выполняется. - Если готовы **несколько** — выбирается случайный (равномерно, через `fastrandn`), чтобы избежать голодания. - Если **ни один** не готов и есть `default` — выполняется `default` (неблокирующий select). - Если ни один не готов и `default` нет — горутина блокируется, пока какой-то кейс не станет готов. - **Пустой `select{}`** блокирует навсегда. ```go select { case v := <-in: use(v) case out <- x: // отправили case <-time.After(time.Second): // таймаут default: // ничего не готово прямо сейчас } ``` ### Под капотом (`runtime.selectgo`) 1. Кейсы перемешиваются в случайном `pollorder` (для честного выбора). 2. Каналы блокируются в фиксированном `lockorder` по адресам — чтобы исключить дедлок при множественной блокировке. 3. **Проход 1**: ищем уже готовый кейс (есть данные/место/закрыт). Нашли — выполняем. 4. Если есть `default` и готовых нет — выполняем `default`. 5. **Иначе**: регистрируем `sudog` во всех каналах (в `sendq`/`recvq`), паркуемся. 6. При пробуждении одним из каналов — снимаем регистрацию с остальных, выполняем выигравший кейс. То есть в худшем случае select дороже одиночной операции: O(числа кейсов) на регистрацию/дерегистрацию. ### nil-каналы в select Кейс с nil-каналом **никогда не готов** и не блокирует select целиком — он просто игнорируется. Это идиома «выключить» ветку: ```go var in <-chan int = source var out chan<- int // nil пока нет данных var pending int for { select { case v, ok := <-in: if !ok { in = nil; continue } // источник иссяк → выключаем чтение pending = v; out = realOut // включаем запись in = nil // выключаем чтение пока не отдадим case out <- pending: out = nil; in = source // отдали → снова читаем } } ``` ### Таймауты ```go select { case res := <-work: return res case <-time.After(timeout): // ВНИМАНИЕ: таймер не освобождается до срабатывания return ErrTimeout } ``` `time.After` создаёт таймер, который не собирается, пока не сработает. В цикле это утечка таймеров — используйте `time.NewTimer` + `Stop()` или (с Go 1.23 GC таймеров улучшен, но в цикле всё равно предпочтителен явный таймер) `context.WithTimeout`. ```go t := time.NewTimer(timeout) defer t.Stop() select { case res := <-work: return res case <-t.C: return ErrTimeout } ``` ### Отмена ```go select { case res := <-work: return res, nil case <-ctx.Done(): return zero, ctx.Err() // Canceled или DeadlineExceeded } ``` Каждая блокирующая канальная операция в долгоживущей горутине должна иметь ветку отмены, иначе — утечка. ## Подводные камни / gotchas - **`time.After` в цикле** = утечка таймеров и лишние аллокации. В горячем цикле — `NewTimer`/`Reset` или `ctx`. - **`default` в цикле опроса** = busy-loop, сжигающий CPU. Не делайте polling-цикл `for { select { default: } }` без паузы. - **Псевдослучайный выбор** означает: нельзя полагаться на приоритет кейсов. Для приоритета нужен вложенный select (сначала high-priority с default, потом общий). - **Отправка в select** тоже подчиняется правилам: `case ch <- v` готов только если есть получатель/место; иначе блокируется. - **Закрытый канал всегда «готов» на чтение** — кейс `<-closedCh` будет постоянно выигрывать, превращая select в busy-loop. После обнаружения закрытия обнуляйте канал (`ch = nil`). - **Один и тот же канал в нескольких кейсах** допустим, но усложняет рассуждения; выбор честный между всеми. ### Приоритетный select ```go // сначала пытаемся high, потом обычный выбор select { case v := <-high: handle(v) default: select { case v := <-high: handle(v) case v := <-low: handle(v) case <-ctx.Done(): return } } ``` ## Вопросы на собеседовании **В:** Как select выбирает кейс, если готовы несколько? **О:** Псевдослучайно и равномерно (рантайм перемешивает порядок опроса). Это сделано намеренно, чтобы избежать систематического голодания одного из каналов. **В:** Как сделать select неблокирующим? **О:** Добавить `default`. Если ни один канал не готов мгновенно, выполнится `default`. Полезно для «попробовать без ожидания», но в цикле без паузы создаёт busy-loop. **В:** Зачем нужны nil-каналы в select? **О:** Кейс с nil-каналом никогда не готов и не мешает остальным — это способ динамически включать/выключать ветки (например, переключаться между чтением источника и записью в приёмник), не меняя структуру select. **В:** Чем опасен `time.After` в цикле? **О:** Каждый вызов создаёт новый таймер, который держится до срабатывания, даже если кейс не выбран. В цикле это накапливает таймеры и память. Решение — `time.NewTimer`/`Reset` со `Stop`, либо `context.WithTimeout`. **В:** Как реализовать таймаут и отмену операции? **О:** Добавить в select ветки `<-t.C` (явный таймер) или `<-ctx.Done()`. Возвращать `ctx.Err()` для различения Canceled/DeadlineExceeded. Каждая блокирующая операция в долгоживущей горутине должна иметь такую ветку. **В:** Что делает пустой `select{}`? **О:** Блокирует горутину навсегда без потребления CPU (вечная парковка). Иногда используют в `main`, чтобы не выходить, пока живут фоновые горутины (хотя лучше явная синхронизация). **В:** Как реализовать приоритет между каналами? **О:** Вложенный select: сначала отдельный select по высокоприоритетному каналу с `default`; если он не готов — общий select по всем. Прямого приоритета в одном select нет из-за случайного выбора. **В:** Почему select может превратиться в busy-loop? **О:** Если в одном из кейсов закрытый канал (всегда готов на чтение) либо есть `default` в тесном цикле без паузы. Обнуляйте закрытые каналы (`ch=nil`) и не злоупотребляйте `default`. **В:** Дороже ли select обычной операции с каналом? **О:** Да, в случае блокировки: `selectgo` регистрирует горутину во всех каналах и снимает регистрацию при пробуждении — O(числа кейсов), плюс упорядоченная блокировка каналов во избежание дедлоков. ## На что копают на senior+ - Двухфазный протокол `selectgo`: pollorder vs lockorder и почему блокировка по адресам предотвращает дедлок. - Семантика отправки в select и взаимодействие с `sendq`/`recvq`. - Управление таймерами: устройство таймерного колеса/heap на P, изменения GC таймеров (1.23) и почему явный Stop всё ещё важен. - Идиомы выключения кейсов через nil и проектирование state-machine на одном select. - Голодание и честность: как случайный выбор влияет на латентность под перекосом нагрузки.