σμimplied vol · KKmax(S−K,0)udβρᵢⱼfat tailsPnL · drawdownyield · TdSₜ = μSₜ dt + σSₜ dWₜC = S·N(d₁) − K·e⁻ʳᵀ·N(d₂)σₚ² = wᵀΣwd₁ = [ln(S/K) + (r + σ²⁄2)T] ⁄ σ√T∂V/∂t + ½σ²S²·∂²V/∂S² + rS·∂V/∂S − rV = 0Sharpe = (Rₚ − R_f) ⁄ σₚVaR₉₉ = μ − 2.33σρ = Cov(X,Y) ⁄ σₓσᵧE[Rₚ] = Σ wᵢ·E[Rᵢ]φ(x) = e^(−x²/2) ⁄ √2πE[Rᵢ] = R_f + βᵢ(E[Rₘ] − R_f)dXₜ = θ(μ − Xₜ)dt + σ dWₜσ²ₜ = ω + α·ε²ₜ₋₁ + β·σ²ₜ₋₁C − P = S − K·e⁻ʳᵀΔ = ∂V/∂S Γ = ∂²V/∂S²p = (e^(rΔt) − d) ⁄ (u − d)rₜ = ln(Pₜ ⁄ Pₜ₋₁)E[Xₜ₊₁ | ℱₜ] = Xₜf* = (bp − q) ⁄ bz = (x − μ) ⁄ σP(N=k) = λᵏe^(−λ) ⁄ k!Θ = −∂V/∂Tν = S·φ(d₁)·√Tmin wᵀΣw s.t. wᵀμ = μ*∫Σ∂∞λ
uantCraft AcademyRoadmapsRoteiros
Ctrl K
AO
+1,2 mil alunos
EntrarParticipar ↗
RoadmapsRoteiros
AO
+1,2 mil alunos
Entrar
  • English
  • Français
  • Español
  • العربية
  • Português
  • Deutsch
  • 日本語
  • 中文
uantCraft Academy

Desenvolvimento quant aprendendo na prática: lições curtas, laboratórios avaliados e um IDE de verdade, no seu navegador.

Aprender
Todos os roadmapsTodos os roteirosRoteiro de PythonRoteiro de C++Em breveRoteiro de OxCamlEm breveRoteiro de Market StructureRoteiro de CalculusRoteiro de Linear AlgebraRoteiro de ProbabilityRoteiro de StatisticsRoteiro de Matrix DecompositionsRoteiro de OptimizationRoteiro de Time SeriesRoteiro de Stochastic CalculusRoteiro de Bayesian InferenceRoteiro de Hidden Markov ModelsRoteiro de Particle filtering and non-stationary time seriesRoteiro de scikit-learnRoteiro de statsmodelsRoteiro de SciPyRoteiro de Cache localityRoteiro de Lock-free
Suporte
Envie seu feedbackPague-nos um café
Legal
Política de privacidadeTermos de serviço
© 2026 QuantCraft Solutions. Todos os direitos reservados.
QuantCraft
σμimplied vol · KKmax(S−K,0)udβρᵢⱼfat tailsPnL · drawdownyield · TdSₜ = μSₜ dt + σSₜ dWₜC = S·N(d₁) − K·e⁻ʳᵀ·N(d₂)σₚ² = wᵀΣwd₁ = [ln(S/K) + (r + σ²⁄2)T] ⁄ σ√T∂V/∂t + ½σ²S²·∂²V/∂S² + rS·∂V/∂S − rV = 0Sharpe = (Rₚ − R_f) ⁄ σₚVaR₉₉ = μ − 2.33σρ = Cov(X,Y) ⁄ σₓσᵧE[Rₚ] = Σ wᵢ·E[Rᵢ]φ(x) = e^(−x²/2) ⁄ √2πE[Rᵢ] = R_f + βᵢ(E[Rₘ] − R_f)dXₜ = θ(μ − Xₜ)dt + σ dWₜσ²ₜ = ω + α·ε²ₜ₋₁ + β·σ²ₜ₋₁C − P = S − K·e⁻ʳᵀΔ = ∂V/∂S Γ = ∂²V/∂S²p = (e^(rΔt) − d) ⁄ (u − d)rₜ = ln(Pₜ ⁄ Pₜ₋₁)E[Xₜ₊₁ | ℱₜ] = Xₜf* = (bp − q) ⁄ bz = (x − μ) ⁄ σP(N=k) = λᵏe^(−λ) ⁄ k!Θ = −∂V/∂Tν = S·φ(d₁)·√Tmin wᵀΣw s.t. wᵀμ = μ*∫Σ∂∞λ
uantCraft AcademyRoadmapsRoteiros
Ctrl K
AO
+1,2 mil alunos
EntrarParticipar ↗
RoadmapsRoteiros
AO
+1,2 mil alunos
Entrar
  • English
  • Français
  • Español
  • العربية
  • Português
  • Deutsch
  • 日本語
  • 中文
