Log in

Relevant bibliographies by topics / Distributed locks

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Distributed locks'

Author: Grafiati

Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Distributed locks.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Distributed locks"

1

Huo, Qiu Yan, and Yu Zhang. "Semi-Preemptible Range Lock in Parallel Network File System (pNFS)." Advanced Materials Research 546-547 (July 2012): 1250–55. http://dx.doi.org/10.4028/www.scientific.net/amr.546-547.1250.

Full text

Abstract:

Distributed file systems use file lock mechanism to ensure consistency when the shared data are accessed by multiple nodes. In this paper, using the feature of distributed systems that the same file would be accessed frequently and the advantage of high concurrency of range lock, the semi-preemptible range lock for pNFS is proposed. Clients locally cache the finer-grained locks for ranges of files they hold. Clients retain or cache range locks even without the file instances. When an access lock is cached, a client answers some requests without a server message, improving performance by exploi

APA, Harvard, Vancouver, ISO, and other styles

2

Kvet, Michal. "Concept of Select Unlocking Optimization." IPSI Transactions on Internet Research 19, no. 01 (2023): 4–11. http://dx.doi.org/10.58245/ipsi.tir.2301.02.

Full text

Abstract:

Ensuring data integrity stored in a database requires change encapsulation in a transaction. Transaction maintains consistency by shifting the database from one consistent state to another, protected by atomicity, isolation, and durability. This paper focuses on the isolation and parallelism allowing distributed access to the data tuple across multiple transactions. Access to the data tuple is marked by the locks applied on the row level. Locks can be shared expressing data retrieval process or exclusive intended to change the values of the columns. The general locking rule takes the lock befo

APA, Harvard, Vancouver, ISO, and other styles

3

Johnson, Theodore, and Richard Newman-Wolfe. "A Comparison of Fast and Low Overhead Distributed Priority Locks." Journal of Parallel and Distributed Computing 32, no. 1 (1996): 74–89. http://dx.doi.org/10.1006/jpdc.1996.0006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Jaber, Nouraldin, Christopher Wagner, Swen Jacobs, Milind Kulkarni, and Roopsha Samanta. "QuickSilver: modeling and parameterized verification for distributed agreement-based systems." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–31. http://dx.doi.org/10.1145/3485534.

Full text

Abstract:

The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols and target applications that are built on top of agreement protocols. This is unfortunate, as agreement-based distributed services such as data stores, locks, and ledgers are ubiquitous and potentially permit modular, scalable verification approaches that mimic their modular design. We address this need for verification of distributed agreement-based systems

APA, Harvard, Vancouver, ISO, and other styles

5

Mousavian, Elham, and Claudia Casapulla. "Structurally informed design of interlocking block assemblages using limit analysis." Journal of Computational Design and Engineering 7, no. 4 (2020): 448–68. http://dx.doi.org/10.1093/jcde/qwaa038.

Full text

Abstract:

Abstract This paper presents a computational framework to design assemblages of interlocking blocks and to analyze their structural feasibility. The core of this framework is an extension of limit analysis to corrugated interfaces with orthotropic sliding behavior. Such block interfaces are made of a number of locks (i.e. projections on the corrugated faces, locking the blocks together) with rectangular cross section. The sliding resistance at the block interfaces is governed by the shear resistance of the locks and Coulomb’s friction law, normal to and along the locks, respectively. This resi

APA, Harvard, Vancouver, ISO, and other styles

6

Halici, U., and A. Dogac. "Concurrency control in distributed databases through time intervals and short-term locks." IEEE Transactions on Software Engineering 15, no. 8 (1989): 994–1003. http://dx.doi.org/10.1109/32.31355.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Yu, Qian, Tong Li, Zhong Wen Xie, Na Zhao, and Ying Lin. "Distributed Computing Design Methods for Multicore Application Programming." Advanced Materials Research 756-759 (September 2013): 1295–99. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.1295.

Full text

Abstract:

In order to solve the serial execution caused by multithreaded concurrent access to shared data and realize the dynamic load balance of tasks on shared memory symmetric multi-processor (multi-core) computing platform, new design methods are presented. By presenting multicore distributed locks, multicore shared data localization, multicore distributed queue, the new design methods can greatly decrease the number of accessing the shared data and realize the dynamic load balance of tasks. For illustration, design scheme of multicore task manager of server software are given by using new design me

APA, Harvard, Vancouver, ISO, and other styles

8

ARANTES, LUCIANA, DENIS POITRENAUD, PIERRE SENS, and BERTIL FOLLIOT. "THE BARRIER-LOCK CLOCK: A SCALABLE SYNCHRONIZATION-ORIENTED LOGICAL CLOCK." Parallel Processing Letters 11, no. 01 (2001): 65–76. http://dx.doi.org/10.1142/s0129626401000439.

