Tencent Cloud Database wurde erneut von Top-Konferenzen ausgezeichnet und das Papier wurde erfolgreich für VLDB2023 ausgewählt

Auf der 49. VLDB-Konferenz, der wichtigsten internationalen Datenbankkonferenz, wurden zwei Beiträge von Tencent Cloud TDSQL erfolgreich in VLDB 2023 aufgenommen, was erneut beweist, dass innovative Technologien von der VLDB, der wichtigsten internationalen Konferenz

Als einer der drei Top-Konferenzen, anerkannt werden Im Datenbankbereich konzentriert sich jede VLDB-Konferenz auf die Darstellung der aktuellsten Richtungen der aktuellen Datenbankforschung und der neuesten Anwendungen in der Industrie und zieht die Teilnahme vieler der weltweit führenden Technologieunternehmen und Forschungseinrichtungen an. Da die Konferenz extrem hohe Anforderungen an Systeminnovation, Vollständigkeit, experimentelles Design usw. stellt, ist die Papierannahmequote der VLDB-Konferenz im Allgemeinen niedrig (ca. 18 %).

Unter den ausgewählten Artikeln schlägt die von Tencent Cloud, der Universität Nanjing und der ETH Zürich gemeinsam entwickelte Lösung „Efficient Black-box Checking of Snapshot Isolation in Databases“ einen neuartigen Black-Box-Checker vor – PolySI, der die Snapshot-Isolation (SI) effizient überprüfen kann ) und liefern verständliche Gegenbeispiele, wenn Verstöße festgestellt werden.

Snapshot-Isolation ist eine häufige schwache Isolationsstufe, die den durch die Serialisierung verursachten Leistungsverlust vermeidet und viele häufige Datenanomalien verhindern kann. Einige Produktions-Cloud-Datenbanken, die angeblich Snapshot-Isolationsgarantien bieten, erzeugen jedoch immer noch SI-Datenanomalien, was insbesondere im Finanzbereich enorme Auswirkungen haben wird. Bestehende ähnliche Tools in der Branche unterstützen entweder keine Snapshot-Isolationsstufentests oder sind weniger effizient. Angesichts der Komplexität von Datenbanksystemen und der Tatsache, dass interne Informationen innerhalb der Datenbank oft nicht zugänglich sind, wird in der Branche dringend ein Black-Box-Snapshot-Isolationsprüfer benötigt.

Um dieses Problem zu lösen, haben wir den „PolySI“-Algorithmus und die Tools vorgeschlagen und entworfen. Die theoretische Grundlage von PolySI ist das auf Generalized Polygraphs (GPs) basierende SI-Charakterisierungstheorem, das die Richtigkeit und Vollständigkeit von PolySI garantiert. PolySI übernimmt einen SMT-Löser (MonoSAT) und nutzt das kompakte Constraint-Codierungsschema von GPs zusammen mit domänenspezifischen Optimierungen, um die SMT-Lösung zu beschleunigen

Derzeit reproduziert PolySI durch umfangreiche Auswertungen erfolgreich bekannte SI-Anomalien in drei Produktionsbereichen Cloud-Datenbank und verständliche Gegenbeispiele werden bereitgestellt. PolySI übertrifft die aktuellen hochmodernen SI-Black-Box-Prüfer bei mehreren Workload-Klassen und ist in der Lage, auf große Workloads zu skalieren.

Nach unserem Verständnis stellt das von Tencent Cloud und der Simon Fraser University gemeinsam erstellte Papier „Online Schema Evolution is (Almost) Free for Snapshot Databases“ eine neue Online- und Transaktionsschema-Evolutionsmethode namens „Tesseract“ vor, die darauf abzielt, die Herausforderungen zu lösen Im Prozess der Online-Datenbankänderung von Schemata sind sie mit Problemen konfrontiert

Derzeit nehmen moderne Datenbankanwendungen häufig Schemaänderungen entsprechend sich ändernden Anforderungen vor. Der Hauptvorteil der Online-Datenbankänderung von Schemata besteht darin, dass der Datenbankdienst nicht angehalten oder laufende Transaktionen unterbrochen werden müssen Nehmen Sie strukturelle Änderungen vor, die es der Datenbank ermöglichen, dynamische Änderungen zu bewältigen, ohne dass Ausfallzeiten für die Wartung oder einen Neustart der Datenbank erforderlich sind.

In bestehenden Datenbanksystemen werden zwar Online- und Transaktionsschemata (Schema)-Evolution unterstützt, sie stehen jedoch auch vor einigen Herausforderungen. Das erste ist die Frage der Datenkonsistenz. Um die Konsistenz der Daten sicherzustellen, müssen Transaktionen oder andere Mechanismen verwendet werden, um die Integrität und Richtigkeit der Daten sicherzustellen. Zweitens besteht das Problem der langen Laufzeit, dass einige strukturelle Änderungen insbesondere bei großen Datenbanken oder Änderungen komplexer Strukturen lange dauern können, was einen gewissen Einfluss auf die Leistung der Datenbank haben kann. Daher müssen Änderungen innerhalb des angemessenen Zeitfensters vorgenommen werden, um die Auswirkungen auf das Geschäft zu minimieren

In früheren Lösungen wurde oft ein Ad-hoc-Ansatz zum „Patchen“ der Schemaentwicklung auf das bestehende System angewendet, was zu vielen Edge-Fällen führte und unvollständige Funktionen. Daher erfordern Anwendungen oft sorgfältig geplante Ausfallzeiten, um Schemaänderungen vorzunehmen, was die Verfügbarkeit beeinträchtigt.

Um die oben genannten Nachteile zu vermeiden, kommt Tesseract ins Spiel. In weit verbreiteten Datenbanksystemen mit mehreren Versionen kann die Schemaentwicklung als Datenänderungsoperationen für die gesamte Tabelle modelliert werden, was der sogenannten Data Definition as Modification (DDaM) entspricht. Auf diese Weise kann Tesseract das Muster nahezu ohne Kosten unterstützen, indem es das Parallelitätskontrollprotokoll nutzt.

Beim Tesseract-Anwendungstest haben wir eine einfache Anpassung am vorhandenen Snapshot-Isolationsprotokoll vorgenommen. Unter Arbeitslasten auf 40-Core-Servern ist Tesseract in der Lage, eine Online-Transaktionsschemaentwicklung ohne Ausfallzeiten zu erreichen und eine hohe Anwendungsleistung während des Entwicklungsprozesses aufrechtzuerhalten.

Durch die Teilnahme an der Top-Datenbankkonferenz VLDB bringt Tencent Cloud das Neueste im Datenbankbereich Technologische Durchbrüche und Innovationsrichtungen werden gleichzeitig mit globalen Technologieentwicklern geteilt, was auch äußerst wertvolle Referenzfälle für die Technologie- und Branchenentwicklung im Datenbankbereich liefert. In Zukunft wird Tencent Cloud die datenbankbezogenen Technologien, Produkte und ökologischen Fähigkeiten weiter verbessern, um bequeme und benutzerfreundliche Datenbankdienste für alle Lebensbereiche bereitzustellen.

Das obige ist der detaillierte Inhalt vonTencent Cloud Database wurde erneut von Top-Konferenzen ausgezeichnet und das Papier wurde erfolgreich für VLDB2023 ausgewählt. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!