Programvarusystemen förändras hela tiden. Patchar för att rätta buggar och patchar för att lägga till funktioner är alltför vanligt. Varje förändring riskerar att bryta ett tidigare fungerande system. Därför avskyr administratörer att ändra, och är villiga att fördröja även kritiska säkerhet patchar tills helt bekräfta deras korrekthet. Jämfört med offline-validering har on-line-validering tydliga fördelar eftersom den testar mot verkliga arbetsbelastningar. Men tyvärr kräver det restriktiva omkostnader eftersom det kräver att man kör de gamla och nya versionerna sida vid sida. Dessutom på grund av falska skillnader (t.ex. Händelsetidpunkt, slumpmässig talgenerering och trådkorsningar) är det svårt att jämföra de två för validering. För att möjliggöra mer effektiv on-line patch-validering föreslår vi en ny mekanism, kallad delta-utförande, som bygger på observationen att de flesta patcher är små. till utförande sammanfogar de två sida vid sida utföranden för större delen av tiden och delar endast när det är nödvändigt, t.ex. när de får tillgång till olika data eller kör olika kod. Detta gör att vi kan utföra on-line validering inte bara med lägre overhead men också med kraftigt minskade falska skillnader, vilket gör det möjligt för oss att effektivt validera förändringar. Vi validerar först genomförbarheten av vår idé genom att studera egenskaperna hos 240 patchar från 4 serverprogram; vår undersökning visar att 77% av förändringarna inte bör förväntas orsaka stora förändringar och är därmed möjliga att genomföra. Vi implementerade sedan en exekvering med hjälp av dynamisk instrumentering. Med hjälp av riktiga patchar från 7 serverprogram och 3 andra program, jämförde vi vår implementation av utförande mot en traditionell sida vid sida on-line validering. på utförande överträffade traditionell validering med upp till 128%; vidare, för 3 av förändringarna, falska skillnader orsakade den traditionella valideringen att misslyckas helt medan  på utförande lyckades. Detta visar att utförande kan göra det möjligt för administratörer att använda on-line valBeviljande att göra digitala eller hårda kopior av hela eller delar av detta arbete för personligt eller klassrum användning beviljas utan avgift, förutsatt att kopior inte görs eller distribueras för vinst eller kommersiella fördelar och att kopior bär detta meddelande och den fullständiga citering på första sidan. För att kopiera på annat sätt, för att återpublicera, för att posta på servrar eller för att omfördela till listor, krävs tidigare specifik behörighet och/eller avgift.
Detta arbete representerar en ny tillämpning av delta exekvering REF, som ursprungligen utformades för effektiv on-line patch validering.
Efficient online validation with delta execution
{'venue': 'ASPLOS', 'journal': None, 'mag_field_of_study': ['Computer Science']}