Provided by: elektra-doc_0.8.14-5.1ubuntu2_all 
NAME
md_doc_help_elektra-error-handlingelektra-error-handling(7) -- error handling in Elektra
- You might want to read about data structures first.
It is sometimes unavoidable that errors occur that ultimately have an impact for the user. Examples for
such an error are that hard disc space is exhausted. For a library it is necessary to pass information
about the facts and circumstances to the user because the user wants to be informed why a requested
action failed. So Elektra gathers all information in these situations. We call this resulting information
error information and warning information depending on the severity.
If the occurred error is critical and ultimately causes a situation that the post conditions cannot be
fulfilled we say that Elektra comes into a faulty state. Such a faulty state will change the control flow
inside Elektra completely. Elektra is unable to resolve the problem without assistance. After cleaning up
resources, a faulty state leads to immediate return from the function with an error code. As a user
expects from a library, Elektra never calls exit() or something similar, regardless of how fatal the
error is. In this situation error information should be set.
On the other hand, for many problems the work can go on with reasonable defaults. Nevertheless, the user
will be warned that a problem occurred using the warning information. These situations do not influence
the control flow. But applications can choose to react differently in the presence of warning
information. They may not be interested in any warning information at all. It is no problem if warning
information is ignored because they are stored and remain accessible in a circular buffer. The
implementation prevents an overflow of the buffer. Instead the oldest warnings are overwritten.
When error or warning information is presented to the user, it is called error message or warning
message. The user may reply to this message in which way to continue.
Error vs. Warning Information
When an error in an faulty state occurs, the error information must still hold the original error
information. So even in problems that would cause a faulty state, otherwise, the error information must
be omitted or transformed to a warning information. In some places only the adding of warning information
is possible:
• The main purpose of kdbClose() is to free the handle. This operation is always successful and is
carried out even if some of the resources cannot be freed. Therefore, in kdbClose(), setting error
information is prohibited. Warning information is, however, very useful to tell the user the
circumstance that some actions during cleanup failed.
• Also in kdbOpen(), only adding warning information is allowed. If kdbOpen() is not able to open a
plugin, the affected backend will be dropped out. The user is certainly interested why that happened.
But it was decided not to make it an faulty state, because the application might not even access the
faulty part of the key hierarchy. An exception to this rule is if kdbOpen() fails to open the default
backend. This situation will induce an faulty state.
• In kdbSet(), the cleaning up of resources involves calling plugins. But during this process Elektra is
in a faulty state, so only adding of warning information is allowed. This ensures that the original
error information is passed unchanged to the user.
On the other hand, any access to the key database can produce warning information. Plugins are allowed to
yield warning information at any place and for any reason. For example, the storage plugin reading a
configuration file with an old syntax, is free to report the circumstance as warning information. Warning
information is also useful when more than one fact needs to be reported.
Error Information
Reporting Errors
Reporting errors is a critical task. Users expect different aspects:
• The {user of the application} does not want to see any error message at all. If it is inevitable, he or
she wants little, but very concrete information, about what he or she needs to do. The message should
be short and concise. Some error information may already be captured by the application, but others
like ''no more free disk space'' have to be displayed. Conflicts should also be presented to the user.
It is a good idea to ask how to proceed if a diversity of possible reactions exists. In case of
conflicts, the user may have additional knowledge about the other program which has caused the problem.
The user is more likely to decide correctly by which strategy the configuration shall be restored.
• The {user of the library} wants more detailed information. Categories of how severe the error is can
help to decide how to proceed. Even more important is the information if it makes sense to try the same
action again. If, for example, an unreliable network connection or file system is used, the same action
can work in a second try.
• A {developer of the library}{Library refers to both Elektra's core and plugins.} wants full information
about anything needed to be able to reproduce and locate potential bugs. Ideally the error information
should even mention the file and line where the error occurred. This can help developers to decide if
there is a bug inside Elektra or if the problem lies somewhere else.
• Vast information is needed to support correct error handling in [programming language]{other
programming languages}. In languages supporting exceptions, class name, inheritance or interface
information may be necessary. Language specific extensions are, however, not limited to exceptions.
Other ways of handling errors are continuations or longjmp in C. A plugin is free to add, for example,
jmp_buf information to the error information.
It is certainly not a good idea to put all this previously mentioned information into a single string.
Elektra chooses another way described in the next chapter.
Metadata
As stated above, a library always informs the user about what has happened, but does not print or log
anything itself. One way to return an error information is to add a parameter containing the error
information. In the case of Elektra, all KDB methods have a key as parameter. This key is additionally
passed to every plugin. The idea is to add the error and warning information as metadata to this key.
This approach does not limit flexibility, because a key can hold a potentially unlimited number of
metakeys.
The error information is categorised in metadata as follows:
• [error] indicates that an faulty state is present. The value of the metakey contains the name of all
the subkeys that are used for error indication. Metakeys do not guarantee any particular order on
iteration. Instead the user can find out the information by looking at this metavalue.
Additional metakeys yield all the details.
• [error/number] yields a unique number for every error.
• [error/description] is a description for the error to be displayed to the user. For example, the
metavalue can hold the text ''could not write to file''.
• [error/reason] specifies the reason of the error. The human readable message is in the metavalue of
error/reason. It states why the error occurred. One example for it is ''no disc space available''.
• [error/ingroup] contains ''kdb'' if the error occurred inside the core. It contains ''module'' if the
error happened while loading a module. The metavalue is ''plugin'' if the error information comes from
a plugin.
• [error/module] indicates the name of the specific module or plugin.
• [error/file] yields the source file from where the error information comes.
• [error/line] represents the exact line of that source file.
As we see, the system is powerful because any other text or information can be added in a flexible manner
by using additional metakeys.
Error Specification
The error specification in Elektra is written in simple colon-separated text files. Each entry has a
unique identifier and all the information we already discussed above. No part of Elektra ever reads this
file directly. Instead it is used to generate source code which contains everything needed to add a
particular error or warning information. With that file we achieved a central place for error-related
information. All other locations are automatically generated instead of having error-prone duplicated
code. This principle is called ''Don't repeat yourself''.
In Elektra's core and plugins, C macros are responsible for setting the error information and adding
warning information. In C only a macro is able to add the file name and line number of the source code.
In language bindings other code may be generated.
Sources of Errors
Key and KeySet functions cannot expose more error information than the error code they return. But, of
course, errors are also possible in these functions. Typically, errors concern invalid key names or null
pointers. These problems are mostly programming errors with only local effects.
The most interesting error situations, however, all occur in KDB. The error system described here is
dedicated to the four main KDB functions: kdbOpen(), kdbGet(), kdbSet() and kdbClose(). The place where
the configuration is checked and made persistent is the source of most error information. At this
specific place a large variety of errors can happen ranging from opening, locking up and saving the file.
Sometimes in plugins, nearly every line needs to deal with an error situation.
Exceptions
Exceptions are a mechanism of the language and not just an implementation detail. Exceptions are not
intended to force the user to do something, but to enrich the possibilities. In this section, we discuss
two issues related to exceptions. On the one hand, we will see how Elektra supports programming languages
that provide exceptions. On the other hand, we will see how the research in exceptions helps Elektra to
provide more robustness.
Language Bindings
C does not know anything about exceptions. But Elektra was designed so that both plugins and applications
can be written in languages that provide exceptions. One design goal of Elektra's error system is to
transport exception-related information in a language neutral way from the plugins to the applications.
To do so, a language binding of the plugin needs to catch every exception and transform it into error
information and return an error code.
Elektra recognises the error code, stops the processing of plugins, switches to a faulty state and gives
all the plugins a chance to do the necessary cleanups. The error information is passed to the application
as usual. If the application is written in C or does not want to deal with exceptions for another reason,
we are finished because the application gets the error information inside metadata as expected. But, if
the application is written in another language, the binding translates the error code to an exception and
throws it. It is worth noting that the source and target language do not need to be the same.
Such a system needs a central specification of error information. We already introduced such a
specification file in error specification. The exception classes and converters can be generated from it.
An exception converter is either a long sequence of try-catch statements that transforms every known
exception into an appropriate metakeys. Each exception thrown by the plugin has to be caught.
Alternatively, a converter can be a long switch statement for every error number. In every case the
appropriate exception is thrown.
The motivation for using exceptions is that in C every return value has to be checked. On the other hand,
the C++ exception mechanism allows the programmer to throw an exception in any place and catch it where
it is needed. So in C++ the code is not cluttered with parts responsible for error handling. Instead, in
a single place all exceptions of a plugin can be transformed to Elektra's error or warning information.
The code for this place can be generated automatically using an exception converter.
Applications not written in C can also benefit from an exception converter. Instead of using the metadata
mechanism, the error information can be converted to the exception mechanism already used for that
application. We see that Elektra is minimally invasive in this regard.
Exception Safety
We can learn from the way languages define the semantics for exception safety. Exception safety is a
concept which ensures that all resources are freed regardless of the chosen return path. Basic guarantees
make sure that some invariants remain on an object even in exceptional cases. On the other hand, strong
guarantees assure that the investigated operation is successful or has no effect at all. Methods are said
to be exception safe if the object remains in a valid state. The idea of exception safety is to ensure
that no resource leaking is possible. kdbSet() written in C++ would look like:
try {
plugin[1].set(); // may throw plugin[2].set(); // may
throw plugin[3].set(); // may throw ...
plugin[PLUGIN_COMMIT].set(); // now all changes are
committed
} catch (...) {
// error situation, roll back the changes
plugin[1].error(); // does not throw plugin[2].error();
// does not throw plugin[3].error(); // does not throw ...
// now all changes are rolled back return -1;
} // now do all actions on success after commit
plugin[POSTCOMMIT].set(); // does not throw ... return 1; //
commit successful
This pseudo code is much clearer than the corresponding C code. Let us explain the guarantee Elektra
provides using this example. One by one plugin gets its chance to process the configuration. If any
plugin fails, the semantics resemble that of a thrown exception. All other plugins will not be executed.
Instead, the plugins get a chance to recover from the faulty state. In this catch part, the plugins are
not allowed to yield any error information, but they are allowed to add warnings.
Continue reading with the algorithm.
Version 0.8.14 Mon Jul 24 2017 md_doc_help_elektra-error-handling(3elektra)