Changes between Version 11 and Version 12 of Library_IR

Timestamp:

12/14/15 09:54:27 (10 years ago)

Author:

zmanchun

Comment:

--

Library_IR

@@ -69 +69 @@
 === `bundle` utility ===
 * Types
- * `Bundle`: a union type of all system types and user-defined types of a given program
-* `fun[lib="bundle", pure] $bundle_size(b: Bundle): Integer`
+ * `$bundle`: a union type of all system types and user-defined types of a given program
+* `fun[lib="bundle", pure] $bundle_size(b: $bundle): Integer`
  * returns the size of the given bundle
-* `fun[lib="bundle"] $bundle_pack(ptr: Pointer, size: Integer): Bundle`
+* `fun[lib="bundle"] $bundle_pack(ptr: Pointer, size: Integer): $bundle`
  * packs data into a bundle
-* `fun[lib="bundle"] $bundle_unpack(bundle: Bundle, ptr: Pointer)`
+* `fun[lib="bundle"] $bundle_unpack(bundle: $bundle, ptr: Pointer)`
  * unpack a bundle
-* `fun[lib="bundle"] $bundle_unpack_apply(data: Bundle, buf: Pointer, size: Integer, op: Operation)`
+* `fun[lib="bundle"] $bundle_unpack_apply(data: $bundle, buf: Pointer, size: Integer, op: $operation)`
  * unpack a bundle and apply some operation to the data
 
@@ -82 +82 @@
 
 ==== barrier operations ====
-* `fun[lib="concurrency"] $gbarrier_create(scope: Scope, size: Integer): GBarrier`
+* Types
+ * `$gbarrier`: the global barrier, a handle type
+ * `$barrier`: the local barrier, a handle type
+* `fun[lib="concurrency"] $gbarrier_create(scope: Scope, size: Integer): $gbarrier`
  * global barrier creation
-* `fun[lib="concurreny"] $gbarrier_destroy(barrier: Gbarrier)`
+* `fun[lib="concurreny"] $gbarrier_destroy(barrier: $gbarrier)`
  * global barrier destroy
-* `fun[lib="concurrency"] $barrier_create(scope: Scope, gbarrier: Gbarrier, place: Integer): Barrier`
+* `fun[lib="concurrency"] $barrier_create(scope: Scope, gbarrier: $gbarrier, place: Integer): $barrier`
  * local barrier creation
-* `fun[lib="concurrency"] $barrier_destroy(barrier: Barrier)`
+* `fun[lib="concurrency"] $barrier_destroy(barrier: $barrier)`
  * local barrier destroy
-*  `fun $barrier_call(barrier: Barrier)`
+*  `fun $barrier_call(barrier: $barrier)`
  * barrier call