| Name : locks-devel
| |
| Version : 0.2.0
| Vendor : obs://build_opensuse_org/home:Ledest
|
| Release : 3.1
| Date : 2024-06-26 12:08:16
|
| Group : Development/Tools/Other
| Source RPM : locks-0.2.0-3.1.src.rpm
|
| Size : 0.00 MB
| |
| Packager : https://www_suse_com/
| |
| Summary : Headers of locks
|
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 Headers of locks.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/Ledest:/erlang/openSUSE_Leap_15.6/noarch |
