Mnesia Explained

Mnesia
Author:Joe Armstrong, Robert Virding, Dan Gudmundsson and others
Developer:Ericsson
Latest Release Version:4.15.4
Platform:Cross-platform
Programming Language:Erlang
Genre:Relational Database Management System
License:Apache License 2.0 (since OTP 18.0)

Mnesia is a distributed, soft real-time database management system written in the Erlang programming language.[1] It is distributed as part of the Open Telecom Platform.

Description

As with Erlang, Mnesia was developed by Ericsson for soft real-time distributed and high-availability computing work related to telecoms. It was not intended as a general office-based data processing database management system, nor to replace SQL-based systems. Instead Mnesia exists to support Erlang, where DBMS-like persistence is required.[2] It has more in common with embeddable DBMS such as Berkeley DB than with any SQL database server.

Database model

"Rows" in tables are represented as records that contain a key value and a data field. This data field may in turn be a tuple containing an Erlang data structure of any complexity.

Backend types

Mnesia has three inbuilt table types: ram_copies, disc_copies and disc_only_copies.

Ram_copies

Data resides in memory and table size is limited by available memory and are backed by ETS (erlang term storage) table.

Disc_copies

Data resides in memory but is also persisted on disk backed by disk_log. Disc_copies were backed by Dets tables until 30th September 2001 with the release of Erlang R7B-4.[3]

Disc_only_copies

Data resides only on disc and are backed by Dets (disk version of ETS).[4] Dets file format uses signed 32-bit integers for file offsets and has a limit of 2 GB so do disc_only_copies.

Backend plugins

Due to limits imposed by Dets, support for other backend plugins was suggested by Ulf Wiger and these were added to Mnesia. Klarna added the LevelDB backend plugin while Aeternity added the RocksDB backend plugin.

Relational features

The database model is relational, but isn't what someone familiar with SQL might expect. A database contains tables. Relationships between them are modelled as other tables.[5]

A key feature of Mnesia's high-availability approach is that tables can be reconfigured within a schema and relocated between nodes, not only while the database is still running, but even while write operations are still going on.

Coding

The query language of Mnesia is Erlang itself, rather than SQL.[6] It permits easy representation of transactions as a natural feature of Erlang by allowing developers to utilize a single language throughout an application.

Transactions

Erlang is a functional language. Mnesia builds on this to obtain ACID transaction support. The functional block which is run as a transaction is a commonplace Erlang construct called a Functional Object (or Fun)[7] and is called by the single Mnesia statement mnesia:transaction(F). This can lead to clearer source code than the paired BEGIN / COMMIT syntax of SQL, and so avoids its problem of unclosed transactions within a procedure.

Again as a result of the functional nature of Erlang, nesting transactions is simple. It's also possible to distribute transactions across multiple nodes (i.e. separate servers). The semantics of using transactions in this way remains consistent, making it easy to write library code that works equally in either context.

General coding style for Mnesia will always use transactions. For performance reasons, it also supports deliberate "dirty operations" which avoid transactions. These compromise the atomicity and the isolation properties of ACID, but offer around 10× more throughput.[8] In addition there are also in-memory alternatives, although these lose the durability property of ACID.

Efficient execution

Mnesia forms part of the LYME web application stack. This is akin to LAMP, but based on Erlang. Implementation in Erlang confers an efficiency benefit because of the use of a single virtual machine throughout an application. LYME makes use of this, since the Yaws web server is also implemented in Erlang.

Address space is shared (although safely so, under Erlang) between code and data, including Mnesia's table data.[1] [9]

Origins and licensing

Mnesia and Erlang were developed by the Ericsson Computer Science Laboratory. They have been released as open source software. Mnesia is released under a derivative of the Mozilla Public License.[10] Since OTP 18.0 they are published according to the open source Apache License 2.0. Versions before OTP 18.0 were published under the open source Erlang Public License.[11]

ejabberd

Mnesia is also an option embedded within the Erlang-based Jabber daemon, ejabberd.[12]

See also

Notes and References

  1. Web site: Mnesia - A Distributed Robust DBMS for Telecommunications Applications . 1999 . Håkan Mattsson . Hans Nilsson . Claes Wikstrom . 2008-09-25 . 2021-09-22 . https://web.archive.org/web/20210922071815/http://erlang.se/publications/mnesia_overview.pdf . dead.
  2. Web site: Purpose of Mnesia . Open-source Erlang project.
  3. Web site: Erlang -- Mnesia Database Questions. 2021-11-05. www.erlang.org.
  4. Web site: Erlang -- Mnesia Reference Manual. 2021-11-05. www.erlang.org.
  5. Web site: Mnesia Getting Started guide . Open-source Erlang project.
  6. Web site: Mnesia Reference Manual (v 4.4.5) . Open-source Erlang project.
  7. Web site: 6.17 Fun Expressions . Open-source Erlang project.
  8. Erlang's Mnesia - a distributed DBMS for highly scalable apps . Gavin Terrill . 20 August 2007 . InfoQ.
  9. Web site: Mnesia performance basics . 2008-09-25 . https://archive.today/20121202021715/http://blog.ciarang.com/posts/mnesia-performance-basics/ . 2012-12-02 . dead.
  10. Web site: About Erlang . Open-source Erlang project.
  11. Web site: Erlang Public License, V 1.1 . Open-source Erlang project.
  12. Web site: ejabberd project homepage .