--Antoine de Saint-Exup~ry, The Little Prince Sammanfattning, Räkna problemet kräver n asynkrona processer för att tilldela sig på varandra följande värden. En lösning är linjär om ordningen för de tilldelade värdena återspeglar den realtidsordning i vilken de begärdes. Linjäriserbara räkning ligger i hjärtat av samtidig tidsstämpelgenerering, samt samtidiga implementationer av delade räknare, FIFO-buffertar och liknande datastrukturer. Vi överväger lösningar på linearizable counting problem i en multiprocessor arkitektur där processer kommunicerar genom att tillämpa read-modify-write åtgärder till ett delat minne. Linjäriserbara räknealgoritmer kan bedömas med hjälp av tre kriterier: den producerade minnesfrågan, huruvida processer krävs för att vänta på varandra och hur lång tid det tar att välja ett värde (latensen). En lösning är idealisk om den har låg stridighet, låg latens, och den eschews väntar. Den konventionella programvarulösningen, där processer synkroniseras med en enda variabel, undviker att vänta och har låg latens, men har hög stridighet. I detta dokument ger vi två nya konstruktioner baserade på att räkna nätverk, en med låg latens och låg stridighet, men det kräver processer för att vänta på varandra, en med låg stridighet och ingen väntan, men det har hög latens. Slutligen bevisar vi att
Linjäriserbara räknenätverk definierades och studerades i REF.
Linearizable counting networks
{'venue': 'Distributed Computing', 'journal': 'Distributed Computing', 'mag_field_of_study': ['Computer Science']}