"B <(Fleng

GH KI, ML3N

PQJRFRO

1 VSXU

Committed-Choice]fkFleng,±(Öáð0š©“

•Þ ° — « ™ „ ª Œ ¡ •œ "B <(Flengš ‚ ‡ ¬ _

Cœ ± ")° ï Wš I r Œ ¬ˆ — š ©«@ ç » ] ½™ _

ٚ ‚  • § Œ ¡ • œ ï W ° · N Š • I r 1 㠙 f

k–~¬AŠƒŠ,IrœT„çýš{ƒ‘¦,B

/B3*.„ ׅ. ˆ œB/B 3*.° J«÷† ‘

¦š , T  ° × …† Œ ¬ é g„ ~ ¬ „, ˆ ­  d% –

™.

T°ׅ†Œ¬Kô—Š•,?:?¿9—,ì

0œ"B<°1”œ"B<šbu Œ¬"B<bu„p 

ª­¬„[1], ºý œ ?: ?¿ 9, Þ ÿa „Z‘

‰­• ¬ ü uš œ¤ 1㠖~ ¬ ‘¦, ¾f 1㠙ü u

„çý šù ™. £ ‘, "B <b u 2> : 8œ $[

°ð ¬ 1ã 2„ ~¬ ‘ ¦, 2 > :8 È Ôœ ,B) 1

>B7Ä ° r™ €é g„ ~ «, × \ ™2 > : 8š ¾

fŒ¬ˆ—wà–~¬.

Yo – , Fleng2 > :8 ° ? : ? ¿ 9– … ¬

^šð Œ¬ ˆ— š© «, â$ œ"B <° ?: ? ¿

91㚌 ¬Kô °¼ Œ ¬. ˆœ Kô°¾ fŒ¬ ˆ—

š©«, × \™ 2 > :8 –§ d% š T °× …† Œ

¬ˆ—„1㚙¬.

2 Committed-ChoicehjkFleng

FlengXQ ]f k°É ƗŒ ¬ï Wt öQf k–~

