Separation kernel
સેપરેશન કર્નલ એ એક પ્રકારનો સુરક્ષા કર્નલ છે જેનો ઉપયોગ વિતરિત વાતાવરણનું અનુકરણ કરવા માટે થાય છે. આ ખ્યાલ જ્હોન રશબી દ્વારા 1981 ના પેપરમાં રજૂ કરવામાં આવ્યો હતો. રશબીએ મોટા, જટિલ સુરક્ષા કર્નલોના વિકાસ અને ચકાસણીમાં ઊભી થયેલી મુશ્કેલીઓ અને સમસ્યાઓના ઉકેલ તરીકે વિભાજન કર્નલની દરખાસ્ત કરી હતી જેનો હેતુ "સામાન્ય હેતુવાળી બહુ-વપરાશકર્તા પ્રણાલીઓ પર બહુસ્તરીય સુરક્ષિત કામગીરી પ્રદાન કરવાનો" હતો. રશબીના જણાવ્યા અનુસાર, "અલગ કર્નલનું કાર્ય એક એવું વાતાવરણ બનાવવાનું છે જે ભૌતિક રીતે વિતરિત પ્રણાલી દ્વારા પ્રદાન કરાયેલ વાતાવરણથી અલગ નથીઃ તે એવું દેખાવું જોઈએ કે દરેક શાસન એક અલગ, અલગ મશીન છે અને તે માહિતી માત્ર એક મશીનથી બીજી મશીનમાં જાણીતી બાહ્ય સંચાર રેખાઓ સાથે વહે છે. તેથી, આપણે વિભાજન કર્નલના ગુણધર્મોમાંથી એક સાબિત કરવું જોઈએ, તે એ છે કે સ્પષ્ટ રીતે પ્રદાન કરેલા સિવાય શાસન વચ્ચે માહિતીના પ્રવાહ માટે કોઈ ચેનલ નથી. વિભાજન કર્નલનો એક પ્રકાર, પાર્ટીશનિંગ કર્નલ, એ વ્યાપારી ઉડ્ડયન સમુદાયમાં એક જ પ્રોસેસર પર, બહુવિધ કાર્યો, કદાચ મિશ્ર જટિલતાના એક માર્ગ તરીકે સ્વીકૃતિ મેળવી છે. આ શૈલીમાં વ્યાવસાયિક રીઅલ-ટાઇમ ઓપરેટિંગ સિસ્ટમ ઉત્પાદનોનો ઉપયોગ વિમાન ઉત્પાદકો દ્વારા સલામતી-નિર્ણાયક એવિઓનિક્સ કાર્યક્રમો માટે કરવામાં આવે છે. 2007માં યુ. એસ. નેશનલ સિક્યુરિટી એજન્સી (એન. એસ. એ.) ના ઇન્ફોર્મેશન એસ્યોરન્સ ડિરેક્ટોરેટે સેપરેશન કર્નલ પ્રોટેક્શન પ્રોફાઇલ (એસ. કે. પી. પી.) પ્રકાશિત કરી હતી, જે સૌથી પ્રતિકૂળ જોખમી વાતાવરણમાં ઉપયોગમાં લેવા માટે યોગ્ય સેપરેશન કર્નલ્સ માટે સુરક્ષા આવશ્યકતાઓનું સ્પષ્ટીકરણ છે. એસ. કે. પી. પી. સામાન્ય માપદંડની ભાષામાં, આધુનિક ઉત્પાદનોના એક વર્ગનું વર્ણન કરે છે જે રશબીના વૈચારિક વિભાજન કર્નલના પાયાના ગુણધર્મો પ્રદાન કરે છે. તે વિકાસકર્તાઓ માટે ઉપલબ્ધ પસંદગીઓમાં કેટલાક અક્ષાંશ પ્રદાન કરતી વખતે વિભાજન કર્નલોના નિર્માણ અને મૂલ્યાંકન માટે સુરક્ષા કાર્યાત્મક અને ખાતરી જરૂરિયાતોને વ્યાખ્યાયિત કરે છે. એસ. કે. પી. પી. વિભાજન કર્નલને "હાર્ડવેર અને/અથવા ફર્મવેર અને/અથવા સોફ્ટવેર મિકેનિઝમ્સ તરીકે વ્યાખ્યાયિત કરે છે, જેનું પ્રાથમિક કાર્ય બહુવિધ પાર્ટીશનો સ્થાપિત કરવા, અલગ કરવા અને અલગ કરવા અને વિષયો અને તે પાર્ટીશનોને ફાળવવામાં આવેલા નિકાસ કરેલા સંસાધનો વચ્ચે માહિતીના પ્રવાહને નિયંત્રિત કરવાનું છે". વધુમાં, સેપરેશન કર્નલની મુખ્ય કાર્યાત્મક આવશ્યકતાઓમાં નીચેનાનો સમાવેશ થાય છેઃ અનધિકૃત ઍક્સેસથી તમામ સંસાધનો (CPU, મેમરી અને ઉપકરણો સહિત) નું રક્ષણ. મૂલ્યાંકન સુરક્ષા કાર્યો (ટી. એસ. એફ.) ના લક્ષ્યાંક દ્વારા ઉપયોગમાં લેવાતા આંતરિક સંસાધનોને વિષયોને ઉપલબ્ધ કરાવવામાં આવેલા નિકાસ કરેલા સંસાધનોથી અલગ કરવા. નિકાસ કરેલા સંસાધનોનું વિભાજન અને અલગ પાડવું. માહિતીની મધ્યસ્થી પાર્ટીશનો વચ્ચે અને નિકાસ કરેલા સંસાધનો વચ્ચે વહે છે. ઓડિટ સેવાઓ. વિભાજન કર્નલ તેના નિયંત્રણ હેઠળના તમામ નિકાસ કરેલા સંસાધનોને પાર્ટીશનોમાં ફાળવે છે. સ્પષ્ટ રીતે માન્ય માહિતી પ્રવાહ સિવાય પાર્ટીશનો અલગ પડે છે. એક પાર્ટીશનમાં વિષયની ક્રિયાઓ અન્ય પાર્ટીશનમાં વિષયોથી અલગ કરવામાં આવે છે (એટલે કે, તેને શોધી શકાતી નથી અથવા તેની સાથે વાતચીત કરી શકાતી નથી), સિવાય કે તે પ્રવાહને મંજૂરી આપવામાં આવી હોય. પાર્ટીશનો અને પ્રવાહોને રૂપરેખાંકન ડેટામાં વ્યાખ્યાયિત કરવામાં આવે છે. નોંધ લો કે 'પાર્ટીશન' અને 'વિષય' ઓર્થોગોનલ એબ્સ્ટ્રેક્શન છે. 'વિભાજન', તેની ગાણિતિક ઉત્પત્તિ દ્વારા સૂચવવામાં આવ્યું છે તેમ, સિસ્ટમ અસ્તિત્વના સમૂહ-સૈદ્ધાંતિક જૂથ માટે પ્રદાન કરે છે, જ્યારે 'વિષય' આપણને સિસ્ટમના વ્યક્તિગત સક્રિય અસ્તિત્વ વિશે તર્ક કરવાની મંજૂરી આપે છે. આમ, પાર્ટીશન (એક સંગ્રહ, જેમાં શૂન્ય અથવા વધુ ઘટકો હોય છે) એક વિષય (એક સક્રિય તત્વ) નથી, પરંતુ તેમાં શૂન્ય અથવા વધુ વિષયો હોઈ શકે છે. સેપરેશન કર્નલ તેના હોસ્ટ કરેલા સોફ્ટવેર પ્રોગ્રામ્સને ઉચ્ચ-ખાતરી પાર્ટીશનિંગ અને માહિતી પ્રવાહ નિયંત્રણ ગુણધર્મો પ્રદાન કરે છે જે ચેડાંથી સુરક્ષિત અને બિન-પારગમ્ય બંને છે. આ ક્ષમતાઓ વિવિધ સિસ્ટમ આર્કિટેક્ચર માટે રૂપરેખાંકિત કરી શકાય તેવો વિશ્વસનીય પાયો પૂરો પાડે છે. સોલ્યુશન્સ પાઇકઓએસ હાર્ડ રીઅલ-ટાઇમ ક્ષમતાઓ સાથે સેપરેશન કર્નલ હાયપરવાઇઝર તકનીકને જોડે છે. ગ્રીન હિલ્સ સોફ્ટવેરમાંથી ઇન્ટિગ્રિટી-178બી સપ્ટેમ્બર 2008માં તે એસ. કે. પી. પી. સામે પ્રમાણિત પ્રથમ સેપરેશન કર્નલ બન્યું હતું. વિન્ડ રિવર સિસ્ટમ્સમાં સેપરેશન કર્નલ ટેકનોલોજી છે જે 2009માં સક્રિય પ્રમાણપત્ર પ્રક્રિયામાં હતી. લિન્ક્સ સોફ્ટવેર ટેક્નોલોજીસ પાસે અલગ કર્નલ, લિન્ક્સસિક્યોર છે. 2011માં ઇન્ફોર્મેશન એસ્યોરન્સ ડિરેક્ટોરેટે એસ. કે. પી. પી. નો અંત આણ્યો હતો. એન. એસ. એ. હવે એસ. કે. પી. પી. સામે સેપરેશન કર્નલ્સ સહિત ચોક્કસ ઓપરેટિંગ સિસ્ટમોને પ્રમાણિત કરશે નહીં, અને નોંધ્યું છે કે "આ સુરક્ષા રૂપરેખા સાથે સુસંગતતા, પોતે જ, પૂરતો વિશ્વાસ પ્રદાન કરતી નથી કે રાષ્ટ્રીય સુરક્ષા માહિતી યોગ્ય રીતે મોટી સિસ્ટમના સંદર્ભમાં સુરક્ષિત છે જેમાં અનુરૂપ ઉત્પાદન સંકલિત છે". એસઇએલ4 માઇક્રોકર્નલ પાસે ખ્યાલનો ઔપચારિક પુરાવો છે કે તેને અલગ કર્નલ તરીકે ગોઠવી શકાય છે. આ સાથે માહિતીનો અમલ ચાલુ રાખવો એ સૂચવે છે કે તે ખાતરીનું ઉચ્ચ સ્તરનું ઉદાહરણ છે. મ્યુએન સેપરેશન કર્નલ એ x86 મશીનો માટે ઔપચારિક રીતે ચકાસાયેલ ઓપન સોર્સ સેપરેશન કર્નલ પણ છે. વિભાજન કર્નલ પર આધારિત કમ્પ્યુટર સુરક્ષા માળખા માટે પણ જુઓ સુરક્ષાના બહુવિધ સ્વતંત્ર સ્તરો. ક્રૂટ ફ્રીબીએસડી જેલ ઓપરેટિંગ-સિસ્ટમ-સ્તર વર્ચ્યુઅલાઈઝેશન સંદર્ભો વિતરિત કમ્પ્યુટિંગ ઓપરેટિંગ સિસ્ટમ કર્નલો