پایان نامه ارائه یک مدل فرمال برای تحلیل زیر ساخت نرم افزاری در دیتا سنترها

پایان نامه ارائه یک مدل فرمال برای تحلیل زیر ساخت نرم افزاری در دیتا سنترها

تعداد صفحات :212

نیاز بشر به پردازش و ذخیره سازی اطلاعات در دهه های گذشته همواره رشد صعودی و شتابدار داشته است. به گونه ای که حرکت از سیستم های توزیع شده بر روی سوپرکامپیوترهای گران قیمت به شبکه های بسیار پر قدرت و ارزان در مدت نسبتا کوتاهی صورت گرفته است. همچنین نیاز به مدیریت اطلاعات، پردازش، گردش کار و دیگر ابزار مدیریتی همواره رشد فزاینده داشته است. به طبع این نیاز، ساختار سیستم های کامپیوتری در سطوح فنی و مدیریتی نیز رشد کرده و پیچیده تر شده است.

به منظور جوابگویی به این حجم فزاینده درخواست ها و نیاز بازار به منابع پردازش و ذخیره سازی اطلاعات و نیز به منظور ارائه سرویس های مورد نیاز با کیفیت مناسب و قابل رقابت، یکی از بهترین راه های پیشنهاد شده، متمرکز نمودن این منابع و مدیریت صحیح آنها است. به این منظور و برای به حداکثر رساندن کیفیت خدمات و حداقل نمودن هزینه ها یکی از رایج ترین راهکارهای موجود راه اندازی مراکز داده یا دیتا سنتر ها می باشد. در این طرح با آماده سازی زیر ساخت های فیزیکی، امنیتی، شبکه ای، سخت افزاری و نرم افزاری، مجموعه ای از سرورهای قدرتمند برای ارائه سرویس های مورد نیاز مشتریان در نظر گرفته می شود. این سرورها با خطوط بسیار پر سرعت بر حسب نیاز به اینترنت یا شبکه های سازمانی متصل می گردند و با نصب سیستم های عامل و نرم افزارها و سرویس های مورد نیاز به کاربران خدمات لازم را ارائه می نمایند. با وجود چنین مراکزی دیگر سازمان ها و مراکز تجاری، صنعتی، دانشگاهی و غیره نیازی به راه اندازی مراکز سرویس دهی محلی و نیز متحمل شدن هزینه های نگهداری، به روز رسانی و استخدام متخصصین نخواهند داشت. در ادامه به بررسی اجمالی دیتا سنترها خواهیم پرداخت تا بتوانیم طرح پیشنهادی را تشریح نمائیم.

تعریف دیتا سنتر: مجموعه ای از سیستمهای پشتیبانی (از جمله زیر ساخت سخت افزاری passive، زیرساخت خنک کننده، زیر ساخت تامین انرژی، اطفاء حریق و غیره)، منابع پردازشی سخت افزاری شامل سرورها، تجهیزات زیرساخت شبکه، زیرساخت ذخیره سازی داده ها و زیرساخت نرم افزاری شامل ابزار یک پارچه سازی، مجموعه ای از سیستم های عامل، مجموعه ای از نرم افزارهای کاربردی شامل سرویس ها، تعدادی پایگاه داده، مجموعه ای از ابزارهای امنیتی نرم افزاری و سخت افزاری و یک ساختار مدیریتی است. این سیستم به کمک خطوط پرسرعت به شبکه های خارجی (Intranet، Extranet یا اینترنت) متصل است .

با توجه به رشد نیازها و احتیاج کاربران به انعطاف پذیری و تحمل خطای بالا در این مراکز پردازشی، در سال های اخیر تکنولوژی مجازی سازی به عنوان پاسخی به این نیازها و بهترین شیوه یکپارچه سازی ارائه شده و بسیار رشد کرده است. در حقیقت، این تکنولوژی به عنوان لایه مدیریت نرم افزاری و سیستم عاملی دیتا سنتر مورد استفاده قرار می گیرد. در ادامه به تشریح تکنولوژی مجازی سازی و نحوه استفاده از آن در این طرح خواهیم پرداخت.

