Caml1999I037kXF%Event'channel;!a@@A@A@G@B@@@)event.mliXppXp@@@@@@A@+new_channel @$unitF@@@@@"!a@@@@@@@[[@@/A@@%event!;!a@@A@A@A@B@@@.^  /^ @@@@@B@A@$send"@'!a@@@@@@@ @@'=@@@@@@@@@@@PcQc@@bC@@'receive#@I!a@@@@@@@@@@@@ihjh@@{D@@&always$@!a@@@3@@@@@@~jj@@E@@&choose%@$listKJ!a@@@@@@@@@S @@@@@@noono@@F@@$wrap&@d!a@@@@@@@@ @@!b@@@@@x@@@@@@@@rr *@@G@@*wrap_abort'@!a@@@@@@@@@@@@@@@@@@@@@@@@@@@@w  w  @@H@@%guard(@@@@@@@!a@@@@@@@@ @@@@@@ |  |  @@I@@$sync)@Ӡ!a@@@@@@@@@"B  #B  @@4J@@&select*@!a@@@@@@@@@@@@<H  =H  @@NK@@$poll+@!a@@@@@@&optionL @@@@@@XL G GYL G g@@jL@@@c8-%Event0Hi|j?/8w80Ƞ&Stdlib0t0VoS%{<F:8CamlinternalFormatBasics0|.e1R$|o@@@Caml1999T0379y"3C%Event*ocaml.text&_none_@@A 2 First-class synchronous communication. This module implements synchronous inter-thread communications over channels. As in John Reppy's Concurrent ML system, the communication events are first-class values: they can be built and combined independently before being offered for communication. )event.mliP77Vln@@@@@@3@@@@#intA;@@A@@@@@9@A@$charB;@@A@@@@@>@A@&stringQ;@@A@@@@@C@@@%bytesC;@@A@@@@@H@@@%floatD;@@A@@@@@M@@@$boolE;@@%falsec@@W@$trued@@]@@@A@@@@@^@A@$unitF;@@"()e@@h@@@A@@@@@i@A@ #exnG;@@@A@@@@@m@@@#effH;@@O@A@A@@@@@@v@@@,continuationI;@@Q@@P@B A@nY@@@@@@@@@%arrayJ;@@R@AA@@@@@@@@@ $listK;@@S@A"[]f@@@"::g@@@T@@@ @@A@Y@@@@@@@@&optionL;@@V@A$Noneh@@@$Somei@@@@@A@Y@@@@@@@@)nativeintM;@@A@@@@@@@@%int32N;@@A@@@@@@@@%int64O;@@A@@@@@@@@&lazy_tP;@@X@AA@Y@@@@@@@@ 5extension_constructorR;@@A@@@@@@@@*floatarrayS;@@A@@@@@@@@&iarrayT;@@Y@AA@Y@@@@@@@@ *atomic_locU;@@Z@AA@@@@@@@@@ .Assert_failure`#@@@@@J@@@@@@@@[@@A=ocaml.warn_on_literal_pattern@@0Division_by_zero]#@@@A  @+End_of_file\#$@@@A#&&@'FailureY#,@'@@A,//@0Invalid_argumentX#5@0@@A5$8#8@-Match_failureV#>@@=@9@;@@a@@AF5I4I@)Not_foundZ#O@@@AN=Q<Q@-Out_of_memoryW#W@@@AVEYDY@.Stack_overflow^#_@@@A^MaLa@.Sys_blocked_io_#g@@@AfUiTi@)Sys_error[#o@j@@Ao^r]r@:Undefined_recursive_modulea#x@@w@s@u@@h@@Aon@:Continuation_already_takenb#@@@Awv@&Stdlib@AA+'channelAXpxXp@А!a@|3@;@@{@A@A@G@B@@@Xpp@)ocaml.doc B The type of communication channels carrying values of type ['a]. YY@@@@@@@@@@@@AXpuXpw@@BA@;%@A@A@G@B@@@@@ @@A@ʐ@@@@@@@°':@+new_channel[[@б@г$unit[[@@ @@@3@Y+@A@@г]'channel[[@А!a@B@[[@@@ @@@@@@$@@ @@!'@@@[@c7 Return a new channel. \\ @@@@@@@(A@@*@s#@@@@@@@A+%eventB'^ (^ @А!a@3........@Uj4;@@@A@A@G@B@@@<^  @ C The type of communication events returning a result of type ['a]. I_J_c@@@@@@@@@bB@@AM^ N^ @@@A@;$@AA@A@B@@@@@ @@A@d@@@@@@@3\\\\\\\\@-@A%9@$sendicjc@б@г預'channeltcuc@А!a@C@3||||||||@N^1@Acc@@@ @@@ @@б@А!ac c @@гq%eventcc@гL$unitcc@@ @@@(@@@@@@- @@@7@@ @@2#@@@2@@ @@75@@@c!@ [send ch v] returns the event consisting in sending the value [v] over the channel [ch]. The result value of this event is [()]. aeeb@@@@@@@C@@1@*ڐ@@@@@@V'receivehh@б@г]'channelhh@А!a@C@3@u>@Ahh@@@ @@@ @@гݠ%eventhh@А!a h h@@@"@@@ @@@@@ @@#!@@@h@z [receive ch] returns the event consisting in receiving a value from the channel [ch]. The result value of this event is the value received. &e'g@@@@@@@?D@@%@:@@@@@@B&always=j>j@б@А!a@C@3FFFFFFFF@Wr4@ALjMj@@г.%eventUjVj@А!a\j]j@@@@@@ @@@#@@ @@@@@jj@ː r [always v] returns an event that is always ready for synchronization. The result value of this event is [v]. wkxl/m@@@@@@@E@@%@@@@@@@=&choosenosnoy@б@г$listnono@г|%eventnono@А!a@C@3@fwH@Ano|no~@@@ @@@ @@@&@@@ #@@г%eventnono@А!a!nono@@@'@@@# @@@@@ @@(&@@@noo@: ` [choose evl] returns the event that is the alternative of all the events in the list [evl]. op@@@@@@@F@@%@J@@@@@@G$wrapr r @б@г᠐%eventr  r @А!a@C@3@f>@Ar r @@@ @@@ @@б@б@А!a%r &r @@А!b@C@0r 1r @@@(@@ @@#@@г%event>r %?r *@А!b1Er "Fr $@@@ @@@8 @@@@@ @@=Qr @@@>@@ @@CA@@@Yr@ [wrap ev fn] returns the event that performs the same communications as [ev], then applies the post-processing function [fn] on the return value. fs + +gu  @@@@@@@G@@+@z@@@@@@b*wrap_abort}w  ~w  @б@гa%eventw  w  @А!a@C@3@>@Aw  w  @@@ @@@ @@б@б@гR$unitw  w  @@ @@@@@г_$unitw  w  @@ @@@'@@@@@@@, @@г%eventw  w  @А!a?:w  w  @@@E@@@A @@@@@ @@Fw  @@@G@@ @@LJ@@@w  @C [wrap_abort ev fn] returns the event that performs the same communications as [ev], but if it is not selected the function [fn] is called after the synchronization. x  z x @@@@@@@H@@+@S@@@@@@k%guard|  |  @б@б@г$unit|  |  @@ @@@3@:@A@@г%event"|  #|  @А!a@C@.|  /|  @@@ @@@@@@$@@ @@!'@@г%eventA|  B|  @А!a/H|  I|  @@@%@@@6 @@@@@ @@;T|  @@@W|  @ [guard fn] returns the event that, when synchronized, computes [fn()] and behaves as the resulting event. This enables computing events with side-effects at the time of the synchronization operation. d}  e@  @@@@@@@}I@@&@x@@@@@@[$sync{B  |B  @б@г_%eventB  B  @А!a@C@3@z>@AB  B  @@@ @@@ @@А!a B  B  @@@@@@@@@@B   @ 'Synchronize' on an event: offer all the communication possibilities specified in the event to the outside world, and block until one of the communications succeed. The result value of that communication is returned. C  F  @@@@@@@J@@@ɐ@@@@@@3&selectH  H  @б@гP$listH  H  @г%eventH  H  @А!a@C@3@\wH@AH  H  @@@ @@@ @@@&@@@ #@@А!aH  H  @@@@@@@@@@H   @i a 'Synchronize' on an alternative of events. [select evl] is shorthand for [sync(choose evl)]. I  J  E@@@@@@@.K@@@y)@@@@@@8$poll,L G K-L G O@б@г%event7L G U8L G Z@А!a@C@3????????@W|>@AEL G RFL G T@@@ @@@ @@г&optionSL G aTL G g@А!aZL G ^[L G `@@@"@@@ @@@@@ @@#!@@@hL G G@ɐ 1 Non-blocking version of {!Event.sync}: offer all the communication possibilities specified in the event to the outside world, and if one can take place immediately, perform it and return [Some r] where [r] is the result value of that communication. Otherwise, return [None] without blocking. uM h hvQn@@@@@@@L@@%@@@@@@@B@A@@g:A@'@w@W(@@=@@C@#@@v8@@3@]x:@A@ H************************************************************************A@@A@L@ H BMMBM@ H OCaml CC@ H DD3@ H David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt E44E4@ H FF@ H Copyright 1996 Institut National de Recherche en Informatique et GG@ H en Automatique. HHg@ H IhhIh@ H All rights reserved. This file is distributed under the terms of JJ@ H the GNU Lesser General Public License version 2.1, with the KKN@ H special exception on linking described in the file LICENSE. LOOLO@ H MM@ H************************************************************************NN5@ 3* First-class synchronous communication. This module implements synchronous inter-thread communications over channels. As in John Reppy's Concurrent ML system, the communication events are first-class values: they can be built and combined independently before being offered for communication.  C* The type of communication channels carrying values of type ['a]. M8* Return a new channel.  D* The type of communication events returning a result of type ['a].  * [send ch v] returns the event consisting in sending the value [v] over the channel [ch]. The result value of this event is [()]. > * [receive ch] returns the event consisting in receiving a value from the channel [ch]. The result value of this event is the value received. ᠠ s* [always v] returns an event that is always ready for synchronization. The result value of this event is [v].  a* [choose evl] returns the event that is the alternative of all the events in the list [evl]. ' * [wrap ev fn] returns the event that performs the same communications as [ev], then applies the post-processing function [fn] on the return value.  * [wrap_abort ev fn] returns the event that performs the same communications as [ev], but if it is not selected the function [fn] is called after the synchronization. $ * [guard fn] returns the event that, when synchronized, computes [fn()] and behaves as the resulting event. This enables computing events with side-effects at the time of the synchronization operation.  * 'Synchronize' on an event: offer all the communication possibilities specified in the event to the outside world, and block until one of the communications succeed. The result value of that communication is returned. d b* 'Synchronize' on an alternative of events. [select evl] is shorthand for [sync(choose evl)].  2* Non-blocking version of {!Event.sync}: offer all the communication possibilities specified in the event to the outside world, and if one can take place immediately, perform it and return [Some r] where [r] is the result value of that communication. Otherwise, return [None] without blocking. @;0../../ocamlc.opt)-nostdlib"-I,../../stdlib"-I4../../otherlibs/unix"-c"-w'+33..39+-warn-error"+A"-g*-bin-annot+, i/home/teraram/ci/builds/workspace/parallel-build/flambda/false/label/ocaml-manycores/otherlibs/systhreads @@0S0ĂkIحC322222222@1@@8CamlinternalFormatBasics0|.e1R$|oS0Hi|j?/8w80Ƞ&Stdlib0t0VoS%{<F:@0Hi|j?/8w80AMC2T@@@@%v@@@gǰ2@@H@@@j@&@@9a@@P@@