به عبارت ساده فرایند نگاشتن وظایف به منابع محاسباتی در یک گردش کاری، برای انجام، اجرای وظایف و بدون به هم خوردگی وابستگی بین آن‌ ها را زمان‌بندی گردش‌کاری می‌نامند.یکی از موضوعات مهم در مدیریت گردش‌کاری، زمان‌بندی گردش‌کاری، به‌ویژه در سیستم‌های گریدمی باشد. زمان‌بندی گردش‌کاری فرآیندی است که نگاشت و مدیریت اجرای وظایف وابسته به یکدیگر را روی منابع توزیع‌شده انجام می‌دهد، یعنی منابع مناسب را به وظایف گردش‌کاری اختصاص می‌دهد، ازاین‌رو اجرای می‌تواند کامل شود و توابع هدف ‌قانع کننده‌ای توسط کاربران وضع شود.زمان‌بندی درست می‌تواند روی عملکرد سیستم اثر شدیدی داشته باشد، مسئله نگاشت کارها به منبع محاسباتی متعلق به کلاسی از مسائل است که به NP-Complet معروف می‌باشد[۱۵].

 

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

 

 

 

شکل ۲-۴ اهداف زمان‌بندی گردش کاری [۷]

 

اهداف زمان‌بندی یک گردش‌کاری در هر برنامه کاربردی می‌تواند متفاوت باشد، اغلب گردش‌های کاری برنامه های کاربردی با این هدف زمان‌بندی می‌شوند تا هزینه و/ یا زمان انتقال داده، فضای ذخیره‌سازی استفاده شده، زمان اجرای نهایی و یا ترکیبی از این‌ها را به حداقل برساند.

 

زمان‌بندی وظیفه (فعالیتی که از مجموعه‌ای از ورودی‌ها استفاده می‌کند تا مجموعه‌ای از خروجی‌ها را تولید کند) یکی از مسائل بهینه‌سازی مشهور است و نقش کلیدی را در بهبود انعطاف‌پذیری و قابلیت اطمینان بازی می‌کند، در کل می‌خواهیم که وظایف زمان‌بندی شوند تا با منابع مناسب در زمان مناسب مطابق باشند و این شامل پیدا کردن توالی صحیح در وظایف است.

 

در رویکردهای زمان‌بندی، دو پیکره‌بندی مهم وجود دارد که استاتیک و دینامیک نامیده می‌شوند. هر دو محدودیت‌هایی رادارند، معمولاً مکانیسم دینامیک عملکرد بهتری را در مقایسه با استاتیک دارند، اما مقدار بالاسری زیادتری دارند، در استاتیک، تمام اطلاعات از قبل شناخته‌شده‌اند و وظایف بر اساس دانش قبلی تخصیص‌یافته‌اند و متأثر از حالت سیستم نخواهند شد ولی در مکانیسم دینامیک وظایف به پردازنده‌ها به طور پویا به‌محض اینکه وارد می‌شوند اختصاص می‌یابند.

 

۲-۸ پارامترهای الگوریتم‌های زمان‌بندی

 

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

 

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

 

خوب است بدانیم نرم‌افزارهای مختلفی نیز برای شبیه‌سازی محیط‌های گرید وجود دارد، از نرم‌افزارهایی مثل OpenNebule، Eucalyptus، Cloudsim و SwinDew-c برای پیاده‌سازی الگوریتم‌ها استفاده می‌شود، این‌ها بسیار مفید هستند، چراکه شرایط لازم برای تست الگوریتم‌های زمان‌بندی دریک محیط کنترل‌شده و تکراری را فراهم می‌کنند. محیط شبیه‌سازی توانایی مدل‌سازی، شبیه‌سازی و آزمایشات زیرساخت‌های محاسباتی و سرویس‌های برنامه کاربردی را دارد

 

۲-۹ چند نمونه الگوریتم زمان‌بندی معروف در زمینه‌ی محاسبات گرید

 

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

 

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

 

۲-۹-۱ الگوریتم Min-min با بار متعادل شده (LBMM^[15])

 

زمان‌بندی وظیفه با باری که تعادل باشد مسئله بسیار مهمی در محیط‌های محاسباتی است، الگوریتم زمان‌بندی Min-min^[16]، یک الگوریتم ساده‌ای است که یک زمان‌بندی را طوری می‌کند که مدت‌زمان اجرا را نسبت به سایر الگوریتم‌های قدیمی مینیمم می‌کند، اما در رعایت تعادل بار با شکست مواجه می‌شود، ازاین‌رو الگوریتم LBMM مطرح می‌شود که از مزایای دو الگوریتم MIN-MIN و MIN-MAX استفاده می‌کند و معایب خود را می‌پوشاند، این الگوریتم علاوه بر این‌که مدت‌زمان اجرا را به حداقل می‌رساند می‌تواند میزان بهره‌برداری از منبع را افزایش دهد.به طور خلاصه، LBMM دو فاز دارد، در فاز اول الگوریتم MIN-MIN را اجرا می‌کند و در فاز دوم وظایف برای استفاده کارا از منابع بهره‌برداری نشده زمان‌بندی مجدد می‌شوند.

 

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

 

