Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/SMLNJ/src/cml/doc/ML-Doc/cml.mldoc
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/cml/doc/ML-Doc/cml.mldoc

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 105, Thu May 28 21:30:17 1998 UTC revision 106, Thu May 28 21:30:17 1998 UTC
# Line 2  Line 2 
2    
3  <!DOCTYPE ML-DOC SYSTEM>  <!DOCTYPE ML-DOC SYSTEM>
4    
5    <COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998>
6  <COPYRIGHT OWNER="AT&AMP;T Bell Laboratories" YEAR=1995>  <COPYRIGHT OWNER="AT&AMP;T Bell Laboratories" YEAR=1995>
7  <COPYRIGHT OWNER="John H. Reppy" YEAR=1991>  <COPYRIGHT OWNER="John H. Reppy" YEAR=1991>
8  <VERSION VERID="1.0" YEAR=1995 MONTH=11 DAY=16>  <VERSION VERID="1.0" YEAR=1995 MONTH=11 DAY=16>
9  <TITLE>The CML structure</TITLE>  <TITLE>The CML structure</TITLE>
10    
11  <SECT>  <INTERFACE>
12  <HEAD>The <CD/CML/ structure</HEAD>  <HEAD>The <CD/CML/ structure</HEAD>
13    <SEEALSO>
14      <STRREF DOCUMENT=SML-BASIS-DOC TOPID/Option/
15      <STRREF DOCUMENT=SML-BASIS-DOC TOPID/Time/
16    </SEEALSO>
17    
18  <PP>  <PP>
19  <!-- Some general introductory text -->  <!-- Some general introductory text -->
# Line 18  Line 23 
23      <SPEC>      <SPEC>
24        <TYPE><ID>thread_id        <TYPE><ID>thread_id
25          <COMMENT>          <COMMENT>
26            <PP>
27            Thread IDs are the unique IDs associated with &CML; threads.            Thread IDs are the unique IDs associated with &CML; threads.
28            These IDs are in an unspecified total order that can be used to            These IDs are in an unspecified total order that can be used to
29            break cyclic depedencies (see <VALREF/compareTid/).            break cyclic depedencies (see <VALREF/compareTid/).
30      <SPEC>      <SPEC>
31        <TYPE><TYPARAM>'a<ID>chan        <TYPE><TYPARAM>'a<ID>chan
32          <COMMENT>          <COMMENT>
33            <PP>
34            This is the type constructor for synchronous channels.            This is the type constructor for synchronous channels.
35      <SPEC>      <SPEC>
36        <TYPE><TYPARAM>'a<ID>event        <TYPE><TYPARAM>'a<ID>event
37          <COMMENT>          <COMMENT>
38            <PP>
39            Event values are abstract representations of synchronous operations            Event values are abstract representations of synchronous operations
40            (so called <EM>first-class sychronous operations</EM>).            (so called <EM>first-class sychronous operations</EM>).
41      <SPEC>      <SPEC>
42        <VAL>version<TY>{system : string, version_id : int list, date : string}        <VAL>version<TY>{system : string, version_id : int list, date : string}
43        <VAL>banner<TY>string        <VAL>banner<TY>string
44          <COMMENT>          <COMMENT>
45            <PP>
46          These specify the version of &CML; in the same format as &SMLNJ;.          These specify the version of &CML; in the same format as &SMLNJ;.
47      <SPEC>      <SPEC>
48        <VAL>spawnc<TY>('a -> unit) -> 'a -> thread_id        <VAL>spawnc<TY>('a -> unit) -> 'a -> thread_id
# Line 49  Line 58 
58      <SPEC>      <SPEC>
59        <VAL>yield<TY>unit -> unit        <VAL>yield<TY>unit -> unit
60        <COMMENT>        <COMMENT>
61            <PP>
62          This function can be used to implement an explicit context switch.          This function can be used to implement an explicit context switch.
63          Since CML is preemptively scheduled, it should never be necessary for          Since CML is preemptively scheduled, it should never be necessary for
64          user programs to call this function.          user programs to call this function.
# Line 149  Line 159 
159        <VAL>sendEvt<TY>('a chan * 'a) -> unit event        <VAL>sendEvt<TY>('a chan * 'a) -> unit event
160        <VAL>recvEvt<TY>'a chan -> 'a event        <VAL>recvEvt<TY>'a chan -> 'a event
161          <COMMENT>          <COMMENT>
162            <PP>
163            These functions create event values to represent the <VALREF/send/            These functions create event values to represent the <VALREF/send/
164            and <VALREF/recv/ operations.            and <VALREF/recv/ operations.
165      <SPEC>      <SPEC>
# Line 300  Line 311 
311            creates an event value that becomes enabled at the specified time            creates an event value that becomes enabled at the specified time
312            <ARG/t/.            <ARG/t/.
313      </SIGBODY>      </SIGBODY>
   <SEEALSO>  
     <STRREF DOCUMENT=SML-BASIS-DOC TOPID/Option/  
     <STRREF DOCUMENT=SML-BASIS-DOC TOPID/Time/  
   </SEEALSO>  
314  </STRUCTURE>  </STRUCTURE>
315    </INTERFACE>

Legend:
Removed from v.105  
changed lines
  Added in v.106

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0