Large-scale transaction load generation and database isolation level correctness verification system and method

A correctness verification and database technology, applied in the computer field, can solve problems such as no test case, high difficulty, no supporting technology, etc.

Active Publication Date: 2021-09-10
EAST CHINA NORMAL UNIV
View PDF17 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, for transactional workloads, there is currently no relevant test case automation generation technology
Manually constructing transactional loads or using OLTP to evaluate benchmark loads is the current main testing method, and these loads are relatively limited, so the database system is not sufficient for testing transactional loads, especially for high-concurrency and high-conflict transactions load
The automatic generation technology of transaction load and the correctness verification of the isolation level of the database system under high-pressure and high-conflict transaction load are important parts of the database quality management system, but there is no relevant supporting technology yet
[0008] Problems in the prior art: The quality management of the database system is a systematic software engineering problem, including product requirements analysis, technical framework selection, iterative model and testing, etc.
The automatic generation of analytical load test cases has good academic research work and engineering practice, but the automatic generation of transactional load test cases is rarely done because of its high difficulty

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Large-scale transaction load generation and database isolation level correctness verification system and method
  • Large-scale transaction load generation and database isolation level correctness verification system and method
  • Large-scale transaction load generation and database isolation level correctness verification system and method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0112] This example first uses large-scale random transaction loads to evaluate the performance of multiple versions of MySQL [20] and PostgreSQL [21] to observe the respective performance changes of MySQL and PostgreSQL under version changes; The transaction processing performance of MySQL and PostgreSQL in 2019; then the correctness test of the isolation levels of the three database systems of MySQL, PostgreSQL and Derby[22]; finally, the performance of each module of the Thor system was tested.

[0113] implementation environment

[0114]Experimental platform: All experiments involve 6 servers, each server is equipped with two 2.1GHz, 8-core Intel Xeon Silver 4100 processors, a single server can run 32 threads at the same time; each server has 120GB of memory, 4TB Hard disk (RAID-5), with a 4GB cache on the disk array; the servers are connected by 10 Gigabit Ethernet. The test database system in the experiment is currently the most widely used open source database MySQL an...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The present invention provides a large-scale transaction load generation and database isolation level correctness verification system, including: a random database schema generator, a test database generator, a random transaction load generator, a test load executor, and a log analyzer; wherein, The random database pattern generator and the test database generator serve the generation of the random test database; the random test database generation includes: the generation of the database pattern and the generation of the database instance; the random transaction load generator and the The test load executor is responsible for generating and loading random test loads; the log analyzer provides a correctness analysis report by detecting anomalies and abnormalities and verifying the correctness of the read result set. Based on the above system, the present invention also proposes a large-scale transaction load generation and correctness verification method of database isolation level.

Description

technical field [0001] The invention belongs to the technical field of computers and relates to a large-scale transaction load generation and database isolation level correctness verification system and method. Background technique [0002] As an important basic software, the database management system is widely used in key applications in the fields of finance, communication, and e-commerce. In recent years, the rapid development of the Internet has spawned a large number of new applications. Driven by new applications, database systems have developed rapidly. At the beginning of this century, NoSQL databases emerged, and now NewSQL databases are playing an increasingly important role. At present, there are more than 300 well-known database systems [1]. In addition, with the development of new hardware, there are more choices in the design of database systems, and the system architecture is constantly being refactored. The rapid iterative new system brings new challenges...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F16/242G06F11/36
CPCG06F11/3684G06F16/2433
Inventor 张蓉李可强李宇明
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products