Tencent Cloud Database는 다시 한 번 최고의 컨퍼런스에서 인정을 받았으며 해당 논문은 VLDB2023에 성공적으로 선정되었습니다.

최고의 국제 데이터베이스 컨퍼런스인 제49회 VLDB 컨퍼런스에서 Tencent Cloud TDSQL의 두 논문이 VLDB 2023에 성공적으로 포함되어 최고의 국제 컨퍼런스인 VLDB가 혁신 기술을 인정받았다는 것을 다시 한 번 입증했습니다.

3대 컨퍼런스 중 하나 데이터베이스 분야에서 각 VLDB 컨퍼런스는 현재 데이터베이스 연구의 가장 최첨단 방향과 업계의 최신 응용 프로그램을 전시하는 데 중점을 두어 세계 최고의 기술 회사 및 연구 기관의 많은 참여를 유도합니다. 회의는 시스템 혁신, 완성도, 실험 설계 등에 대한 요구 사항이 매우 높기 때문에 VLDB 회의의 논문 채택률은 일반적으로 낮습니다(약 18%).

선정된 논문 중 Tencent Cloud, Nanjing University 및 ETH Zurich가 공동 개발한 "Efficient Black-box Checking of Snapshot Isolation in Databases" 솔루션은 Snapshot Isolation(SI)을 효율적으로 확인할 수 있는 새로운 블랙박스 검사기인 PolySI를 제안합니다. ) 위반이 감지되면 이해하기 쉬운 반례를 제공합니다.

스냅샷 격리는 일반적인 약한 격리 수준으로, 직렬화로 인한 성능 손실을 방지하고 많은 일반적인 데이터 이상 현상을 방지할 수 있습니다. 그러나 스냅샷 격리 보장을 제공한다고 주장하는 일부 프로덕션 클라우드 데이터베이스는 여전히 SI 데이터 변칙을 생성하며 이는 특히 금융 분야에 큰 영향을 미칠 것입니다. 업계의 기존 유사한 도구는 스냅샷 격리 수준 테스트를 지원하지 않거나 효율성이 떨어집니다. 데이터베이스 시스템의 복잡성과 데이터베이스 내의 내부 정보에 접근할 수 없는 경우가 많다는 점을 고려할 때 업계에서는 블랙박스 스냅샷 격리 검사기가 시급히 필요합니다.

이 문제를 해결하기 위해 우리는 "PolySI" 알고리즘과 도구를 제안하고 설계했습니다. PolySI의 이론적 기초는 PolySI의 정확성과 완전성을 보장하는 GP(Generalized Polygraphs)를 기반으로 하는 SI 특성화 정리입니다. PolySI는 SMT 솔버(MonoSAT)를 채택하고 도메인별 최적화와 함께 GP의 컴팩트 제약 조건 인코딩 체계를 활용하여 SMT 해결을 가속화합니다

현재 광범위한 평가를 통해 PolySI는 세 가지 생산에서 알려진 SI 이상을 성공적으로 재현합니다. 클라우드 데이터베이스와 이해 가능한 반례가 제공됩니다. PolySI는 여러 클래스의 워크로드에서 현재의 최첨단 SI 블랙박스 검사기보다 성능이 뛰어나며 대규모 워크로드로 확장할 수 있습니다.

우리가 이해한 바에 따르면 Tencent Cloud와 Simon Fraser University가 공동으로 작성한 "Online Schema Evolution is (Almost) Free for Snapshot Databases"라는 논문은 "Tesseract"라는 새로운 온라인 및 트랜잭션 스키마 진화 방법을 도입하여 문제 해결을 목표로 합니다. 온라인 데이터베이스 스키마 수정 과정에서 직면한 문제

현재 최신 데이터베이스 애플리케이션은 변화하는 요구에 따라 스키마를 변경하는 경우가 많습니다. 온라인 데이터베이스 스키마 수정의 가장 큰 장점은 데이터베이스 서비스를 중지하거나 진행 중인 트랜잭션을 중단할 필요가 없다는 것입니다. . 유지 관리 또는 데이터베이스 재시작을 위한 가동 중지 시간 없이 데이터베이스가 동적 변경 사항을 충족할 수 있도록 구조를 수정합니다.

기존 데이터베이스 시스템에서는 온라인 및 트랜잭션 스키마(스키마) 진화가 지원되지만 몇 가지 과제도 직면합니다. 첫 번째는 데이터 일관성 문제입니다. 구조적 수정 시 데이터의 일관성을 보장하려면 트랜잭션 또는 기타 메커니즘을 사용하여 데이터의 무결성과 정확성을 보장해야 합니다. 둘째, 긴 실행 시간 문제가 있습니다. 특히 대규모 데이터베이스나 복잡한 구조의 수정의 경우 일부 구조 수정은 완료하는 데 오랜 시간이 걸릴 수 있으며 이는 데이터베이스 성능에 특정 영향을 미칠 수 있습니다. 따라서 비즈니스에 미치는 영향을 최소화하려면 적절한 시간 내에 수정이 이루어져야 합니다.

과거 솔루션에서는 스키마 진화를 "패치"하기 위한 임시 접근 방식이 기존 시스템에 종종 적용되어 많은 Edge 사례가 발생했습니다. 그리고 불완전한 기능. 따라서 애플리케이션은 스키마 변경을 위해 신중하게 예정된 가동 중지 시간을 요구하는 경우가 많으므로 가용성이 희생됩니다.

위의 단점을 피하기 위해 Tesseract가 사용됩니다. 널리 사용되는 다중 버전 데이터베이스 시스템에서 스키마 진화는 소위 수정으로서의 데이터 정의(DDaM)라고 불리는 전체 테이블에 대한 데이터 수정 작업으로 모델링될 수 있습니다. 이러한 방식으로 Tesseract는 동시성 제어 프로토콜을 활용하여 거의 비용이 들지 않는 패턴을 지원할 수 있습니다.

Tesseract 애플리케이션 테스트에서 우리는 기존 스냅샷 격리 프로토콜을 간단하게 조정했습니다. 40코어 서버의 작업 부하에서 Tesseract는 다운타임 없이 온라인 트랜잭션 스키마 진화를 달성하고 진화 과정에서 높은 애플리케이션 성능을 유지할 수 있습니다.

최고의 데이터베이스 컨퍼런스 VLDB에 참여함으로써 Tencent Cloud는 데이터베이스 분야의 최신 기술을 제공합니다. 기술 혁신과 혁신 방향을 글로벌 기술 개발자들과 동시에 공유하며 데이터베이스 분야의 기술 및 산업 발전에 매우 귀중한 참고 사례를 제공합니다. 앞으로도 Tencent Cloud는 데이터베이스 관련 기술, 제품 및 생태학적 역량을 지속적으로 개선하여 각계각층에 편리하고 사용하기 쉬운 데이터베이스 서비스를 제공할 것입니다.

위 내용은 Tencent Cloud Database는 다시 한 번 최고의 컨퍼런스에서 인정을 받았으며 해당 논문은 VLDB2023에 성공적으로 선정되었습니다.의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!