Jacek Galowicz

C++ has come a long way and is in use in every area of the industry. Fast, efficient, and flexible, it is used to solve many problems. The upcoming version of C++ will see programmers change the way they code. If you want to grasp the practical usefulness of the C++17 STL in order to write smarter, fully portable code, then this book is for you.

Beginning with new language features, this book will help you understand the language's mechanics and library features, and offers insight into… Show more

C++ has come a long way and is in use in every area of the industry. Fast, efficient, and flexible, it is used to solve many problems. The upcoming version of C++ will see programmers change the way they code. If you want to grasp the practical usefulness of the C++17 STL in order to write smarter, fully portable code, then this book is for you.

Beginning with new language features, this book will help you understand the language's mechanics and library features, and offers insight into how they work. Unlike other books, ours takes an implementation-specific, problem-solution approach that will help you quickly overcome hurdles. You will learn the core STL concepts, such as containers, algorithms, utility classes, lambda expressions, iterators, and more, while working on practical real-world recipes. These recipes will help you get the most from the STL and show you how to program in a better way.

By the end of the book, you will be up to date with the latest C++17 features and save time and effort while solving tasks elegantly using the STL.

Learn about the new core language features and the problems they were intended to solve
Understand the inner workings and requirements of iterators by implementing them
Explore algorithms, functional programming style, and lambda expressions
Leverage the rich, portable, fast, and well-tested set of well-designed algorithms provided in the STL
Work with strings the STL way instead of handcrafting C-style code
Understand standard support classes for concurrency and synchronization, and how to put them to work
Use the filesystem library addition available with the C++17 STL Show less

Virtualization engines play a critical role in many modern software products. In an effort to gain definitive confidence on critical components, our company has invested on the formal verification of the NOVA micro hypervisor, following recent advances in similar academic and industrial operating-system verification projects. There are inherent difficulties in applying formal methods to low-level implementations, and even more under specific constraints arising in commercial software… Show more

Virtualization engines play a critical role in many modern software products. In an effort to gain definitive confidence on critical components, our company has invested on the formal verification of the NOVA micro hypervisor, following recent advances in similar academic and industrial operating-system verification projects. There are inherent difficulties in applying formal methods to low-level implementations, and even more under specific constraints arising in commercial software development. In order to deal with these, the chosen approach consists in the splitting of the verification effort by combining the definition of an abstract model of NOVA, the verification of fundamental security properties over this model, and testing the conformance of the model w.r.t. the NOVA implementation. This article reports on our experiences in applying formal methods to verify a hypervisor for commercial purposes. It describes the verification approach, and the security properties under consideration, and reports the results obtained. Show less

The focus of this paper is the efficient implementation of our compact operating system kernel as a bare-metal
hypervisor for the SCC. We describe source, functionality, and
the operation of our kernel, as well as the interaction with the
already published communication layer. Furthermore we give a
detailed insight into the boot procedure of the SCC from reset
to the starting point of our light-weight operating system kernel.
This procedure is performed by a bare-metal… Show more

The focus of this paper is the efficient implementation of our compact operating system kernel as a bare-metal
hypervisor for the SCC. We describe source, functionality, and
the operation of our kernel, as well as the interaction with the
already published communication layer. Furthermore we give a
detailed insight into the boot procedure of the SCC from reset
to the starting point of our light-weight operating system kernel.
This procedure is performed by a bare-metal framework, which
is part of the MetalSVM project. Programmers can use our
framework as a springboard for bare-metal programming on
the SCC, which goes along with the first release of MetalSVM.
Finally, we evaluate the performance of a paravirtualized Linux
guest on the SCC hardware and present results of context switch
latencies for Linux and MetalSVM hosts. Show less