Full text

Abstract:

In this article, we introduce a new logical clock, the barrier-lock clock, whose conception is based on the lazy release consistency memory model (LRC) supported by several distributed shared memory (DSM) systems. Since in the LRC, the propagation of shared memory updates performed by the processes of a parallel application is induced by lock and barrier operations, our logical clock has been modeled on those operations. Each barrier-lock times-tamp encodes the synchronization operation with which it is associated. Its size is not dependent on the number of processes of the system, as the trad

APA, Harvard, Vancouver, ISO, and other styles

9

Ruksasakchai, P., C. E. Cowdell, L. Sanchez, M. Weyland, and M. F. Andersen. "A microcontroller based self-locking laser system." Review of Scientific Instruments 93, no. 4 (2022): 043008. http://dx.doi.org/10.1063/5.0087399.

Full text

Abstract:

We present a self-locking laser system that does not require operator interventions. The system automatically finds a desired atomic transition and subsequently locks to it. Moreover, it has the ability to automatically detect if the laser is out of lock and activate the re-locking process. The design was implemented on two different diode lasers, a distributed Bragg reflector (DBR) diode laser and a Fabry Perot (FP) diode laser, used as a repump laser for a magneto-optical trap in a laser cooling experiment and a Raman laser for a four-level Raman transition experiment, respectively. The desi

APA, Harvard, Vancouver, ISO, and other styles

10

Gu, Yongqiang, Xi Zhang, Huan Yang, and Jianlin Zhang. "Design of Fully Intelligent Quality Error Prevention System for Tobacco Production Line Based on Configuration Software and PLC Program." Journal of Physics: Conference Series 2206, no. 1 (2022): 012038. http://dx.doi.org/10.1088/1742-6596/2206/1/012038.

Full text

Abstract:

Abstract Aiming at the problems of wrong brand, mixed batch and wrong transmission of electronic parameter information in the production of cut tobacco of different brands in the tobacco industry, a fully intelligent quality error prevention system based on WinCC configuration software and PLC distributed control program is designed. The information of the production and manufacturing execution system in the general control room and the brand, batch and other information stored in the PLC of the bottom electric control cabinet is compared and verified instead of manual self-inspection. If the

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Distributed locks"

1

Nair, Sreeja Sasidhara. "Designing safe and highly available distributed applications." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS272.

Full text

Abstract:

La conception d'applications distribuées implique fondamentalement un compromis entre la sûreté et les performances. Nous nous concentrons sur les cas où la sûreté est la principale exigence. Dans le cadre des systèmes distribués basés sur l'état, nous proposons une méthodologie de preuve pour établir qu'une application donnée maintient un invariant donné. Notre approche permet de raisonner sur les opérations individuelles séparément. Nous démontrons que nos règles sont correctes et, à l'aide d'un moteur de preuve, nous illustrons leur utilisation par quelques exemples représentatifs. Pour les

APA, Harvard, Vancouver, ISO, and other styles

2

Saied, Mariem. "Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures." Thesis, Strasbourg, 2018. http://www.theses.fr/2018STRAD036/document.

Full text

Abstract:

Nous proposons Dido, un langage dédié (DSL) implicitement parallèle qui capture les spécifications de haut niveau des stencils et génère automatiquement du code parallèle de haute performance pour les architectures à mémoire distribuée. Le code généré utilise ORWL en tant que interface de communication et runtime. Nous montrons que Dido réalise un grand progrès en termes de productivité sans sacrifier les performances. Dido prend en charge une large gamme de calculs stencils ainsi que des applications réelles à base de stencils. Nous montrons que le code généré par Dido est bien structuré et s

APA, Harvard, Vancouver, ISO, and other styles

3

Farook, Mohammad. "Fast lock-free linked lists in distributed shared memory systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ32107.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Yethadka, Sukumar. "A Distributed Lock Manager Using Paxos : Design and Implementation of Warlock, a Consensus Based Lock Manager." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-198324.

Full text

Abstract:

Locking primitives are one of the mechanisms used by distributed systems to synchronize access to shared data or to serialize their actions. Depending on the design, the locking service may constitute a single point of failure. This requires the manager itself to be distributed. Distributed solutions that address this using weak consistency models might lead to diverging states which in some cases are not possible to merge within acceptable effort. Solutions that are based on strong consistency models dictate the requirement of a static cluster. We propose a design that combines Multi-Paxos al

APA, Harvard, Vancouver, ISO, and other styles

5

Martin, Daniel. "Analysis and Design of Phase Lock Loop Based Islanding Detection Methods." Thesis, Virginia Tech, 2011. http://hdl.handle.net/10919/32967.

Full text

Abstract:

