ECOMP - an Erlang Processor.ppt

ECOMP-anErlangProcessorRobertTjärnström,EricssonRadioPeterLundell,OutlineWhyanErlangProcessorTheArchitectureRun-TimeSystemPrototypeResultsWhatIsanErlangProcessorA(micro)-TimeOperatingSystemProviderun-,returnfromfunctionArgumenttransferlistoperationsRegisterfilemanagementCleanregisterfileuponstartofnewfunctionNoread/write-backofvariablesneededInstructionSetArchitectureSupportsprocessesSupportslocalscopeThreesub-instructionsineachmachineinstructionSub-monwithconven-tionalarchitecturesRISCLIWHarvardPipelined(3-5stages)plex(advanced)featuresNotsuper-scalarNoOOO-executionorspeculativeexecutionNobranch-prediction(butwillbeadded)FetchDecodeReg-FileExecuteMemunitDataProgramProcessorArchitectureReal-timegarbagecollectionGCperformedconcurrentlyinHWCurrentlysupportsoneelementsizeHWsupportedprocess-switching(~20cycles)Currently1process-queue,(mayhavemore)Clock-cyclelimitforeachprocess(Basictypechecking)(PreparedforMulti-Threading)Run-TimeFunctionalitySwitch,Spawn,Send,Message-queuehandling,Catch/Throw,Time-outExternalio,Atom-handling,RegisteredprocessesImplementedinmachinecodeBuilt-ins(.,element)StandardLibraries(,ETS)