Top


定義場所(file name)

hotspot/src/cpu/sparc/vm/assembler_sparc.cpp

名前(function name)

void MacroAssembler::biased_locking_enter(Register obj_reg, Register mark_reg,
                                          Register temp_reg,
                                          Label& done, Label* slow_case,
                                          BiasedLockingCounters* counters) {

本体部(body)

  {- -------------------------------------------
  (1) (assert)
      ---------------------------------------- -}

      assert(UseBiasedLocking, "why call this otherwise?");

  {- -------------------------------------------
  (1) (プロファイル情報の記録) (See: BiasedLockingCounters)
      ---------------------------------------- -}

      if (PrintBiasedLockingStatistics) {
        assert_different_registers(obj_reg, mark_reg, temp_reg, O7);
        if (counters == NULL)
          counters = BiasedLocking::counters();
      }

  {- -------------------------------------------
  (1) (変数宣言など)
      ---------------------------------------- -}

      Label cas_label;

  {- -------------------------------------------
  (1) コード生成:
      「まず, オブジェクトの mark フィールドが biased locking 状態かどうかをチェックする.
        (mark フィールドを markOopDesc::biased_lock_mask_in_place でマスクして(= 下位3bit だけを取り出して), 
        markOopDesc::biased_lock_pattern と同じかどうかを確認)

        biased locking 状態でなければ, cas_label にジャンプして従来の CAS-based scheme へフォールバック」
      ---------------------------------------- -}

      // Biased locking
      // See whether the lock is currently biased toward our thread and
      // whether the epoch is still valid
      // Note that the runtime guarantees sufficient alignment of JavaThread
      // pointers to allow age to be placed into low bits
      assert(markOopDesc::age_shift == markOopDesc::lock_bits + markOopDesc::biased_lock_bits, "biased locking makes assumptions about bit layout");
      and3(mark_reg, markOopDesc::biased_lock_mask_in_place, temp_reg);
      cmp(temp_reg, markOopDesc::biased_lock_pattern);
      brx(Assembler::notEqual, false, Assembler::pn, cas_label);
      delayed()->nop();

  {- -------------------------------------------
  (1) (以下は, biased されているオブジェクトだと分かった場合の処理)
      ---------------------------------------- -}

  {- -------------------------------------------
  (1) (まず, 自分に biased されているかどうかを調べる.
       自分に biased されていれば, 引数で渡された done ラベルに分岐.
       (多くの場合(全ての場合?#TODO), これでロック処理は終了))
      ---------------------------------------- -}

    {- -------------------------------------------
  (1.1) コード生成:
        「ロック対象のオブジェクトのクラスオブジェクトを取得し, そこから prototype header を取得する」
        ---------------------------------------- -}

      load_klass(obj_reg, temp_reg);
      ld_ptr(Address(temp_reg, Klass::prototype_header_offset_in_bytes() + klassOopDesc::klass_part_offset_in_bytes()), temp_reg);

    {- -------------------------------------------
  (1.1) コード生成:
        「mark フィールドの値を「prototype header の値にカレントスレッドを足し込んだ値」と比較する.
         (これらの値が age フィールドを除いて同じかどうかを確認. 自分に biased されていれば同じになる.)」
        ---------------------------------------- -}

      or3(G2_thread, temp_reg, temp_reg);
      xor3(mark_reg, temp_reg, temp_reg);
      andcc(temp_reg, ~((int) markOopDesc::age_mask_in_place), temp_reg);

    {- -------------------------------------------
  (1.1) コード生成: (プロファイル情報の記録) (See: BiasedLockingCounters)
        ---------------------------------------- -}

      if (counters != NULL) {
        cond_inc(Assembler::equal, (address) counters->biased_lock_entry_count_addr(), mark_reg, temp_reg);
        // Reload mark_reg as we may need it later
        ld_ptr(Address(obj_reg, oopDesc::mark_offset_in_bytes()), mark_reg);
      }

    {- -------------------------------------------
  (1.1) コード生成:
        「上の比較結果が同じであれば done ラベルに分岐
         (同じでなければこのままフォールスルー)」
        ---------------------------------------- -}

      brx(Assembler::equal, true, Assembler::pt, done);
      delayed()->nop();

  {- -------------------------------------------
  (1) (ここまでが, 自分に biased されているかどうかを調べる処理)
      ---------------------------------------- -}

  {- -------------------------------------------
  (1) (変数宣言など)
      ---------------------------------------- -}

      Label try_revoke_bias;
      Label try_rebias;
      Address mark_addr = Address(obj_reg, oopDesc::mark_offset_in_bytes());
      assert(mark_addr.disp() == 0, "cas must take a zero displacement");

  {- -------------------------------------------
  (1) (この段階で, mark フィールドは bias locking pattern をしているが
      その他の条件がどれか満たされていない, ということが分かっている.
      以下, 何がダメなのかを調べていく)
      ---------------------------------------- -}

      // At this point we know that the header has the bias pattern and
      // that we are not the bias owner in the current epoch. We need to
      // figure out more details about the state of the header in order to
      // know what operations can be legally performed on the object's
      // header.

  {- -------------------------------------------
  (1) コード生成:
      「まず bulk revoke されていないかどうかを確認する. 
       (先ほどの確認結果の下位3bitを確認する.
        これは xor をとった結果に対して, markOopDesc::biased_lock_mask_in_place と
        重なる bit が残っているかどうかを調べることで行える.
        残っていたら prototype header がもう biased pattern を持っていないということなので, 
        bulk revoke されたということになる).

       bulk revoke されていた場合には, try_revoke_bias ラベルに分岐する.」
      ---------------------------------------- -}

      // If the low three bits in the xor result aren't clear, that means
      // the prototype header is no longer biased and we have to revoke
      // the bias on this object.
      btst(markOopDesc::biased_lock_mask_in_place, temp_reg);
      brx(Assembler::notZero, false, Assembler::pn, try_revoke_bias);

  {- -------------------------------------------
  (1) コード生成:
      「次に bulk rebias されていないかどうかを確認する.
        (先ほどの確認結果の epoch 部分を確認する.
        これは xor をとった結果に対して, markOopDesc::biased_lock_mask_in_place と
        重なる bit が残っているかどうかを調べることで行える.
        残っていたら prototype header の epoch とこのオブジェクトの mark フィールドの epoch が
        ずれているということなので, bulk rebias されたということになる).

        bulk rebias されていた場合には, このオブジェクトを
        カレントスレッドに rebias するために, try_rebias ラベルに分岐する.」
      ---------------------------------------- -}

      // Biasing is still enabled for this data type. See whether the
      // epoch of the current bias is still valid, meaning that the epoch
      // bits of the mark word are equal to the epoch bits of the
      // prototype header. (Note that the prototype header's epoch bits
      // only change at a safepoint.) If not, attempt to rebias the object
      // toward the current thread. Note that we must be absolutely sure
      // that the current epoch is invalid in order to do this because
      // otherwise the manipulations it performs on the mark word are
      // illegal.
      delayed()->btst(markOopDesc::epoch_mask_in_place, temp_reg);
      brx(Assembler::notZero, false, Assembler::pn, try_rebias);

  {- -------------------------------------------
  (1) (次は, bias 対象のスレッド(biased locker)をチェックする.

       anonymously biased なら, ここで CAS を使って自分に biased させる.
       自分に biased させるのに成功したら, 引数で渡された done ラベルに分岐する. 
       (多くの場合(全ての場合?#TODO), これでロック処理は終了)

       逆に, 他のスレッドに biased されていた場合には, 
       引数で渡された slow_case ラベルへ分岐する.
       (また, anonymously biased だったが
        一歩遅く他のスレッドに取られてしまった場合も同様に処理する)
       (ただし, 引数で渡された slow_case が NULL である場合には, 
        こちらの場合でも引数で渡された done ラベルに分岐する.
       <= (これは JIT compiled code での biased locking で使われるパス? #TODO)))
      ---------------------------------------- -}

      // The epoch of the current bias is still valid but we know nothing
      // about the owner; it might be set or it might be clear. Try to
      // acquire the bias of the object using an atomic operation. If this
      // fails we will go in to the runtime to revoke the object's bias.
      // Note that we first construct the presumed unbiased header so we
      // don't accidentally blow away another thread's valid bias.

    {- -------------------------------------------
  (1.1) コード生成:
        「まず anonymously biased (= biased locker が空) だと想定して, CAS で自分に bias させてみる」

         (この処理は以下のように行われている.
          owner 部分を削った mark で CAS が成功すれば, 
          owner 部分は空だった(= anonymously biased だった)ということになる

            まず mark フィールドの値から owner 部分を削って anonymously biased と想定した場合の mark を作る.
            これは (markOopDesc::biased_lock_mask_in_place | 
            markOopDesc::age_mask_in_place | markOopDesc::epoch_mask_in_place) との 
            and を取ることで行える.
            次に, そこにカレントスレッドのアドレスを足しこんで新しい mark を作り, CAS で置き換える.)
        ---------------------------------------- -}

      delayed()->and3(mark_reg,
                      markOopDesc::biased_lock_mask_in_place | markOopDesc::age_mask_in_place | markOopDesc::epoch_mask_in_place,
                      mark_reg);
      or3(G2_thread, mark_reg, temp_reg);
      casn(mark_addr.base(), mark_reg, temp_reg);
      // If the biasing toward our thread failed, this means that
      // another thread succeeded in biasing it toward itself and we
      // need to revoke that bias. The revocation will occur in the
      // interpreter runtime in the slow case.
      cmp(mark_reg, temp_reg);

    {- -------------------------------------------
  (1.1) コード生成: (プロファイル情報の記録) (See: BiasedLockingCounters)
        ---------------------------------------- -}

      if (counters != NULL) {
        cond_inc(Assembler::zero, (address) counters->anonymously_biased_lock_entry_count_addr(), mark_reg, temp_reg);
      }

    {- -------------------------------------------
  (1.1) コード生成:
        「CAS が成功したり, 引数で渡された slow_case が NULL であれば, done ラベルへと分岐する.
          CAS が失敗し, かつ引数で渡された slow_case が NULL でなければ, slow_case ラベルへ分岐する.」
        ---------------------------------------- -}

      if (slow_case != NULL) {
        brx(Assembler::notEqual, true, Assembler::pn, *slow_case);
        delayed()->nop();
      }
      br(Assembler::always, false, Assembler::pt, done);
      delayed()->nop();

  {- -------------------------------------------
  (1) (ここが try_rebias ラベルの位置)

      (以下は, bulk rebias されていた場合にカレントスレッドへの rebias を試みる処理)
      (このケースに限り, 誰かに bias されているパターンの mark フィールドを, いきなり他のスレッドに rebias できる)

      (ここでの処理は anonymously biased だった場合の処理と同様.
       具体的には以下の通り.

         CAS を使って自分に biased させ, 成功すれば引数で渡された done ラベルに分岐する.

         逆に, CAS に失敗した場合 (= 一歩遅く他のスレッドに取られてしまった場合) には, 
         引数で渡された slow_case ラベルへ分岐する.
         (ただし, 引数で渡された slow_case が NULL である場合には, 
         こちらの場合でも引数で渡された done ラベルに分岐する.
         <= (これは JIT compiled code での biased locking で使われるパス? #TODO)))

      (なおコメントによると, 
       register が足りず age を吹き飛ばしてしまっているので, 誰か修正宜しく, 
       とのこと)
      ---------------------------------------- -}

      bind(try_rebias);
      // At this point we know the epoch has expired, meaning that the
      // current "bias owner", if any, is actually invalid. Under these
      // circumstances _only_, we are allowed to use the current header's
      // value as the comparison value when doing the cas to acquire the
      // bias in the current epoch. In other words, we allow transfer of
      // the bias from one thread to another directly in this situation.
      //
      // FIXME: due to a lack of registers we currently blow away the age
      // bits in this situation. Should attempt to preserve them.

    {- -------------------------------------------
  (1.1) コード生成:
        「ロック対象のオブジェクトのクラスオブジェクトを取得し, そこから prototype header を取得する.
          そして「prototype header の値にカレントスレッドを足し込んだ値(= 自分に biased された場合の mark フィールド)」を作り
          CAS で現在の mark フィールドを置き換える.」
        ---------------------------------------- -}

      load_klass(obj_reg, temp_reg);
      ld_ptr(Address(temp_reg, Klass::prototype_header_offset_in_bytes() + klassOopDesc::klass_part_offset_in_bytes()), temp_reg);
      or3(G2_thread, temp_reg, temp_reg);
      casn(mark_addr.base(), mark_reg, temp_reg);
      // If the biasing toward our thread failed, this means that
      // another thread succeeded in biasing it toward itself and we
      // need to revoke that bias. The revocation will occur in the
      // interpreter runtime in the slow case.
      cmp(mark_reg, temp_reg);

    {- -------------------------------------------
  (1.1) コード生成: (プロファイル情報の記録) (See: BiasedLockingCounters)
        ---------------------------------------- -}

      if (counters != NULL) {
        cond_inc(Assembler::zero, (address) counters->rebiased_lock_entry_count_addr(), mark_reg, temp_reg);
      }

    {- -------------------------------------------
  (1.1) コード生成:
        「CAS が成功したり, 引数で渡された slow_case が NULL であれば, done ラベルへと分岐する.
          CAS が失敗し, かつ引数で渡された slow_case が NULL でなければ, slow_case ラベルへ分岐する.」
         (NULL なのは JIT から使われるパス? #TODO)
        ---------------------------------------- -}

      if (slow_case != NULL) {
        brx(Assembler::notEqual, true, Assembler::pn, *slow_case);
        delayed()->nop();
      }
      br(Assembler::always, false, Assembler::pt, done);
      delayed()->nop();

  {- -------------------------------------------
  (1) (ここが try_revoke_bias ラベルの位置)

      (以下は, bulk revoke されていた場合に
       このオブジェクトの mark フィールドを 非 biased locking pattern に置き換える処理.
       置き換えた後は, 引き続き従来の CAS-based scheme の処理を行う)

      (なお, ここでの置き換え時に CAS が失敗しても, 
       それは単に他のスレッドが revoke したというだけなので, 
       そのまま CAS-based locking scheme にフォールスルーしていって問題ない, とのこと)

      (なおコメントによると, 
       register が足りず age を吹き飛ばしてしまっているので, 誰か修正宜しく, 
       とのこと)
      ---------------------------------------- -}

      bind(try_revoke_bias);
      // The prototype mark in the klass doesn't have the bias bit set any
      // more, indicating that objects of this data type are not supposed
      // to be biased any more. We are going to try to reset the mark of
      // this object to the prototype value and fall through to the
      // CAS-based locking scheme. Note that if our CAS fails, it means
      // that another thread raced us for the privilege of revoking the
      // bias of this particular object, so it's okay to continue in the
      // normal locking code.
      //
      // FIXME: due to a lack of registers we currently blow away the age
      // bits in this situation. Should attempt to preserve them.

    {- -------------------------------------------
  (1.1) コード生成:
        「ロック対象のオブジェクトの mark フィールドを, 
          そのクラスオブジェクトの prototype header の値に CAS で置き換える.
          (bulk revoke 後なので prototype header には
          非 biased locking 用 (CAS-based scheme 用) の mark の値が入っている)」

        (なお, 上述の通り CAS の結果は確認する必要はないので, 成功しても失敗してもそのままフォールスルー)
        ---------------------------------------- -}

      load_klass(obj_reg, temp_reg);
      ld_ptr(Address(temp_reg, Klass::prototype_header_offset_in_bytes() + klassOopDesc::klass_part_offset_in_bytes()), temp_reg);
      casn(mark_addr.base(), mark_reg, temp_reg);
      // Fall through to the normal CAS-based lock, because no matter what
      // the result of the above CAS, some thread must have succeeded in
      // removing the bias bit from the object's header.

    {- -------------------------------------------
  (1.1) コード生成: (プロファイル情報の記録) (See: BiasedLockingCounters)
        ---------------------------------------- -}

      if (counters != NULL) {
        cmp(mark_reg, temp_reg);
        cond_inc(Assembler::zero, (address) counters->revoked_lock_entry_count_addr(), mark_reg, temp_reg);
      }

  {- -------------------------------------------
  (1) (ここが cas_label ラベルの位置)

      (biased 状態でなければ, ここまで分岐して次の処理にフォールスルーしていく)
      (bulk revoke だった場合(try_revoke_bias ラベルに飛んだ場合)も, ここを通過してこのままフォールスルーしていく)
      ---------------------------------------- -}

      bind(cas_label);
    }

This document is available under the GNU GENERAL PUBLIC LICENSE Version 2.