با توجه ‌به این‌که min-min ابتدا وظایف کوچک‌تر را انتخاب می‌کند، منبعی که سریع اجرا می‌کند را قبل از این‌که منابع غیرفعال دیگر را رها کند، فراخوانی می‌کند.این کار بسیار ساده و در مقایسه با دیگر الگوریتم‌ها زمان اجرای خوبی را دارد؛ ‌بنابرین‏ در نوبت اول LBMM الگوریتم min-min را اجرا می‌کند و در نوبت دوم منابعی با بار سنگین را انتخاب می‌کند تا مجدداً آن‌ ها را به منابعی با بار سبک واگذار کند.

 

۲-۹-۲ الگوریتم توزیع زمان – هزینه (DCT^[17] )

 

1. 1. – سوره طلاق، آیه ۱٫ ↑

 

1. 1. – طرابلسی، قاضی ابن براج ، المهذب، ج۲، دفتر انتشارات اسلامی وابسته به جامعه مدرسین حوزه علمیه قم، ۱۴۰۶ه.ق، ص۲۷۵٫ ↑

   

 

1. 1. – تمیمی مغربی، ابوحنیفه نعمان، دعائم الاسلام، ج۲، مؤسسه آل البیت علیهم السلام، ۱۳۸۵ ه.ق، ص۲۵۷٫ ↑

 

1. 1. – مهرپور، حسین، بررسی فقهی- حقوقی وضعیت متفاوت زن و مرد در طلاق، نشریه نامه مفید، ۱۳۷۹، ص۱۶۱٫ ↑

 

1. 1. – همان، صص۱۶۶-۱۶۷٫ ↑

 

1. 1. – سوره بقره، آیه ۲۲۹٫ ↑

 

1. 1. – همان، آیه ۲۳۰٫ ↑

 

1. 1. – حلی، ابن ادریس، السرائر، ج۲، دفتر انتشارات اسلامی وابسته به جامعه مدرسین حوزه علمیه قم، ۱۴۱۰ه.ق، ص۶۶۲، به نقل از احمدیه، مریم و جعفرپور، جمشید، طلاق به درخواست زن ( مواد ۱۰۲۹، ۱۱۲۹و ۱۱۳۰ قانون مدنی ) به درخواست شوهر ( ماده ۱۱۳۳ قانون مدنی )، سفیر صبح، ۱۳۸۰، ص۵۱٫ ↑

 

1. 1. – علوی قزوینی، سید علی، بررسی نظریه طلاق حاکم و ماهیت حقوقی آن، نشریه نامه مفید، ۱۳۷۶، صص ۱۲۳-۱۲۴٫ ↑

 

1. 1. – سوره بقره، آیه ۲۳۰٫ ↑

 

1. 1. – طوسی، ابوجعفر محمد بن حسن، الخلاف، ج۴، دفتر انتشارات اسلامی، ۱۴۰۷ه.ق، ص۴۴۵٫ ↑

 

1. 1. – همان. ↑

 

1. 1. – علوی قزوینی، سید علی، همان، ص ۱۲۶٫ ↑

 

1. 1. 1. – سوره بقره، آیه ۲۳۱: « هر گاه زنان را طلاق دادید و موقع عده آن ها رسید یا از آن ها به خوبی نگهداری کنید و یا به خوبی جلوی آن ها را باز گذارید، مبادا برای این که به آن ها ستم کنید آن ها را به شکل زیان آوری نگهداری کنید. هر که چنین کند باید بداند به خود ستم ‌کرده‌است ». ↑

   

 

1. 1. – مطهری، مرتضی، نظام حقوق زن در اسلام، انتشارات صدرا، ۱۳۸۵، ص۲۷۷٫ ↑

 

1. 1. – مطهری، مرتضی، پیشین. ↑

 

1. 1. – حرعاملی، محمد بن حسن بن علی، وسایل الشیعه، ج۲۲، مؤسسه آل البیت علیهم السلام، ۱۴۰۹ه.ق، ص۱۷۱٫ ↑

 

1. 1. – همان، ص۱۷۲٫ ↑

 

1. 1. – احمدیه، مریم و جعفرپور، جمشید، پیشین، ص۵۲٫ ↑

 

1. 1. – حرعاملی، محمد بن حسن بن علی، پیشین، ص۱۷۲٫ ↑

 

1. 1. – همان، ج۲۱، ص۵۱۲٫ ↑

 

1. 1. – حرعاملی، محمد بن حسن بن علی، پیشین، ج ۲۱، ص ۵۰۹٫ ↑

 

1. 1. ۲- سوره طلاق، آیه ۷٫ ↑

 

1. 1. – حر عاملی، محمد بن حسن بن علی، همان، ص ۵۰۹٫ ↑

 

1. 1. – حر عاملی، محمد بن حسن بن علی، پیشین، ج۲۲، ص۱۵۷٫ ↑

 

1. 1. – همان، ص ۱۵۸٫ ↑

 

