manual.ps

这是我们参加06年全国开源软件的竞赛作品

1495 y(tion,)e(which)f(pro)o(vided)i(a)d(non-blocking)25
b(form)c(of)f Fn(sync)p Fq(.)27 b(Instead)22 b(of)f(this)g(operation,)j
(CML)664 1608 y(no)n(w)h(pro)o(vides)h(non-blocking)j(input)e
(operations)g(on)e(man)o(y)g(of)g(the)g(basic)h(communication)664
1721 y(types.)2136 5187 y(2)p eop
%%Page: 3 3
3 2 bop 241 1179 a Ft(Chapter)44 b(2)241 1595 y Fs(Cor)l(e)52
b(CML)f(r)l(efer)l(ence)241 2077 y Fr(2.1)119 b(The)30
b Fm(CML)f Fr(structur)n(e)241 2405 y Fp(Synopsis:)361
2519 y Fl(signature)18 b Fk(CML)361 2632 y Fl(structure)73
b Fk(CML:)53 b(CML)241 2866 y Fp(Interface:)361 2966
y Fj(type)20 b Fn(thread)p 886 2966 25 4 v 29 w(id)361
3066 y Fj(type)g Fi(\013)h Fn(chan)361 3165 y Fj(type)f
Fi(\013)h Fn(event)361 3265 y Fj(val)15 b Fn(version:)98
b Fh(f)p Fn(system)22 b Fg(:)h Fn(string)o Fi(;)k Fn(version)p
2138 3265 V 29 w(id)c Fg(:)g Fn(int)f(list)o Fi(;)28
b Fn(date)22 b Fg(:)i Fn(string)n Fh(g)361 3365 y Fj(val)c
Fn(banner:)98 b(string)361 3464 y Fj(val)20 b Fn(spawnc:)98
b Fg(\()p Fi(\013)24 b Fh(!)f Fn(unit)o Fg(\))h Fh(!)f
Fi(\013)g Fh(!)g Fn(thread)p 2042 3464 V 29 w(id)361
3564 y Fj(val)d Fn(spawn:)98 b Fg(\()p Fn(unit)23 b Fh(!)g
Fn(unit)o Fg(\))h Fh(!)f Fn(thread)p 1956 3564 V 29 w(id)361
3664 y Fj(val)d Fn(yield:)98 b(unit)23 b Fh(!)g Fn(unit)361
3763 y Fj(val)d Fn(exit:)99 b(unit)22 b Fh(!)h Fi(\013)361
3863 y Fj(val)d Fn(getTid:)98 b(unit)23 b Fh(!)g Fn(thread)p
1613 3863 V 28 w(id)361 3962 y Fj(val)d Fn(sameTid:)98
b Fg(\()p Fn(thread)p 1366 3962 V 29 w(id)18 b(*)g(thread)p
1881 3962 V 29 w(id)p Fg(\))23 b Fh(!)g Fn(bool)361 4062
y Fj(val)d Fn(compareTid:)98 b Fg(\()p Fn(thread)p 1516
4062 V 29 w(id)18 b(*)g(thread)p 2031 4062 V 29 w(id)o
Fg(\))24 b Fh(!)f Fn(order)361 4162 y Fj(val)d Fn(hashTid:)98
b(thread)p 1334 4162 V 29 w(id)23 b Fh(!)g Fn(word)361
4261 y Fj(val)d Fn(tidToString:)97 b(thread)p 1533 4261
V 29 w(id)23 b Fh(!)g Fn(string)361 4361 y Fj(val)d Fn(joinEvt:)98
b(thread)p 1334 4361 V 29 w(id)23 b Fh(!)g Fn(unit)f(event)361
4461 y Fj(val)e Fn(channel:)98 b(unit)22 b Fh(!)h Fi(\013)c
Fn(chan)361 4560 y Fj(val)h Fn(sameChannel:)97 b Fg(\()p
Fi(\013)19 b Fn(chan)f(*)g Fi(\013)h Fn(chan)p Fg(\))k
Fh(!)g Fn(bool)361 4660 y Fj(val)d Fn(send:)99 b Fg(\()p
Fi(\013)19 b Fn(chan)f(*)g Fi(\013)p Fg(\))24 b Fh(!)f
Fn(unit)361 4759 y Fj(val)d Fn(recv:)99 b Fi(\013)19
b Fn(chan)j Fh(!)h Fi(\013)361 4859 y Fj(val)d Fn(sendEvt:)98
b Fg(\()p Fi(\013)19 b Fn(chan)f(*)g Fi(\013)p Fg(\))24
b Fh(!)f Fn(unit)f(event)361 4959 y Fj(val)e Fn(recvEvt:)98
b Fi(\013)19 b Fn(chan)j Fh(!)h Fi(\013)c Fn(event)1712
5187 y Fq(3)p eop
%%Page: 4 4
4 3 bop 784 555 a Fj(val)20 b Fn(sendPoll:)98 b Fg(\()p
Fi(\013)19 b Fn(chan)f(*)g Fi(\013)p Fg(\))24 b Fh(!)f
Fn(bool)784 655 y Fj(val)d Fn(recvPoll:)98 b Fi(\013)19
b Fn(chan)j Fh(!)i Fi(\013)18 b Fn(option)784 754 y Fj(val)i
Fn(wrap:)99 b Fg(\()p Fi(\013)19 b Fn(event)f(*)p Fg(\()p
Fi(\013)23 b Fh(!)g Fi(\014)t Fg(\)\))h Fh(!)f Fi(\014)g
Fn(event)784 854 y Fj(val)d Fn(wrapHandler:)98 b Fg(\()p
Fi(\013)19 b Fn(event)e(*)p Fg(\()p Fn(exn)23 b Fh(!)g
Fi(\013)c Fn(event)o Fg(\)\))24 b Fh(!)f Fi(\013)c Fn(event)784
954 y Fj(val)h Fn(guard:)99 b Fg(\()p Fn(unit)22 b Fh(!)i
Fi(\013)18 b Fn(event)o Fg(\))24 b Fh(!)f Fi(\013)c Fn(event)784
1053 y Fj(val)h Fn(withNack:)98 b Fg(\()p Fn(unit)23
b(event)f Fh(!)h Fi(\013)c Fn(event)o Fg(\))k Fh(!)g
Fi(\013)c Fn(event)784 1153 y Fj(val)h Fn(choose:)99
b Fi(\013)19 b Fn(event)j(list)g Fh(!)h Fi(\013)c Fn(event)784
1253 y Fj(val)h Fn(sync:)99 b Fi(\013)19 b Fn(event)j
Fh(!)h Fi(\013)784 1352 y Fj(val)d Fn(select:)99 b Fi(\013)19
b Fn(event)j(list)g Fh(!)h Fi(\013)784 1452 y Fj(val)d
Fn(never:)99 b Fi(\013)19 b Fn(event)784 1551 y Fj(val)h
Fn(alwaysEvt:)98 b Fi(\013)24 b Fh(!)f Fi(\013)c Fn(event)784
1651 y Fj(val)h Fn(timeOutEvt:)98 b(Time)o Fi(:)p Fn(time)23
b Fh(!)g Fn(unit)f(event)784 1751 y Fj(val)e Fn(atTimeEvt:)98
b(Time)o Fi(:)p Fn(time)23 b Fh(!)g Fn(unit)f(event)664
1990 y Fp(Description:)664 2109 y Fl(type)f Fk(thread)p
1240 2109 28 4 v 30 w(id)784 2304 y Fq(Thread)33 b(IDs)f(are)h(the)f
(unique)i(IDs)e(associated)k(with)c(CML)e(threads.)57
b(These)33 b(IDs)f(are)784 2417 y(in)c(an)g(unspeci\002ed)i(total)e
(order)h(that)f(can)h(be)e(used)i(to)f(break)h(c)o(yclic)f(depedencies)
k(\(see)784 2530 y Fn(compareTid)p Fq(\).)664 2724 y
Fl(type)21 b Ff(\013)i Fk(chan)784 2919 y Fq(This)h(is)f(the)h(type)g
(constructor)j(for)c(synchronous)28 b(channels.)664 3114
y Fl(type)21 b Ff(\013)i Fk(event)784 3308 y Fq(Ev)o(ent)28
b(v)n(alues)h(are)f(abstract)h(representations)j(of)c(synchronous)j
(operations)g(\(so)d(called)784 3421 y Fe(\002r)o(st-class)f(syc)o(hr)l
(onous)f(oper)o(ations)p Fq(\).)664 3616 y Fl(val)j Fk(version:)106
b Fd(f)p Fk(system)37 b Fc(:)j Fk(string)n Ff(;)30 b
Fk(version)p 2654 3616 V 30 w(id)39 b Fc(:)h Fk(int)e(list)n
Ff(;)31 b Fk(date)38 b Fc(:)784 3729 y Fk(string)m Fd(g)664
3842 y Fl(val)22 b Fk(banner:)105 b(string)784 4036 y
Fq(These)24 b(specify)h(the)f(v)o(ersion)h(of)f(CML)d(in)j(the)g(same)f
(format)h(as)g(SML/NJ.)664 4231 y Fl(val)e Fk(spawnc:)105
b Fc(\()p Ff(\013)27 b Fd(!)e Fk(unit)n Fc(\))g Fd(!)h
Ff(\013)f Fd(!)h Fk(thread)p 2507 4231 V 30 w(id)664
4344 y Fl(val)c Fk(spawn:)106 b Fc(\()p Fk(unit)24 b
Fd(!)h Fk(unit)n Fc(\))h Fd(!)f Fk(thread)p 2412 4344
V 30 w(id)784 4538 y Fn(spawnc)49 b Fb(f)55 b(x)784 4651
y Fn(spawn)49 b Fb(f)84 b Fq(creates)32 b(a)e(ne)n(w)g(thread)i(of)e
(control)i(to)e(e)n(v)n(aluate)i(the)f(body)g(of)f Fb(f)5
b Fq(.)49 b(A)29 b(ne)n(w)784 4764 y(unique)c(ID)e(for)h(the)g(thread)g
(is)g(created)h(and)f(returned.)664 4959 y Fl(val)e Fk(yield:)106
b(unit)23 b Fd(!)i Fk(unit)2136 5187 y Fq(4)p eop
%%Page: 5 5
5 4 bop 361 555 a Fq(This)23 b(function)k(can)d(be)g(used)h(to)e
(implement)i(an)f(e)o(xplicit)i(conte)o(xt)f(switch.)30
b(Since)25 b(CML)361 668 y(is)31 b(preempti)n(v)o(ely)k(scheduled,)h
(it)c(should)h(ne)n(v)o(er)g(be)e(necessary)k(for)d(user)g(programs)i
(to)361 781 y(call)24 b(this)g(function.)31 b(It)23 b(is)g(mainly)i
(used)f(for)g(performance)i(measurements.)241 953 y Fl(val)21
b Fk(exit:)107 b(unit)23 b Fd(!)j Ff(\013)361 1126 y
Fn(exit)49 b(\(\))72 b Fq(causes)25 b(the)f(calling)h(thread)g(to)e
(terminate.)241 1298 y Fl(val)e Fk(getTid:)106 b(unit)23
b Fd(!)j Fk(thread)p 1613 1298 28 4 v 30 w(id)361 1470
y Fn(getTid)48 b(\(\))73 b Fq(returns)25 b(the)f(thread)h(ID)d(of)i
(the)f(calling)j(thread.)241 1643 y Fl(val)21 b Fk(sameTid:)106
b Fc(\()p Fk(thread)p 1343 1643 V 30 w(id)19 b(*)h(thread)p
1907 1643 V 30 w(id)o Fc(\))26 b Fd(!)f Fk(bool)361 1815
y Fn(sameTid)48 b(\()p Fb(tid1)o Fn(,)i Fb(tid2)o Fn(\))70
b Fq(returns)22 b(true,)f(if)g(the)f(tw)o(o)h(thread)h(IDs)e(are)g(the)
h(same)g(ID.)241 1987 y Fl(val)g Fk(compareTid:)104 b
Fc(\()p Fk(thread)p 1506 1987 V 31 w(id)19 b(*)h(thread)p
2071 1987 V 30 w(id)o Fc(\))25 b Fd(!)g Fk(order)361
2160 y Fn(compareTid)48 b(\()p Fb(tid1)o Fn(,)h Fb(tid2)p
Fn(\))70 b Fq(compares)24 b(the)e(tw)o(o)g(thread)h(IDs)f(and)g
(returns)i(their)361 2273 y(order)g(in)f(the)g(total)h(ordering)i(of)d
(thread)h(IDs.)k(The)23 b(precise)i(semantics)g(of)e(this)h(ordering)
361 2386 y(is)f(left)h(unspeci\002ed,)i(other)e(than)g(to)g(say)g(it)f
(is)g(a)g(total)i(order)-5 b(.)241 2558 y Fl(val)21 b
Fk(hashTid:)106 b(thread)p 1308 2558 V 30 w(id)24 b Fd(!)h
Fk(word)361 2730 y Fn(hashTid)48 b Fb(tid)76 b Fq(returns)25
b(a)e(hashing)i(of)f(the)g(thread)h(ID)d Fb(tid)s Fq(.)241
2903 y Fl(val)f Fk(tidToString:)104 b(thread)p 1526 2903
V 30 w(id)24 b Fd(!)h Fk(string)361 3075 y Fn(tidToString)48
b Fb(tid)75 b Fq(returns)25 b(a)e(string)i(representation)j(of)23
b(the)h(thread)h(ID)d Fb(tid)s Fq(.)241 3247 y Fl(val)f
Fk(joinEvt:)106 b(thread)p 1308 3247 V 30 w(id)24 b Fd(!)h
Fk(unit)f(event)361 3420 y Fn(joinEvt)48 b Fb(tid)86
b Fq(creates)36 b(an)e(e)n(v)o(ent)g(v)n(alue)h(for)g(synchronizing)j
(on)c(the)g(termination)361 3532 y(of)29 b(the)g(thread)h(with)f(the)g
(ID)f Fb(tid)s Fq(.)44 b(There)29 b(are)g(three)h(w)o(ays)f(that)g(a)f
(thread)j(may)d(termi-)361 3645 y(nate:)38 b(the)29 b(function)h(that)e
(w)o(as)g(passed)h(to)f Fn(spawn)e Fq(may)i(return;)j(it)d(may)g(call)g
(the)g Fn(exit)361 3758 y Fq(function,)k(or)d(it)f(may)h(ha)n(v)o(e)g
(an)g(uncaught)i(e)o(xception.)47 b(Note)29 b(that)g
Fn(joinEvt)e Fq(does)i(not)361 3871 y(distinguish)g(between)f(these)f
(cases;)i(it)e(also)g(does)g(not)g(become)g(enabled)h(if)f(the)f(named)
361 3984 y(thread)f(deadlocks)h(\(e)n(v)o(en)e(if)f(it)g(is)h(garbage)h
(collected\).)241 4156 y Fl(val)c Fk(channel:)106 b(unit)23
b Fd(!)i Ff(\013)c Fk(chan)361 4329 y Fn(channel)48 b(\(\))72
b Fq(creates)26 b(a)d(ne)n(w)g(synchronous)k(channel.)241
4501 y Fl(val)21 b Fk(sameChannel:)104 b Fc(\()p Ff(\013)21
b Fk(chan)d(*)i Ff(\013)h Fk(chan)n Fc(\))k Fd(!)h Fk(bool)361
4673 y Fn(sameChannel)48 b(\()p Fb(ch1)o Fn(,)h Fb(ch2)p
Fn(\))80 b Fq(returns)33 b(true,)h(if)d(the)h(tw)o(o)f(channels)i(are)f
(the)g(same)361 4786 y(channel.)241 4959 y Fl(val)21
b Fk(send:)107 b Fc(\()p Ff(\013)21 b Fk(chan)d(*)i Ff(\013)p
Fc(\))26 b Fd(!)f Fk(unit)1712 5187 y Fq(5)p eop
%%Page: 6 6
6 5 bop 784 555 a Fn(send)49 b(\()p Fb(ch)p Fn(,)g Fb(a)p
Fn(\))80 b Fq(sends)32 b(the)f(message)i Fb(a)d Fq(on)h(the)g
(synchronous)k(channel)d Fb(ch)p Fq(.)50 b(This)784 668
y(operation)37 b(blocks)e(the)f(calling)i(thread)f(until)g(there)g(is)f
(another)h(thread)h(attempting)g(a)784 781 y Fn(recv)22
b Fq(operation)k(on)e(the)g(channel)h Fb(ch)p Fq(.)664
955 y Fl(val)d Fk(recv:)106 b Ff(\013)21 b Fk(chan)i
Fd(!)j Ff(\013)784 1128 y Fn(recv)49 b Fb(ch)74 b Fq(recei)n(v)o(es)27
b(a)e(message)i(from)f(the)f(channel)j Fb(ch)o Fq(.)34
b(This)26 b(operation)i(blocks)f(the)784 1241 y(calling)i(thread)f
(until)f(there)h(is)f(another)h(thread)g(attempting)h(a)e
Fn(send)e Fq(operation)k(on)e(the)784 1354 y(channel)f
Fb(ch)o Fq(.)664 1528 y Fl(val)c Fk(sendEvt:)105 b Fc(\()p
Ff(\013)21 b Fk(chan)d(*)i Ff(\013)p Fc(\))26 b Fd(!)f
Fk(unit)f(event)664 1641 y Fl(val)e Fk(recvEvt:)105 b
Ff(\013)21 b Fk(chan)i Fd(!)i Ff(\013)c Fk(event)784
1815 y Fq(These)h(functions)i(create)e(e)n(v)o(ent)g(v)n(alues)h(to)e
(represent)j(the)e Fn(send)e Fq(and)i Fn(recv)e Fq(operations.)664
1988 y Fl(val)i Fk(sendPoll:)105 b Fc(\()p Ff(\013)21
b Fk(chan)d(*)i Ff(\013)p Fc(\))26 b Fd(!)f Fk(bool)784
2162 y Fn(send)49 b(\()p Fb(ch)p Fn(,)g Fb(a)p Fn(\))76
b Fq(attempts)28 b(to)f(send)h(the)g(message)g Fb(a)e
Fq(on)h(the)g(synchronous)k(channel)784 2275 y Fb(ch)p
Fq(.)d(If)23 b(this)i(operation)h(can)e(complete)h(without)g(blocking)h
(the)d(calling)j(thread,)f(then)f(the)784 2388 y(message)34
b(is)f(sent)g(and)g Fn(true)e Fq(is)i(returned.)58 b(Otherwise,)36
b(no)d(communication)i(is)e(pre-)784 2501 y(formed)c(and)f
Fn(false)e Fq(is)h(returned.)44 b(This)27 b(function)j(is)e(not)g
(recommended)i(for)d(general)784 2614 y(use;)d(it)g(is)f(pro)o(vided)j
(as)d(an)h(ef)n(\002cienc)o(y)g(aid)g(for)g(certain)h(kinds)f(of)g
(protocols.)664 2787 y Fl(val)e Fk(recvPoll:)105 b Ff(\013)20
b Fk(chan)k Fd(!)h Ff(\013)c Fk(option)784 2961 y Fn(recvPoll)48
b Fb(ch)80 b Fq(attempts)32 b(to)f(recei)n(v)o(e)h(a)e(message)i(from)f
(the)g(channel)h Fb(ch)p Fq(.)50 b(If)30 b(there)784
3074 y(is)h(no)f(other)i(thread)g(of)n(fering)g(to)f
Fn(send)e Fq(a)h(message)i(on)e Fb(ch)p Fq(,)h(then)h(this)f(returns)h
Fn(NONE)p Fq(,)784 3187 y(otherwise)i(it)d(returns)j
Fn(SOME)c Fq(wrapped)j(around)h(the)e(message.)55 b(This)32
b(function)i(is)e(not)784 3300 y(recommended)38 b(for)d(general)i(use;)
42 b(it)35 b(is)g(pro)o(vided)j(as)d(an)g(ef)n(\002cienc)o(y)i(aid)e
(for)h(certain)784 3413 y(kinds)25 b(of)e(protocols.)664
3586 y Fl(val)f Fk(wrap:)106 b Fc(\()p Ff(\013)21 b Fk(event)d(*)p
Fc(\()p Ff(\013)26 b Fd(!)f Ff(\014)5 b Fc(\)\))26 b
Fd(!)f Ff(\014)h Fk(event)784 3760 y Fn(wrap)49 b(\()p
Fb(ev)6 b Fn(,)50 b Fb(f)5 b Fn(\))85 b Fq(wraps)37 b(the)g
(post-synchronizatio)q(n)42 b(action)37 b Fb(f)k Fq(around)d(the)f(e)n
(v)o(ent)784 3873 y(v)n(alue)25 b Fb(ev)6 b Fq(.)664
4047 y Fl(val)22 b Fk(wrapHandler:)103 b Fc(\()p Ff(\013)21
b Fk(event)d(*)p Fc(\()p Fk(exn)24 b Fd(!)h Ff(\013)c
Fk(event)n Fc(\)\))k Fd(!)h Ff(\013)20 b Fk(event)784
4220 y Fn(wrapHandler)48 b(\()p Fb(ev)6 b Fn(,)50 b Fb(f)5
b Fn(\))73 b Fq(wraps)24 b(the)g(e)o(xception)j(handler)f(function)g
Fb(f)i Fq(around)e(the)784 4333 y(e)n(v)o(ent)21 b(v)n(alue)h
Fb(ev)7 b Fq(.)27 b(If,)20 b(during)j(e)o(x)o(ecution)g(of)d(some)h
(post-synchronizat)q(ion)27 b(action)22 b(in)f Fb(ev)6
b Fq(,)784 4446 y(an)30 b(e)o(xception)i(is)d(raised,)j(it)d(will)h(be)
f(caught)i(and)f(passed)h(to)f Fb(f)5 b Fq(.)46 b(Nesting)30
b(of)g(handlers)784 4559 y(w)o(orks)g(as)g(w)o(ould)g(be)g(e)o
(xpected:)43 b(the)30 b(innermost)i(handler)g(is)d(the)h(one)g(in)l(v)n
(ok)o(ed.)50 b(Note)784 4672 y(that)37 b(e)o(xceptions)j(raised)e(in)f
(the)g(pre-synchronization)43 b(actions)38 b(in)f Fb(ev)42
b Fq(\(i.e.,)d(actions)784 4785 y(de\002ned)25 b(by)e
Fn(guard)f Fq(and)i Fn(withNack)p Fq(\))d(are)j(not)g(handled)i(by)d
Fb(f)5 b Fq(.)664 4959 y Fl(val)22 b Fk(guard:)106 b
Fc(\()p Fk(unit)24 b Fd(!)h Ff(\013)c Fk(event)m Fc(\))26
b Fd(!)f Ff(\013)c Fk(event)2136 5187 y Fq(6)p eop
%%Page: 7 7
7 6 bop 361 555 a Fn(guard)49 b Fb(f)74 b Fq(creates)22
b Fe(delayed)j Fq(e)n(v)o(ent)c(v)n(alue)h(from)e(the)h(function)i
Fb(f)5 b Fq(.)27 b(When)21 b(the)f(resulting)361 668
y(e)n(v)o(ent)25 b(v)n(alue)g(is)f(synchronized)k(on,)d(the)g(function)
h Fb(f)j Fq(will)24 b(be)g(e)n(v)n(aluated)j(and)e(the)f(result-)361
781 y(ing)k(e)n(v)o(ent)g(v)n(alue)h(will)e(be)h(used)g(in)g(its)g
(place)g(in)g(the)g(synchronization.)46 b(This)28 b(pro)o(vides)361
894 y(a)e(mechanism)h(for)g(implementing)h(pre-synchronizati)q(on)k