As distributed generation penetrates the electric power grid at higher power levels, grid interface issues with distributed generation must be addressed. The current power system consists of central power generators, while the future power system will include many more distributed resources. The centralized power generation system is controlled by utility operators, but many distributed resources will not be controlled by utility operators. Distributed generation must use smart control techniques for high reliability and ideal grid interface. This thesis discusses the grid interface issue of

APA, Harvard, Vancouver, ISO, and other styles

6

Lockl, Jannik [Verfasser], and Maximilian [Akademischer Betreuer] Röglinger. "The Convergence of Emerging Digital Technologies : Examining the Interplay of the Internet of Things and Distributed Ledger Technology / Jannik Lockl ; Betreuer: Maximilian Röglinger." Bayreuth : Universität Bayreuth, 2021. http://d-nb.info/1241183759/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Bigelow, Matthew Steven. "Examining the relative costs and benefits of shifting the locus of control in a novel air traffic management environment via multi-agent dynamic analysis and simulation." Thesis, Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/41142.

Full text

Abstract:

The current air traffic management system has primarily evolved via incremental changes around historic control, navigation, and surveillance technologies. As a result, the system as a whole is not capable of handling air traffic capacities well beyond current levels, despite recent developments, such as ADS-B, that could potentially enable new concepts of operation. Methods of analyzing air traffic for safety and performance have also evolved around current-day operating constructs. Thus, attempts to examine future systems tend to use different analysis methods developed for each. Most notabl

APA, Harvard, Vancouver, ISO, and other styles

8

Vassenkov, Phillip. "Contech: a shared memory parallel program analysis framework." Thesis, Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/50379.

Full text

Abstract:

We are in the era of multicore machines, where we must exploit thread level parallelism for programs to run better, smarter, faster, and more efficiently. In order to increase instruction level parallelism, processors and compilers perform heavy dataflow analyses between instructions. However, there isn’t much work done in the area of inter-thread dataflow analysis. In order to pave the way and find new ways to conserve resources across a variety of domains (i.e., execution speed, chip die area, power efficiency, and computational throughput), we propose a novel framework, termed Contech, to f

APA, Harvard, Vancouver, ISO, and other styles

9

Gupta, Sounak. "Pending Event Set Management in Parallel Discrete Event Simulation." University of Cincinnati / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1535701778479768.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Dardha, Ornela. "Type Systems for Distributed Programs: Components and Sessions." Phd thesis, 2014. http://tel.archives-ouvertes.fr/tel-01020998.

Full text

Abstract:

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their correctness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Distributed locks"

1

Gerald, Popek, and Walker Bruce James 1951-, eds. The LOCUS distributed system architecture. MIT Press, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bruce, Glen. Security in distributed computing: Did you lock the door? Prentice Hall, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

LOCUS Distributed System Architecture. MIT Press, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Popek, Gerald J. The LOCUS Distributed System Architecture. The MIT Press, 1986. http://dx.doi.org/10.7551/mitpress/4279.001.0001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Dempsey, Rob, and Glen Bruce. Security In Distributed Computing: Did You Lock the Door? Prentice Hall PTR, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Security In Distributed Computing: Did You Lock the Door? Prentice Hall PTR, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Harley, Oxford Edward, Michael Maittaire, and Samuel Johnson. Catalogus Bibliothecae Harleianae, in Locos Communes Distributus cum Indice Auctorum. Arkose Press, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Maittaire, Michael, William Oldys, and Samuel Johnson. Catalogus Bibliothecae Harleianae: In Locos Communes Distributus Cum Indice Auctorum, Volume 3. Arkose Press, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Harley, Oxford Edward, Michael Maittaire, and Samuel Johnson. Catalogus Bibliothecae Harleianae, in Locos Communes Distributus Cum Indice Auctorum: V. II. Creative Media Partners, LLC, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Harley, Oxford Edward, Michael Maittaire, and Samuel Johnson. Catalogus Bibliothecae Harleianae, in Locos Communes Distributus Cum Indice Auctorum: V. IV. Creative Media Partners, LLC, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Distributed locks"

1

