here - Stefan-Marr.de

6. Evaluation: The OMOP as a Unifying Substrate
1 STMDomain = Domain ( | processes |
2 readField : idx of: obj = unenforced (
3 ^ obj workingCopy instVarAt : idx )
4
5 write : val toField : idx of: obj = unenforced (
6 ^ obj workingCopy instVarAt : idx put : val )
7
8 primat : idx on: obj = unenforced (
9 ^ obj workingCopy at: idx )
10
11 primat : idx put : val on: obj = unenforced (
12 ^ obj workingCopy at: idx put : val )
13
14 priminstVarAt : idx on: obj = unenforced (
15 ^ obj workingCopy instVarAt : idx )
16
17 priminstVarAt : idx put : val on: obj = unenforced (
18 ^ obj workingCopy instVarAt : idx put : val )
19
20 primNext : stream put : val = unenforced (
21 ^ self evaluateEnforced : [ stream noprimNextPut : val ] )
22
23 " ... and all other primitives that access state ... "
24
25 requestThreadResume : process = unenforced (
26 processes add : process .
27 ^ process resume )
28
29 initialize = ( processes := WeakIdentitySet new )
30
31 stopTheWorldExcept : proc = (
32 ( processes copyWithout : proc ) do: [: each | proc suspend ] )
33
34 resumeTheWorldExcept : proc = (
35 ( processes copyWithout : proc ) do: [: each | proc resume ] ) )
Listing 6.5: Definition of a Domain for an STM
152