How we continuously validate formal specifications in production
데이터독이 TLA+ 사양을 런타임 모니터로 변환하는 FETCh를 개발해 실제 프로덕션 환경의 정합성을 검증했습니다.
출처: Datadog Engineering · · 원문 보기
Datadog Engineering에서 발행한 기술 블로그 글 14편의 한 줄 요약 모음입니다. 블로그: https://www.datadoghq.com/blog/engineering
데이터독이 TLA+ 사양을 런타임 모니터로 변환하는 FETCh를 개발해 실제 프로덕션 환경의 정합성을 검증했습니다.
출처: Datadog Engineering · · 원문 보기
Datadog이 이미지 서명을 넘어 소프트웨어 공급망 전체를 검증하는 Turnstile 시스템을 도입했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 Apache DataFusion 쿼리를 여러 머신에서 실행하는 프레임워크를 공개했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 asyncio 작업 관계를 복원하는 Python 프로파일러를 만들고 샘플링 비용을 낮췄다.
출처: Datadog Engineering · · 원문 보기
Datadog이 OpenTelemetry 기반 Rust 추적기 dd-trace-rs로 추적 일관성과 수집 효율을 높였다.
출처: Datadog Engineering · · 원문 보기
Datadog이 Git fetch의 CPU 병목을 분산하는 미러 서비스 gitretriever를 만들었다.
출처: Datadog Engineering · · 원문 보기
Datadog이 클래스 이름 접두어 트라이를 JVM 상수로 인코딩해 Java APM 시작을 줄였다.
출처: Datadog Engineering · · 원문 보기
Datadog과 OpenJDK 기여자들이 JDK 25에 정확한 CPU 프로파일링용 JFR 이벤트를 추가했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 고객별 수집 파이프라인의 데이터 완전성을 실시간으로 추적하는 시스템을 구축했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 테스트 중심 AI 리팩터링으로 Stream Router 저장소를 관계형 구조로 전환했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 PostgreSQL 대기 노드에 동기 복제를 적용해 안전한 장애 조치를 설계했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 LLM 2단계 검증과 조사 도구로 악성 패키지 탐지를 확장했다.
출처: Datadog Engineering · · 원문 보기
Datadog이 위젯 스크린샷에 원본 상태를 복원할 메타데이터를 숨겨 넣었다.
출처: Datadog Engineering · · 원문 보기
Datadog이 Bits Investigation의 회귀를 찾는 재현형 평가 플랫폼을 구축했다.
출처: Datadog Engineering · · 원문 보기