简介：TheGAMMAparadigmisrecentlyproposedbyBanatreandMetayertodescribethesystematicconstructionofparallelprogramswithoutintroducingartificialsequentiality.ThispaperpresentstwosynchronousexecutionmodelsforGAMMAanddiscusseshowtoimplementthemonMasParMP-1,amassivelydataparallelcomputer.TheresultsshowthatGAMMAparadigncanbeimplementedverynaturallyondataparallelmachines,andveryhighlevellanguage,suchasGAMMAinwhichparallelismisleftimplicit,issuitableforspecifyingmassivelyparallelapplications.

简介：Thedistributedcomputersystemdescribedinthispaperisasetofcomputernodesinterconnectedinaninterconnectionnetworkviapacket-switchinginterfaces.Thenodescommunicatewitheachotherbymeansofmessage-passingprotocols.Thispaperpresentstheimplementationofrendezvousfacilitiesashigh-levelprimitivesprovidedbyaparallelprogramminglanguagetosupportinterprocesscommunicationandsynchronization.

简介：Intoday'sInternetcomputingworld,illegalactivitiesbycrackersposeaseriousthreattocomputersecurity.Itiswellknownthatcomputerviruses,Trojanhorsesandotherintrusiveprogramsmaycausesevereandoftencatastrophicconsequences.Thispaperproposesanovelsecurecomputerarchitecturebasedonsecurity-code.Everyinstruction/datawordisaddedwithasecurity-codedenotingitssecuritylevel.Externalprogramsanddataareautomaticallyaddedwithsecurity-codebyhardwarewhenenteringacomputersystem.Instructionwithlowersecurity-codecannotrunorprocessinstruction/datawithhighersecuritylevel.Security-codecannotbemodifiedbynormalinstruction.Withminorhardwareoverhead,thenewarchitecturecaneffectivelyprotectthemaincomputersystemfromdestructionortheftbyintrusiveprogramssuchascomputerviruses.FormostPCsystems,itincludesanincreaseofword-lengthby1bitonregisters,thememoryandtheharddisk.

简介：