નિમે YRC રજૂ કર્યું, જે થ્રેડ-સેફ રેફરન્સ કલેક્ટર છે.

નિમ પ્રોગ્રામિંગ ભાષાના લેખક, એન્ડ્રેસ રુમ્ફ (અરક) એ એક નવું મેમરી મેનેજમેન્ટ અલ્ગોરિધમ, YRC (ઉચ્ચાર "Ürk") ની જાહેરાત કરી, જે નિમમાં હાલની પદ્ધતિઓ સાથેની એક મુખ્ય સમસ્યાને સંબોધે છે: થ્રેડ સીમાઓ પાર કરતા ગોળાકાર સંદર્ભોને યોગ્ય રીતે હેન્ડલ કરવામાં અસમર્થતા.

YRC પહેલાં, નિમના પ્રસ્તાવિત મેમરી મેનેજમેન્ટ અલ્ગોરિધમ્સમાં નીચેની મર્યાદાઓ હતી: ARC મલ્ટિથ્રેડીંગ અથવા સાયકલ હેન્ડલિંગને સપોર્ટ કરતું ન હતું; એટોમિક ARC થ્રેડ-સેફ હતું પરંતુ સાયક્લિક સંદર્ભોને હેન્ડલ કરતું ન હતું; ORC સાયક્લિક સંદર્ભોને હેન્ડલ કરતું હતું પરંતુ ફક્ત એક જ થ્રેડમાં યોગ્ય રીતે કરી શકતું હતું (થ્રેડો વચ્ચે શેર કરેલા સંદર્ભોનો ઉપયોગ કરતી વખતે મેમરી લીક થતી હતી).

પ્રસ્તાવિત YRC હાઇબ્રિડ અભિગમનો ઉપયોગ કરીને થ્રેડ સલામતી અને ઇન્ટરથ્રેડ ચક્ર હેન્ડલિંગને જોડે છે: એટમિક રેફરન્સ કાઉન્ટિંગનો ઉપયોગ એસાયક્લિક ડેટા માટે થાય છે, અને એક લેખન અવરોધ, જે ફક્ત પોઇન્ટર સોંપતી વખતે સક્રિય થાય છે, તેનો ઉપયોગ ચક્રીય ડેટા માટે થાય છે. પ્રસ્તાવિત અમલીકરણમાં: કલેક્ટરને ખરેખર જરૂર પડે ત્યારે શરૂ કરવામાં આવે છે (કોઈ સ્ટોપ-ધ-વર્લ્ડ પોઝ નથી); RC રૂટ ઑબ્જેક્ટ્સને સ્પષ્ટ રીતે વ્યાખ્યાયિત કરવામાં આવે છે અને એકવાર મર્જ કરવામાં આવે છે (કોઈ થ્રેડ સ્ટેક સ્કેનિંગ જરૂરી નથી); પુનરાવૃત્તિ દરમિયાન મલ્ટિથ્રેડેડ ડિલીટેશન ટાળવામાં આવે છે (કોઈ ગ્લોબલ સ્વીપ ફેઝ નથી); મ્યુટેટર્સ ડેટા વાંચવા માટે મુક્ત છે; કોઈપણ થ્રેડ જરૂર પડે ત્યારે કચરો કલેક્ટર શરૂ કરી શકે છે (કોઈ સમર્પિત GC થ્રેડ નથી).

YRC સંપૂર્ણ incRef/decRef ઇવેન્ટ માહિતીનો ઉપયોગ કરે છે, જેને પરંપરાગત ટ્રેસિંગ ગાર્બેજ કલેક્ટર્સ (GCs) કાઢી નાખે છે અને પછી સ્ટેક સ્કેન અને ગ્રાફ ટ્રાવર્સલ દ્વારા પુનઃપ્રાપ્ત કરવું આવશ્યક છે. અમલીકરણમાં ફક્ત 550 લાઇન કોડનો ઉપયોગ થાય છે અને TLA+ માં સ્પષ્ટીકરણ અને લીન ટૂલકીટમાં પુરાવા દ્વારા સલામતી અને ડેડલોક સ્વતંત્રતા માટે ઔપચારિક રીતે ચકાસવામાં આવે છે. YRC ને "લગભગ છેલ્લા સંદર્ભ-ગણતરી ચક્ર કલેક્ટર" (મૂળાક્ષરોમાં Z ની પહેલા Y અક્ષર આવે છે), તેમજ સૌથી સરળ થ્રેડ-સેફ ગાર્બેજ કલેક્ટર તરીકે માર્કેટિંગ કરવામાં આવે છે - લેખકના મતે, તેને પરંપરાગત ટ્રેસિંગ ગાર્બેજ કલેક્ટર્સમાં રહેલી ઘણી જટિલ પદ્ધતિઓની જરૂર નથી.

YRC ORC જેવું જ API પૂરું પાડે છે, જેમાં કચરો સંગ્રહ દરમિયાન ડિસ્ટ્રક્ટર ચલાવવામાં આવે છે. કલેક્ટર ફક્ત થ્રેડો દ્વારા એક્સેસ કરાયેલા ઑબ્જેક્ટ સબગ્રાફ્સ પર પ્રક્રિયા કરે છે, જે અસંબંધિત ડેટા સ્ટ્રક્ચર્સ (કેશ, લાંબા સમય સુધી ચાલતા ઑબ્જેક્ટ્સ) ને અસ્પૃશ્ય રાખે છે - એક અભિગમ જે "આદર્શ" પેઢીગત કચરો સંગ્રહક જેવો જ છે જેમાં પેઢીગત GC નથી. મુખ્ય ખામી કામગીરી છે: YRC orcbench બેન્ચમાર્કમાં ORC ની તુલનામાં 1.5-2.0x મંદી દર્શાવે છે. લેખક આને ચક્રીય સંદર્ભોના સંપૂર્ણપણે થ્રેડ-સેફ હેન્ડલિંગ માટે સ્વીકાર્ય ટ્રેડઓફ માને છે.

YRC પહેલાથી જ Nim ના ડેવલપમેન્ટ વર્ઝનમાં ઉપલબ્ધ છે અને તેને "--mm:yrc" ફ્લેગ સાથે સક્ષમ કરી શકાય છે. જો કે, પછીની પોસ્ટ્સમાં, લેખકે સ્વીકાર્યું કે પ્રારંભિક અમલીકરણમાં ગંભીર ભૂલો હતી અને ચક્ર યોગ્ય રીતે બનાવવામાં આવ્યા ન હતા. પ્રકાશન સમયે, પેચોનો સમૂહ તૈયાર કરવામાં આવ્યો છે જે મુખ્ય મુદ્દાઓને સંબોધે છે. લેખક બિલ્ડ હ્યુરિસ્ટિક્સને ટ્યુન કરવાનું અને બાકી રહેલી ભૂલોને સુધારવાનું ચાલુ રાખે છે, જ્યારે અંતર્ગત અલ્ગોરિધમ અને તેની ઔપચારિક ચકાસણી સાચી રહે છે.

સોર્સ: opennet.ru