Maurer, Christian. "Locks." In Nonsequential and Distributed Programming with Go. Springer Fachmedien Wiesbaden, 2021. http://dx.doi.org/10.1007/978-3-658-29782-4_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ammann, E. "Implementing Locks in Distributed-Memory Multiprocessors." In Informatik aktuell. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-642-77422-5_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Vora, Abhinav, Zahir Tari, and Peter Bertok. "A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks." In Distributed Applications and Interoperable Systems. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-40010-3_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Imbs, Damien, and Michel Raynal. "Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort." In Distributed Computing and Networking. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-92295-7_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Zeynally, Teymur, Dmitry Demidov, and Lubomir Dimitrov. "Prioritization of Distributed Worker Processes Based on Etcd Locks." In Communications in Computer and Information Science. Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-21340-3_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wagner, Claus, and Frank Mueller. "Token-Based Read/Write-Locks for Distributed Mutual Exclusion." In Euro-Par 2000 Parallel Processing. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44520-x_167.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Shankar, A. Udaya. "Simple Lock." In Distributed Programming. Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-4881-5_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Shankar, A. Udaya. "Distributed Lock Service." In Distributed Programming. Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-4881-5_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Shankar, A. Udaya. "Distributed Lock Using Timestamps." In Distributed Programming. Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-4881-5_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Shankar, A. Udaya. "Lock Using Peterson’s Algorithm." In Distributed Programming. Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-4881-5_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Distributed locks"

1

Marathe, V. J., M. Moir, and N. Shavit. "Composite Abortable Locks." In Proceedings 20th IEEE International Parallel & Distributed Processing Symposium. IEEE, 2006. http://dx.doi.org/10.1109/ipdps.2006.1639367.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Schmid, Patrick, Maciej Besta, and Torsten Hoefler. "High-Performance Distributed RMA Locks." In HPDC'16: The 25th International Symposium on High-Performance Parallel and Distributed Computing. ACM, 2016. http://dx.doi.org/10.1145/2907294.2907323.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hermannsson, G., and L. Wittie. "Fast locks in distributed shared memory systems." In Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences. IEEE Comput. Soc. Press, 1994. http://dx.doi.org/10.1109/hicss.1994.323131.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Ben-David, Naama, and Guy E. Blelloch. "Fast and Fair Randomized Wait-Free Locks." In PODC '22: ACM Symposium on Principles of Distributed Computing. ACM, 2022. http://dx.doi.org/10.1145/3519270.3538448.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hendler, Danny. "On the Complexity of Reader-Writer Locks." In PODC '16: ACM Symposium on Principles of Distributed Computing. ACM, 2016. http://dx.doi.org/10.1145/2933057.2933099.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hernane, Soumeya Leila, Jens Gustedt, and Mohamed Benyettou. "A Dynamic Distributed Algorithm for Read Write Locks." In 2012 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE, 2012. http://dx.doi.org/10.1109/pdp.2012.32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Malavolta, Giulio, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, and Matteo Maffei. "Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability." In Network and Distributed System Security Symposium. Internet Society, 2019. http://dx.doi.org/10.14722/ndss.2019.23330.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Abell´n, Jose L., Juan Fern´ndez, and Manuel E. Acacio. "GLocks: Efficient Support for Highly-Contended Locks in Many-Core CMPs." In Distributed Processing Symposium (IPDPS). IEEE, 2011. http://dx.doi.org/10.1109/ipdps.2011.87.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ward, Bryan C., and James H. Anderson. "Multi-resource Real-Time Reader/Writer Locks for Multiprocessors." In 2014 IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE, 2014. http://dx.doi.org/10.1109/ipdps.2014.29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Clauss, Pierre-Nicolas, and Jens Gustedt. "Experimenting Iterative Computations with Ordered Read-Write Locks." In 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2010). IEEE, 2010. http://dx.doi.org/10.1109/pdp.2010.11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Distributed locks"

1

Idris, Iffat. Conditions for Elections to Succeed in Reducing Conflict and Instability. Institute of Development Studies, 2022. http://dx.doi.org/10.19088/k4d.2022.124.

Full text

Abstract:

Post-conflict elections can pave the way for democratisation and peacebuilding, but can also lead to renewed conflict. Minimum conditions for ensuring that elections promote the former and reduce conflict and instability include: peace and demilitarisation; international involvement; not holding post-conflict elections too early; holding national and local elections separately – ideally, local before national; election systems (notably proportional representation) that distribute rather than concentrate power; independent, permanent and well-resourced election management bodies; and media that

APA, Harvard, Vancouver, ISO, and other styles

2

Levin, Ilan, John Thomas, Moshe Lapidot, Desmond McGrath, and Denis Persley. Resistance to Tomato yellow leaf curl virus (TYLCV) in tomato: molecular mapping and introgression of resistance to Australian genotypes. United States Department of Agriculture, 2010. http://dx.doi.org/10.32747/2010.7613888.bard.

Full text

Abstract:

Tomato yellow leaf curl virus (TYLCV) is one of the most devastating viruses of cultivated tomatoes. Although first identified in the Mediterranean region, it is now distributed world-wide. Sequence analysis of the virus by the Australian group has shown that the virus is now present in Australia. Despite the importance of the disease and extensive research on the virus, very little is known about the resistance genes (loci) that determine host resistance and susceptibility to the virus. A symptom-less resistant line, TY-172, was developed at the Volcani Center which has shown the highest resi

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!