Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915364819959808 |
|---|---|
| author | Vandevoort, Brecht Fekete, Alan Ketsman, Bas Neven, Frank Vansummeren, Stijn |
| author_facet | Vandevoort, Brecht Fekete, Alan Ketsman, Bas Neven, Frank Vansummeren, Stijn |
| contents | We propose a theory that can determine the lowest isolation level that can be allocated to each transaction program in an application in a mixed-isolation-level setting, to guarantee that all executions will be serializable and thus preserve all integrity constraints, even those that are not explicitly declared. This extends prior work applied to completely known transactions, to deal with the realistic situation where transactions are generated by running programs with parameters that are not known in advance. Using our theory, we propose an optimization method that allows for high throughput while ensuring that all executions are serializable. Our method is based on searching for application code modifications that are semantics-preserving while improving the isolation level allocation. We illustrate our approach to the SmallBank benchmark. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_18377 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs Vandevoort, Brecht Fekete, Alan Ketsman, Bas Neven, Frank Vansummeren, Stijn Databases Programming Languages We propose a theory that can determine the lowest isolation level that can be allocated to each transaction program in an application in a mixed-isolation-level setting, to guarantee that all executions will be serializable and thus preserve all integrity constraints, even those that are not explicitly declared. This extends prior work applied to completely known transactions, to deal with the realistic situation where transactions are generated by running programs with parameters that are not known in advance. Using our theory, we propose an optimization method that allows for high throughput while ensuring that all executions are serializable. Our method is based on searching for application code modifications that are semantics-preserving while improving the isolation level allocation. We illustrate our approach to the SmallBank benchmark. |
| title | Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs |
| topic | Databases Programming Languages |
| url | https://arxiv.org/abs/2501.18377 |