By entity locking, we typically want to prevent following scenario with 2 parallel transactions:
- Adam’s transaction reads data X
- Barbara’s transaction reads data X
- Adam’s transaction modifies data X, and changes it to XA
- Adam’s transaction writes data XA
- Barbara’s transaction modifies data X and changes it to XB
- Barbara’s transaction writes data XB
How Optimistic Locking works
Optimistic locking is based on assumption that conflicts are very rare, and if they happen, throwing an error is acceptable and more convenient than preventing them. One of the transactions is allowed to finish correctly, but any other is rolled back with an exception and must be re-executed or discarded.With optimistic locking, here is possible scenario for Adam and Barbara:
- Adam's transaction reads data X
- Barbara's transaction reads data X
- Adam's transaction modifies data X, and changes it to XA
- Adam's transaction writes data XA
- Barbara's transaction modifies data X and changes it to XB
- Barbara's transaction tries to write data XB, but receives and error
- Barbara needs to read data XA (or start a completely new transaction)
- Barbara's transaction modifies data XA and changes it to XAB
- Barbara's transaction writes data XAB
Optimistic locking is fully controlled by JPA. It requires additional version column in DB tables. It is completely independent of underlying DB engine used to store relational data.
How pessimistic locking works
For some, pessimistic locking is considered very natural. When transaction needs to modify an entity, which could be modified in parallel by another transaction, transaction issues a command to lock the entity. All locks are retained until the end of transaction and they are automatically released afterwards.With pessimistic locks, the scenario could be like this:
- Adam’s transaction reads data X
- Adam’s transaction locks X
- Barbara’s transaction wants to read data X, but waits as X is already locked
- Adam’s transaction modifies data X, and changes it to XA
- Adam’s transaction writes data XA
- Barbara’s transaction reads data XA
- Barbara’s transaction modifies data XA and changes it to XAB
- Barbara’s transaction writes data XAB
Pessimistic locking uses locking mechanism provided by underlying database to lock existing records in tables. JPA needs to know how to trigger these locks and some databases do not support completely.
Even JPA specification says, that it is not required to provide PESSIMISTIC_READ (as many DBs support only WRITE locks):
It is permissible for an implementation to useLockModeType.PESSIMISTIC_WRITE
whereLockModeType.PESSIMISTIC_READ
was requested, but not vice versa.
List of available lock types in JPA
First of all, I would like to say that if@Version
column is provided within entity, optimistic locking is turned on by default by JPA for such entities. You do not need to issue any lock command. However, at any time, you may issue a lock with one of following lock types:LockModeType.Optimistic
- This is really the default. It is usually ignored as stated by ObjectDB. In my opinion it only exists so that you may compute lock mode dynamically and pass it further even if the lock would be OPTIMISTIC in the end. Not very probable usecase though, but it is always good API design to provide an option to reference even the default value.
- Example:
LockModeType lockMode = resolveLockMode();
A a = em.find(A.class, 1, lockMode);LockModeType.OPTIMISTIC_FORCE_INCREMENT
- This is a rarely used option. But it could be reasonable, if you want to lock referencing this entity by another entity. In other words you want to lock working with an entity even if it is not modified, but other entities may be modified in relation to this entity.
- Example:
- We have entity Book and Shelf. It is possible to add Book to Shelf, but book does not have any reference to its shelf. It is reasonable to lock the action of moving a book to a shelf, so that a book does not end up in 2 shelves. To lock this action, it is not sufficient to lock current book shelf entity, as the book does not have to be on a shelf yet. It also does not make sense to lock all target bookshelves, as they would be probably different in different transactions. The only thing that makes sense is to lock the book entity itself, even if in our case it does not get changed (it does not hold reference to its bookshelf).
LockModeType.PESSIMISTIC_READ
- this mode is similar to
LockModeType.PESSIMISTIC_WRITE
, but different in one thing: until write lock is in place on the same entity by some transaction, it should not block reading the entity. It also allows other transactions to lock usingLockModeType.PESSIMISTIC_READ
. The differences between WRITE and READ locks are well explained here (ObjectDB) and here (OpenJPA). However, very often, this behaves asLockModeType.PESSIMISTIC_WRITE
, as the specification allows it and many providers do not implement it separately.
- this mode is similar to
LockModeType.PESSIMISTIC_WRITE
- this is a stronger version of
LockModeType.PESSIMISTIC_READ
. WhenWRITE
lock is in place, JPA with the help of the database will prevent any other transaction to read the entity, not only to write as withREAD
lock.
- this is a stronger version of
LockModeType.PESSIMISTIC_FORCE_INCREMENT
- this is another rarely used lock mode. However, it is an option where you need to combine
PESSIMISTIC
andOPTIMISTIC
mechanisms. Using plainPESSIMISTIC_WRITE
would fail in following scenario:- transaction A uses optimistic locking and reads entity E
- transaction B acquires WRITE lock on entity E
- transaction B commits and releases lock of E
- transaction A updates E and commits
- in step 4, if version column is not incremented by transaction B, nothing prevents A from overwriting changes of B. Lock mode
LockModeType.PESSIMISTIC_FORCE_INCREMENT
will force transaction B to update version number and causing transaction A to fail withOptimisticLockException
, even though B was using pessimistic locking.
- this is another rarely used lock mode. However, it is an option where you need to combine
- some
EntityManager
methods accept an optional argument to specify lock type, such as:- find(Class entityClass, Object primaryKey, LockModeType lockMode)
- lock(Object entity, LockModeType lockMode)
- and other methods that retrieve data from DB, such as
merge()
orrefresh()
- Query also provides setLockMode(LockModeType lockMode) method to lock all entities that will be retrieved by the query
PESSIMISTIC_FORCE_INCREMENT
.To learn more, read this excelent blog of Vlad Mihalcea.