An optimistic, latch-free index traversal ("OLFIT") concurrency control
scheme is disclosed for an index structure for managing a database
system. In each node of an index tree, the OLFIT scheme maintains a
latch, a version number, and a link to the next node at the same level of
the index tree. Index traversal involves consistent node read operations
starting from the root. To ensure the consistency of node read operations
without latching, every node update operation first obtains a latch and
increments the version number after update of the node contents. Every
node read operation begins with reading the version number into a
register and ends with verifying if the current version number is
consistent with the register-stored version number. If they are the same,
the read operation is consistent. Otherwise, the node read is retried
until the verification succeeds. The concurrency control scheme of the
present invention is applicable to many index structures such as the
B+-tree and the CSB+-tree.