here - Stefan-Marr.de

6.5. Discussion
Based on these observations, the OMOP and its support for concurrent
programming concepts can be considered novel.
Significance The support provided by the OMOP is significant, because it
facilitates the implementation of all 18 concepts that require VM support to
enforce their semantics. These 18 concepts are the full set of concepts identified
by the survey in Sec. 3.2, which is designed to cover the whole field of
concurrent and parallel programming concepts. 9 of these concepts are fully
supported, while the OMOP address common implementation challenges for
a key aspect of the other 9 concepts.
This means that if a VM such as the JVM or the CLI were to add support
for the OMOP, languages built on top of these VMs could use any of the
97 identified concurrent and parallel programming concepts (cf. Sec. 3.2.2)
without compromises on the enforcement of semantics. In addition to the
concepts that are already supported by JVM and CLI, and in addition to the
concepts that can be implemented as libraries without drawbacks, the OMOP
completes VM support for concurrent programming.
Therefore, the set of concepts supported by the OMOP is significant.
Unifying Substrate Finally, this section discusses the unifying properties
of the OMOP. The goal is to argue that the OMOP makes an abstraction of
concrete programming concepts and that the set of provided mechanisms is
minimal.
The claim that the OMOP makes an abstraction of concrete concepts is
supported by the fact that the 18 supported concepts are not realized with a
one-to-one relationship between the OMOP’s mechanisms and the concepts.
Tab. 6.3 lists the supported concepts: active objects, actors, asynchronous invocation,
Axum-domains, isolation, no-intercession, side-effect free, transactions,
and vats. The concepts supported by the OMOP are ownership, enforcement
status, reading and writing of object fields and globals, method execution,
thread resumption, and handling of primitives (cf. Sec. 5.2). Therefore,
the OMOP’s concepts need to be combined to build the higher-level concepts.
Furthermore, to build different concepts multiple parts of the OMOP have to
be combined. The OMOP does not possess the notion of actors or isolation
and therefore, it makes an abstraction of these concepts.
The OMOP provides a minimal set of elements to satisfy the requirements
of Sec. 3.4. The proposed design in its form is minimal because none of the
parts can be removed without reducing the number of concurrent program-
173