مرجـع دانـش پارس

مرجـع دانـش پارس

بانک جامع مقالات علمی-پژوهشی به زبان های فارسی و انگلیسی در بیش از پنجاه گرایش علمی-تحقیقاتی

آمار سایت

اشتراک در خبرنامه

جهت عضویت در خبرنامه لطفا ایمیل خود را ثبت نمائید

Captcha

آمار بازدید

  • بازدید امروز : 957
  • بازدید دیروز : 1172
  • بازدید کل : 4011977

مدلسازی اجرای همروند تراکنشها براساس فایل ثبت وقایع و تغییر پایگاه داده با تاخیر و بررسی نحوه چک گذاری با استفاده از پرينت رنگی


مدلسازی اجرای همروند تراکنشها براساس فایل ثبت وقایع و تغییر پایگاه داده با تاخیر و بررسی نحوه چک گذاری با استفاده از پرينت رنگی

نوع فایل:PDF

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

سال انتشار : 1395

چکیده

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

واژگان کلیدی

تراکنش، پایگاه داده، پتری نت رنگی، مدل سازی، همروندی


مبلغ قابل پرداخت 6,900 تومان

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

Captcha
پشتیبانی خرید

برای مشاهده ضمانت خرید روی آن کلیک نمایید

  انتشار : ۵ مرداد ۱۳۹۵               تعداد بازدید : 1361

برچسب های مهم

دیدگاه های کاربران (0)

آموزش نحوه تهیه مدار چاپی

آموزش نحوه تهیه مدار چاپی

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

مدیریت ارجاع نمونه هاي بالیني

مدیریت ارجاع نمونه هاي بالیني

حجم فایل : 135.3 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 22 بسم الله الرحمن الرحیم مدیریت ارجاع نمونه هاي بالینيدرآزمایشگاههای پزشکی در صورت وجود ارتباط بین آزمایشگاههای ارجاع با ارجاع دهنده با تدوین قرارداد، این ارتباط شفاف می گردد . نکات مهم در خصوص نحوه تدوین ... ...

گزارش کار آزمايشگاه مکانيک خاک

گزارش کار آزمايشگاه مکانيک خاک

حجم فایل : 964.6 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 14 گزارش کار آزمايشگاه مکانيک خاک آزمایش شماره 6 : آزمايش تراكم خاك بسمه تعالی آزمايشگاه مكانيك خاك اساتيد محترم : جناب آقاي مهندس ملاباشي جناب آقاي دکتر متين جناب آقاي بهادرياعضاء گروه : محمد مهدي حاجي زماني ... ...

بررسی و ارزیابی توپولوژی در شبکه و switch

بررسی و ارزیابی توپولوژی در شبکه و switch

حجم فایل : 851.3 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 24 1 بررسی و ارزیابی توپولوژی در شبکه و switch 2 Switch 3 توپولوژی چیست؟ نحوه کابل بندی درشبکه های کامپیوتری را توپولوژي می گویندانواع آن1- توپولوژي خطی یا BUS 2- توپولوژي حلقه ای یا Ring3- توپولوژي ستاره ای یا ... ...

تجزیه و تحلیل تجربی روایی و پایایی معیارها و ابعاد کارت امتیازدهی متوازن

تجزیه و تحلیل تجربی روایی و پایایی معیارها و ابعاد کارت امتیازدهی متوازن

حجم فایل : 2.1 MB نوع فایل : پاور پوینت تعداد اسلاید ها : 39 بنام خدا تجزیه و تحلیل تجربی روایی و پایایی معیارها و ابعاد کارت امتیازدهی متوازن تجزیه و تحلیل تجربی پایایی و روایی معیارها و ابعاد کارت امتیازدهی متوازن چکیده در طول سال های متمادی ، حسابداران مدیریت در طراحی ... ...

طرح جابر نان

طرح جابر نان

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

دریافت فایل : طرح جابر نان
هندسه دوم دبیرستان فصل 3 تالس در مثلث

هندسه دوم دبیرستان فصل 3 تالس در مثلث

حجم فایل : 539.9 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 13 بنام خدا هندسه سال دوم دبیرستانفصل 3(تالس در مثلث) قضیه تالس و نتایج آن :قضیه تالس : اگر پاره خطی موازی با یکی از اضلاع مثلث طوری رسم شود که دو ضلع دیگر را قطع کند ، در این صورت نسبت پاره خط های ایجاد شده روی ... ...

اگر به یک وب سایت یا فروشگاه رایگان با فضای نامحدود و امکانات فراوان نیاز دارید بی درنگ دکمه زیر را کلیک نمایید.

ایجاد وب سایت یا
فروشگاه حرفه ای رایگان

مجموعه بی نظيری از مقالات علمی پژوهشی،پروژه های دانشجويی،كتاب،نشریات و فيلم های مستند آموزشی

فید خبر خوان    نقشه سایت    تماس با ما