Channels ▼


Transactional Programming


Databases approach errors in a completely different way. Instead of making error recovery explicit, databases make error recovery implicit through the use of transactions; see An Introduction to Database Systems by C.J. Date (Addison-Wesley, 1991).

In this Transact-SQL example, the transaction begins with BEGIN TRAN T1 and ends with COMMIT TRAN T1:

UPDATE table1 ...
UPDATE table2 ...
SELECT * from table1
UPDATE table3 ...

Transactions are units of work that either completely succeed, or can be rolled back completely. If an error such as a disk full, a key violation, or user error occurs during the transaction, it simply rolls back (undoes) all of the operations to the beginning of the transaction. This is safe and robust because the data is guaranteed to be left in its initial consistent state. While recovering from exceptions is difficult in C++, it is extremely easy in databases with transactions.

The Atomic Library ( I present here implements transactions in C++, based on database transactions. Here is the same example using a transaction:

atomic::vector<std::string>    list1, list2;
void f(const std::string &s)
 atomic::transaction tr;

The transaction tr defines the scope of the transaction, namely the entire function f(). list1 and list2 are of type atomic::vector, which is a special container that interacts with atomic::transaction. If f() exits without calling tr.commit(), then all of the changes in f() are undone.

The Atomic C++ Library for transactional programming provides a range of containers that can be rolled back to any point in their past by transactions.

Transactional containers are designed in such a way that deletions can be safely undone without the possibility of failure when the container is rolled back, even if it involves inserting data back into the data structure.

Related Reading

More Insights

Currently we allow the following HTML tags in comments:

Single tags

These tags can be used alone and don't need an ending tag.

<br> Defines a single line break

<hr> Defines a horizontal line

Matching tags

These require an ending tag - e.g. <i>italic text</i>

<a> Defines an anchor

<b> Defines bold text

<big> Defines big text

<blockquote> Defines a long quotation

<caption> Defines a table caption

<cite> Defines a citation

<code> Defines computer code text

<em> Defines emphasized text

<fieldset> Defines a border around elements in a form

<h1> This is heading 1

<h2> This is heading 2

<h3> This is heading 3

<h4> This is heading 4

<h5> This is heading 5

<h6> This is heading 6

<i> Defines italic text

<p> Defines a paragraph

<pre> Defines preformatted text

<q> Defines a short quotation

<samp> Defines sample computer code text

<small> Defines small text

<span> Defines a section in a document

<s> Defines strikethrough text

<strike> Defines strikethrough text

<strong> Defines strong text

<sub> Defines subscripted text

<sup> Defines superscripted text

<u> Defines underlined text

Dr. Dobb's encourages readers to engage in spirited, healthy debate, including taking us to task. However, Dr. Dobb's moderates all comments posted to our site, and reserves the right to modify or remove any content that it determines to be derogatory, offensive, inflammatory, vulgar, irrelevant/off-topic, racist or obvious marketing or spam. Dr. Dobb's further reserves the right to disable the profile of any commenter participating in said activities.

Disqus Tips To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy.