Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/84042
Título:
|
HyperChromatic trees: a fine-grained approach to distributed algorithms on RedBlack trees
|
Autor/a:
|
Messeguer Peypoch, Xavier; Valles Fuente, Borja
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
Abstract:
|
We introduce a relaxed version of RedBlack trees. As concurrent algorithms on
balanced search trees are nowadays based on local rules, we propose a
set of fine-grained local rules that take more advantage of
concurrency that previous approaches. Based on them we design a
rebalancing concurrent algorithm and prove its correctness. Finally we
sketch how to complete this algorithm to include concurrent insertions
and deletions. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -RedBlack trees -Concurrent algorithms -Concurrent rebalancing -Safety and liveness proofs -Local rules |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem