Erights - User contributions [en]

Walnut/Distributed Computing/Partial Ordering Of Sent Messages

UrxFtl — Wed, 12 Sep 2007 02:26:27 GMT

UrxFtl:

[http://ferventavenger.ifrance.com/lib/gioco-delle.htm gioco delle tette] [http://ferventavenger.ifrance.com/lib/neoclasicismo.htm neoclasicismo] [http://ferventavenger.ifrance.com/lib/sony-fsxp.htm sony fs195xp] [http://cruellan.ifrance.com/directory/totti-moglie/ totti moglie] [http://almightybob17.ifrance.com/pussy-licking.htm pussy licking] [http://almightybob17.ifrance.com/business-services.htm business services] [http://akmokanz.ifrance.com/small/benny-benassi/ benny benassi hit my harth] [http://almightybob17.ifrance.com/uomo-stecca.htm uomo stecca] [http://cruellan.ifrance.com/directory/chistes-infantiles/ chistes infantiles] [http://ferventavenger.ifrance.com/lib/zimmer-battle.htm zimmer battle] [http://godsayit.ifrance.com/lib/winx-bambole/ winx bambole] [http://almightybob17.ifrance.com/finanziamento-commercio.htm finanziamento commercio elettronico] [http://mearen.ifrance.com/content/mensajes-de/ mensajes de texto peru] [http://cruellan.ifrance.com/directory/giochi-come/ giochi come snowboard] [http://akmokanz.ifrance.com/small/oregon-scientific/ oregon scientific 183] [http://godsayit.ifrance.com/lib/tappeto-online/ tappeto online] [http://ferventavenger.ifrance.com/lib/la-mesa.htm la mesa que] [http://almightybob17.ifrance.com/ricevitore-gps.htm ricevitore gps per cellulari] [http://almightybob17.ifrance.com/telaio-kyosho.htm telaio kyosho] [http://mearen.ifrance.com/content/prada-calzature/ prada calzature uomo] [http://cruellan.ifrance.com/directory/radetzki/ radetzki] [http://cruellan.ifrance.com/directory/jakarta-hotel/ jakarta hotel] [http://godsayit.ifrance.com/lib/xiso/ xiso] [http://cruellan.ifrance.com/directory/mp/ mp3 303] [http://godsayit.ifrance.com/lib/hp-omnibook/ hp omnibook 6000] [http://almightybob17.ifrance.com/umts-lg.htm umts lg] [http://akmokanz.ifrance.com/small/azienda-o/ azienda o negozio di abbigliamento di danza a case] [http://akmokanz.ifrance.com/small/listino-prezzo/ listino prezzo] [http://fedwannabe.ifrance.com/resources/cd-one.htm cd one shot 80 vol 15] [http://godsayit.ifrance.com/lib/come-potete/ come potete giudicar] [http://almightybob17.ifrance.com/www-kate.htm www kate lawler porn] [http://akmokanz.ifrance.com/small/veo-veo/ veo veo teresa rabal] [http://cruellan.ifrance.com/directory/palmare-a/ palmare a1000] [http://almightybob17.ifrance.com/chavo-del.htm chavo del 8] [http://cruellan.ifrance.com/directory/judo-boy/ judo boy vol 05] [http://godsayit.ifrance.com/lib/powercenter-kettler/ powercenter kettler] [http://mearen.ifrance.com/content/decapitazioni-it/ decapitazioni it] [http://almightybob17.ifrance.com/power-f.htm power f1] [http://akmokanz.ifrance.com/small/finanziamento-lyon/ finanziamento lyon] [http://godsayit.ifrance.com/lib/troie-foto/ troie foto] [http://almightybob17.ifrance.com/optus-australia.htm optus australia] [http://fedwannabe.ifrance.com/resources/sd-hp.htm sd hp photosmart] [http://fedwannabe.ifrance.com/resources/frigoriferi-incasso.htm frigoriferi incasso 22] [http://mearen.ifrance.com/content/www-cacucci/ www cacucci it] [http://akmokanz.ifrance.com/small/hay-hombe/ hay hombe] [http://mearen.ifrance.com/content/king-of/ king of fighters in tre dimensioni su playstation 2] [http://fedwannabe.ifrance.com/resources/lavastoviglie-.htm lavastoviglie 4 coperti indesit] [http://ferventavenger.ifrance.com/lib/tetotas-gratis.htm tetotas gratis] [http://fedwannabe.ifrance.com/resources/bocchini-a.htm bocchini a cavalli] [http://almightybob17.ifrance.com/home-cinema.htm home cinema lg] [http://cruellan.ifrance.com/directory/nuova-fiat/ nuova fiat grande punto benzina auto] [http://almightybob17.ifrance.com/console-game.htm console game cube] [http://cruellan.ifrance.com/directory/milano-dakar/ milano dakar biglietti aerei] [http://akmokanz.ifrance.com/small/miglioramento-genetico/ miglioramento genetico] [http://mearen.ifrance.com/content/armadillo-/ armadillo king 6] [http://godsayit.ifrance.com/lib/herry-potter/ herry potter online] [http://cruellan.ifrance.com/directory/santamo-hyundai/ santamo hyundai] [http://fedwannabe.ifrance.com/resources/un-posto.htm un posto tranquillo] [http://godsayit.ifrance.com/lib/toonsex/ toonsex] [http://mearen.ifrance.com/content/yakumo-megaimage/ yakumo megaimage 47] [http://akmokanz.ifrance.com/small/usb-synccharger/ usb synccharger] [http://cruellan.ifrance.com/directory/dirrty/ dirrty] [http://almightybob17.ifrance.com/philips-hz.htm philips 100hz] [http://fedwannabe.ifrance.com/resources/hotel-cappellette.htm hotel cappellette roma] [http://mearen.ifrance.com/content/tuisku/ tuisku] [http://akmokanz.ifrance.com/small/perle-coltivate/ perle coltivate] [http://mearen.ifrance.com/content/schramberg/ schramberg] [http://mearen.ifrance.com/content/netgear-router/ netgear router adsl modem] [http://mearen.ifrance.com/content/negosios-com/ negosios com] [http://ferventavenger.ifrance.com/lib/mediterraneo-salvatores.htm mediterraneo salvatores] [http://almightybob17.ifrance.com/trasmettitore-segnale.htm trasmettitore segnale video] [http://almightybob17.ifrance.com/bio-b.htm bio b1 os fl 2000 dosi] [http://akmokanz.ifrance.com/small/disco-fisso/ disco fisso scsi 36] [http://mearen.ifrance.com/content/sony-cyber/ sony cyber shot dsc w7] [http://cruellan.ifrance.com/directory/ignis-k/ ignis k] [http://fedwannabe.ifrance.com/resources/shup-ut.htm shup ut] [http://godsayit.ifrance.com/lib/to-stay/ to stay the same] [http://godsayit.ifrance.com/lib/le-piu/ le piu belle foto di johnny depp] [http://almightybob17.ifrance.com/albergo-mar.htm albergo mar rosso] [http://cruellan.ifrance.com/directory/giochi-ragazze/ giochi ragazze] [http://www.jeffco.edu/ctl/help/depi.htm valtrex online] [http://esi.mit.edu/help/img/didin.htm but azithromycin] [http://esi.mit.edu/help/img/winono.htm rave ringtones] [http://www.jeffco.edu/ctl/help/geze.htm ionamin online] [http://www.howardcollege.edu/Athletics/components/com_news/jubarbee.htm cheap morphine] [http://www.jeffco.edu/ctl/help/nifi.htm ericsson ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/gogiles.htm cheap actos] [http://www.howardcollege.edu/Athletics/components/com_news/hoandrea.htm cheap accutane] [http://www.jeffco.edu/ctl/help/cocelox.htm free tmobile ringtones] [http://recservices.ou.edu/language/img/zixidyz.htm cheap diethylpropion] [http://esi.mit.edu/help/img/gojezuk.htm buspar online] [http://www.howardcollege.edu/Athletics/components/com_news/gijoel.htm cheap ephedrine] [http://www.howardcollege.edu/Athletics/components/com_news/alkugler.htm buy viagra] [http://esi.mit.edu/help/img/doluzeb.htm sony ericsson ringtones] [http://esi.mit.edu/help/img/jicoh.htm didrex online] [http://recservices.ou.edu/language/img/sexu.htm mp3 ringtones] [http://esi.mit.edu/help/img/donyju.htm free weird ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/lohankle.htm cheap flonase] [http://www.howardcollege.edu/Athletics/components/com_news/baallen.htm student loan] [http://www.jeffco.edu/ctl/help/sogo.htm free mtv ringtones] [http://www.jeffco.edu/ctl/help/xejyvuz.htm techno ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/camendes.htm verizon ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/scdaughe.htm midi ringtones] [http://esi.mit.edu/help/img/dyvowe.htm true ringtones] [http://www.jeffco.edu/ctl/help/tifu.htm buy adipex] [http://www.howardcollege.edu/Athletics/components/com_news/crhuhn.htm ambien] [http://www.jeffco.edu/ctl/help/xyve.htm viagra online] [http://www.howardcollege.edu/Athletics/components/com_news/vialmand.htm airline tickets] [http://www.jeffco.edu/ctl/help/lewu.htm online wellbutrin] [http://www.howardcollege.edu/Athletics/components/com_news/denighti.htm ephedrine] [http://www.jeffco.edu/ctl/help/cuxy.htm free anime ringtones] [http://esi.mit.edu/help/img/fudyv.htm flonase online] [http://www.howardcollege.edu/Athletics/components/com_news/coelizab.htm free monophonic ringtones] [http://esi.mit.edu/help/img/kivuro.htm hindi ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/bajoane.htm cheap clomid] [http://www.howardcollege.edu/Athletics/components/com_news/prphifer.htm cheap paxil] [http://www.howardcollege.edu/Athletics/components/com_news/lefineou.htm azithromycin online] [http://esi.mit.edu/help/img/cerekoz.htm punk ringtones] [http://esi.mit.edu/help/img/wypefy.htm ritalin online] [http://esi.mit.edu/help/img/kikine.htm metronidazole online] [http://recservices.ou.edu/language/img/zysuryk.htm celexa online] [http://esi.mit.edu/help/img/pogyz.htm free alltel ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/grgilles.htm payday loan] [http://www.jeffco.edu/ctl/help/zidoxo.htm carisoprodol online] [http://www.jeffco.edu/ctl/help/xufedi.htm cipro online] [http://www.howardcollege.edu/Athletics/components/com_news/hosieber.htm cellphone ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/gidailly.htm mortgage second] [http://www.howardcollege.edu/Athletics/components/com_news/grcarmie.htm zovirax online] [http://www.howardcollege.edu/Athletics/components/com_news/jecynthi.htm cheap lipitor] [http://www.howardcollege.edu/Athletics/components/com_news/pibarnha.htm cheap bontril] [http://esi.mit.edu/help/img/xoty.htm buy metformin] [http://recservices.ou.edu/language/img/wezybe.htm cheap albuterol] [http://www.howardcollege.edu/Athletics/components/com_news/owevans.htm cheap ephedra] [http://esi.mit.edu/help/img/lewyde.htm free sprint ringtones] [http://esi.mit.edu/help/img/loge.htm free mtv ringtones] [http://esi.mit.edu/help/img/byvu.htm cheap amoxicillin] [http://www.howardcollege.edu/Athletics/components/com_news/wedowney.htm cheap soma] [http://www.howardcollege.edu/Athletics/components/com_news/racarr.htm cheap vigrx] [http://www.jeffco.edu/ctl/help/bydys.htm free cellular ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/saphilip.htm didrex] [http://esi.mit.edu/help/img/nopud.htm techno ringtones] [http://esi.mit.edu/help/img/hine.htm polyphonic ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/lehollif.htm cheap vardenafil] [http://www.howardcollege.edu/Athletics/components/com_news/mucaulif.htm consolidate debt] [http://recservices.ou.edu/language/img/locy.htm cheap wellbutrin] [http://www.howardcollege.edu/Athletics/components/com_news/almcginn.htm hindi ringtones] [http://www.howardcollege.edu/Athletics/components/com_news/giedwin.htm cheap venlafaxine] [http://www.howardcollege.edu/Athletics/components/com_news/mcmaurin.htm buy adderall] [http://www.howardcollege.edu/Athletics/components/com_news/chgoldsb.htm buy diovan] [http://www.jeffco.edu/ctl/help/xefok.htm diflucan online] [http://www.howardcollege.edu/Athletics/components/com_news/netorrez.htm bmw car] [http://recservices.ou.edu/language/img/tisyh.htm cheap hydrocodone] [http://www.howardcollege.edu/Athletics/components/com_news/lofrick.htm free alltel ringtones] [http://esi.mit.edu/help/img/wujog.htm lisinopril online] [http://recservices.ou.edu/language/img/jihudub.htm soma] [http://www.howardcollege.edu/Athletics/components/com_news/stbauden.htm cheap meridia] [http://www.jeffco.edu/ctl/help/polox.htm rivotril] [http://www.howardcollege.edu/Athletics/components/com_news/giabriel.htm cheap protonix] [http://www.howardcollege.edu/Athletics/components/com_news/mismoot.htm buy pharmacy online] [http://www.jeffco.edu/ctl/help/hice.htm imitrex online] [[Category:Walnut|3]]

===Partial Ordering Of Sent Messages===

The above example moves the carRcvr around repeatedly and then asks for the amount of fuel remaining. This displays another important property of eventual sends: if object A sends several messages via a single reference to object B, it is guaranteed that those messages will arrive and be processed in the order of sending. This is only a partial ordering, however. From B's point of view, there are no guarantees that the messages from A will not be interspersed with messages from C, D, etc. Also, from A's point of view, there are no guarantees that, if A sends messages to both B and C, the message to B will arrive before (or after) the message to C, regardless of the order in which A initiates the messages. Furthermore, if A happens to have 2 different references to B (such as 2 promises that both will eventually resolve to B), the guarantee only applies to messages being sent down one reference.

Despite those uncertainties, however, in the example the partial ordering is sufficient to guarantee that fuelPromise will resolve to the quantity of fuel remaining after all three of the moveTo() operations have occurred. It also guarantees that those moveTo()s will have been performed in the specified sequence.

On first introduction, it is hard to fully appreciate the relationship between partial ordering and when-catch delayed activation. Here is a more sophisticated example.

<pre>

<nowiki># E syntax
def cars := [car1,car2,car3]
for each in cars {
def nameVow := each <- getName()
def moveVow := each <- moveTo(3,4)
when (nameVow, moveVow) -> {
println(`Car $nameVow has arrived`)
} catch e {println("A car did not make it")}
}
println ("Cars have been told to move, but no print of any arrivals has yet occurred")
</nowiki>

</pre>

In this example, getName and moveTo messages are sent to all the cars in the list in rapid-fire succession, never waiting for any answers to get back. The "Cars have been told to move" message at the bottom is guaranteed to print before any "has arrived" messages print. We cannot predict which of the 3 cars will arrive first, second, or third. It all depends on where they are running, how slow the connections are, how loaded the processors are. We cannot even predict which will receive the moveTo message first: though the program is guaranteed to fire off the message to car1 first, the processor upon which car1 executes might be several thousand miles away across the Internet, across a dozen bottlenecked routers. And car2 could be running on a computer two feet away, a short hop down an Ethernet connection. In that case car2 would probably be first to receive its message, and be first to actually arrive, and be the first to return its resolution so the arrival message could print--all three of those events being independent, and the first car to do one is not necessarily the first car to do the next.

Meanwhile, it is guaranteed that each car will get the getName message before it gets the moveTo message. It is ''not'' guaranteed that the nameVow will resolve to an answer before the moveVow has resolved, so you must use a multi-vow when-catch to use the name inside the when body with confidence. And if the moveTo promise is broken, which activates the catch clause, we do not know the resolution of the name--it could have fulfilled before the moveTo promise broke, or the name promise could be waiting (and on the verge of being broken or fulfilled) as well. We could use the E isBroken() function described later if we wanted to try to print the name of the car in the catch clause in those situations where the name was fulfilled though the moveTo was broken.

Also it is worth noting that the moveTo method, when used in an eventual send, returns a promise even though the moveTo method is of type "void" (i.e., "does not return a value"). This promise, if fulfilled, will always become the uninteresting value of null...but as shown in this example, sometimes it is valuable to know that fulfillment has occurred, or that fulfillment has failed, even if you do not care what the fulfilled value may be.

Sometimes you want to ensure that car1 arrives before car2, and car2 before car3. In a simple problem you could use nested when-catches, described later. In this example, where you don't necessarily know how many cars there are, you would use the recursive when-while pattern or the sendValve utility, both described at the end of the chapter.

Walnut/Distributed Computing/Partial Ordering Of Sent Messages

UrxFtl — Mon, 10 Sep 2007 04:33:10 GMT

UrxFtl:

[http://farshad-uk.isuisse.com/styles/un-uomo.htm un uomo venuto da molto lontano] [http://levirgule.iespana.es/saeco-nice/ saeco nice] [http://mentalquicksand.ibelgique.com/library/mortacci.htm mortacci] [http://pooponastick.ibelgique.com/description/ereditiere/ ereditiere] [http://mongo42.ibelgique.com/cariola/ cariola] [http://mubathsh.angelfire.com/text/falzoni-sas.htm falzoni sas] [http://muamive.isuisse.com/library/calcio-possibili/ calcio possibili risultati] [http://samuiel.isuisse.com/html/virus-per/ virus per cellulare] [http://ruoj-ruoj.isuisse.com/description/recorder-hard/ recorder hard disk divx] [http://levirgule.iespana.es/happy-center/ happy center abbigliamento] [http://sarahxion.ibelgique.com/blog/jeje-czarne.htm jeje czarne oczy] [http://epbristo.angelfire.com/grondaie/ grondaie] [http://bet-deratos.iespana.es/topic/nintendo-game/ nintendo game cube resident evil 4] [http://mubathsh.angelfire.com/text/www-casavacanze.htm www casavacanze it] [http://sportsgal25.iespana.es/blog/scudetto-ps.htm scudetto ps2] [http://sharkymel.isuisse.com/web/rebel-moves/ rebel moves sheep] [http://songsoutofkey.isuisse.com/view/everybodys-got.htm everybodys got to learn sometime] [http://sharkymel.isuisse.com/web/ricetta-riso/ ricetta riso] [http://dreameradrift.ibelgique.com/small/garage-ermetico/ garage ermetico] [http://farshad-uk.isuisse.com/styles/songs-about.htm songs about jane maroon5] [http://epbristo.angelfire.com/lettore/ lettore 6 1] [http://todomy.ibelgique.com/directory/nokia-/ nokia 3220 edge] [http://pooponastick.ibelgique.com/description/usb-sony/ usb sony] [http://mentalquicksand.ibelgique.com/library/today-s.htm today s people] [http://flameshes.isuisse.com/topic/bbs-ruote/ bbs ruote] [http://mongo42.ibelgique.com/krusenstern-adam/ krusenstern adam johann von] [http://killbox.ibelgique.com/html/camere-olbia.htm camere olbia] [http://sportsgal25.iespana.es/blog/home-theatre.htm home theatre all in one] [http://glchinsy.angelfire.com/topic/nicolosi-srl/ nicolosi srl] [http://grizs.iespana.es/articles/divx-avi.htm divx avi mpeg4] [http://da-kosta.iespana.es/directory/enricomacias.htm enricomacias] [http://sportsgal25.iespana.es/blog/alice-cooper.htm alice cooper prime cuts] [http://akyla-pera.isuisse.com/text/opel-autoradio.htm opel autoradio] [http://glchinsy.angelfire.com/topic/o-mio/ o mio babbino] [http://jkc42.ibelgique.com/compilation-discoradio.htm compilation discoradio] [http://blaleyne.angelfire.com/new/epson-a.htm epson a1] [http://arb-digits.iespana.es/web/video-youssou.htm video youssou ndour] [http://marebeck.angelfire.com/new/teenage-dirtbag/ teenage dirtbag wheatus] [http://levirgule.iespana.es/laura-freddi/ laura freddi nuda] [http://magenta4eva.iespana.es/geosat-travel.htm geosat travel] [http://akyla-pera.isuisse.com/text/carnielli-cx.htm carnielli cx] [http://mubathsh.angelfire.com/text/barbara-durso.htm barbara durso sex sex topless] [http://re-nrevival.isuisse.com/view/incontri-sesso.htm incontri sesso foggia] [http://scsheppe.angelfire.com/articles/downolad-video.htm downolad video nicholas berg] [http://levirgule.iespana.es/doppio-intrigo/ doppio intrigo] [http://pahopewe.angelfire.com/resources/telefono-celulari.htm telefono celulari] [http://arb-digits.iespana.es/web/gloria-trevi.htm gloria trevi] [http://den-namore.isuisse.com/phimonline/ phimonline] [http://scsheppe.angelfire.com/articles/incasso-lavastoviglie.htm incasso lavastoviglie] [http://mentalquicksand.ibelgique.com/library/lavorare-a.htm lavorare a roma] [http://vanisky-love.iespana.es/resources/vieri-veronica/ vieri veronica] [http://jkc42.ibelgique.com/my-immortal.htm my immortal per tastiera] [http://you-edicks.iespana.es/web/epson-photo.htm epson photo stylus color] [http://da-kosta.iespana.es/directory/totano-sott.htm totano sott olio] [http://cakresen.angelfire.com/articles/houston-i.htm houston i like that] [http://eupnea.ibelgique.com/fai-come/ fai come ti pare max pezzali] [http://salpukka.isuisse.com/lib/tajumulco/ tajumulco] [http://grizs.iespana.es/articles/selettore-multiscart.htm selettore multiscart] [http://akyla-pera.isuisse.com/text/dimmi-che.htm dimmi che ci sei alex baroni] [http://pahopewe.angelfire.com/resources/decorare-la.htm decorare la stoffa] [http://ms-dirtnap.ibelgique.com/description/deadly-dozen/ deadly dozen] [http://iaa.ibelgique.com/blog/business-card.htm business card reader] [http://quarantined-x.iespana.es/view/www-usarci/ www usarci it] [http://mongo42.ibelgique.com/fx/ fx 5500] [http://mubathsh.angelfire.com/text/les-feuilles.htm les feuilles mortes] [http://callie-avalon.iespana.es/demm/ demm] [http://therealocelot.ibelgique.com/articles/appartamenti-in/ appartamenti in affitto parigi] [http://iaa.ibelgique.com/blog/norkis-batista.htm norkis batista] [http://mubathsh.angelfire.com/text/acido-retinoico.htm acido retinoico] [http://girlwithacurl.ibelgique.com/small/panca-pettorali.htm panca pettorali e addominali] [http://blaleyne.angelfire.com/new/sedili-usati.htm sedili usati] [http://arb-digits.iespana.es/web/foto-raf.htm foto raf] [http://stdamin.angelfire.com/resources/temps-modernes.htm temps modernes les] [http://salpukka.isuisse.com/lib/karine-anton/ karine anton] [http://scsheppe.angelfire.com/articles/pilot-v.htm pilot v5] [http://re-nrevival.isuisse.com/view/i-wanna.htm i wanna go] [http://killbox.ibelgique.com/html/viaccess-keys.htm viaccess2 keys] [http://bodendrucker.ibelgique.com/resources/daim/ daim] [http://masteriii.isuisse.com/pistas-tego.htm pistas tego calderon] [http://akyla-pera.isuisse.com/text/magnani.htm magnani] [http://marebeck.angelfire.com/new/hex-files/ hex files seca] [http://anryg.iespana.es/lib/gigaset-c.htm gigaset c250 siemens cordless] [http://songsoutofkey.isuisse.com/view/seno-grande.htm seno grande] [http://grizs.iespana.es/articles/vacanza-trentino.htm vacanza trentino montagna] [http://scsheppe.angelfire.com/articles/laquila.htm laquila] [http://flameshes.isuisse.com/topic/conversione-pdf/ conversione pdf word] [http://girlwithacurl.ibelgique.com/small/mx-pentax.htm mx4 pentax] [http://vanisky-love.iespana.es/resources/il-mio/ il mio eroe] [http://ravenmax.iespana.es/monton-de.htm monton de estrellas midi] [http://miki-hana.isuisse.com/description/esportazione-ciste/ esportazione ciste] [http://re-nrevival.isuisse.com/view/costantino-vitagliano.htm costantino vitagliano tv] [http://sarahxion.ibelgique.com/blog/gitiesse.htm gitiesse] [http://zelankom.iespana.es/nvidia-quadro/ nvidia quadro fx330] [http://bodendrucker.ibelgique.com/resources/logitech-/ logitech pilot wheel mouse] [http://killbox.ibelgique.com/html/elmore-leonard.htm elmore leonard] [http://farshad-uk.isuisse.com/styles/vi-am.htm vi am] [http://grizs.iespana.es/articles/hotel-europa.htm hotel europa novara] [http://quarantined-x.iespana.es/view/orientale-uganda/ orientale (uganda)] [http://annie-fialochka.ibelgique.com/lib/elenco-telefonico.htm elenco telefonico svezia] [http://ana-princes.iespana.es/new/osama-bin/ osama bin laden captured] [[Category:Walnut|3]]

===Partial Ordering Of Sent Messages===

The above example moves the carRcvr around repeatedly and then asks for the amount of fuel remaining. This displays another important property of eventual sends: if object A sends several messages via a single reference to object B, it is guaranteed that those messages will arrive and be processed in the order of sending. This is only a partial ordering, however. From B's point of view, there are no guarantees that the messages from A will not be interspersed with messages from C, D, etc. Also, from A's point of view, there are no guarantees that, if A sends messages to both B and C, the message to B will arrive before (or after) the message to C, regardless of the order in which A initiates the messages. Furthermore, if A happens to have 2 different references to B (such as 2 promises that both will eventually resolve to B), the guarantee only applies to messages being sent down one reference.

Despite those uncertainties, however, in the example the partial ordering is sufficient to guarantee that fuelPromise will resolve to the quantity of fuel remaining after all three of the moveTo() operations have occurred. It also guarantees that those moveTo()s will have been performed in the specified sequence.

On first introduction, it is hard to fully appreciate the relationship between partial ordering and when-catch delayed activation. Here is a more sophisticated example.

<pre>

<nowiki># E syntax
def cars := [car1,car2,car3]
for each in cars {
def nameVow := each <- getName()
def moveVow := each <- moveTo(3,4)
when (nameVow, moveVow) -> {
println(`Car $nameVow has arrived`)
} catch e {println("A car did not make it")}
}
println ("Cars have been told to move, but no print of any arrivals has yet occurred")
</nowiki>

</pre>

In this example, getName and moveTo messages are sent to all the cars in the list in rapid-fire succession, never waiting for any answers to get back. The "Cars have been told to move" message at the bottom is guaranteed to print before any "has arrived" messages print. We cannot predict which of the 3 cars will arrive first, second, or third. It all depends on where they are running, how slow the connections are, how loaded the processors are. We cannot even predict which will receive the moveTo message first: though the program is guaranteed to fire off the message to car1 first, the processor upon which car1 executes might be several thousand miles away across the Internet, across a dozen bottlenecked routers. And car2 could be running on a computer two feet away, a short hop down an Ethernet connection. In that case car2 would probably be first to receive its message, and be first to actually arrive, and be the first to return its resolution so the arrival message could print--all three of those events being independent, and the first car to do one is not necessarily the first car to do the next.

Meanwhile, it is guaranteed that each car will get the getName message before it gets the moveTo message. It is ''not'' guaranteed that the nameVow will resolve to an answer before the moveVow has resolved, so you must use a multi-vow when-catch to use the name inside the when body with confidence. And if the moveTo promise is broken, which activates the catch clause, we do not know the resolution of the name--it could have fulfilled before the moveTo promise broke, or the name promise could be waiting (and on the verge of being broken or fulfilled) as well. We could use the E isBroken() function described later if we wanted to try to print the name of the car in the catch clause in those situations where the name was fulfilled though the moveTo was broken.

Also it is worth noting that the moveTo method, when used in an eventual send, returns a promise even though the moveTo method is of type "void" (i.e., "does not return a value"). This promise, if fulfilled, will always become the uninteresting value of null...but as shown in this example, sometimes it is valuable to know that fulfillment has occurred, or that fulfillment has failed, even if you do not care what the fulfilled value may be.

Sometimes you want to ensure that car1 arrives before car2, and car2 before car3. In a simple problem you could use nested when-catches, described later. In this example, where you don't necessarily know how many cars there are, you would use the recursive when-while pattern or the sendValve utility, both described at the end of the chapter.