Vi identifierar ett enkelt förhållande som förenar till synes orelaterade framstegsförhållanden som sträcker sig från dödlägesfria och svältfria egenskaper som är gemensamma för låsbaserade system, till icke-blockerande förhållanden som obstruktionsfrihet, lockfrihet och väntetidfrihet. Egenskaper kan klassificeras längs två dimensioner baserat på de krav de ställer på operativsystemets schemaläggare. En lucka i klassificeringen avslöjar ett nytt icke-blockerande framstegstillstånd, svagare än obstruktionsfrihet, som vi kallar konfliktfrihet. Klassificeringen ger en intuitivt tilltalande förklaring till varför programmerare fortsätter att utforma datastrukturer som blandar både blockerande och icke-blockerande framsteg. Det förklarar också varför den väntetidsfria egendomen är en naturlig grund för konsensushierarkin: en teori om delad minnesberäkning kräver ett oberoende framsteg, inte ett tillstånd som ställer krav på operativsystemets schemaläggare.
Både köfria och icke-blockerande egenskaper garanterar framsteg oavsett hur operativsystemet schemalägger trådar REF.
On the nature of progress
{'venue': 'OPODIS', 'journal': None, 'mag_field_of_study': ['History', 'Computer Science']}