ગુગલે KCSAN નો ઉપયોગ કરીને લિનક્સ કર્નલમાં સેંકડો રેસ કંડિશનની શોધ કરી

લિનક્સ કર્નલ

ગૂગલ એન્જિનિયર્સ જે લિનક્સ કર્નલ માટે ફાળો આપે છે જાહેરાત કરી છે કે તેઓએ કેસીએસએએનનો ઉપયોગ કરીને, સેંકડો "રેસ શરતો" શોધી કા .ી છે. કોડમાં અસ્પૃષ્ટ વર્તન માટે મેમરી ભ્રષ્ટાચાર અથવા અનડેફાઇન્ડબહેવિયરસેનિટાઈઝરથી સંબંધિત ભૂલો શોધવા માટે કંપની લાંબા સમયથી એડ્રેસસેનિઝર પર કામ કરી રહી છે.

આ સમયે, કેસીએસએન નામની લિનક્સ કર્નલ માટે ગૂગલ એક નવું “રેસ શરતો” ડિટેક્ટર પ્રદાન કરે છે (કર્નલ કોનક્યુરન્સી સેનિટાઈઝર). આ ગંભીર નબળાઈઓ નવી નથી. હકીકતમાં રેસ શરતો ત્યારે થાય છે જ્યારે એક જ પ્રક્રિયામાં બે અથવા વધુ થ્રેડો એક સાથે સમાન મેમરી સ્થાનને accessક્સેસ કરે છે, જ્યાં એક્સેસની ઓછામાં ઓછી એક લખવાની છે અને જ્યારે થ્રેડો આ મેમરીની toક્સેસને નિયંત્રિત કરવા માટે વિશિષ્ટ તાળાઓનો ઉપયોગ કરતા નથી.

જ્યારે આ શરતો પૂરી થાય છે, ત્યારે orderક્સેસ orderર્ડર ડિસ્ટ્રિનેટિક નથી અને ગણતરી આ ક્રમના આધારે એક રનથી બીજામાં વિવિધ પરિણામો આપી શકે છે.

રેસ શરતો વધુને વધુ એકસાથે accessક્સેસ ભૂલો તરીકે જોવામાં આવે છે અને તેનું ડુપ્લિકેટ કરવું મુશ્કેલ છે અને સમાંતર કાર્યક્રમોમાં નિદાન. લિનક્સ કર્નલ એ એક મોટા પાયે સ softwareફ્ટવેર સિસ્ટમ છે, જેમાં થ્રેડ-સઘન સમાંતર અને બિન-નિરોધક થ્રેડ ઇન્ટરલેવિંગ સ્પર્ધાત્મક પરિસ્થિતિઓને વધુ આધિન છે.

કેટલીક સ્પર્ધાત્મક પરિસ્થિતિઓ સૌમ્ય હોઈ શકે છે, પરંતુ તેમાંથી ઘણીને ઓળખવામાં આવેલી ભૂલો માનવામાં આવે છે.

લિનક્સ કર્નલ આ પ્રકારની પરિસ્થિતિઓને ટાળવા અને તેનું સંચાલન કરવા માટે ઘણી પદ્ધતિઓ પ્રદાન કરે છે કારણ કે લિનક્સ કર્નલમાં એક્ઝિક્યુટિવ એક્ઝેક્યુશન ભૂલો શોધવા માટે થ્રેડ વિશ્લેષક અથવા કેટીએસએન (કર્નલ થ્રેડ સેનિટાઇઝર) જેવા સાધનો છે.

જો કે, ગૂગલ, જે લિનક્સ કર્નલમાં પણ ફાળો આપે છે, તેણે તાજેતરમાં સૂચિત કેસીએસએએન, કર્નલ માટે નવું રેસ કંડીશન્સ ડિટેક્ટર, કેટીએસએએસએન જેવું જ છે.

ગૂગલ મુજબ, કેસીએસએએન કર્નલ કોડમાં સ્પર્ધાત્મક પરિસ્થિતિઓને શોધવા પર ધ્યાન કેન્દ્રિત કરે છે. આ ગતિશીલ ક્રિટિકલ હિટ ડિટેક્ટર એ કર્નલ થ્રેડ સેનિટાઈઝર (કેટીએસએન) નો વિકલ્પ છે.

ગૂગલના સમજૂતી મુજબ, કેસીએસએએન, નમૂનાના મોનિટરિંગ પોઇન્ટ્સ પર આધારિત છે, કેટીએસએન ડીટેક્ટરથી વિપરીત, જે ઇવેન્ટ પૂર્વે જટિલ રેસ ડિટેક્ટર છે. કેસીએસએન ડિઝાઇનમાં મુખ્ય અગ્રતાઓ ખોટી હકારાત્મકતા, માપનીયતા અને સરળતાનો અભાવ છે.

KCSAN મેમરીને accessક્સેસ કરવા માટે સંકલન સાધનોનો ઉપયોગ કરે છે. કેસીએસએન, જીસીસી અને ક્લેંગ કમ્પાઇલરો સાથે સુસંગત છે. જીસીસી સાથે, તેને 7.3.0 અથવા પછીના સંસ્કરણની જરૂર છે અને રણકાર સાથે, તેને 7.0.0 અથવા પછીના સંસ્કરણની જરૂર છે.

પ્રોજેક્ટના ગિટહબ પૃષ્ઠ પરગુગલના માર્કો એલ્વરે લખ્યું છે કે ગયા મહિને પરીક્ષણોમાં કેસીએસએએનનો ઉપયોગ કરીને, તેઓ માત્ર બે દિવસમાં 300 થી વધુ અનન્ય મુખ્ય સ્પર્ધાની પરિસ્થિતિઓમાં જોવા મળ્યાં છે. કેસીએસએન તેની વર્તણૂકને કસ્ટમાઇઝ કરવા માટે ઘણાં રૂપરેખાંકન વિકલ્પો પૂરા પાડે છે.

