Changes between Version 12 and Version 13 of Library_IR


Ignore:
Timestamp:
12/14/15 10:09:31 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Library_IR

    v12 v13  
    9898==== collective records ====
    9999* Types
    100  * `Collect_record`
    101  * `GCollect_checker`
    102  * `Collect_checker`
    103 * `fun[lib="concurrency"] $gcollect_checker_create(scope: Scope): Gcollect_checker`
     100 * `$collect_record`
     101 * `$gcollect_checker`
     102 * `$collect_checker`
     103* `fun[lib="concurrency"] $gcollect_checker_create(scope: Scope): $gcollect_checker`
    104104 * global collective checker creation
    105 * `fun[lib="concurrency"] $gcollect_checker_destroy(gchecker: Gcollect_checker)`
     105* `fun[lib="concurrency"] $gcollect_checker_destroy(gchecker: $gcollect_checker)`
    106106 * global collective checker destroy
    107 * `fun[lib="concurrency"] $collect_checker_create(scope: Scope, gchecker: Gcollect_checker)`
     107* `fun[lib="concurrency"] $collect_checker_create(scope: Scope, gchecker: $gcollect_checker)`
    108108 * collective checker creation
    109 * `fun[lib="concurrency"] $collect_checker_destroy(checker: Collect_checker)`
     109* `fun[lib="concurrency"] $collect_checker_destroy(checker: $collect_checker)`
    110110 * collective checker destroy
    111 * `fun[lib="concurrency"] $collect_check(checker: Collect_checker, place: Integer, nprocs: Integer, entries: Bundle)`
     111* `fun[lib="concurrency"] $collect_check(checker: $collect_checker, place: Integer, nprocs: Integer, entries: $bundle)`
    112112 * collective records checking
    113113
    114114=== communication `comm` ===
    115115* Types
    116  * `Message`
    117  * `Queue`
    118  * `GComm`
     116 * `$message`
     117 * `$queue`
     118 * `$gcomm`
    119119 * `Comm`
    120120* message operations
    121  * `fun[lib="comm"] $message_pack(src: Integer, dst: Integer, tag: Integer, dt: Pointer, sz: Integer): Message`
     121 * `fun[lib="comm"] $message_pack(src: Integer, dst: Integer, tag: Integer, dt: Pointer, sz: Integer): $message`
    122122   * pack a message
    123  * `fun[lib="comm"] $message_unpack(msg: Message, buf: Pointer, sz: Integer)`
     123 * `fun[lib="comm"] $message_unpack(msg: $message, buf: Pointer, sz: Integer)`
    124124   * unpack a message
    125  * `fun[lib="comm", pure] $message_source(msg: Message): Integer`
     125 * `fun[lib="comm", pure] $message_source(msg: $message): Integer`
    126126   * source of a message
    127  * `fun[lib="comm", pure] $message_tag(msg: Message): Integer`
     127 * `fun[lib="comm", pure] $message_tag(msg: $message): Integer`
    128128   * tag of a message
    129  *  `fun[lib="comm", pure] $message_dest(msg: Message): Integer`
     129 *  `fun[lib="comm", pure] $message_dest(msg: $message): Integer`
    130130   * destination of a message
    131  * `fun[lib="comm", pure] $message_size(msg: Message): Integer`
     131 * `fun[lib="comm", pure] $message_size(msg: $message): Integer`
    132132   * size of a message
    133133* global communicator operations
    134  * `fun[lib="comm"] $gcomm_create(scope: Scope, size: Integer): GComm`
     134 * `fun[lib="comm"] $gcomm_create(scope: Scope, size: Integer): $gcomm`
    135135   * creation
    136  * `fun[lib="comm"] $gcomm_destroy(gcomm: GComm)`
     136 * `fun[lib="comm"] $gcomm_destroy(gcomm: $gcomm)`
    137137   * destroy
    138  *  `fun[lib="comm"] $gcomm_dup(old: Comm, new: Comm)`
     138 *  `fun[lib="comm"] $gcomm_dup(old: $comm, new: $comm)`
    139139   * duplication
    140140* local communicator operations
    141  * `fun[lib="comm"] $comm_create(scope: Scope, gcomm: GComm, place: Integer): Comm`
     141 * `fun[lib="comm"] $comm_create(scope: Scope, gcomm: $comm, place: Integer): $comm`
    142142   * creation
    143  * `fun[lib="comm"] $comm_destroy(comm: Comm)`
     143 * `fun[lib="comm"] $comm_destroy(comm: $comm)`
    144144   * destroy
    145  * `fun[lib="comm", pure] $comm_size(comm: Comm): Integer`
     145 * `fun[lib="comm", pure] $comm_size(comm: $comm): Integer`
    146146   * returns the size of a communicator
    147  * `fun[lib="comm", pure] $comm_place(comm: Comm): Integer`
     147 * `fun[lib="comm", pure] $comm_place(comm: $comm): Integer`
    148148   * returns the place of the local communicator in the corresponding global communicator
    149  * `fun[lib="comm"] $comm_enqueue(comm: Comm, msg: Message)`
     149 * `fun[lib="comm"] $comm_enqueue(comm: $comm, msg: $message)`
    150150   * enqueue
    151  * `fun[lib="comm", pure] $comm_probe(comm: Comm, src: Integer, tag: Integer): Bool`
     151 * `fun[lib="comm", pure] $comm_probe(comm: $comm, src: Integer, tag: Integer): Bool`
    152152   * probe
    153  * `fun[lib="comm"] $comm_seek(comm: Comm, src: Integer, tag: Integer): Message`
     153 * `fun[lib="comm"] $comm_seek(comm: $comm, src: Integer, tag: Integer): $message`
    154154   * seek
    155  * `fun[lib="comm"] $comm_dequeue(comm: Comm, src: Integer, tag: Integer): Message`
     155 * `fun[lib="comm"] $comm_dequeue(comm: $comm, src: Integer, tag: Integer): $message`
    156156   * dequeue
    157157
    … …  
    159159
    160160* Types
    161  * `Domain_strategy`
    162  * `Domain_decomposition`
    163 * `fun[lib="domain"] $domain_partition(dom: Domain, s: Domain_strategy, n: Integer): Domain_decomposition`
     161 * `$domain_strategy`
     162 * `$domain_decomposition`
     163* `fun[lib="domain"] $domain_partition(dom: Domain, s: $domain_strategy, n: Integer): $domain_decomposition`
    164164 * domain decomposition
    165165* `funl[lib="domain"] $is_rectangular_domain(dom: Domain): Bool`