Source author record

Nhan Nguyen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
4topics
4close collaborators

Published work

6 publications

preprint2022arXiv

On a link criterion for Lipschitz normal embeddings among definable sets

It is known by a result of Mendes and Sampaio that the Lipschitz normal embedding of a subanalytic germ is fully characterized by the Lipschitz normal embedding of its link. In this note, we show that the result still holds for definable germs in any o-minimal structure on (R,+,.)(\mathbb{R}, + , .). We also give an example showing that for homomorphisms between MD-homologies induced by the identity map, being isomorphic is not enough to ensure that the given germ is Lipschitz normally embedded. This is a negative answer to the question asked by Bobadilla et al. in their paper about Moderately Discontinuous Homology.

preprint2014arXiv

Efficient Lock-free Binary Search Trees

In this paper we present a novel algorithm for concurrent lock-free internal binary search trees (BST) and implement a Set abstract data type (ADT) based on that. We show that in the presented lock-free BST algorithm the amortized step complexity of each set operation - {\sc Add}, {\sc Remove} and {\sc Contains} - is O(H(n)+c)O(H(n) + c), where, H(n)H(n) is the height of BST with nn number of nodes and cc is the contention during the execution. Our algorithm adapts to contention measures according to read-write load. If the situation is read-heavy, the operations avoid helping pending concurrent {\sc Remove} operations during traversal, and, adapt to interval contention. However, for write-heavy situations we let an operation help pending {\sc Remove}, even though it is not obstructed, and so adapt to tighter point contention. It uses single-word compare-and-swap (\texttt{CAS}) operations. We show that our algorithm has improved disjoint-access-parallelism compared to similar existing algorithms. We prove that the presented algorithm is linearizable. To the best of our knowledge this is the first algorithm for any concurrent tree data structure in which the modify operations are performed with an additive term of contention measure.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.