“અમે કેટલાક અઠવાડિયાથી સિઝકલર દ્વારા કેસીએસએનનો ઉપયોગ કરી રહ્યા છીએ, અને અમને ઘણા બધા ભૂલો મળી આવ્યા છે. શરૂઆતમાં સપ્ટેમ્બર 2019 માં, અમે ફક્ત બે દિવસમાં 300 થી વધુ અનન્ય સ્પર્ધાની પરિસ્થિતિઓને ઓળખી કા .ી, ”તેમણે લખ્યું.

ગૂગલે કહ્યું કે સામાન્ય અભિગમ ડેટાકોલિડર પર આધારિત છે, કર્નલ મોડ્યુલોમાં સ્પર્ધાત્મક પરિસ્થિતિઓનો બીજો ગતિશીલ ડિટેક્ટર. પરંતુ ડેટાકોલિડરથી વિપરીત, કેસીએસએનએન હાર્ડવેર મોનિટરિંગ પોઇન્ટનો ઉપયોગ કરતું નથી, તેના બદલે તે સંકલન સાધનો પર આધાર રાખે છે.

મોનિટરિંગ પોઇન્ટ્સ અસરકારક એન્કોડિંગનો ઉપયોગ કરીને લાગુ કરવામાં આવે છે જે લાંબી ફાઇલમાં પ્રકાર, કદ અને addressક્સેસ સરનામાંને સંગ્રહિત કરે છે. લવચીક મોનિટરિંગ પોઇન્ટના ઉપયોગના ફાયદા એ પોર્ટેબિલીટી અને monitoringક્સેસને મર્યાદિત કરવામાં વધુ સુગમતા છે જે મોનિટરિંગ પોઇન્ટ સક્રિય કરી શકે છે.

કેસીએસએએનએ ગૂગલ માટે બનાવેલા કેટલાક મુખ્ય મુદ્દાઓ અહીં આપ્યા છે:

  • સારો પ્રદ્સન: કેસીએસએન રનટાઇમ ન્યૂનતમ છે અને દરેક forક્સેસ માટે શેર કરેલ સ્ટેટ લkingકિંગની આવશ્યકતા નથી. પરિણામ એ કેટીએસએન કરતા વધુ સારું પ્રદર્શન છે.
  • કોઈ વધારાની મેમરી નથી: ગૂગલ અનુસાર, કોઈ કળશ જરૂરી નથી. મોનિટરિંગ પોઇન્ટની માહિતીને એન્કોડ કરવા માટે વર્તમાન અમલીકરણ નાની સંખ્યામાં લંબાઈનો ઉપયોગ કરે છે, જે નજીવા છે.
  • મેમરી આદેશ: કેસીએસએન લિનક્સ કર્નલ મેમરી મોડેલ (એલકેએમએમ) નિયંત્રણ નિયમોને જાણતો નથી. આના પરિણામ રૂપે KTSAN જેવા પૂર્વ-ઇવેન્ટ રેસ ડિટેક્ટરની તુલનામાં નિર્ણાયક રેસ (ખોટી નકારાત્મક) ગુમાવી શકે છે
  • ચોકસાઈ: ગૂગલના મતે, કેસીએસએએન અશુદ્ધ છે કારણ કે તે નમૂના લેવાની વ્યૂહરચનાનો ઉપયોગ કરે છે;
  • એનોટેશનની જરૂર છે: કેસીએસએન રનટાઇમની બહાર ન્યૂનતમ એનોટેશન આવશ્યક છે. પૂર્વ-શરત ઇવેન્ટ શ્રોતાના કિસ્સામાં, કોઈપણ ચૂક ખોટા હકારાત્મક તરફ દોરી જાય છે, જે કર્નલના સંદર્ભમાં ખાસ કરીને મહત્વપૂર્ણ છે જેમાં વૈવિધ્યપૂર્ણ સમય પદ્ધતિઓ શામેલ છે.
  • ઉપકરણોથી ગતિશીલ લખવાની શોધ: વpointચપોઇન્ટ સેટઅપ દરમિયાન ડેટા મૂલ્યોની તપાસ કરીને, ઉપકરણોમાંથી ગતિશીલ લેખકો પણ શોધી શકાય છે.

તમારી ટિપ્પણી મૂકો

તમારું ઇમેઇલ સરનામું પ્રકાશિત કરવામાં આવશે નહીં. આવશ્યક ક્ષેત્રો સાથે ચિહ્નિત થયેલ છે *

*

*

  1. ડેટા માટે જવાબદાર: AB ઈન્ટરનેટ નેટવર્ક્સ 2008 SL
  2. ડેટાનો હેતુ: નિયંત્રણ સ્પામ, ટિપ્પણી સંચાલન.
  3. કાયદો: તમારી સંમતિ
  4. ડેટાની વાતચીત: કાયદાકીય જવાબદારી સિવાય ડેટા તૃતીય પક્ષને આપવામાં આવશે નહીં.
  5. ડેટા સ્ટોરેજ: cસેન્ટસ નેટવર્ક્સ (ઇયુ) દ્વારા હોસ્ટ કરેલો ડેટાબેઝ
  6. અધિકાર: કોઈપણ સમયે તમે તમારી માહિતીને મર્યાદિત, પુન recoverપ્રાપ્ત અને કા deleteી શકો છો.