Height-relaxed AVL rebalancing: a unified, fine-grained approach to concurrent dictionaries
We show that this problem can be studied through the self-reorganization of distributed systems of nodes controlled by local evolution rules in the line of the approach of Dijkstra and Scholten. This yields a much simpler algorithm that the ones previously known. Based on the basic rebalancing frame...
| Autores: | , , , |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 1998 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/84041 |
| Acesso em linha: | https://hdl.handle.net/2117/84041 |
| Access Level: | acceso abierto |
| Palavra-chave: | Search trees Distributed systems Concurrent algorithms Concurrent insertions and deletions Concurrent generalized rotations Safety and liveness proofs Emulation Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Resumo: | We show that this problem can be studied through the self-reorganization of distributed systems of nodes controlled by local evolution rules in the line of the approach of Dijkstra and Scholten. This yields a much simpler algorithm that the ones previously known. Based on the basic rebalancing framework, we describe algorithms to manage concurrent insertion and deletion of keys. Finally, this approach is used to emulate other well known concurrent AVL algorithms. As a by-product, this solves in a very general setting an old question raised by H.T. Kung and P.L. Lehman: where should rotations take place to rebalance arbitrary search trees? |
|---|