-/0 Fleng 4236
89<=;79:51.

2P-7

Committed Choice@C FI GL PM,,?H EN,

BQ AK SR ,I,

ftbaba,araki,hidaka,koike,tanakag@mtl.t.u-tokyo.ac.jp>TOUDUJ3udzs

1

Committed Choice  Fleng u$ºÂÓæp÷
ú 2êòÿë ì1t$s}, É¥ §r½s¸cn{Ò<ª¼¢LcH*ÃroV
. c[c, Ò<å=ø PIE64 ÝoH±bn
W Fleng Ù6u÷ú 2s}ð6 þ2\¼]W. ht6/u, ÷ú 2eÞsuö\8ïòbn[~÷ú 2exotÙ6, erköñ52ó0ëú7þý38ëôø\°n,#*rÙ6prlncxX[~oV.
(ou, öéèBsöñsîñetour^, W]r÷ú 2Ù6He`ps}ln, ð6 þ2eJÖsmWnMw.
tÅ
8ªÒ<Ù6Fleng t9óu!'t}Xr¥'¬Òwj{toV.
:012
n:- t³ þ2Ï, &³ 0ëÏpWX. Fleng t?"uöpv{toV, H*Ãrö
\0Y~pöpÀd þ2ÏAm¥'¬\®¾b ( þ238ëôø). ®¾bjö
u 0ëÏt ös¨b (üòø). ¨bjöuhiÒ<s þ238ëôø, üòø\r.
Óæu$ÓæoV, Ú]!Y`puo]rW. Óæu+¥'[, Am[t 2 mtà¹c[Ajf, +¥'rÓæ>Ûc}Xpep÷ú 2e. ÷ú2cjöu+¥'rÓæ\6ì2bjB©
oêòÿë ì1b. Fleng ou`tçG52c
nÒ<?tÀ#HcnW.
22.1

FlengH eadÒ<å=ø(Fou Fleng ´He}Xs«bjÒ<å=ø PIE64 \+¿cnW. PIE64 u 64 »t
IU(Inference Unit, å=3þ1) s}lnèb,IU u?rXå=Ù69ûþ÷ {UNIRED(Uni er/Reducer), £ápÀ#rX9ûþ÷{NIP (Network Interface Processor), "6r
X"69ûþ÷ {MP (Managemend Processor) [~èb. MP pcn SPARC 2WnW.
÷ú 2$
K4$ot-½©
K4t Fleng Ù6t7uä 1t}Xsr. FlengÙ6ou°ntös¸cn, öúôùó þ238ëôøÙ6r, þ238ëôøsEÄcjÞsu÷ú 2\&`. htjz, ö\8ïòbn[~÷ú2s@xotÙ6, erköñ52ó0ëú7þý38ëôø (ä 1tÆÇ.
%) \°n,·rÙ6sr, `s}ð6 þ2u¼]r{tpr. CsDe9ó;oY.
2.2

Goal ; Goal ; : : : ; Goal

3 The reduction of suspend costs for Committed-Choice Language Fleng
Tsunehiko BABA, Takuya ARAKI, Yasuo HIDAKA, Hanpei
KOIKE, Hidehiko TANAKA
Faculty of Engineering, University of Tokyo
7-3-1 Hongou, Bunkyo-ku, Tokyo 113, JapanPIE64

3

3.1

foo(true, ,false) :- .......
foo(true,false, ) :- .......
bar(A,B,C) :bar2(C,D),
foo(A,B,D),.....

`t;ou, bar(A,B,C) t 0ëö foo(A,B,D)u þ238ëôøb¸Ü\ÁmV. c[c, Óæ A p, Óæ B )uÓæ C tqk~[$Õ\+¥'oVÞ, þ238ëôøe`p\o]rWjz, ÷ú 2e`psr.
h`o÷ú 2&`eös÷ú 2ê4ÿøÎ)e`po, ös¸cnW]r÷ú2Ù6 (Immediate Suspend, ä 1tI­.%) W, ÷ú 2õú1¤bgJÖ2W.

ActiveUnification

Variables

BodyReduction(1)

OR SUSPENDGOALCVECGoal

INT

6func

foo/5

ETop Goal

Body Goals

CommitCommit0Overhead

Immediate
SuspendGoal SchedulingA
Head Unification
Suspend

Activate

Wait for ValueB

VAR

DINT(2)

3

AND SUSPEND

ä 1: Suspend ¡âpcjÙ6t7
ä 2: foo(A,B,C,D,E)@[suspend(or(and(A,B,D),C,E))]
2. OR SUSPEND Ï (1) têôø.
÷ú 2ê4ÿøê4ÿø\ AND SUSPEND tyoV÷ú 2ê4ÿøu÷ú 2&`eöÞ{, ²ÝÊ3prtoÊf`tûs¸cn$§sÎ)b, `s}õ7ìsßtêôørX. OR SUSPEND
Ô0Y`p\o].
tÞ, V$mtÓæ\6ì2bv
÷ú 2ê4ÿøÎ)eÞsu, htö\êòÿë ì1b. htjz, ¶Óæ\ös¸cn AND SUSPEND rt[ OR SUStÓæs}êòÿë ì1È_jzs,
PEND rt[%MeÊ3\V. AND SUSPEND0 \ºÂb (Commit Flag).
pu þ238ëôørXtsÊãrÓæ
3. OR SUSPEND Óætýíþò.
s¸e÷ú 2t`po, OR SUSPEND uW^m{cµetoVv, 9ûú 2 oêô[tÓætXkVÓæ\¥'bvHb}X1cjÏÐs¸c Óæt8þòrlj
rÞshtÓæs¸cnr÷ú 2t`p
, Suspend bg.
oV.
`t AND SUSPEND p OR SUSPEND 9e
4. AND SUSPEND Óætýíþò.
p, ÷ú 2ê4ÿøtË×uCt}XsÌ
µetoVv, AND SUSPEND Ï (2)e`p\o].
têôøp Óæt8þòrW,Suspendbg. ú1¡t int u AND SUSGoal @ [suspend(or(and(...),and(...),...))]PEND cnWÓætæÌc, Óæ\6Hs¯Mt;sZ_ bar(A,B,C) p foo(A,B,D) tì2baps ~cn|^. °n9ó;oYp, foo(A,B,D) u, Óæ A,B, )tÓæ\6ì2bjB©o \ 0 sr,uÓæ A,D \+¥'tÞsu÷ú 2eto,ö\êòÿë ì1b.
foo(A,B,C) @ [suspend(or(and(A,B),and(A,D)))]ZspWXt÷ú 2ê4ÿøÎ)e`p (ou, öéèBsöñsîñesr.
K4ÕÖsºYn, ÷ú 2ê4ÿø2W
`po, W]r÷ú 2Ù6rXJÖ¦
Ù6t7
÷ú 2ê4ÿøs} AND SUSPEND p c`s}÷ú 2\&`ÞsédnWjð6 þ2\o]`pDcj.
OR SUSPEND Am÷ú øõ2t², ÷ú 2ê4ÿøs}õú1t
u Fleng Ù6sZWnuä 2t}XsÌb. `t÷ú øõ2têôøu!'t}X ¥:§sÍ(ejz, H±rlnW.
>ÑrJØoHe.
[Araki 94] T.Araki,Y.Hidaka,H.Nakada,H.Koike,H.Tanaka:
1. ¸Üö8têôø.
System Integration of the Parallel Inference EnK4tõ7ìorlnWêôøgine PIE64, FGCS '94 Workshop 1, p64-76, 1994.
pÀ1tÙ6rX.
3.2

4

3.3