Leslie‘s speech in the 21st Century

《Leslie‘s speech in the 21st Century》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、AMathematicalViewofComputerSystemsLeslieLamportMicrosoftResearch0ADigitalSystemBehaviordescribedbyv(t)=:::gy1ADigitalSystem–AClockBehaviordescribedbyv(t)=:::gy1ADigitalSystem–AOne-BitClockBehaviordescribedbyv(t)=:::gy1ADigitalSystem–AOne-BitClockBehaviordescr

2、ibedbyv(t)=:::gyvoltage610-time1ADigitalSystem–AOne-BitClockBehaviordescribedbyv(t)=:::gyv610-t1ADigitalSystem–AOne-BitClockBehaviordescribedbyv(t)=:::gyv610-t1ADigitalSystem–AOne-BitClockAnidealizedviewoftheclock’sbehaviorgyv610-t1ADigitalSystem–AOne-BitCloc

3、kAnidealizedviewoftheclock’sbehaviorgyv610-t1ADigitalSystem–AOne-BitClockAbstractawaycontinuousvoltagev=1v=0-t1ADigitalSystem–AOne-BitClockAbstractawaytimev=1v=01ADigitalSystem–AOne-BitClockAbstractawaytime–wedon’tcareexactlywhenitticks.v=1v=01ADigitalSystem–

4、AOne-BitClockSystembehaviorasequenceofstates.[v=0]![v=1]![v=0]![v=1]!


Thepracticalmethodofspecifyingsequencesofstates:initialstate:statetransition:Canbedescribedwithprogrammingnotation3ADigitalSystem–AOne-BitClockSystembehaviorasequenceofstates.[v=0]![v=1]!

5、[v=0]![v=1]!


Thepracticalmethodofspecifyingsequencesofstates:initialstate:statetransition:Canbedescribedwithprogrammingnotation3ADigitalSystem–AOne-BitClockSystembehaviorasequenceofstates.[v=0]![v=1]![v=0]![v=1]!


Thepracticalmethodofspecifyingsequencesofs

6、tates:initialstate:statetransition:Canbedescribedwithprogrammingnotation3ADigitalSystem–AOne-BitClockSystembehaviorasequenceofstates.[v=0]![v=1]![v=0]![v=1]!


Thepracticalmethodofspecifyingsequencesofstates:initialstate:statetransition:Canbedescribedwithprog

7、rammingnotation3ADigitalSystem–AOne-BitClockSystembehaviorasequenceofstates.[v=0]![v=1]![v=0]![v=1]!


Thepracticalmethodofspecifyingsequencesofstates:initialstate:v:=0statetransition:repeat{v:=(v+1)mod2}Canbedescribedwithprogrammingnotation3ADigitalSystem–AO

8、ne-BitClockSystembehaviorasequenceofstates.[v=0]![v=1]![v=0]![v=1]!


Thepracticalmethodofspecifyingsequencesofstates:tinitialstate:@@Rjstatetransition:v=0v=1orautomataY3ADigitalS