تکنولوژی مجازی سازی یکی از جوانترین نظریه های مطرح شده در علم کامپیوتر می باشد که در ده سال اخیر توجه زیادی را به خود جلب نموده است. این تکنولوژی از این بابت بسیار جذاب است که انعطاف پذیری و امکانات خارق العاده ای را بر روی همان بستر سخت افزاری موجود ارائه می دهد و استفاده از آن هزینه بسیار ناچیزی برای سازمان دارد.

فصل اول: مقدمه                                                                                                               

1.1.    بیان مسئله و ضرورت تحقیق                                                                                     

1.2.    دامنه تحقیق                                                                                                         

1.3.    پیشینه تحقیق                                                                                                       

1.4.    اهداف تحقیق                                                                                                        

1.5.    سوالات تحقیق                                                                                                       

1.6.    مراحل و روش تحقیق                                                                                              

1.7.    دستاوردهای تحقیق                                                                                                 

1.8.    نگاهی کلی بر پایان نامه                                                                                           

فصل دوم: معرفی و بررسی ابزار فرمال برای مدل سازی سیستم ها                                                    

• Abstract State Machine (ASM)
  
• LOTOS
  
  • مقدمه ای بر جبر پروسه ها
    
• VDM-SL
  
• شبکه های پتری
  
  • خصوصیات رفتاری
    
    • Reachability
      
    • Boundedness
      
    • Liveness
      
    • Reversibility
      
    • Coverability
      
  • زیر مجموعه های شبکه های پتری
    
    • State Machine (SM)
      
    • Marked Graph (MG)
      
    • Free-choice net (FC)
      
    • Extended Free-choice net (EFC)
      
    • Asymmetric choice net (AC)
      
  • قضایا و فرضیات
    
• مقایسه و جمع بندی
  

فصل سوم: بررسی معماری دیتا سنترها                                                                                     38

• Microsoft Hyper-V
  
  • بررسی اجزاء معماری Hyper-V
    
    • APIC
      
    • Child Partition
      
    • Hypercall
      
    • Hypervisor
      
    • IC
      
    • I/O stack
      
    • Root Partition                                                                                                                
      
    • VID
      
    • VMBus
      
    • VMMS
      
    • VMWP
      
    • VSC
      
    • VSP
      
    • WinHv
      
    • WMI
      
  • نقاط ضعف
    
• Xen
  
  • بررسی اجزاء معماری Xen
    
    • Xen Hypervisor
      
    • Domain 0
      
    • Domain U                                    
      
    • Xenstored
      
  • ارتباطات مابین دامنه صفر و دامنه های U
    
• VMware ESXi
  
  • بررسی اجزاء معماری VMware ESX
    
    • VMkernel
      
    • File System
      
    • CIM
      
  • طراحی یک معماری برای دیتا سنتر
    
  • مختصری درباره vSphere                                                                                     
    
    • سرویس های زیر ساختی vSphere
      
    • سرویس های کاربردی vSphere
      
      • سرور VMware vCenter
        
      • Client ها
        
      • ESX
        
      • vCenter Server
        
      • VMFS
        
      • SMP
        
      • VCMS
        
      • VI Client
        
      • VMware VMotion
        
      • Storage VMotion
        
      • VMware HA
        
      • DRS
        
      • Consolidated Backup
        
      • vSphere SDK
        
      • Fault Tolerance
        
    • سرویس های توزیع شده در vSphare
      
    • معماری شبکه
      
    • معماری محل ذخیره سازی داده ها
      
    • معماری سرور مدیریت VirtualCenter
      
      • User Access Control
        
      • Core Service
        
    • جمع بندی
      

فصل چهارم: ارائه مدل فرمال برای دیتا سنتر و تحلیل آن                                                              

• تشریح دیتا سنتر نمونه
  