1. 1. – حرعاملی، محمد بن حسن بن علی، پیشین، ج۲۰، ص۵۰۶٫ ↑

 

1. 1. – سوره حج، آیه ۷۸٫ ↑

 

1. 1. – سوره بقره، آیه ۱۸۵٫ ↑

 

1. 1. – همان، آیه ۲۸۶٫ ↑

 

1. 1. – سوره مائده، آیه ۶٫ ↑

 

1. 1. – مکارم شیرازی، ناصر، القواعد الفقهیه، ج۱، مؤسسه امام امیرالمؤمنین علیه السلام، ۱۴۱۱ه.ق، ص۱۷۵٫ ↑

 

1. 1. – همان، ص۱۷۲٫ ↑

 

1. 1. – مشکینی، میرزا علی، مصطلحات الفقه، بی تا، ص۴۱۳٫ ↑

 

1. 1. – قاسمی، محمد علی، بررسی مبانی فقهی قاعده نفی عسر و حرج، نشریه الهیات و حقوق، ۱۳۸۷، ص ۱۵۶ ↑

 

1. 1. – کاتوزیان، ناصر، حقوق مدنی خانواده، ج۱، شرکت سهامی انتشار، ۱۳۸۵، ص ۳۸۱٫ ↑

 

1. 1. – قاسمی، محمد علی، پیشین، ص ۱۵۷٫ ↑

 

1. 1. – صفایی، سید حسین و امامی، اسدالله، مختصر حقوق خانواده، میزان، ۱۳۹۲، ص ۲۲۸٫ ↑

 

1. 1. – همان، ص ۲۲۴٫ ↑

 

1. 1. – کاتوزیان، ناصر، پیشین، ص ۳۵۸٫ ↑

 

1. 1. – ماده ۱۷ قانون حمایت خانواده مصوب ۱۳۴۶: «مقررات ماده ۱۱ به صورت شرایط ضمن العقد در ورقه عقد ازدواج قید و در‌ این مواد وکالت بلاعزل زن برای اجرای طلاق تشریح خواهد شد. این طلاق طبق مقررات قانون مدنی بائن خواهد بود». ↑

 

1. 1. – کاتوزیان، ناصر، پیشین، صص ۳۵۸-۳۵۹٫ ↑

 

1. 1. – همان، صص ۳۵۹-۳۶۰٫ ↑

 

1. 1. – صفایی، سید حسین و امامی، اسدالله، پیشین، ص ۲۲۵٫ ↑

 

1. 1. – احمدیه، مریم و جعفرپور، جمشید، پیشین، ص۴۰٫ ↑

 

1. 1. – صفایی، سید حسین و امامی، اسدالله، پیشین، ص ۲۲۶٫ ↑

 

1. 1. – همان، صص ۲۲۶-۲۲۷٫ ↑

 

1. 1. – تبصره ۲ ماده ۳ لایحه قانونی دادگاه مدنی خاص: « موارد طلاق همان است که در قانون مدنی و احکام شرع مقرر گردیده؛ ولی در مواردی که شوهر به استناد ماده ۱۱۳۳ قانون مدنی تقاضای طلاق می‌کند دادگاه بدواً حسب آیه کریمه: (وَإِنْ خِفْتُمْ شِقَاقَ بَیْنِهِمَا فَابْعَثُواْ حَکَمًا مِّنْ أَهْلِهِ وَحَکَمًا مِّنْ أَهْلِهَا إِن یُرِیدَا إِصْلاَحًا یُوَفِّقِ اللّهُ بَیْنَهُمَا إِنَّ اللّهَ کَانَ عَلِیمًا خَبِیرًا) موضوع را به داوری ارجاع می‌کند و در صورتی که بین زوجین سازش حاصل نشود اجازه طلاق به زوج خواهد داد. در مواردی که بین زوجین راجع به طلاق توافق شده باشد، مراجعه به دادگاه لازم نیست ». ↑

 

1. 1. – کاتوزیان، ناصر، پیشین، ص۳۶۶٫ ↑

 

1. 1. – احمدیه، مریم و جعفرپور، جمشید، پیشین، ص۴۶٫ ↑

 

1. 1. – صفایی، سید حسین و امامی، اسدالله، پیشین، ص ۲۵۹٫ ↑

 

1. 1. – ماده ۲۶ قانون حمایت خانواده مصوب ۱۳۹۱: « در صورتی که طلاق، توافقی یا به درخواست زوج باشد، دادگاه به صدور گواهی عدم امکان سازش اقدام و اگر به درخواست زوجه باشد، حسب مورد، مطابق قانون به صدور حکم الزام زوج به طلاق یا احراز شرایط اعمال وکالت در طلاق مبادرت می‌کند ». ↑

 

1. 1. – ماده ۲۵ قانون حمایت خانواده مصوب ۱۳۹۱: « در صورتی که زوجین متقاضی طلاق توافقی باشند، دادگاه باید موضوع را به مرکز مشاوره خانواده ارجاع دهد. در این موارد طرفین می‌توانند تقاضای طلاق توافقی را از ابتدا در مراکز مذکور مطرح کنند ». ↑