¬. $?)*&prologœ§œ—U†F•¬„,/*

-:* °r ™¯ ™ — € À –, ( 7? + & 

ׅ†&™¬. Committed-Choice]fkš,ҚGHC,

KL1™˜ „~ ¬„, FlengGHCƒ ªB ."B <°

J«÷‘§œšË܌¬.

Fleng,

Œ¡•œ"B<°ïWšIrŒ¬.

±(Öáð0°f‘,B)1>BÞ°—¬.

ˆ—š ©«, 2> :8 œG ”Œ ¡• œ ïW 2° ·N 1

ã–~¬.

VžÅÕ²°Y ¦¬2> :8!/œ ©€šP

‰­¬.

An inlineing-based granularity control metho d of a

committed-choicelanguage Fleng

Takuya ARAKI,HidehikoTANAKA

FacultyofEngineering,theUniversityofTokyo

abs(A,R) :- greater(A,0,IsGt),abs1(IsGt,A,R).

abs1(true,A,R):- R = A.

abs1(false,A,R):- sub(0,A,R).

`:-'œ xÎ °3* .ë, + ΰ 6,B ë— h . abs

— €"B <°° hŸ NŒ—, greater—abs1„ 1B

‰­,­­„ïWšIr‰­¬. greaterA„0

©«×…—IsGt°truešÏäŠ, €–™—false

šÏ äŒ ¬. abs1IsGtœ² š©“ •í Š, trueœ

üu R =A °I rŠ, falseœü usub(0,A,R)—

€"B<°1BŒ¬.

ˆ ˆ–, abs1œ Ir ° 9 EŒ ¬ ‘ ¦š IsGtœ ² „

é g ’ „, ˆ œ ² greaterœ Ir „ L ª ™  — ` »‰

­™ . abs1Ir °9E Š©€ —Š‘ —… šIsGtœ

²„` £“•™ üu, #& 5?.Œ ¬. Š•IsGt

œ²„`£¬—+4-‰­¬. ˆœ©€šŠ•,

Fleng–"B<ÞDœÞ°—“•¬.

£‘,CO.C,

greater(#A,#B,R):- compute(>,A,B,R).

œ©€šFleng=4<–»‰ ­•¬. ˆˆ–, `#'œ

” • ¬ ð0 , ²„ `£“ • ™ ‡­ ž# &5 ? .

Œ¬—€ˆ—°êŒ. compute²„`£“•¬ˆ

—°Ç¼š,#&5?.ŽšIrŒ¬.

3 monmopqt

º ý, ?: ? ¿ 9– …¬ "B<  Þ ÿa „Z ‘ ‰

­• ¬ §œ šg ª­ ¬. V ž, Æ ¢˜ œabsœ¶ –

hž­•¬greater¨abs1?:?¿9–…™.

ˆ­ , absœ Ø1*0 –~¬A„ `»Š • ™ƒ“‘

üu, greater¨abs1°#& 5?. Š™‡ ­ž5 Š ²

„ߪ­™‘¦–~¬.

ȕœ"B<°?:?¿91㚌¬‘¦,Fleng

°¸Š•,2> :8°!/œ©€šðŒ¬. greater

°Vš—¬—,

greater(A,B,R):-

(isvar(A)-->

suspend(greater(A,B,R),A)

;isvar(B)-->

suspend(greater(A,B,R),B)

;compute(>,A,B,R)

aí °ê Œ. ˆ œ í Non-blo cking–~ «, µH

fkœÿa í—Þ ‹$[° G”. ˆˆ– œCondœë

íisvarð0„ Ï䉭• ¬ƒ˜€ƒ °¹¡¬— 

€$ [– ~ ¬. £ ‘, susp end  Ø1* 0š c  ª ­

‘"B < °# & 5 ?. ‰ Ž ¬(Ø2* 0 š #& 5 ? .œ

c)—™¬ð0° c•¬œ , #&5? .Œ¬|š,

œð0š"B<°1*Œ¬ég„~¬‘¦–~¬).

ðiœ2> :8, A£‘B„Ï 䉭•™

üu greater#& 5? .Š, A—B„Ï ä‰ ­•

¬üucompute(>,A,B,R)°IrŒ¬—€$[š

™«,ðǜ2> :8œ$[—(´Œ¬.

ˆœ©€šNon-blo ckingœí—susp end—€

¸°Flengšr™€ˆ—š©«,Þ°r™€ëí°3*

.ƒª 6,B š 'Œ ˆ— „– …¬. ˆœ ©€ š, 3*

.ë–Þ°r™ ¯™!B. šðŒ¬— ?:?

¿9„1㚙¬. absœüuHœ©€š™¬.

abs(A,R) :-

(isvar(A)-->

suspend(greater(A,0,IsGt),A)

;

compute(>,A,0,IsGt)

),

abs1(IsGt,A,R).

ˆœ ü u, A„ Ï ä‰ ­ •  ¬ ü u greaterœ "B

<1BœB/B3*.„}d‰­¬. ‰ªšabs1

§?:?¿9Š,4QŒ¬—!/œ©€š™¬.

abs(A,R) :-

(isvar(A)-->

suspend(greater(A,0,IsGt),A),

suspend(abs1(IsGt,A,R),IsGt)

;

compute(>,A,0,IsGt),

(IsGt=true --> R = A; compute(-,0,A,R))

).

ˆœüu,A„Ï䉭•¬óœí–,IsGtcom-

puteš©“•Ï䉭•¬ˆ—„ñú‰­¬œ–,abs1

°œ ££ ¿9Œ ¬ˆ —„ –… ¬. £‘, Aœ ² Ïä

‰­•¬ˆ—„ñú‰­•¬œ–,sub(0,A,R)§

?:?¿9Œ¬ ˆ—„–…, z L½šA„`» Š•

¬ ü u , 1” œ "B < – _C ° I r Œ ¬ ˆ— „ 1 ã

š™¬.

ˆœK ô °f ¬ —, y Š•  ¬"B <° ?:

?¿9 Œ ¬ˆ —§ 1 㖠~«, ˆ ­ <B2 ?>B ;

ˆ œ© €™ ? : ? ¿9 °r ™“ ‘ü u, é g— ™ ¬

ð0„Ï䉭•‘üuMí™l2„ߪ­¬„,Ï

ä‰ ­ • ™ƒ“ ‘ü u l2 „N ™. Š ƒŠ, 2 >

:8œ #&5?.R ‚‚¥› ­¢˜s† ™‘

¦, È Ô— Š •M í™ Ð mû ° Û3 Œ¬ ˆ— „1 㠖

~¬—pª­¬.

£ ‘, "B< šb u °r ™“‘ ü u ð0 „ Ïä ‰ ­

• ™ ü u– §l R„ mû Œ¬. £ ‘, "B< bu –

?: ?¿9š 挬—!B .#'„ ­¢˜

Í× Š ™. Š ‘„“ •, ,B )# Ñ \„ ±õ –7 Ä

1ã™üu–…¬’‡"B<bu°¾fŒ¡…–~«,

"B<bu „¾f–… ™üuš ?:?¿ 9°¾f

Œ¡…–~¬—pª­¬.

5 wxt

I Ìô —Š •, ?: ? ¿9 Œ ¡… "B< šÕ Š •

’ ‡, û œ © € ™ð ° r ™ €œ „, §“ — §± õ ™

¨« ó –~ ¬. Šƒ Š, ˆ œ© €š Þ °6 ,Bë –

r™€©€šðŠ‘2> :8,!?0<Š‘!B

.œ 9B% š[ . Š ‘„“ •, ! ?0 : °20&

n 3 š Š, £ , Þ ë í œ !B . ° 6 ,Bë š ' Ý

ŒŠ,‰ ªšœ!B .œû–? :?¿9° r™,

œiº ýœ!?0 <°r™€ —€óô„ pª­

¬.

ˆ œ© €™ n3 ° —¬ ˆ— , ! ? 0 :œ ±õ 0 š

§a S ”. V ž, >B ' ?, $ ? œ© €™ z

¾010&^–Ie1ã–~¬.

20 & ^ œ ! ? 0 : , Þ ë í „ 6 ,B ë š

P‰­•¬œ–suspendPk°÷‡žµHfkœ!?

0:—Þe™§œš™¬.

£ ‘, ˜ œ"B < ° ?: ?¿ 9Œ ¬ ƒ ¿9 i œ

2> :8œ !B.# '— 2ãš× …†, ZŒ¬. Q

ʽš 2>1: °f•© «Ó†hž ­¬"B<

°b N Š,  ­° ? : ?¿ 9 Œ¬ ©€ šŒ ¡… – ~

®€.

6 WTX

Flengš ‚  •, Þ ë í °6 ,B ë š P Œ ¬ ˆ —

š©“ •?: ?¿ 9°r ™€Kô °¼ Š‘. ˆ œ

KôFleng!œCommitted-Choice]fk¨,,B

)1>BÞ °ã— Š•G”Òœ fkš§¾ f1ã–

~¬—pª­¬.

vlsi

[1] q] Ú`, ø³ åî, Á ¶ -è. Committed-choice

]f kFlengš‚‡ ¬Ã ½T Â1 jK ô. þ òö Q

6 Ø518È v× 6, Vol. 6, No. 2P-8, pp. 101{

102,September1995.