mailbox.mldoc

来自「这是我们参加06年全国开源软件的竞赛作品」· MLDOC 代码 · 共 88 行

MLDOC
88 行
字号 
<!-- mldoc/mailbox.mldoc --><!DOCTYPE ML-DOC SYSTEM><COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998><COPYRIGHT OWNER="AT&AMP;T Research" YEAR=1996><VERSION VERID="1.0" YEAR=1996 MONTH=4 DAY=21><TITLE>The Mailbox structure</TITLE><INTERFACE><HEAD>The <STRREF TOPID NOLINK/Mailbox/ structure</HEAD><SEEALSO>  <STRREF TOPID/CML/</SEEALSO><PP>The <STRREF TOPID NOLINK/Mailbox/ structure provides buffered asynchronouschannels, which we call mailboxes.<STRUCTURE STRID="Mailbox">  <SIGBODY SIGID="MAILBOX" FILE=MAILBOX-SIG>    <SPEC>      <TYPE><TYPARAM>'a<ID>mbox      <COMMENT>	<PP>	This is the type constructor for a mailbox.	A mailbox is an unbounded, buffered communication channel.    <SPEC>      <VAL>mailbox<TY>unit -> 'a mbox      <COMMENT>        <PROTOTY>          mailbox ()        </PROTOTY>        creates a new mailbox.    <SPEC>      <VAL>sameMailbox<TY>('a mbox * 'a mbox) -> bool      <COMMENT>        <PROTOTY>          sameMailbox (<ARG/mb1/, <ARG/mb2/)        </PROTOTY>        returns <CD/true/, if <ARG/mb1/ and <ARG/mb2/ are the same mailbox.    <SPEC>      <VAL>send<TY>('a mbox * 'a) -> unit      <COMMENT>        <PROTOTY>          send (<ARG/mb/, <ARG/msg/)        </PROTOTY>        sends the message <ARG/msg/ to the mailbox <ARG/mb/.	Note that unlike <VALREF STRID="CML"/CML.send/, this is a non-blocking	operation.    <SPEC>      <VAL>recv<TY>'a mbox -> 'a      <COMMENT>        <PROTOTY>          recv <ARG/mb/        </PROTOTY>        receive the next message from the mailbox <ARG/mb/.	If, the mailbox is empty, then this blocks the calling	thread until there is a message available.    <SPEC>      <VAL>recvEvt<TY>'a mbox -> 'a event      <COMMENT>        <PROTOTY>          recvEvt <ARG/mb/        </PROTOTY>        returns the event value that represents the <VALREF/recv/ operation	on <ARG/mb/.    <SPEC>      <VAL>recvPoll<TY>'a mbox -> 'a option      <COMMENT>	<PP>        This is the non-blocking version of <VALREF/recv/.	If the corresponding blocking form would block (because the mailbox is	empty), then this returns	<CONREF DOCUMENT=SML-BASIS-DOC STRID="Option"/NONE/, otherwise it returns	<CONREF DOCUMENT=SML-BASIS-DOC STRID="Option"/SOME/ of the received	message.</STRUCTURE><PP>Note that mailbox buffers are unbounded, which means that there is no flowcontrol to prevent a producer from greatly outstriping a consumer, and thusexhausting memory.In situations where there is no natural limit to the rate of<VALREF STRID="Mailbox"/send/ operations, it is recommended that thesynchronous channels from the <STRREF TOPID/CML/ structurebe used instead.</INTERFACE>

mailbox.mldoc - 源码说明

本页面展示了「这是我们参加06年全国开源软件的竞赛作品」中的 mailbox.mldoc 源码文件，采用 MLDOC 编程语言编写，共 88 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与开源软件相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?