here - Stefan-Marr.de

6.2. Case Studies
concepts has practical relevance. Consequently, the concepts supported by the
OMOP are relevant.
Absence of wide Support in Today’s VMs In order to evaluate the novelty
of the OMOP, i. e., to assess whether these concepts are not yet widely
supported in VMs, Sec. 6.5.1 relies on the VM survey in Sec. 3.1. For each concept,
this analysis assesses whether the concept is supported. Furthermore,
the analysis considers the whole set of concepts and its support by a single
VM to validate the initial premise that today’s VMs support is insufficient. By
showing based on the VM survey that this is the case, it supports the claim
that the OMOP can add relevant support to today’s VMs.
Significance In order to evaluate the significance of the support the OMOP
provides, Sec. 6.5.1 argues that the OMOP facilitates the implementation of
all concepts that were identified as benefiting from VM support for semantic
enforcement. Since the OMOP covers all concepts, there is an indication that
the supported set is sufficiently large to warrant interest.
Unifying Substrate Finally, Sec. 6.5.1 discusses the unifying properties of
the OMOP. The goal is to argue that the OMOP makes an abstraction of concrete
programming concepts. The section shows this by relating the concepts
to the mechanisms the OMOP exposes and by demonstrating that it is not a
one-to-one relationship between mechanisms and concepts. Furthermore, it
argues that the OMOP provides a minimal set of elements to fulfill the requirements.
It demonstrates that the proposed design in its current form is
minimal by arguing that none of the parts can be removed without reducing
the number of concurrent programming concepts that can benefit from it, and
that removing any part would also result in unsatisfied requirements.
6.2. Case Studies
This section discusses the case studies covering Clojure agents, software transactional
memory, and event-loop actors.
In order to show that the OMOP simplifies the implementation of these
concurrent programming concepts, it demonstrates how the OMOP is used
to solve common implementation challenges. Tab. 6.1 recapitulates these challenges,
which Sec. 3.3 discussed in more depth.
141