here - Stefan-Marr.de

6. Evaluation: The OMOP as a Unifying Substrate
be adapted. The actor case study covers the remaining challenges of isolation,
scheduling policies, and ownership. For each of these, this section either provides
an example implementation or discusses strategies on how the OMOP
can be used to solve the issues.
Furthermore, the case studies demonstrate how the intercession handlers
of the OMOP satisfies the requirements for managed state and managed
execution. The evaluation shows how the OMOP’s support for ownership
and object adoption can be used to define policies and therefore satisfy the
ownership requirement. Finally, it demonstrates how unenforced methods
and the #evaluateEnforced: of the OMOP can be used to control precisely
when its semantics are enforced. Thus, the OMOP also satisfies the last of the
requirements, i. e., it provides controlled enforcement.
6.3. Supported Concepts
The goal of this section is to evaluate to which degree the various concepts
for concurrent programming are supported. This evaluation focuses on the
concepts for which Sec. 3.2 states that they benefit from VM support for their
semantics. Thus, this section concentrates on the set of concepts that are the
focus of this dissertation.
For each of the concepts, the evaluation distinguishes whether all major
aspects of a concept are covered or whether only some aspects are supported
by the OMOP. This differentiation allows the evaluation to assess the extent
to which the concepts benefit. The benefits are the result of the OMOP’s facilities
that enable language implementers to address common implementation
challenges. Therefore, the benefits the OMOP provides are substantial even if
not always all of the concept’s aspects are supported.
The survey in Sec. 3.2 identified 18 concepts that could benefit from VM
support to enforce semantics (Sem). Tab. 6.3 shows these concepts (cf. Tab. 3.4)
with the assessment of the degree to which the OMOP facilitates the implementation
of a concept. An X indicates that the major semantics of a concept
can be directly expressed using the OMOP, while a + indicates that it is only
partially supported. The remainder of this section discusses the results in
more detail.
6.3.1. Supported Concepts
The first nine concepts listed in Tab. 6.3 as supported are the concepts Sec. 3.4
identified as benefiting most from extended VM support. Previously, Sec. 6.2
158