Abstrakt. En långgående transaktion är en interaktiv komponent i ett distribuerat system som måste utföras som om det vore en enda atomisk åtgärd. I princip bör det inte avbrytas eller misslyckas i mitten, och det får inte blandas med andra atomiska åtgärder av andra samtidigt verkställande komponenter i systemet. I praktiken uppnås illusionen om atomäritet för en långgående transaktion med hjälp av kompensationsåtgärder som tillhandahålls av den ursprungliga programmeraren: eftersom transaktionen är interaktiv, välbekant automatisk kontroll- och backningsteknik är den inte längre tillräcklig. Detta papper konstruerar en modell av långsiktiga transaktioner inom ramen för CSP-processen algebra, som visar hur kompensationerna iscensätts för att uppnå illusionen om atomäritet. Det införs en metod för att förklara att en process är en transaktion, och för att förklara en ersättning för den om den måste rullas tillbaka efter det att den har åtagit sig. Den välbekanta operatören av sekventiell sammansättning omdefinieras för att se till att alla nödvändiga ersättningar kallas i rätt ordning om ett senare misslyckande gör detta nödvändigt. Teknikerna är utformade för att fungera bra i en mycket samtidig och distribuerad miljö. Dessutom definierar vi ett änglaval, som genomförs genom spekulativt utförande av alternativ; dess omdömesgilla användning kan förbättra lyhördheten hos ett system inför oförutsägbara latenser av fjärrkommunikation. Många av de välbekanta egenskaperna hos processalgebra bevaras genom dessa nya definitioner, på rimliga antaganden om korrektheten och oberoendet hos den programmerade ersättningen.
I det tillvägagångssätt som används i Ref modelleras en långfristig transaktion som en sekventiell process, med de vanliga operatörerna för sekventiell sammansättning, val av åtgärd, parallell sammansättning.
A trace semantics for long-running transactions
{'venue': 'In 25 Years Communicating Sequential Processes', 'journal': None, 'mag_field_of_study': ['Computer Science']}