Changes between Version 126 and Version 127 of IR

Timestamp:

12/10/15 12:27:44 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -634 +634 @@
   `fun[lib="pointer"] $pointer_add(ptr: Pointer,  offset: Integer, type_size: Integer)`
  
-=== bundle ===
+=== `bundle` utility ===
 
 * Type: `Bundle`, which is a union type of all system types and user-defined types of a given program
@@ -654 +654 @@
   `fun[lib="bundle"] $bundle_unpack_apply(data: Bundle, buf: Pointer, size: Integer, op: Operation)`
 
-=== concurrency ===
+=== concurrency utility `concurrency` ===
 
 ==== barrier operations ====
@@ -700 +700 @@
   `fun[lib="concurrency"] $collect_check(checker: Collect_checker, place: Integer, nprocs: Integer, entries: Bundle)`
 
-
-
+=== communication `comm` ===
+* Types
+ * `Message`
+ * `Queue`
+ * `GComm`
+ * `Comm`
+
+* message operations
+ * pack a message: `fun[lib="comm"] $message_pack(src: Integer, dst: Integer, tag: Integer, dt: Pointer, sz: Integer): Message`
+ * unpack a message: `fun[lib="comm"] $message_unpack(msg: Message, buf: Pointer, sz: Integer)`
+ * source of a message: `fun[lib="comm", pure] $message_source(msg: Message): Integer`
+ * tag of a message: `fun[lib="comm", pure] $message_tag(msg: Message): Integer`
+ * destination of a message: `fun[lib="comm", pure] $message_dest(msg: Message): Integer`
+ * size of a message: `fun[lib="comm", pure] $message_size(msg: Message): Integer`
+
+* global communicator operations
+ * creation: `fun[lib="comm"] $gcomm_create(scope: Scope, size: Integer): GComm`
+ * destroy: `fun[lib="comm"] $gcomm_destroy(gcomm: GComm)`
+ * duplication: `fun[lib="comm"] $gcomm_dup(old: Comm, new: Comm)`
+
+* local communicator operations
+ * creation: `fun[lib="comm"] $comm_create(scope: Scope, gcomm: GComm, place: Integer): Comm`
+ * destroy: `fun[lib="comm"] $comm_destroy(comm: Comm)`
+ * get size: `fun[lib="comm", pure] $comm_size(comm: Comm): Integer`
+ * get place: `fun[lib="comm", pure] $comm_place(comm: Comm): Integer`
+ * enqueue: `fun[lib="comm"] $comm_enqueue(comm: Comm, msg: Message)`
+ * probe: `fun[lib="comm", pure] $comm_probe(comm: Comm, src: Integer, tag: Integer): Bool`
+ * seek: `fun[lib="comm"] $comm_seek(comm: Comm, src: Integer, tag: Integer): Message`
+ * dequeue: `fun[lib="comm"] $comm_dequeue(comm: Comm, src: Integer, tag: Integer): Message`
+
+=== domain utility `domain` ===
+
+* Types: `Domain_strategy` and `Domain_decomposition`
+
+* domain decomposition: `fun[lib="domain"] $domain_partition(dom: Domain, s: Domain_strategy, n: Integer): Domain_decomposition`
+* check if domain is rectangular: `funl[lib="domain"] $is_rectangular_domain(dom: Domain): Bool`
+* get dimension: `fun[lib="domain", pure] $dimension_of(dom: Domain): Integer`
+
+=== sequence operations `seq` ===
+* sequence initialization
+
+  `fun[lib="seq"] $seq_init(seq: Pointer, count: Integer, value: Pointer)`
+
+  given a pointer to an object of `Array[T]`, sets that object to be the array of length count in which every element has the same value, specified by the given pointer value.Parameters:
+    1. array: pointer-to-incomplete-array-of-T
+    1. count: any integer type, must be nonnegative
+    1.value: pointer-to-T
+
+* length of sequence
+  
+  `fun[lib="seq", pure] $seq_length(seq: Pointer): Integer`
+
+* insertion
+
+  `fun[lib="seq"] $seq_insert(seq: Pointer, index: Integer, values: Pointer, count: Integer)`
+
+* removal
+
+  `fun[lib="seq"] $seq_remove(seq: Pointer, index: Integer, values: Pointer, count: Integer)`
+
+* appending
+
+  `fun[lib="seq"] $seq_append(seq: Pointer, values: Pointer, count: Integer)`