Publicação
Improving Lazy State Determination
| datacite.subject.fos | Engenharia e Tecnologia | |
| dc.contributor.advisor | Lourenço, João | |
| dc.contributor.author | Margalhau, Ricardo Alexandre Cruz | |
| dc.date.accessioned | 2026-02-05T11:09:04Z | |
| dc.date.available | 2026-02-05T11:09:04Z | |
| dc.date.issued | 2025-07-01 | |
| dc.description.abstract | High-performance transaction systems are used for online transaction processing in major platforms, like online shopping or social media platforms. It is important that these systems exhibit high throughput, with a low-latency, so that the final users do not experience unresponsiveness while browsing the platform. When under high contention, these systems often experience high abort rates or deadlocks, which is not ideal for the use-cases these systems are made for. Lazy State Determination (LSD) helps by delaying, as much as possible, the need to retrieve concrete data from the database system, thus decreasing the window of opportunity for the data to be changed by other transactions, which improves transaction success rates. In order to create and execute transactions, LSD uses futures instead of concrete values, proving operations to compose these futures. When committing a transaction, LSD evaluates all futures by fetching concrete values, completing the transaction successfully if the conditions are maintained. We propose a solution to improve the shortcomings of the LSD specification, as presented by Vale [25] and Carpinteiro [3]. | eng |
| dc.description.abstract | Sistemas de alto desempenho transacional são usados para processamento de transações online em grandes plataformas, como plataformas de compra e venda online, ou redes sociais. Para que os utilizadores destas plataformas não tenham uma má experiência de utilização (e.g., tempos de carregamento longos), é necessário que estes sistemas exibam uma baixa latência e uma alta capacidade de processamento transacional. Durante períodos de alta contenção, estes sistemas experienciam regularmente taxas de aborto elevadas, ou deadlocks, o que não é ideal para os propósitos que estes sistemas foram construídos para. Lazy State Determination (LSD) ajuda, adiando,o quão possível, a necessidade de obter dados concretos do sistema de bases de dados, assim diminuindo a janela de oportunidade em que os dados podem ser modificados por outras transações, melhorando a taxa de sucesso transacional. Para criar e a executar transações, LSD usa futuros em vez de valores concretos, providenciando operações para compor estes futuros. Aquando do commit, o LSD avalia todos os futuros, obtendo os valores concretos, e completando a transação com sucesso caso as condições observadas pelos futuros sejam mantidas. Propomos uma solução para endereçar os problemas encontrados na especificação do LSD apresentada por Vale [25] e Carpinteiro [3]. | por |
| dc.identifier.uri | http://hdl.handle.net/10362/200031 | |
| dc.language.iso | eng | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | Transactions | |
| dc.subject | Database Management Systems | |
| dc.subject | Lazy State Determination | |
| dc.subject | High Contention | |
| dc.subject | Concurrency Management | |
| dc.subject | High-performance Transactions | |
| dc.title | Improving Lazy State Determination | eng |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| thesis.degree.name | MASTER IN COMPUTER SCIENCE AND ENGINEERING |