追加したプリミティブ

• 粒度を保証しない同期変数アクセスプリミティブ
  <xread_char>  <xread_short>  <xread_int>  <xread_long>
  <xread_long_long>  <xread_float>  <xread_double>  <xread_ptr>
  
  
• メモリバリア付き粒度保証同期変数アクセスプリミティブ
  <atomic_read_type_to_start_access>  <atomic_read_type_to_start_read>  <atomic_read_type_to_start_write>  <atomic_read_type_to_finish_access>  <atomic_read_type_to_finish_read>  <atomic_read_type_to_finish_write>  <atomic_write_type_to_start_access>  <atomic_write_type_to_start_read>  <atomic_write_type_to_start_write>  <atomic_write_type_to_finish_access>  <atomic_write_type_to_finish_read>  <atomic_write_type_to_finish_write>  <atomic_swap_type_to_start_access>  <atomic_swap_type_to_start_read>  <atomic_swap_type_to_start_write>  <atomic_swap_type_to_finish_access>  <atomic_swap_type_to_finish_read>  <atomic_swap_type_to_finish_write>  <atomic_cas_type_to_start_access>  <atomic_cas_type_to_start_read>  <atomic_cas_type_to_start_write>  <atomic_cas_type_to_finish_access>  <atomic_cas_type_to_finish_read>  <atomic_cas_type_to_finish_write> 

• 粒度を保証しない同期変数アクセスプリミティブ
  

  xread式は値を揮発的(volatile)として読み出すが、粒度は保証しない。 揮発的とは、例えばルー プ内で同じ変数からの読み出しを行っているようなときに、最適化によっ て読み出しをループの前に行い、その値を使い回すようなことはしないよ うに、無限に前の読み出し結果を使わないようにすること。

  • 文法

    <xread_char 式> ::= xread_char(<左辺式>)

    char型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_short 式> ::= xread_short(<左辺式>)

    short型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_int 式> ::= xread_int(<左辺式>)

    int型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_long 式> ::= xread_long(<左辺式>)

    long型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_long_long 式> ::= xread_long_long(<左辺式>)

    long long型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_float 式> ::= xread_float(<左辺式>)

    float型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_double 式> ::= xread_double(<左辺式>)

    double型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

    <xread_ptr 式> ::= xread_ptr(<左辺式>)

    void *型の<左辺式>の値を読み出し、その値を結果とする。その際、その値は揮発的(volatile)として読み出される。

  
  
• メモリバリア付き粒度保証同期変数アクセスプリミティブ
  

  粒度保証同期変数アクセスプリミティブにメモリバリアの効果を 付けたものをプリミティブとして追加した。typeの部分は char,short,int,long,long_long,float,double,ptr のどれかである。

  • 文法

    <atomic_read_type_to_start_access 式>
    ::= atomic_read_type_to_start_access(<左辺式>)

    type型の<左辺式>の値を不可分に読み出し、その値を結果とし、それが完了した後にこの式に後続するメモリアクセスを行う。

    <atomic_read_type_to_start_read 式>
    ::= atomic_read_type_to_start_read(<左辺式>)

    type型の<左辺式>の値を不可分に読み出し、その値を結果とし、それが完了した後にこの式に後続する読み出しを行う。

    <atomic_read_type_to_start_write 式>
    ::= atomic_read_type_to_start_write(<左辺式>)

    type型の<左辺式>の値を不可分に読み出し、その値を結果とし、それが完了した後にこの式に後続する書き込みを行う。

    <atomic_read_type_to_finish_access 式>
    ::= atomic_read_type_to_finish_access(<左辺式>)

    この式に先行するすべてのメモリアクセスが完了した後に、type型の<左辺式>の値を不可分に読み出し、その値を結果とする。

    <atomic_read_type_to_finish_read 式>
    ::= atomic_read_type_to_finish_read(<左辺式>)

    この式に先行するすべての読み出しが完了した後に、type型の<左辺式>の値を不可分に読み出し、その値を結果とする。

    <atomic_read_type_to_finish_write 式>
    ::= atomic_read_type_to_finish_write(<左辺式>)

    この式に先行するすべての書き込みが完了した後に、type型の<左辺式>の値を不可分に読み出し、その値を結果とする。

    以下、atomic_write,atomic_swap,cas についても同様のプリミティブが 追加されている。

    <atomic_write_type_to_start_access 文>
    ::= atomic_write_type_to_start_access(<左辺式>,<式>₁);

    <atomic_write_type_to_start_read 文>
    ::= atomic_write_type_to_start_read(<左辺式>,<式>₁);

    <atomic_write_type_to_start_write 文>
    ::= atomic_write_type_to_start_write(<左辺式>,<式>₁);

    <atomic_write_type_to_finish_access 文>
    ::= atomic_write_type_to_finish_access(<左辺式>,<式>₁);

    <atomic_write_type_to_finish_read 文>
    ::= atomic_write_type_to_finish_read(<左辺式>,<式>₁);

    <atomic_write_type_to_finish_write 文>
    ::= atomic_write_type_to_finish_write(<左辺式>,<式>₁);

    
    
    

    <atomic_swap_type_to_start_access 式>
    ::= atomic_swap_type_to_start_access(<左辺式>,<式>₁)

    <atomic_swap_type_to_start_read 式>
    ::= atomic_swap_type_to_start_read(<左辺式>,<式>₁)

    <atomic_swap_type_to_start_write 式>
    ::= atomic_swap_type_to_start_write(<左辺式>,<式>₁)

    <atomic_swap_type_to_finish_access 式>
    ::= atomic_swap_type_to_finish_access(<左辺式>,<式>₁)

    <atomic_swap_type_to_finish_read 式>
    ::= atomic_swap_type_to_finish_read(<左辺式>,<式>₁)

    <atomic_swap_type_to_finish_write 式>
    ::= atomic_swap_type_to_finish_write(<左辺式>,<式>₁)

    
    
    

    <atomic_cas_type_to_start_access 式>
    ::= atomic_cas_type_to_start_access(<左辺式>,<式>₁,<式>₂)

    <atomic_cas_type_to_start_read 式>
    ::= atomic_cas_type_to_start_read(<左辺式>,<式>₁,<式>₂)

    <atomic_cas_type_to_start_write 式>
    ::= atomic_cas_type_to_start_write(<左辺式>,<式>₁,<式>₂)

    <atomic_cas_type_to_finish_access 式>
    ::= atomic_cas_type_to_finish_access(<左辺式>,<式>₁,<式>₂)

    <atomic_cas_type_to_finish_read 式>
    ::= atomic_cas_type_to_finish_read(<左辺式>,<式>₁,<式>₂)

    <atomic_cas_type_to_finish_write 式>
    ::= atomic_cas_type_to_finish_write(<左辺式>,<式>₁,<式>₂)