Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Lock freedom). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Lehigh University

1. Liu, Yujie. Crafting Concurrent Data Structures.

Degree: PhD, Computer Science, 2015, Lehigh University

Concurrent data structures lie at the heart of modern parallel programs. The design and implementation of concurrent data structures can be challenging due to the demand for good performance (low latency and high scalability) and strong progress guarantees. In this dissertation, we enrich the knowledge of concurrent data structure design by proposing new implementations, as well as general techniques to improve the performance of existing ones.The first part of the dissertation present an unordered linked list implementation that supports nonblocking insert, remove, and lookup operations. The algorithm is based on a novel ``enlist'' technique that greatly simplifies the task of achieving wait-freedom. The value of our technique is also demonstrated in the creation of other wait-free data structures such as stacks and hash tables.The second data structure presented is a nonblocking hash table implementation which solves a long-standing design challenge by permitting the hash table to dynamically adjust its size in a nonblocking manner. Additionally, our hash table offers strong theoretical properties such as supporting unbounded memory. In our algorithm, we introduce a new ``freezable set'' abstraction which allows us to achieve atomic migration of keys during a resize. The freezable set abstraction also enables highly efficient implementations which maximally exploit the processor cache locality. In experiments, we found our lock-free hash table performs consistently better than state-of-the-art implementations, such as the split-ordered list.The third data structure we present is a concurrent priority queue called the ``mound''. Our implementations include nonblocking and lock-based variants. The mound employs randomization to reduce contention on concurrent insert operations, and decomposes a remove operation into smaller atomic operations so that multiple remove operations can execute in parallel within a pipeline. In experiments, we show that the mound can provide excellent latency at low thread counts.Lastly, we discuss how hardware transactional memory (HTM) can be used to accelerate existing nonblocking concurrent data structure implementations. We propose optimization techniques that can significantly improve the performance (1.5x to 3x speedups) of a variety of important concurrent data structures, such as binary search trees and hash tables. The optimizations also preserve the strong progress guarantees of the original implementations. Advisors/Committee Members: Spear, Michael.

Subjects/Keywords: Concurrent data structures; Hash tables; Linked lists; Lock-freedom; Priority queues; Computer Sciences; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, Y. (2015). Crafting Concurrent Data Structures. (Doctoral Dissertation). Lehigh University. Retrieved from https://preserve.lehigh.edu/etd/2690

Chicago Manual of Style (16th Edition):

Liu, Yujie. “Crafting Concurrent Data Structures.” 2015. Doctoral Dissertation, Lehigh University. Accessed January 29, 2020. https://preserve.lehigh.edu/etd/2690.

MLA Handbook (7th Edition):

Liu, Yujie. “Crafting Concurrent Data Structures.” 2015. Web. 29 Jan 2020.

Vancouver:

Liu Y. Crafting Concurrent Data Structures. [Internet] [Doctoral dissertation]. Lehigh University; 2015. [cited 2020 Jan 29]. Available from: https://preserve.lehigh.edu/etd/2690.

Council of Science Editors:

Liu Y. Crafting Concurrent Data Structures. [Doctoral Dissertation]. Lehigh University; 2015. Available from: https://preserve.lehigh.edu/etd/2690

2. Quenum, Cossi. L'encadrement juridique du droit de grève : étude comparée Benin - France : The legal framework for the right to strike : comparative study Benin-France.

Degree: Docteur es, Droit privé, 2017, Bordeaux

