On the Need for Extended Transactional Models@Run.Time - - PowerPoint PPT Presentation

▶
on the need for extended transactional models run time
SMART_READER_LITE
LIVE PREVIEW

On the Need for Extended Transactional Models@Run.Time - - PowerPoint PPT Presentation

Sep 21, 2023 261 likes •1.15k views

On the Need for Extended Transactional Models@Run.Time Presented at MRT 2015, Ottawa, Canada Mahdi Derakhshanmanesh 1 , Marvin Grieger 2 and Jrgen Ebert 1 {manesh,

slide-1
SLIDE 1

On ¡the ¡Need ¡for ¡Extended
 Transactional ¡Models@Run.Time

Presented ¡at ¡MRT ¡2015, ¡Ottawa, ¡Canada
 


Mahdi ¡Derakhshanmanesh1, ¡Marvin ¡Grieger2 ¡and ¡Jürgen ¡Ebert1
 {manesh, ¡ebert}@uni-­‑koblenz.de1
 marvin.grieger@uni-­‑paderborn.de2

slide-2
SLIDE 2

Agenda

Introduction Example ¡Issues Desired ¡Features Conclusions ¡and ¡Future ¡Work

Monday, ¡September ¡28th, ¡2015 2

slide-3
SLIDE 3

INTRODUCTION

Presentation ¡of ¡the ¡motivation ¡behind ¡this ¡research.

Monday, ¡September ¡28th, ¡2015 3

slide-4
SLIDE 4

Background: ¡MRT ¡& ¡SAS

Models ¡can ¡be ¡also ¡used ¡at ¡runtime ¡(MRT) ¡to ¡realize ¡ adaptive ¡software.

Monday, ¡September ¡28th, ¡2015 4

[Derakhshanmanesh2015MSC] [Amoui2012ADA]

(1) ¡GRAF ¡Project (2) ¡MoSAiC ¡Project

DAC-­‑PL ISA OpenJSIP JAKE2

slide-5
SLIDE 5

Background: ¡MRT ¡& ¡SAS

Models ¡can ¡be ¡also ¡used ¡at ¡runtime ¡(MRT) ¡to ¡realize ¡ adaptive ¡software.

Monday, ¡September ¡28th, ¡2015 4

[Derakhshanmanesh2015MSC] [Amoui2012ADA]

(1) ¡GRAF ¡Project (2) ¡MoSAiC ¡Project

DAC-­‑PL ISA OpenJSIP JAKE2

slide-6
SLIDE 6

OpenJSIP

Monday, ¡September ¡28th, ¡2015 5

Call Caller Callee OpenJSIP ¡ Server Call

slide-7
SLIDE 7

OpenJSIP

Monday, ¡September ¡28th, ¡2015 5

Call Caller Callee OpenJSIP ¡ Server Call

slide-8
SLIDE 8

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 6

slide-9
SLIDE 9

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

slide-10
SLIDE 10

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Adaptable ¡ OpenJSIP

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

slide-11
SLIDE 11

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Adaptable ¡ OpenJSIP Load ¡ Information

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

slide-12
SLIDE 12

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Adaptable ¡ OpenJSIP Load ¡ Information Accept ¡Call ¡ Behaviour Reject ¡Call ¡ Behaviour

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

slide-13
SLIDE 13

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Adaptable ¡ OpenJSIP Load ¡ Information Accept ¡Call ¡ Behaviour Reject ¡Call ¡ Behaviour

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

Accept ¡Call ¡ Adaptation ¡Rule Reject ¡Call ¡ Adaptation ¡Rule

slide-14
SLIDE 14

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Adaptable ¡ OpenJSIP Load ¡ Information Accept ¡Call ¡ Behaviour Reject ¡Call ¡ Behaviour

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

Accept ¡Call ¡ Adaptation ¡Rule Reject ¡Call ¡ Adaptation ¡Rule Rule ¡Engine

slide-15
SLIDE 15

Adaptive ¡OpenJSIP

Monday, ¡September ¡28th, ¡2015 7

Adaptable ¡ OpenJSIP Load ¡ Information Accept ¡Call ¡ Behaviour Reject ¡Call ¡ Behaviour

Models ¡at ¡ Runtime Adaptable ¡ Software Adaptation ¡ Manager

Accept ¡Call ¡ Adaptation ¡Rule Reject ¡Call ¡ Adaptation ¡Rule Rule ¡Engine

Various ¡issues ¡can ¡arise ¡as ¡ the ¡model ¡is
 accessed ¡concurrently!

slide-16
SLIDE 16

Motivation: ¡Extended ¡Transactions

Execution ¡frameworks ¡(middleware) ¡must ¡ensure ¡properties ¡ that ¡guarantee ¡a ¡flawless ¡execution. ¡ A ¡transaction ¡approach ¡assumes ¡that ¡closed ¡execution ¡ sequences ¡can ¡be ¡identified ¡(BOT, ¡…, ¡EOT) ¡such ¡that ¡required ¡ properties ¡can ¡be ¡guaranteed. ¡ ▪ Database ¡transactions ¡(ACID ¡properties) ¡ Further ¡MRT-­‑issues ¡stem ¡from ¡the ¡MAPE-­‑loop, ¡so ¡we ¡talk ¡ about ¡extended ¡transactions ¡or ¡transactions ¡i.t.b.s.

Monday, ¡September ¡28th, ¡2015 8

slide-17
SLIDE 17

Research ¡Problems ¡and ¡Contributions

A ¡standardized ¡solution ¡for ¡handling ¡models ¡at ¡runtime ¡is ¡ needed ¡that ¡guides ¡application ¡development. ¡ (1) What ¡are ¡transaction-­‑related ¡issues ¡to ¡be ¡aware ¡of ¡when ¡ using ¡models ¡at ¡runtime ¡(e.g., ¡to ¡build ¡SAS)? ¡ (2) What ¡are ¡the ¡specific ¡needs ¡for ¡a ¡transaction ¡concept ¡for ¡ models ¡at ¡runtime ¡in ¡the ¡broader ¡sense? ¡ 
 We ¡(i) ¡describe ¡concrete ¡examples ¡for ¡common ¡transaction-­‑ related ¡issues ¡with ¡models ¡at ¡runtime ¡from ¡the ¡context ¡of ¡GRAF ¡ and ¡(ii) ¡elicit ¡desired ¡features ¡of ¡a ¡transaction ¡concept ¡specific ¡ to ¡models@run.time.

Monday, ¡September ¡28th, ¡2015 9

slide-18
SLIDE 18

EXAMPLE ¡ISSUES

(Q1) ¡What ¡are ¡transaction-­‑related ¡issues ¡to ¡be ¡aware ¡of ¡when ¡using ¡ models ¡at ¡runtime ¡(e.g., ¡to ¡build ¡SAS)?

Monday, ¡September ¡28th, ¡2015 10

slide-19
SLIDE 19

Issues ¡-­‑ ¡Overview

Monday, ¡September ¡28th, ¡2015 11

Lost ¡Model ¡ Update Dirty ¡Model ¡ Read Unrepeatable ¡ Model ¡Read Conflicting ¡ Model ¡Update Unrepeatable ¡ Adaptation Overeager ¡ Adaptation Outdated ¡ Adaptation Missed ¡ Adaptation MRT-­‑Specific ¡ Issues Adaptation-­‑ Specific ¡Issues

slide-20
SLIDE 20

Issues ¡-­‑ ¡Overview

Monday, ¡September ¡28th, ¡2015 11

Lost ¡Model ¡ Update Dirty ¡Model ¡ Read Unrepeatable ¡ Model ¡Read Conflicting ¡ Model ¡Update Unrepeatable ¡ Adaptation Overeager ¡ Adaptation Outdated ¡ Adaptation Missed ¡ Adaptation MRT-­‑Specific ¡ Issues Adaptation-­‑ Specific ¡Issues

slide-21
SLIDE 21

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation.

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

slide-22
SLIDE 22

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1

slide-23
SLIDE 23

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1

slide-24
SLIDE 24

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2

slide-25
SLIDE 25

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2

slide-26
SLIDE 26

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2 3

slide-27
SLIDE 27

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2 3

slide-28
SLIDE 28

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2 3 4

slide-29
SLIDE 29

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2 3 4

slide-30
SLIDE 30

Problem: ¡The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example:

Unrepeatable ¡Adaptation

Monday, ¡September ¡28th, ¡2015 12

1 2 3 4 Solution ¡Idea ¡ Atomic ¡rule ¡execution

slide-31
SLIDE 31

Overeager ¡Adaptation

Monday, ¡September ¡28th, ¡2015 13

Problem: ¡The ¡adaptation ¡might ¡rarely ¡or ¡never ¡occur. Example: 1 2 3 4.a

slide-32
SLIDE 32

Overeager ¡Adaptation

Monday, ¡September ¡28th, ¡2015 13

Problem: ¡The ¡adaptation ¡might ¡rarely ¡or ¡never ¡occur. Example: 1 2 3 4.a

slide-33
SLIDE 33

Overeager ¡Adaptation

Monday, ¡September ¡28th, ¡2015 13

Problem: ¡The ¡adaptation ¡might ¡rarely ¡or ¡never ¡occur. Example: 1 2 3 4.a Solution ¡Idea ¡ Define ¡tolerable ¡derivations ¡ in ¡sensed ¡changes

slide-34
SLIDE 34

Outdated ¡Adaptation

Monday, ¡September ¡28th, ¡2015 14

Problem: ¡The ¡adaptation ¡is ¡performed ¡based ¡on ¡outdated ¡information. Example: 1 2 3 4.b

slide-35
SLIDE 35

Outdated ¡Adaptation

Monday, ¡September ¡28th, ¡2015 14

Problem: ¡The ¡adaptation ¡is ¡performed ¡based ¡on ¡outdated ¡information. Example: 1 2 3 4.b

slide-36
SLIDE 36

Outdated ¡Adaptation

Monday, ¡September ¡28th, ¡2015 14

Problem: ¡The ¡adaptation ¡is ¡performed ¡based ¡on ¡outdated ¡information. Example: 1 2 3 4.b

slide-37
SLIDE 37

Outdated ¡Adaptation

Monday, ¡September ¡28th, ¡2015 14

Problem: ¡The ¡adaptation ¡is ¡performed ¡based ¡on ¡outdated ¡information. Example: 1 2 3 4.b Solution ¡Idea ¡ Cancel ¡ongoing ¡adaptation

slide-38
SLIDE 38

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed.

slide-39
SLIDE 39

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1

slide-40
SLIDE 40

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2

slide-41
SLIDE 41

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2

slide-42
SLIDE 42

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2 3

slide-43
SLIDE 43

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2 3

slide-44
SLIDE 44

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2 3 4

slide-45
SLIDE 45

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2 3 4

slide-46
SLIDE 46

Missed ¡Adaptation

Monday, ¡September ¡28th, ¡2015 15

Problem: ¡The ¡adaptation ¡is ¡not ¡performed. Example: 1 2 3 4 Solution ¡Idea ¡ Restrict ¡operations ¡to ¡ verified ¡model ¡parts ¡only

slide-47
SLIDE 47

DESIRED ¡FEATURES

(Q2) ¡What ¡are ¡the ¡specific ¡needs ¡for ¡a ¡transaction ¡concept ¡for ¡models ¡at ¡ runtime ¡in ¡the ¡broader ¡sense?

Monday, ¡September ¡28th, ¡2015 16

slide-48
SLIDE 48

Towards ¡a ¡Solution

While ¡related ¡work ¡on ¡relevant ¡sub-­‑problems ¡exists, ¡a ¡ discussion ¡of ¡the ¡transaction ¡problem ¡in ¡the ¡broader ¡sense ¡ for ¡models@run.time ¡and ¡SAS ¡seems ¡to ¡be ¡rare. ¡ Based ¡on ¡the ¡described ¡issues, ¡we ¡structured ¡an ¡initial ¡model ¡

  • f ¡desired ¡features ¡related ¡to ¡transactions ¡for ¡

models@run.time. ¡It ¡is ¡structured ¡into ¡three ¡groups: ¡ ▪ transactions-­‑based ¡features, ¡ ▪ causal ¡connection ¡features ¡and ¡ ▪ model-­‑based ¡features.

Monday, ¡September ¡28th, ¡2015 17

slide-49
SLIDE 49

Transaction-­‑based ¡Features

Monday, ¡September ¡28th, ¡2015 18

slide-50
SLIDE 50

Transaction-­‑based ¡Features

Monday, ¡September ¡28th, ¡2015 18

Reliable ¡ processing


  • f ¡transactions

Operations ¡on ¡a ¡ model@run.time ¡ bring ¡it ¡from ¡one ¡ consistent ¡state ¡to ¡ another Sequential ¡and ¡ concurrent ¡ execution ¡of ¡

  • perations ¡on ¡

model@run.time ¡ yield ¡same ¡result

slide-51
SLIDE 51

Causal ¡Connection ¡Features

Monday, ¡September ¡28th, ¡2015 19

slide-52
SLIDE 52

Causal ¡Connection ¡Features

Monday, ¡September ¡28th, ¡2015 19

In ¡analogy ¡to ¡efforts ¡in ¡ traditional ¡reflection Accurate ¡or ¡less ¡ accurate ¡data ¡ coupling Data ¡is ¡ propagated ¡ asynchronously Kind ¡of ¡event ¡ handling

slide-53
SLIDE 53

Model-­‑based ¡Features

Monday, ¡September ¡28th, ¡2015 20

slide-54
SLIDE 54

Model-­‑based ¡Features

Monday, ¡September ¡28th, ¡2015 20

Support ¡locking ¡of ¡

  • nly ¡parts ¡of ¡a ¡

model@run.time Store ¡past ¡states ¡in ¡ an ¡accessible ¡way Undo ¡operations ¡on ¡ model@run.time Support ¡for ¡recovery ¡ and ¡durability

slide-55
SLIDE 55

Preliminary ¡Feature ¡Model

Monday, ¡September ¡28th, ¡2015 21

Incomplete

slide-56
SLIDE 56

CONCLUSIONS ¡AND ¡FUTURE ¡WORK

Presentation ¡of ¡this ¡research‘s ¡summary.

Monday, ¡September ¡28th, ¡2015 22

slide-57
SLIDE 57

Conclusions

Various ¡kinds ¡of ¡issues ¡with ¡models@run.time ¡can ¡be ¡ elicited ¡that ¡are ¡intuitively ¡related ¡to ¡transactions: ¡ ▪ Fundamental, ¡known ¡issues ¡(e.g., ¡ACID ¡in ¡databases) ¡ ▪ Adaptation-­‑specific ¡issues ¡(e.g., ¡SAS ¡domain) ¡ Ad-­‑hoc ¡solutions ¡are ¡no ¡longer ¡acceptable. ¡ We ¡provided ¡eight ¡examples ¡derived ¡from ¡previous ¡research ¡ and ¡an ¡initial ¡feature ¡model ¡as ¡an ¡initial ¡basis ¡towards ¡a ¡ solution ¡concept.

Monday, ¡September ¡28th, ¡2015 23

slide-58
SLIDE 58

Future ¡Work

We ¡plan ¡to ¡propose ¡a ¡full ¡concept ¡for ¡Transactional ¡ Models@Run.Time ¡(TMRT). ¡ The ¡envisioned ¡concept ¡shall ¡ ▪ go ¡beyond ¡low-­‑level ¡transaction ¡issues ¡and ¡ ▪ provide ¡a ¡pattern-­‑based ¡approach ¡to ¡ ▪ tackle ¡transaction-­‑related ¡issues ¡in ¡the ¡broader ¡sense ¡ when ¡developing ¡software ¡using ¡models ¡at ¡runtime.

Monday, ¡September ¡28th, ¡2015 24

slide-59
SLIDE 59

OPEN ¡DISCUSSION

On ¡the ¡Need ¡for ¡Extended ¡Transactional ¡Models@Run.Time

Monday, ¡September ¡28th, ¡2015 25

slide-60
SLIDE 60

Literature

[Amoui2012ADA] ¡M. ¡Amoui, ¡M. ¡Derakhshanmanesh, ¡J. ¡Ebert, ¡& ¡L. ¡Tahvildari, ¡Achieving ¡Dynamic ¡ Adaptation ¡via ¡Management ¡and ¡Interpretation ¡of ¡Runtime ¡Models. ¡Journal ¡of ¡Systems ¡and ¡ Software, ¡85(12), ¡2720 ¡– ¡2737. ¡doi:10.1016/j.jss.2012.05.033, ¡2012.
 [Derakhshanmanesh2015MSC] ¡M. ¡Derakhshanmanesh, ¡Model-­‑Integrating ¡Software ¡Components ¡

  • ­‑ ¡Engineering ¡Flexible ¡Software ¡Systems. ¡Springer, ¡pp. ¡1 ¡– ¡333, ¡2015.

Monday, ¡September ¡28th, ¡2015 26

slide-61
SLIDE 61

BACKUP ¡SLIDES

Presentation ¡of ¡additional ¡information.

Monday, ¡September ¡28th, ¡2015 27

slide-62
SLIDE 62

Issues ¡-­‑ ¡Overview

Monday, ¡September ¡28th, ¡2015 28

Lost ¡Model ¡ Update Dirty ¡Model ¡ Read Unrepeatable ¡ Model ¡Read Conflicting ¡ Model ¡Update Unrepeatable ¡ Adaptation Overeager ¡ Adaptation Outdated ¡ Adaptation Missed ¡ Adaptation MRT-­‑Specific ¡ Issues Adaptation-­‑ Specific ¡Issues

slide-63
SLIDE 63

Issues ¡-­‑ ¡Overview

Monday, ¡September ¡28th, ¡2015 28

Lost ¡Model ¡ Update Dirty ¡Model ¡ Read Unrepeatable ¡ Model ¡Read Conflicting ¡ Model ¡Update Unrepeatable ¡ Adaptation Overeager ¡ Adaptation Outdated ¡ Adaptation Missed ¡ Adaptation MRT-­‑Specific ¡ Issues Adaptation-­‑ Specific ¡Issues

slide-64
SLIDE 64

Problem: ¡A ¡change ¡of ¡the ¡model ¡gets ¡lost.

Lost ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 29

slide-65
SLIDE 65

Problem: ¡A ¡change ¡of ¡the ¡model ¡gets ¡lost. Example:

Lost ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 29

1

slide-66
SLIDE 66

Problem: ¡A ¡change ¡of ¡the ¡model ¡gets ¡lost. Example:

Lost ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 29

1 2

slide-67
SLIDE 67

Problem: ¡A ¡change ¡of ¡the ¡model ¡gets ¡lost. Example:

Lost ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 29

3 1 2

slide-68
SLIDE 68

Problem: ¡A ¡change ¡of ¡the ¡model ¡gets ¡lost. Example:

Lost ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 29

3 4 1 2

slide-69
SLIDE 69

Problem: ¡A ¡change ¡of ¡the ¡model ¡gets ¡lost. Example:

Lost ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 29

3 4 1 2 Solution ¡Idea ¡ Locking ¡of ¡model ¡parts

slide-70
SLIDE 70

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read.

slide-71
SLIDE 71

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

1 Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read. Example:

slide-72
SLIDE 72

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

1 2 Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read. Example:

slide-73
SLIDE 73

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

1 2 Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read. Example:

slide-74
SLIDE 74

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

1 2 3 Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read. Example:

slide-75
SLIDE 75

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

1 2 3 4 Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read. Example:

slide-76
SLIDE 76

Dirty ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 30

1 2 3 4 Problem: ¡An ¡inconsistent ¡state ¡of ¡the ¡model ¡is ¡read. Example: Solution ¡Idea ¡ Isolation ¡of ¡model ¡access

slide-77
SLIDE 77

Problem: ¡Two ¡subsequent ¡read ¡operations ¡yield ¡different ¡values.

Unrepeatable ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 31

slide-78
SLIDE 78

Problem: ¡Two ¡subsequent ¡read ¡operations ¡yield ¡different ¡values. Example:

Unrepeatable ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 31

1

slide-79
SLIDE 79

Problem: ¡Two ¡subsequent ¡read ¡operations ¡yield ¡different ¡values. Example:

Unrepeatable ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 31

1 2

slide-80
SLIDE 80

Problem: ¡Two ¡subsequent ¡read ¡operations ¡yield ¡different ¡values. Example:

Unrepeatable ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 31

1 2

slide-81
SLIDE 81

Problem: ¡Two ¡subsequent ¡read ¡operations ¡yield ¡different ¡values. Example:

Unrepeatable ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 31

1 2

slide-82
SLIDE 82

Problem: ¡Two ¡subsequent ¡read ¡operations ¡yield ¡different ¡values. Example:

Unrepeatable ¡Model ¡Read

Monday, ¡September ¡28th, ¡2015 31

1 2 Solution ¡Idea ¡ Isolation ¡of ¡model ¡access

slide-83
SLIDE 83

Problem: ¡Concurrent ¡operations ¡on ¡the ¡model ¡conflict.

Conflicting ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 32

slide-84
SLIDE 84

Problem: ¡Concurrent ¡operations ¡on ¡the ¡model ¡conflict. Example:

Conflicting ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 32

1

slide-85
SLIDE 85

Problem: ¡Concurrent ¡operations ¡on ¡the ¡model ¡conflict. Example:

Conflicting ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 32

1 2

slide-86
SLIDE 86

Problem: ¡Concurrent ¡operations ¡on ¡the ¡model ¡conflict. Example:

Conflicting ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 32

1 2

slide-87
SLIDE 87

Problem: ¡Concurrent ¡operations ¡on ¡the ¡model ¡conflict. Example:

Conflicting ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 32

1 3 2

slide-88
SLIDE 88

Problem: ¡Concurrent ¡operations ¡on ¡the ¡model ¡conflict. Example:

Conflicting ¡Model ¡Update

Monday, ¡September ¡28th, ¡2015 32

1 3 2 Solution ¡Idea ¡ Conflict ¡resolution ¡strategy