zoukankan      html  css  js  c++  java
  • 【SICP练习】115 练习3.41

    练习3-41

    原文

    Exercise 3.41. Ben Bitdiddle worries that it would be better to implement the bank account as follows (where the commented line has been changed):

    (define (make-account balance) 
       (define (withdraw amount) 
          (if (>= balance amount)     
              (begin (set! balance (- balance amount))               balance)     
              "Insufficient funds"))
       (define (deposit amount)  
          (set! balance (+ balance amount))
          balance) 
          ;; continued on next page 
          (let ((protected (make-serializer)))  
             (define (dispatch m)     
                (cond ((eq? m 'withdraw) (protected withdraw))                                
                      ((eq? m 'deposit) (protected deposit))                              
                      ((eq? m 'balance)          
                       ((protected (lambda () balance)))) ; serialized                            
                      (else (error "Unknown request -- MAKE-ACCOUNT"                           
                                    m))))  
        dispatch))

    because allowing unserialized access to the bank balance can result in anomalous behavior. Do you agree?
    Is there any scenario that demonstrates Ben’s concern?

    分析

    假设有((protected withdraw) 100)和((protected deposit) 50)两个进程分别和balance并行执行。则会有4种可能的执行顺序。
    withdraw - > balance 操作时,首先将余额设置为0,然后返回balance得到0。
    balance - > withdraw操作时,首先balance会得到100,然后执行withdraw操作得到0。
    deposit - > balance操作时,首先将余额设置为150,然后返回balance得到150。
    balance - > deposit操作时,首先balance会得到100,然后deposit操作得到150。
    由此可见Ben并没有担心的必要。



    感谢访问,希望对您有所帮助。 欢迎关注或收藏、评论或点赞。


    为使本文得到斧正和提问,转载请注明出处:
    http://blog.csdn.net/nomasp


    版权声明:本文为 NoMasp柯于旺 原创文章,如需转载请联系本人。

  • 相关阅读:
    51nod_1445 变色DNA 最短路模板 奇妙思维
    51nod_1459 最短路 dijkstra 特调参数
    UVA_10653 公主与王子 #刘汝佳DP题刷完计划
    HOJ 13819 Height map
    51nod_1255字典序最小的子序列
    电梯设计需求调研报告
    梦断代码读后感
    求一循环数组的最大子数组的和
    求二维数组中最大子数组的和
    四则运算
  • 原文地址:https://www.cnblogs.com/NoMasp/p/4786086.html
Copyright © 2011-2022 走看看