Chapter 9, Problem 46CRP

Explanation of Solution

Interweaving to get $100 final balance:

• Initial balance in the account is $200.
• A balance of $100 would result if the second transaction retrieved the original amount and stored its new balance before the execution of first transaction.
• Suppose the transitions are represented as:
  • T1: adding $100.
  • T2: withdrawing $100.
  • T3: storing the new balance of account A.
• So, the sequence of transactions followed to obtain $100 as the final balance is T2, T3, and T1. First $100 is withdrawn from the initial amount $200. Then the new balance of account A $100 is stored before adding $100 to account A.

Interweaving to get $300 final balance:

• Initial balance in the account is $200...