diff options
Diffstat (limited to 'plugins/org.eclipse.etrice.doc/html/etrice-docse31.html')
| -rw-r--r-- | plugins/org.eclipse.etrice.doc/html/etrice-docse31.html | 58 |
1 files changed, 21 insertions, 37 deletions
diff --git a/plugins/org.eclipse.etrice.doc/html/etrice-docse31.html b/plugins/org.eclipse.etrice.doc/html/etrice-docse31.html index 1956e96de..922e1773a 100644 --- a/plugins/org.eclipse.etrice.doc/html/etrice-docse31.html +++ b/plugins/org.eclipse.etrice.doc/html/etrice-docse31.html @@ -10,7 +10,7 @@ <meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" /> <!-- xhtml,3,next,html --> <meta name="src" content="etrice-doc.tex" /> -<meta name="date" content="2013-03-25 22:23:00" /> +<meta name="date" content="2013-03-26 21:41:00" /> <link rel="stylesheet" type="text/css" href="etrice-doc.css" /> </head><body > @@ -22,18 +22,17 @@ href="#tailetrice-docse31.html">tail</a>] [<a href="etrice-docch8.html#etrice-docse31.html" >up</a>] </p></div> <h3 class="sectionHead"><span class="titlemark">8.3 </span> <a id="x41-570008.3"></a>Why does it work and why is it safe?</h3> -<!--l. 78--><p class="noindent" >The tutorial shows that it is generally possible to use every port from outside the -model as long as the port knows its peer. This is guaranteed by describing protocol -and the complete structure (especially the bindings) within the model. The only -remaining question is: Why is it safe and does not violate the <span -class="ecbx-1000">run to completion</span> -semantic. To answer this question, take a look at the <span +<!--l. 78--><p class="noindent" >The tutorial shows that it is generally possible to use every port from outside the model as long as the +port knows its peer. This is guaranteed by describing protocol and the complete structure (especially the +bindings) within the model. The only remaining question is: Why is it safe and does not violate the <span +class="ecbx-1000">run</span> +<span +class="ecbx-1000">to completion </span>semantic. To answer this question, take a look at the <span class="ecti-1000">MessageService.java </span>from the -runtime environment. There you will find the receive method which puts each -message into the queue. - - - +runtime environment. There you will find the receive method which puts each message into the +queue. + + </p> <div class="verbatim" id="verbatim-18">     @Override @@ -45,31 +44,16 @@ message into the queue.  <br />    } </div> <!--l. 89--><p class="nopar" > -</p><!--l. 91--><p class="noindent" >This method is synchronized. That means, regardless who sends the message, the -queue is secured. If we later on (e.g. for performance reasons in C/C++) distinguish -between internal and external senders (same thread or not), care must be taken to -use the external (secure) queue. - - - - - - - - - - - - - - - - - - - - - +</p><!--l. 91--><p class="noindent" >This method is synchronized. That means, regardless who sends the message, the queue is +secured. If we later on (e.g. for performance reasons in C/C++) distinguish between internal +and external senders (same thread or not), care must be taken to use the external (secure) +queue. + + + + + + </p> <!--l. 1--><div class="crosslinks"><p class="noindent">[<a href="etrice-docch9.html" >next</a>] [<a |