• ارائه مدلی از رفتار کلی دیتا سنتر
  
  • ارزیابی و تحلیل مدل فرمال                                                                        
    

4.2.1.1. Liveness                                                                                              

4.2.1.2. Safeness                                                                                                          

4.2.1.3. Reversibility                                                                                        

• بررسی لایه های پایینتر مدل فرمال
  

• بررسی نحوه کار سرویس HA
  
  • شرح سرویس VMware HA
    
  • ارائه مدل فرمال از نحوه کار سرویس HA
    
  • تحلیل و ارزیابی مدل
    

4.3.3.1. Liveness                                                                                              

4.3.3.2. Safeness                                                                                                          

4.3.3.3. Reversibility                                                                                        

• بررسی نحوه کار سرویس Fault Tolerance
  
  • تشریح ساختار سرویس Fault Tolerance
    
  • ارائه مدل فرمال از نحوه کار سرویس Fault Tolerance            
    
  • تحلیل و ارزیابی مدل
    

4.4.3.1. Liveness                                                                                              

4.4.3.2. Safeness                                                                                                          

4.4.3.3. Reversibility                                                                                        

• بررسی نحوه کار سرویس VMotion
  
  • تشریح ساختار سرویس VMotion
    
  • ارائه مدل فرمال از نحوه کار سرویس VMotion
    
  • تحلیل و ارزیابی مدل
    

4.5.3.1. Liveness                                                                                              

4.5.3.2. Safeness                                                                                                          

4.5.3.3. Reversibility                                                                                        

• بررسی ساختار داخلی ESX hypervisor
  
  • تشریح ساختار ESX
    
  • ارائه یک مدل فرمال از نحوه کار ESX
    
  • بررسی و تحلیل مدل
    

4.6.3.1. Liveness                                                                                                           

4.6.3.2. Safeness                                                                                                           

4.6.3.3. Reversibility                                                                                        

• تشریح ساختار سیستم ذخیره سازی در ESX
  
  • تشریح ساختار سیستم ذخیره سازی
    
  • ارائه یک مدل فرمال از نحوه کار سیستم ذخیره سازی در ESX
    
  • بررسی و تحلیل مدل
    

4.7.3.1. Liveness                                                                                              

4.7.3.2. Safeness                                                                                                          

4.7.3.3. Reversibility                                                                                        

• معماری ساختار شبکه در ESX
  
  • تشریح ساختار شبکه
    
  • ارائه مدل فرمال برای ساختار شبکه در ESX
    
  • بررسی و تحلیل مدل            
    

4.8.3.1. Reversibility                                                                                        

4.8.3.2. Liveness                                                                                              

4.8.3.3. Safeness                                                                                                          

• معماری سوئیچ مجازی در ساختار شبکه
  
  • تحلیل ساختار سوئیچ مجازی
    
  • ارائه یک مدل فرمال برای سوئیچ مجازی
    
  • بررسی و تحلیل مدل
    

4.9.3.1. Liveness                                                                                              

4.9.3.2. Safeness                                                                                                          

4.9.3.3. Reversibility                                                                                        

• جمع بندی
  

فصل پنجم: نتیجه گیری و پیشنهادات                                                                                     

مراجع                                                                                                                            

پیوست: مجموعه کامل مدل های پتری طراحی شده در پایان نامه 

قیمت فایل ورد پروژه : 12000 تومان

 دانلود فایل ورد بلافاصله بعد از پرداخت هزینه

بلافاصله پس از پرداخت ، لینک دانلود پایان نامه به شما نشان داده می شود

پشتیبانی سایت :        09010633413

 

فایل مورد نظر خودتان را پیدا نکردید ؟ نگران نباشید . این صفحه را نبندید ! سایت ما حاوی حجم عظیمی از پایان نامه های دانشگاهی است. مطالب مشابه را هم ببینید. برای یافتن فایل مورد نظر کافیست از قسمت جستجو استفاده کنید. یا از منوی بالای سایت رشته مورد نظر خود را انتخاب کنید و همه فایل های رشته خودتان را ببینید