Abstract-Concurrent data strukturer ger möjlighet att flertrådade program för att dela data. Datastrukturer levereras med en uppsättning fördefinierade operationer, som specificeras av semantiken i datastrukturen. I litteraturen och i flera samtida allmänt använda programmeringsmiljöer har begreppet iteration införts för insamling av datastrukturer, som en bulkoperation som förbättrar den inhemska verksamheten. Iterationer i flera av dessa sammanhang har behandlats som sekventiella till sin natur och kan ge svaga konsekvensgarantier när de körs samtidigt med den inhemska verksamheten i datastrukturerna. I detta arbete studerar vi iterationer i samtidiga datastrukturer i samband med samstämmighet med den inhemska verksamheten och de garantier som de ger. Förutom linjärisering föreslår vi en uppsättning konsekventa specifikationer för sådan bulkverksamhet, bland annat genom att bygga vidare på Lamports systematiska definitioner av register. Dessutom, genom att använda köer och sammansatta register som fallstudier av underliggande objekt, tillhandahåller vi en uppsättning konstruktioner av iteration verksamhet, uppfyller egenskaperna och visar inneslutning relationer. Förutom avvägningen mellan överensstämmelse och genomströmning, pekar vi ut och studerar avvägningen mellan overhead av bulkverksamheten och eventuellt stöd (hjälp) av den inhemska verksamheten i datastrukturen.
Nikolakopoulos m.fl. Ref beaktade olika överensstämmelsespecifikationer för iteratorer för samtidiga datastrukturer.
A Consistency Framework for Iteration Operations in Concurrent Data Structures
{'venue': '2015 IEEE International Parallel and Distributed Processing Symposium', 'journal': '2015 IEEE International Parallel and Distributed Processing Symposium', 'mag_field_of_study': ['Computer Science']}