Flow programmering

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Flow programmering</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <A HREF="id286.htm" TARGET="_top" TITLE="Distribuerede computere"><U><B><IMG SRC="003151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id256.htm" TARGET="_top" TITLE="Slutbruger konfigurerbare applikationer"><U><B><IMG SRC="004151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id246.htm" TARGET="_top" TITLE="Flow orientering"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="finkel__1995__advanced_programming_language_design.htm" TARGET="_top" TITLE="Advanced Programming Language Design"><U><B>Finkel [1995] Advanced Programming Language Design</B></U></A></div> <div> <A HREF="morrison__1994__flow_based_programming.htm" TARGET="_top" TITLE="FlowBased Programming"><U><B>Morrison [1994] Flow-Based Programming</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> De dominerende programmeringssprog er naturligvis tæt knyttet til den dominerende klassiske maskinarkitektur og programmeringsmodel med processor der bearbejder data i en adresserbar lagerenhed. Der har dog været en løbende udvikling i programmeringssprog af faciliteter til bedre håndtering af maskinarkitekturen og programmeringsmodellen samt kompleksiteten i de udviklede programmer. Programmeringssprog er ligeledes udviklet løbende i relation til udviklingen fra den klassiske til den distribuerede maskinarkitektur og programmeringsmodel.</div> <bR> <div> Højniveau programmeringssprog som pascal og C begrænser kompleksiteten i programmer ved at begrænse bieffekter af programinstruktioner ved delvist at opdele lagerenheden i mindre, separate lagerområder i form af lokale variable i de enkelte funktioner. Internt i funktionerne fungerer de efter den klassiske programmeringsmodel.</div> <bR> <div> Med abstrakte datatyper og objektorienterede programmeringssprog mindskes kompleksiteten i form af bieffekter af programinstruktioner yderligere ved at begrænse disse til definerede operationer på data. Internt fungerer abstrakte datatyper og objekter dog også efter den klassiske programmeringsmodel.</div> <bR> <div> Den klassiske maskinarkitektur og programmeringsmodel omfatter én processor som gennemløber et program, hvilket også afspejler sig i de dominerende højniveau programmeringssprog som de imperative programmeringssprog og objektorienterede programmeringssprog med passive objekter. I sådanne programmer er én procedure eller ét objekt som udgangspunkt styrende, hvorfra kontrollen trinvis i ordnet rækkefølge overdrages til andre procedurer og objekter.</div> <bR> <div> Imperative programmeringssprog med parallelprogrammeringsudvidelser og objektorienterede programmeringssprog med aktive objekter bryder med den klassiske programmeringsmodel ved at tillade flere forskellige kontrollerende procedurer og objekter indenfor et program for at udnytte multiprocessor maskinarkitekturer. Det kan desuden mindske kompleksiteten af programmer og udviklingen af programmer ved at opdele dem i mindre, samarbejdende enheder, men det øger dog også kompleksiteten med timing og allokering problemer i det omfang at enhederne deler data og ressourcer. Dette vil som regel være tilfældet, da programmeringssprogene grundlæggende, indenfor de enkelte enheder fortsat fungerer efter den klassiske programmeringsmodel.</div> <bR> <div> Væsentlige problemer i forbindelse med de dominerende imperative og objekorienterede programmeringssprog kan henføres til den klassiske programmeringsmodel i forbindelse med bieffekter af programinstruktioners operationer på data i lagerenheden.</div> <bR> <div> Funktionelle programmeringssprog undgår problemer med bieffekter ved at bryde med den klassiske programmeringsmodel ved ikke at adressere og bearbejde data i lagerenhed men i stedet for kun at aflæse og anvende data i lagerenheden som inddata til en funktion, der allokerer og genererer nye data i lagerenheden som uddata. Funktionel programmering virker umiddelbart dog ikke så effektivt med hensyn til såvel udvikling som eksekvering af programmer, og mange programtyper virker umiddelbart ikke så naturligt som funktioner.</div> <bR> <div> Dataflow programmeringssprog undgår ligeledes problemer med bieffekter ved at data kun eksisterer som selvstændige, ikke-adresserbare enheder der flyder/transmitteres som inddata og uddata igennem netværk af programinstruktioner (der alle principielt altid er aktive). Dataflow programmering er funktionel men omfatter mere avancerede data og kontrolstrukturer og virker umiddelbart mere naturligt.</div> <bR> <div> Der kan således ses en udvikling i programmering fra at omfatte én programproces og ét lagerområder med udgangspunkt i den klassiske maskinarkitektur og programmeringsmodel til at omfatte mange selvstændige programprocesser og data (uanset om den underliggende maskinarkitektur er klassisk eller distribueret).</div> <bR> </td> </tr></table></body>