| Name : locks-doc
| |
| Version : 0.2.0
| Vendor : obs://build_opensuse_org/home:Ledest
|
| Release : 3.2
| Date : 2024-06-01 16:46:17
|
| Group : Documentation/HTML
| Source RPM : locks-0.2.0-3.2.src.rpm
|
| Size : 0.17 MB
| |
| Packager : (none)
| |
| Summary : locks documentation
|
Description :
A scalable, deadlock-resolving resource locker.
This application is based on an algorithm designed by Ulf Wiger 1993, and later
model-checked (and refined) by Thomas Arts.
Compared to the implementation verified by Thomas Arts, \'locks\' has included
a hierarchical lock structure and has both read and write locks. It is also
distributed, supporting multi-node locks and quorum (\'majority\').
The algorithm is based on computing potential indirect dependencies and informing
dependent transactions in a \'fill-in-the-blanks\' manner.
Eventually, one transaction will have enough information to detect a deadlock,
even though no central dependency graph or dependency probes are used. Resolution
happens with a (at least close to) minimal number of messages, making
the algorithm unusually scalable. Since it uses deadlock detection instead
of deadlock prevention, there are no phantom deadlocks.
Note: Unlock has not (yet) been implemented. Once the transaction ends, all locks
held by it are released automatically.
This package contains documentation in HTML and Markdown format.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/Ledest:/erlang:/26/openSUSE_Tumbleweed/noarch |
