8.6 (Programming exercise) Sunrise

8.6 (Programming exercise) Sunrise Bank wants to find out its cash reserve, so it initiates an audit in all of its branches. At any moment, a sum of money may be in transit from one branch of the bank to another. ATM transactions, customer transactions through bank tellers, and interbranch transactions are the only possible types of transactions. Define two teller processes T1 and T2 at two different branches and three ATM processes A1, A2, and A3, each with a predefined amount of cash. Assume that four customers have an initial balance of a certain amount in their checking accounts. Each user can deposit money into or withdraw money from their accounts through any ATM or a teller. In addition, any customer can transfer an amount of available cash from her account to any other customer, some of which may lead to interbranch transfers.
Use Lai–Yang algorithm to conduct an audit of Sunrise Bank. Allow the users to carry out transactions at an arbitrary instant of time. The audit must reveal that at any moment, total cash = initial balance + credit − debit regardless of when and where users transact money.

Результаты (русский) 1:

8.6 (программирование упражнение) Sunrise банк хочет узнать свой резерв наличности, поэтому она также может инициировать проверку во всех его филиалах. В любой момент сумма денег может быть в пути от одного филиала банка в другой. ATM операции, операции клиентов через операционистов банка и межфилиальные транзакции являются только возможные виды операций. Определение двух процессов Теллер T1 и T2 в двух разных филиалах и три Банкомата процессов A1, A2 и A3, каждый из которых заранее сумму наличных денег. Предположим, что четыре клиенты имеют начальный баланс определенную сумму в их проверки счетов. Каждый пользователь может внести деньги в или снять деньги со своего счета через любой Банкомат или кассира. Кроме того любой клиент может передать сумму наличных со своего счета любого другого клиента, некоторые из которых могут привести к межфилиального переводов.Лай-Ян алгоритм используйте для проведения аудита банка Sunrise. Разрешить пользователям осуществлять операции в произвольный момент времени. Аудит должен показать что в любой момент, денежный = начальный баланс + кредит − дебет независимо от того, когда и где пользователи transact деньги.

Результаты (русский) 2:

8.6 (Программирование упражнения) Восход солнца банк хочет найти свой денежный резерв, поэтому он инициирует проверку во всех его филиалах. В любой момент, денежная сумма может быть в переходе от одного филиала банка в другой. ATM сделок, сделок с клиентами через кассиров банка, а также межотраслевые сделки являются единственно возможными виды сделок. Определить два кассира процессов Т1 и Т2 в двух различных отраслях и три ATM обрабатывает A1, A2 и A3, каждый с заранее определенной суммы денежных средств. Предположим , что четыре клиенты имеют начальный баланс определенной суммы в своих текущих счетов. Каждый пользователь может внести деньги на или снимать деньги со своих счетов через любой банкомат или кассира. Кроме того, любой клиент может перевести определенную сумму имеющихся наличных денег с ее счета на любой другой клиент, некоторые из которых могут привести к передаче межотраслевых.
Используйте алгоритм Lai-Ян , чтобы провести аудит банка Sunrise. Разрешить пользователям осуществлять операции в произвольный момент времени. Аудит должен показать , что в любой момент, общая сумма наличных = начальный баланс + кредит - дебет , независимо от того, когда и где пользователи сделки деньги.

Результаты (русский) 3:

8.6 (программирования) восход банк хочет найти своего наличного резерва, так что она инициирует проверку во всех своих филиалов.в любой момент, суммы могут быть в пути из одного филиала банка в другой.банкомат сделки, операции клиентов через банковские кассиры, и межотраслевого сделок являются единственным возможным типам сделок.определить два теллер процессов t1 и t2 на двух различных ветвей и три банкомата процессов а1, а2 и а3, каждая из которых определенную сумму денег.предполагается, что четыре клиентов первоначальный баланс определенную сумму на их банковские счета.каждый пользователь может пополнить или снять деньги со своих счетов через банкомат или кассир.кроме того, любой клиент может перевести сумму денежных средств, с ее счета для любого другого клиента, некоторые из которых могут привести к межотраслевого передачи.использование лай – ян алгоритм, чтобы провести ревизию Sunrise банка.позволяет пользователям осуществлять операции в произвольный момент времени.ревизия должна показать, что в любой момент общий объем наличных = первоначальный баланс + кредит - дебетовых, независимо от того, когда и где пользователи сделки деньги.