Délit pénal puis faute contractuelle, la grève est devenue un droit constitutionnel en France et au Bénin. Le législateur français a assorti l’exercice du droit de grève de garanties en optant pour le principe de la suspension du contrat de travail du salarié faisant grève, le maintien de l’emploi dès lors que la grève se déroule dans certaines conditions. Seule la faute lourde imputable au salarié rend possible la rupture du contrat de travail. Le législateur béninois n’a pas édicté expressément les mêmes règles laissant à la jurisprudence le soin de protéger et garantir l’exercice de ce droit constitutionnel. Pour exercer valablement le droit de grève, les grévistes doivent informer préalablement de l’employeur de leur revendication afin qu’il puisse y répondre et éviter si possible le déclenchement de la grève. Le droit de grève doit s’exercer dans la quête permanente d’une compatibilité avec d’autres libertés constitutionnelles (droit de propriété, liberté d’entreprendre, liberté du travail,…). Il existe dans les deux pays des procédures facultatives de prévention et de résolution de conflit. L’exercice du droit de grève s’incline devant l’invocation d’un intérêt supérieur tel que l’intérêt général ; ceci conduit à la prévision d’un service minimum, parfois à un ordre de réquisition. Par ailleurs, l’obligation d’observer un préavis tout comme la multiplication de recours préalable peut participer, singulièrement au Bénin, de stratégies visant à différer ou à rendre difficile l’entrée en grève. Enfin, de façon variable en droits béninois et français, sont interdits certains motifs ou certaines modalités de grève. Dans les deux pays, en cas d’exercice anormal du droit de grève, le gréviste peut voir mis en jeu sa responsabilité tant au plan civil que pénal. Respecter le droit de grève tout en limitant les débordements les plus nuisibles liés parfois à son exercice, conduit à voir affirmer une véritable démocratie sociale, adjuvant nécessaire de la démocratie politique.

Penal offense and then contractual fault, the strike became a constitutional right in France and Benin. This consecration comes in paragraph 7 of the Preamble of the French Constitution: "the right to strike is exercised within the framework of the laws that regulate it". Article 31 of the Beninese Constitution of 11 December 1990 states: "The State recognizes and guarantees the right to strike. Any worker may defend his interests, either individually or collectively or through trade union action, as provided by law. The right to strike shall be exercised in accordance with the conditions laid down by law ". As the formulas adopted by the French and Beninese constituents were almost similar, it was the legislator who had the task of clarifying the scope of beneficiaries. In common, apart from some variable legal limitations, the right to strike is found both in the public sector and in the private sector. The Beninese and French legislators have specified the conditions under which the right to strike can be exercised and the formalities or…

Advisors/Committee Members: Auvergnon, Philippe (thesis director).

Subjects/Keywords: Droit contitutionnel; Droit individuel; Droit collectif; Discrimination; Employeur; Entreprise; Faute lourde; Fonction publique; Grève; Liberté; Lock-out; Préavis; Prévention; Résolution; Responsabilité; Revendication; Services essentiels; Service minimum; Syndicat; Constitutional law; Individual right; Collective right; Discrimination; Employer; Enterprise; Heavy misconduct; Public service; Strike; Freedom; Lockout; Notice; Prevention; Resolution; Liability; Claim; Essential services; Minimum service; Union; 340

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Quenum, C. (2017). L'encadrement juridique du droit de grève : étude comparée Benin - France : The legal framework for the right to strike : comparative study Benin-France. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2017BORD0650

Chicago Manual of Style (16th Edition):

Quenum, Cossi. “L'encadrement juridique du droit de grève : étude comparée Benin - France : The legal framework for the right to strike : comparative study Benin-France.” 2017. Doctoral Dissertation, Bordeaux. Accessed January 29, 2020. http://www.theses.fr/2017BORD0650.

MLA Handbook (7th Edition):

Quenum, Cossi. “L'encadrement juridique du droit de grève : étude comparée Benin - France : The legal framework for the right to strike : comparative study Benin-France.” 2017. Web. 29 Jan 2020.

Vancouver:

Quenum C. L'encadrement juridique du droit de grève : étude comparée Benin - France : The legal framework for the right to strike : comparative study Benin-France. [Internet] [Doctoral dissertation]. Bordeaux; 2017. [cited 2020 Jan 29]. Available from: http://www.theses.fr/2017BORD0650.

Council of Science Editors:

Quenum C. L'encadrement juridique du droit de grève : étude comparée Benin - France : The legal framework for the right to strike : comparative study Benin-France. [Doctoral Dissertation]. Bordeaux; 2017. Available from: http://www.theses.fr/2017BORD0650

.