In order to allow concurrent operations, DB provides the locking subsystem. This subsystem provides inter- and intra- process concurrency mechanisms. It is extensively used by DB concurrent applications, but it can also be generally used for non-DB resources.
This section describes the locking subsystem as it is used to protect DB resources. In particular, issues on configuration are examined here. For information on using the locking subsystem to manage non-DB resources, see the Berkeley DB Programmer's Reference Guide.
You initialize the locking subsystem by specifying
DB_INIT_LOCK
to the
DbEnv::open()
method.
Before opening your environment, you can configure various values for your locking subsystem. Note that these limits can only be configured before the environment is opened. Also, these methods configure the entire environment, not just a specific environment handle.
Finally, each bullet below identifies the
DB_CONFIG
file parameter that can be used
to specify the specific locking limit. If used, these
DB_CONFIG
file parameters override any
value that you might specify using the environment handle.
The limits that you can configure are as follows:
The number of lockers supported by the environment. This value is used by the environment when it is opened to estimate the amount of space that it should allocate for various internal data structures. By default, 1,000 lockers are supported.
To configure this value, use the
DbEnv::set_memory_init()
method to configure the DB_MEM_LOCKER
structure.
As an alternative to this method, you can configure this
value using the DB_CONFIG
file's
set_lk_max_lockers
parameter.
The number of locks supported by the environment. By default, 1,000 locks are supported.
To configure this value, use the
DbEnv::set_memory_init()
method to configure the DB_MEM_LOCK
structure.
As an alternative to this method, you can configure this
value using the DB_CONFIG
file's
set_lk_max_locks
parameter.
The number of locked objects supported by the environment. By default, 1,000 objects can be locked.
To configure this value, use the
DbEnv::set_memory_init()
method to configure the DB_MEM_LOCKOBJECT
structure.
As an alternative to this method, you can configure this
value using the DB_CONFIG
file's
set_lk_max_objects
parameter.
For a definition of lockers, locks, and locked objects, see Lock Resources.
For example, to configure the number of locks that your environment can use:
#include "db_cxx.h" ... int main(void) { u_int32_t env_flags = DB_CREATE | // If the environment does not // exist, create it. DB_INIT_LOCK | // Initialize locking DB_INIT_LOG | // Initialize logging DB_INIT_MPOOL | // Initialize the cache DB_THREAD | // Free-thread the env handle. DB_INIT_TXN; // Initialize transactions std::string envHome("/export1/testEnv"); DbEnv myEnv(0); try { // Configure max locks myEnv.set_lk_max_locks(5000); myEnv.set_memory_init(DB_MEM_LOCK, 5000); myEnv.open(envHome.c_str(), env_flags, 0); } catch(DbException &e) { std::cerr << "Error opening database environment: " << envHome << std::endl; std::cerr << e.what() << std::endl; return (EXIT_FAILURE); } try { myEnv.close(0); } catch(DbException &e) { std::cerr << "Error closing database environment: " << envHome << std::endl; std::cerr << e.what() << std::endl; return (EXIT_FAILURE); } return (EXIT_SUCCESS); }
In order for DB to know that a deadlock has occurred, some mechanism must be used to perform deadlock detection. There are three ways that deadlock detection can occur:
Allow DB to internally detect deadlocks as they occur.
To do this, you use
DbEnv::set_lk_detect()
.
This method causes DB to walk its internal lock table
looking for a deadlock whenever a lock request
is blocked. This method also identifies how DB decides which lock
requests are rejected when deadlocks are detected. For example,
DB can decide to reject the lock request for the transaction
that has the most number of locks, the least number of locks,
holds the oldest lock, holds the most number of write locks, and
so forth (see the API reference documentation for a complete
list of the lock detection policies).
You can call this method at any time during your application's lifetime, but typically it is used before you open your environment.
Note that how you want DB to decide which thread of control should break a deadlock is extremely dependent on the nature of your application. It is not unusual for some performance testing to be required in order to make this determination. That said, a transaction that is holding the most number of locks is usually indicative of the transaction that has performed the most amount of work. Frequently you will not want a transaction that has performed a lot of work to abandon its efforts and start all over again. It is not therefore uncommon for application developers to initially select the transaction with the minimum number of write locks to break the deadlock.
Using this mechanism for deadlock detection means that your application will never have to wait on a lock before discovering that a deadlock has occurred. However, walking the lock table every time a lock request is blocked can be expensive from a performance perspective.
Use a dedicated thread or external process to perform deadlock detection. Note that this thread must be performing no other database operations beyond deadlock detection.
To externally perform lock detection, you can use
either the
DbEnv::lock_detect()
method, or use the
db_deadlock command line
utility. This method (or command) causes DB to walk the
lock table looking for deadlocks.
Note that like
DbEnv::set_lk_detect()
,
you also use this method (or command line utility)
to identify which lock requests are rejected in the
event that a deadlock is detected.
Applications that perform deadlock detection in this way typically run deadlock detection between every few seconds and a minute. This means that your application may have to wait to be notified of a deadlock, but you also save the overhead of walking the lock table every time a lock request is blocked.
Lock timeouts.
You can configure your locking subsystem such that
it times out any lock that is not released within a
specified amount of time. To do this, use the
DbEnv::set_timeout()
method.
Note that lock timeouts are only checked when a
lock request is blocked or when deadlock
detection is otherwise performed. Therefore, a lock can have timed out and still be held for
some length of time until DB has a reason to examine its locking tables.
Be aware that extremely long-lived transactions, or operations that hold locks for a long time, may be inappropriately timed out before the transaction or operation has a chance to complete. You should therefore use this mechanism only if you know your application will hold locks for very short periods of time.
For example, to configure your application such that DB checks the lock table for deadlocks every time a lock request is blocked:
#include "db_cxx.h" ... int main(void) { u_int32_t env_flags = DB_CREATE | // If the environment does not // exist, create it. DB_INIT_LOCK | // Initialize locking DB_INIT_LOG | // Initialize logging DB_INIT_MPOOL | // Initialize the cache DB_THREAD | // Free-thread the env handle DB_INIT_TXN; // Initialize transactions std::string envHome("/export1/testEnv"); DbEnv myEnv(0); try { // Configure db to perform deadlock detection internally, and to // choose the transaction that has performed the least amount // of writing to break the deadlock in the event that one // is detected. myEnv.set_lk_detect(DB_LOCK_MINWRITE); myEnv.open(envHome.c_str(), env_flags, 0); // From here, you open your databases, proceed with your // database operations, and respond to deadlocks as // is normal (omitted for brevity). ...
Finally, the following command line call causes
deadlock detection to be run against the
environment contained in /export/dbenv
. The
transaction with the youngest lock is chosen to break the
deadlock:
> /usr/local/db_install/bin/db_deadlock -h /export/dbenv -a y
For more information, see the
db_deadlock
reference documentation.
When DB determines that a deadlock has occurred, it will
select a thread of control to resolve the deadlock and then
throws DbDeadlockException
in that
thread.
If a deadlock is detected, the thread must:
Cease all read and write operations.
Close all open cursors.
Abort the transaction.
Optionally retry the operation. If your application retries deadlocked operations, the new attempt must be made using a new transaction.
If a thread has deadlocked, it may not make any additional database calls using the handle that has deadlocked.
For example:
// retry_count is a counter used to identify how many times // we've retried this operation. To avoid the potential for // endless looping, we won't retry more than MAX_DEADLOCK_RETRIES // times. // txn is a transaction handle. // key and data are DBT handles. Their usage is not shown here. while (retry_count < MAX_DEADLOCK_RETRIES) { try { envp->txn_begin(NULL, txn, 0); dbp->put(txn, &key, &data, 0); txn->commit(0); return (EXIT_SUCCESS); } catch (DbDeadlockException &de) { try { // Abort the transaction and increment the // retry counter txn->abort(); retry_count++; // If we've retried too many times, log it and exit if (retry_count >= MAX_DEADLOCK_RETRIES) { envp->errx("Exceeded retry limit. Giving up."); return (EXIT_FAILURE); } } catch (DbException &ae) { envp->err(ae.get_errno(), "txn abort failed."); return (EXIT_FAILURE); } } catch (DbException &e) { try { // For a generic error, log it and abort. envp->err(e.get_errno(), "Error putting data."); txn->abort(); } catch (DbException &ae) { envp->err(ae.get_errno(), "txn abort failed."); return (EXIT_FAILURE); } } }
Normally when a thread of control must be selected to resolve a deadlock, DB decides which thread will perform the resolution; you have no way of knowing in advance which thread will be selected to resolve the deadlock.
However, there may be situations where you know it is better for one thread to resolve a deadlock over another thread. As an example, if you have a background thread running data management activities, and another thread responding to user requests, you might want deadlock resolution to occur in the background thread because you can better afford the throughput costs there. Under these circumstances, you can identify which thread of control will be selected for resolved deadlocks by setting a transaction priorities.
When two transactions are deadlocked, DB will abort the
transaction with the lowest priority. By default, every
transaction is given a priority of 100. However, you can
set a different priority on a transaction-by-transaction
basis by using the
DbTxn::set_priority()
method.
When two or more transactions are tied for the lowest
priority, the tie is broken based on the policy provided to
the
DbEnv::lock_detect()
method's atype
parameter.
A transaction's priority can be changed at any time after the transaction handle has been created and before the transaction has been resolved (committed or aborted). For example:
#include "db_cxx.h"
...
int main(void)
{
...
try {
...
// Database and environment open omitted for brevity.
...
DbTxn *txn = NULL;
myEnv.txn_begin(NULL, &txn, 0);
txn->set_priority(200);
try {
db->put(txn, &key, &data, 0);
txn->commit(0);
} catch (DbException &e) {
std::cerr << "Error in transaction: "
<< e.what() << std::endl;
txn->abort();
}
} catch(DbException &e) {
std::cerr << "Error opening database and environment: "
<< file_name << ", "
<< envHome << std::endl;
std::cerr << e.what() << std::endl;
}
...
}