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/trunk/src/cml/doc/HTML/sync-var.html
ViewVC logotype

Diff of /sml/trunk/src/cml/doc/HTML/sync-var.html

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

revision 843, Tue Jun 19 21:53:04 2001 UTC revision 844, Wed Jun 20 20:39:15 2001 UTC
# Line 59  Line 59 
59    
60  <DT> <A NAME="SIG:SYNC_VAR.ivar:TY"><CODE><B>type</B> 'a ivar</CODE></A>  <DT> <A NAME="SIG:SYNC_VAR.ivar:TY"><CODE><B>type</B> 'a ivar</CODE></A>
61  <DD>  <DD>
62          This is the type constructor for I-structured variables.        I-structured variables are write-once variables that provide    synchronization on read operations.     They are especially useful for one-shot communications, such    as reply messages in client/server protocols.          This is the type constructor for I-structured variables.        I-structured variables are write-once variables that provide    synchronization on read operations.     They are especially useful for one-shot communications, such    as reply messages in client/server protocols, and can also be used      to implement shared <EM>incremental</EM> data structures.
63  <BR>  <BR>
64  <BR>  <BR>
65    
# Line 100  Line 100 
100  <DT> <A NAME="SIG:SYNC_VAR.sameIVar:VAL"><CODE>sameIVar (<VAR>iv1</VAR>, <VAR>iv2</VAR>)  <DT> <A NAME="SIG:SYNC_VAR.sameIVar:VAL"><CODE>sameIVar (<VAR>iv1</VAR>, <VAR>iv2</VAR>)
101            </CODE></A>            </CODE></A>
102  <DD>  <DD>
103  returns <CODE>true</CODE>, if the <VAR>iv1</VAR> and <VAR>iv2</VAR> are the       same I-variable.  returns <CODE>true</CODE>, if <VAR>iv1</VAR> and <VAR>iv2</VAR> are the           same I-variable.
104  <BR>  <BR>
105  <BR>  <BR>
106    
# Line 117  Line 117 
117  <BR>  <BR>
118  <BR>  <BR>
119    
120  <DT> <A NAME="SIG:SYNC_VAR.mVarInit:VAL"><CODE>mVar x  <DT> <A NAME="SIG:SYNC_VAR.mVarInit:VAL"><CODE>mVarInit <VAR>x</VAR>
121            </CODE></A>            </CODE></A>
122  <DD>  <DD>
123  creates a new M-variable initialized to <VAR>x</VAR>.  creates a new M-variable initialized to <VAR>x</VAR>.
# Line 183  Line 183 
183  <BR>  <BR>
184  <BR>  <BR>
185    
186  <DT> <A NAME="SIG:SYNC_VAR.mSwapEvt:VAL"><CODE>mSwapEvt <VAR>mv</VAR>  <DT> <A NAME="SIG:SYNC_VAR.mSwapEvt:VAL"><CODE>mSwapEvt (<VAR>mv</VAR>, <VAR>newV</VAR>)
187            </CODE></A>            </CODE></A>
188  <DD>  <DD>
189  returns an event-value that represents the <A HREF="sync-var.html#SIG:SYNC_VAR.mSwap:VAL:SPEC">mSwap</A>          operation on <VAR>mv</VAR> and <VAR>newV</VAR>.  returns an event-value that represents the <A HREF="sync-var.html#SIG:SYNC_VAR.mSwap:VAL:SPEC">mSwap</A>          operation on <VAR>mv</VAR> and <VAR>newV</VAR>.
# Line 205  Line 205 
205  </BLOCKQUOTE>  </BLOCKQUOTE>
206  <H4>Discussion</H4>  <H4>Discussion</H4>
207  <P>  <P>
208  I-variables provide a useful mechanism for implementing the reply communication in request/reply protocols. They may also be used to implement incremental data structures and streams.  I-variables provide a useful mechanism for implementing the reply communication in request/reply protocols (in cases where the server does not care if the reply is accepted). They may also be used to implement incremental data structures and streams; for example, the <A HREF="multicast.html#Multicast:STR:SPEC">Multicast</A> structure uses I-variables to implement its multicast channels.
209  <P>  <P>
210  A disciplined use of M-variables can provide an atomic read-modify-write operation.  A disciplined use of M-variables can provide an atomic read-modify-write operation.
211    

Legend:
Removed from v.843  
changed lines
  Added in v.844

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