3 Developing a Simple CLOS Program: Locks

• 3.1 OVERVIEW OF LOCKING
  
  
  
  • 用語と概念の整理。
    
  • locks, seize, release, busy, free, owner。
    
  • Simple lock, Null lock。
    
  
  
• 3.2 DEFINING THE KINDS OF OBJECTS-CLASSES
  
  
  
  • クラスの設計。lock, simple-lock, null-lock。
    
  • 用語の整理。built on, is a drect superclass of, is a direct subclass of, basic class
    
  • basic classを導入するメリット。
    
    
    
    • (typep obj 'lock)で、チェックできる。
      
    • 名前付け、を統一特性として全てのロックに付与することができる。
      
    • デフォルトの振舞を定義できる。
      
    
    
  • lockクラス、simple-lockクラス、null-lockクラスを定義。
    
  • :documentation
    
  • :reader, :writer, :accessor。
    
  • :writerとsetf。
    
  
  
• 3.3 CREATING NEW OBJECTS-INSTANCES
  
  
  
  • make-instance。
    
  • constructor functions.
    
  • constructor functionsを作ることを推奨。
    
  • type-of, typep, subtypep。
    
  
  
• 3.4 DEFINING THE INTERFACE-GENERIC FUNCTIONS
  
  
  
  • lambda-lists, congruent。
    
  • 総称関数はクラス名を含めた方がよい。reset、ではなくreset-lock。genericすぎると名前が衝突。
    
  • generic functionsはa protocolを成す。
    
  • protocolは、振舞からlockのsemanticsを規定している。
    
  • protocolは、考え方であり、CLOSのメカニズムではない。
    
  
  
• 3.5 DEFINING THE IMPLEMENTATION-METHODS
  
  
  
  • argument と parameterは違う。
    
  • specialized parameters。
    
  • applicable methods。
    
  • "Rule of method applicability"
    
  • without-process-preemption, process-wait, *current-process* の定義。
    allegroでは、次のよう?
    

    
    (defun without-process-preemption (&body body)
      (funcall #'without-interrupts body))
    

    
    
  • set-ifマクロを定義。
    
  • methodsを定義。
    
  
  
• 3.6 SPECIALIZING THE BEHAVIOR OF LOCKS
  
  
  
  • print-object。print,prin1,printc,write,formatなどなど、print-objectを使っている。
    
  • allegroでは、(system:memref l 0 0 :unsigned-natural) ?
    
  • print-objectはエラーを吐くべきではない。
    
  • basic classes - default methods。
    
  • 既存の総称関数のメソッドで済ませられるときは、そうすべき。
    
  
  
• 3.7 ANALYZING THE INHERITANCE OF LOCKS
  
  
  
  • "Rule 1 of class precedence: A class always has precedence over its superclasses."
    
  • generic dispatch。
    
  
  
• 3.8 EXTENDING THE LOCKING PROGRAM
  
  
  
  • mixin class, aggregate classes。
    
  • deadlock。
    
  • ordered lock。
    
  • ordered-lock-mixinを定義。
    
  • :type
    
  • ordered-lockとordered-null-lockを定義。
    
  • mixin classはbefore-methodやafter-methodで振舞を記述することが多い。
    
  • aggregate classにメソッドを定義することは極力さける。それがプログラムのモジュラー性を維持する。
    
  • "Rule 2 of class precedence: Each class definition sets the precedence order of its direct superclass."
    
  • after-method: most-specific-last。
    
  • ordered lockの振舞を実装。
    
  • process自体がclassになっていて、どのlockを所有しているかを持てる形もあるが、ここではそれはa hash tableで管理する。
    
  • ordered locksのメソッドは、beforeで定義する。このbeforeはhigher lockを所有しているかのチェックをしてもってればsignalを上げるという形にする。すると既存のprimary methodそのままでordered lockがいける。
    
  • 同様に、seizeとreleaseにafterでメソッドを足すことにより、ordered-lock-mixinに対する追加的な振舞(処理)を記述する。
    
  
  
• 3.9 HOW CLIENT PROGRAMS USE LOCKS
  
  
  
  • 今さらだが、describeは普通の関数(non generic)なので、describe-objectにメソッドをつくる。
    
  
  
• 3.10 REVIEWING THE LOCK CLASSES
  
  
  
  • OOプログラムを説明する際のポイント。
    
    
    
    • クラスの一覧。
      
    • それぞれのクラスが提供するslotsとmethods。
      
    • class precedence list。
      
    
    
  • ここの"contribute"の使い方は違和感あり。こういうものなのかな。
    
  
  
• 3.11 THE EXTERNAL AND INTERNAL PERSPECTIVES
  
  
  
  • externalとinternalでメソッドなどを分類。
    
  
  
• 3.12 GUIDELINES ON DESIGNING PROTOCOLS
  
  
  
  • ガイドラインの5項目を紹介。