Roteiros›Lock-free
L

Lock-free Roteiro

No arComece aqui

Esta é a edição com simulador da habilidade: não há threads reais nem medição de tempo. Uma thread é uma lista curta de passos, um escalonamento diz de quem é o próximo passo e a máquina que você escreve os executa, de modo que um bug de concorrência vira uma lista de números de threads que dá para imprimir e reproduzir. Cada aula ensina uma ideia com pequenos exemplos e sua saída, e depois um laboratório avaliado estende a mesma máquina. Você aprende a ver como uma intercalação perde uma atualização, a enumerar todos os escalonamentos de um programa pequeno, a enunciar o que uma fila sem travas garante e a provar um invariante de uma distribuição de dados de mercado sobre todos os escalonamentos.

4 módulos11 labs corrigidos~12 horasIntermediário → Especialista
Começar o roteiro

Pré-requisitos

Basta ter familiaridade com funções, listas e dicionários de Python; não é preciso C nem C++, porque a máquina é um simulador que você escreve. A habilidade de localidade de cache ajuda com falso compartilhamento e linhas de cache, mas não é obrigatória.

  • Python
  • CCache locality

Conteúdo

11 tópicos · abra qualquer tópico, na ordem que preferir
  1. 1Condições de corrida e por que existem as travasNão iniciadoRequer Python45 minComeçar
  2. 2Um explorador de intercalações: achar bugs enumerando escalonamentosNão iniciadoRequer Python1 hComeçar
  1. 3Atômicas e leitura-modificação-escritaNão iniciadoRequer Python55 minComeçar
  2. 4O modelo de memória: acquire e releaseNão iniciadoRequer Python1 h 15 minComeçar
  3. 5Garantias de progresso: de obstruction-free a wait-freeNão iniciadoRequer Python45 minComeçar
  1. 6Um buffer circular de um produtor e um consumidorNão iniciadoRequer Python1 h 30 minComeçar
  2. 7O problema ABA e os ponteiros etiquetadosNão iniciadoRequer Python55 minComeçar
  3. 8Filas de vários produtores e vários consumidoresNão iniciadoRequer Python1 h 10 minComeçar
  1. 9Testar código concorrente: detectores de corrida e verificação de modelosNão iniciadoRequer Python55 minComeçar
  2. 10Hazard pointers e reclamação por épocasNão iniciadoRequer Python1 h 10 minComeçar
  3. 11Projeto final: uma distribuição de dados de mercado sem travas com provas de seus invariantesNão iniciadoRequer Python2 hComeçar

Conclusão

Seja aprovado nos 11 labs com nota 70 ou mais para concluir o roteiro e ganhar o selo Sem travas no seu perfil.

0 / 110%

Pré-requisitos

Basta ter familiaridade com funções, listas e dicionários de Python; não é preciso C nem C++, porque a máquina é um simulador que você escreve. A habilidade de localidade de cache ajuda com falso compartilhamento e linhas de cache, mas não é obrigatória.

  • Python
  • CCache locality

Ferramentas que você vai usar

Pythonpytest

O que você vai aprender

  • Escrever uma máquina que executa programas de threads sob um escalonamento e mostrar uma atualização perdida à mão
  • Enumerar todos os escalonamentos de um programa pequeno para achar os que o quebram
  • Corrigir corridas com leitura-modificação-escrita atômica e ordem acquire/release, e enunciar o que cada correção garante
  • Construir um buffer circular SPSC, uma fila com compara-e-troca e uma fila de vários produtores, e quebrar cada uma com um escalonamento
  • Detectar corridas, reclamar memória com segurança e provar um invariante de uma distribuição de dados de mercado sobre todos os escalonamentos
uantCraft Academy

Desenvolvimento quant aprendendo na prática: lições curtas, laboratórios avaliados e um IDE de verdade, no seu navegador.

Aprender
Todos os roadmapsTodos os roteirosRoteiro de PythonRoteiro de C++Em breveRoteiro de OxCamlEm breveRoteiro de Market StructureRoteiro de CalculusRoteiro de Linear AlgebraRoteiro de ProbabilityRoteiro de StatisticsRoteiro de Matrix DecompositionsRoteiro de OptimizationRoteiro de Time SeriesRoteiro de Stochastic CalculusRoteiro de Bayesian InferenceRoteiro de Hidden Markov ModelsRoteiro de Particle filtering and non-stationary time seriesRoteiro de scikit-learnRoteiro de statsmodelsRoteiro de SciPyRoteiro de Cache localityRoteiro de Lock-free
Suporte
Envie seu feedbackPague-nos um café
Legal
Política de privacidadeTermos de serviço
© 2026 QuantCraft Solutions. Todos os direitos reservados.
QuantCraft
EntrarParticipar ↗
Entrar