[CALU] Predicated Execution, Wrap-Up

  • From: Benedikt Huber <benedikt@xxxxxxxxxxxxxxxxxx>
  • To: calu-ss2010-tuwien@xxxxxxxxxxxxx
  • Date: Wed, 14 Apr 2010 10:06:09 +0200

Hi zusammen,
ich beginne langsam die Zusammenhaenge zu verstehen;)
Hier die Semantik der vorgeschlagenen Operationen:

PREDSET        pX, atomic (pC) := PRED atomic, pX<UU>,p{X+1}<iUU> (pC)
PREDCLEAR  pX, atomic (pC) := PRED atomic, p{X+1}<UU>,pX<iUU> (pC)
PREDAND pX, atomic (pC) | pC := PRED atomic, pX<PU>,p{X +1}<iPU> (pX) | !pC := PRED _, pX<UU>,p{X+1}<iUU> (false) PREDNAND pX, atomic (pC) | pC := PRED atomic, p{X+1}<PU>,pX<iPU> (pX+1) | !pC := PRED _, pX<UU>,p{X+1}<iUU> (false)

Ich denke noch immer, die Kombinatorvarianten (PREDANDP, PREDNANDP) sind
notwendig um conditionals a'la
  if((A && B) || (C && D)) zu uebersetzen.

Zur Erinnerung:
  PREDANDP pX pY (pC)
   (pX,pX+1) | !pC    = 0,0
   (px,pX+1) |  pc      = (pX && pY, pX+1 || !pY)
  PREDNANDP pX pY (pC)
   (pX,pX+1) | !pC    = 0,0
   (px,pX+1) |  pc      = (pX+1 && pY, pX || !pY)

Oder gehts dass auch vernuenftig nur mit den obstehenden?

lg, benedikt


Other related posts:

  • » [CALU] Predicated Execution, Wrap-Up - Benedikt Huber