درف یرقاب رت کد : هطوبرم داتسا



: ناگ هدننک هیهت



روپ هعمج مساق ، مدقم یماما سابع ، ناور یلع ، یمتاح ناسحا



یا هلحرم ود لفق یراذگ لفق یلک لوصا هیاپ یا هلحرم ود لفق لکتورپ راک هظفاحم یا هلحرم ود لفق لکتورپ ضحم یا هلحرم ود لفق لکتورپ      هتشذگ بلاطم رب یرورم یدنبنامز یئزج بیترت لماک یدنبنامز تباث وترپ دروخرب رد ریذپ ی پ رد ی پ دروخرب رد ریذپ ی پ رد ی پ صیخشت یریذپ میمرت یراشب ا یاه ط وقس دقاف یدنبنامز ضحم یدنبنامز          

.

دشاب یم اهن ا نیرت مهم میمرت تیریدم 2 یدنورمه لرتنک 1 اه شنکارت یارجا یتسرد زا نانیمطا یارب دش ناونع مه یلبق یاه شخب رد هک هنوگنامه



دوشیم ارجا رگید یاه شنکارت تاروتسد اب هک دنورمه روط هب هک تسا یددعتم یاه نتشون و تابساحم

–

اه ندناوخ : لماش همانرب کی ناونع هب شنکارت کی



نامزمه روط هب کرتشم هداد هب شنکارت ود زا شیب ای 2 یبایتسد ناکما : یدنورمه



اه شنکارت ریاس یور تارثا 2 یتاعلاطا کناب یاه هداد یور تارثا 1 : شنکارت تارثا



مییوگیم ریذپ ی پ رد ی پ ار ارجا نیا دشاب یکی شنکارت ) یلاوتم ( ی پ رد ی پ یاهحرط زا یکی ی یارجا اب اه شنکارت دنورمه یارجا رگا : ریذپ ی پ رد ی پ



دشابن ن ا رد یبارخ زا یرثا چیه هک یا هنوگ هب دنادرگرب حیحص عضو هب ار هداد هاگیاپ،یبارخ زورب تروص رد هک تسا یدنی ارف : یریذپ میمرت



b

زا لبق .

دزادرپ یم اه یدنبنامز یتسردان ای یتسرد تابثا هب هنوگ یضایر یرازبا اب یریذپ ی پ رد ی پ هیرظن .

تساه شنکارت دنورمه یارجا زا )

Partial order

( یئزج بیترت کی : یدنبنامز

a

ای ا هک دوش صخشم دیاب ً امتح

b

و

a

لثم هعومجم نیا نیب زا هاوخلد وضع ود ره نیب ، میشاب هتشاد )

Total Order

( یلک بیترت هعومجم کی رد هچنانچ .

تسا یئزج بیترت، تروص نیاریغ رد دشاب هاوخلد دناوت یمن مه هب تبسن ود نیا بیترت رگید ترابع هب .

سکعرب ای تسا .

دنهدیم ناشن

Oi( X )

دامن اب ار ار شنکارت تاروتسد زا یکی ، هرگ ره ن ا رد هک داد شیامن )

DAG

( هقلح دقاف راد تهج فارگ کی اب ناوت یم ار یدنبنامز دشاب یم ) نتشون (

w

ای ) ندناوخ (

r

رگلمع عون :

O

دنهدیم شیامن

P

شنکارت هرامش : هداد عون :

X i

شنکارت مامتا هوحن :

ai

ای

Ci q

تروص هب فارگ رد ار ) لای ( هبل ره : لاثم

         

.

دشاب نتشون رگلمع اهن ا زا یکی لقادح 3 دننک راک هداد کی یور 2 دنشاب فلتخم یاه شنکارت هب طوبرم :1 رگادنراد دروخرب مهاب رگلمع ود  : اریز مینک نییعت ) یدنبنامز رد مه ، شنکارت رد مه ( مه هب تبسن ار اهن ا یارجا بیترت دیاب ً امتح ، دنراد دروخرب مهاب هک یرگلمع ود یارب  زا لبق ندناو خ هک دراد نیا هب یگتسب دوشیم هدناوخ هک یرادقم و دشاب توافتم تسا نکمم هداد ن ا یور نتشون زا دعب و لبق ، هداد ندناوخ هجیتن ، wj(x) و ri(x) دروم رد 1 ن ا زا دعب ای دوشیم ارجا نتشون  دوش ارجا رخ ا w رگلمع مادک هک دراد نیا هب یگتسب x رد هدش هتشون ی یاهن رادقم ، wj(x) و wi(x) دروم رد 2 

.

دشاب یم طقای ای تیبثت و اه هداد نتشون و ندناوخ یاهرگلمع هعومجم لماش

Ti

1



.

اهن ا یودره هن و دشاب هتشاد دوجو دیاب طقاس ای تیبثت رگلمع ود زا یکی



.

تسا رگلمع نیرخ ا طقاس ای تیبثت رگلمع



.

دشاب هدش صخشم دیاب ً امتح هداد کی یور شنکارت نتشون و ندناوخ یارجا بیترت



: دشاب یم اه شنکارت مامت لماش

H

1



: دنوش هفاضا تسا نکمم زین یرگید یاه بیترت و ددرگ یم ظفح اه شنکارت تاروتسد یارجا بیترت 2



: دوش صخشم اهن ا بیترت دیاب ، دروخرب یاراد رگلمع ود ره یارب 3



: دیریگب رظن رد ار ریز یاه شنکارت : لاثم



: دشابیم ریز تروص هب لااب یاه شنکارت هعومجم یور

H1

لماک یدنبنامز



: تسا

H1

زا یدنوشیپ

H1’

یدنبنامز



تسا لاعف

Ti

تروص نیا ریغ رد

(ai€H)Ci€H

رگا تسا هدش ) طقاس ( تیبثت

H

رد

Ti

شنکارت : فیرعت



.

درادن لاعف شنکارت ، لماک یدنبنامز : هت کن



.

ددرگیم لصاح هدشن تیبثت یاه شنکارت یاهرگلمع مامت فذح اب دوشیم هداد شیامن

C(H)

اب هک

H

یدنبنامز



.

دشابیم هدش تیبثت یاه شنکارت هعومجم یور لماک یدنبنامز کی ، تباث وترپ : هت کن



.

دوشیم هتف گ دروخر ب رد ریذپ ی پ رد ی پ ن ا هب دنشاب هتشادن دروخرب مه اب تاروتسد هک یطرش هب میسرب ی پ رد ی پ یاه حرط زا یکی هب هک میهد رییغت یروطار دنورمه حرط رگا



: رگا اهنتو رگا دنتسه دروخرب رد لداعم

H’

و

H

یدنبنامز ود : فیرعت



.

دشاب ناسکی ناشیاهرگلمع و اه شنکارت هعومجم 1



: دشاب ناسکی ،ود ره رد ، هدشن طقاس یاه شنکارت دروخرب یاراد یاهرگلمع بیترت 2



.

دنتسین لداعم مادک چیه اب

H5

و

H4

اما دنتسه لداعم

H3

و

H2

، ریز یاه یدنبنامز رد : لاثم



: حیضوت دنراد ار یدنبنامز صاوخ دراوم همه .

درادن ار

1

طرش

H4

درادن ار

2

طرش

H5    

دوش ارجا

Tj

یاهرگلمع مامت زا لبق

Ti

یاهرگلمع مامت رگا اهنتو رگ ا دوشیم ارجا

Tj

زا لبق

H

یدنبنامز رد

Ti

شنکارت : فیرعت



: سکعلاب ای دوش ارجا

Tj

زا لبق

Ti

،

H

رد

Tj

و

Ti

شنکارت ود ره یارب رگا میئوگ ی پ رد ی پ ار

H

لماک یدنبنامز : فیرعت



راگزاسان یرگلمع

H

رد هک دراد دوجو یتروص رد

(i≠j)Ti Tj

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

SG(H)

اب ار ن ا هک .

دشاب هدم ا

Tj H

یریذپ ی پ رد ی پ فارگ رد : فیرعت زا راگزاسان یرگلمع زا لبق

Ti

زا



: تسا دروخرب رد ریذپ ی پرد ی پ

H

یدنبنامز : 1 هیضق



دشاب هقلح دقاف

SG(H)

رگا طقف و رگا



درادن وجو ی یاجباج تیصاخ یریذپ ی پ رد ی پ فارگ رد : 2 هیضق : ضقن لاثم تابثا

 

.

دشاب

Ti

تیبثت زا لبق

Tj

تیبثت ، دناوخب

(i≠j)Tj

زا

Ti

هاگره ، رگا میمانیم ریذپ میمرت ار

H

یدنبنمامز : فیرعت



دشاب

Ti

، ندناوخ زا لبق

Tj

تیبثت هاگن ا ، دناوخب .

تسا یراشب ا یاه طوقس ریذپ میمرت یاه یدنبنامز هدمع لاکشا : هت کن

(i≠j)Tj

زا

Ti

هاگره ، رگا ممیمامن یم یراشب ا طوقس دقاف ار

H

یدنبنامز : فیرعت

 

.

دشاب

Tj

همتاخ زا سپ ً امتح ، دوشیمماجنا

wj(X)

زا دعب هک

ri(X)

لمع ره هاگره میمانیم ) ریگ تخس ( ضحم ار

H

یدنبنامز : فیرعت



: هت کن .

دنشاب یم

ST

ضحم و

ACA

یراشب ا یاه طوقس دقاف و

RC

ریذپ میمرت یاه دامن : دیریگب رظن رد ار ریز یاه یدنبنامز و اه شنکارت : لاثم

  

.

تسین حیحص هشیم ه اعدا نیا سکع .

دشاب یم زین ریذپ میمرت ، دشاب یراشب ا یاه طوقس دقاف رگا و تسه زین یراشب ا یاه طوقس دقاف ً انیقی ، دشاب ضحم یدنبنامز رگا : هت کن



:

(2PL)

یا هلحرم ود لفق لفق ندومن داز ا یارب :

oui(x)

، لفق تساوخ رد یارب :

oli(x)

دامن .

دوریم راک هب

x

هداد یور

i

شنکارت زا یرگلمع ره لفق ندرک زاب یارب

ui(x )

و

o

رگلمع .

دنتسه راگزاس مه اب تروص نیا ریغ رد .

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

دوشیم ارجا هطوبرم هداد ، لفق ندرک داز ا زا لبق و ندرک لفق زا دعب رگلمع ره 1 .

دوشیم ماجنا رابکی رث کادح شنکارت ره یاهرگلمع هب طوبرم هداد ره لفق ندرکزاب 2 .

دنشاب یم راگزاس مه اب اه لفق نیا هک دوشیم لفق یرگید دنورمه یاه شنکارت طسوت

x

هدش لفق هداد یتروص رد 3

شنکارت ن ا سپ ن ا زا ، دش داز ا یشنکارت ره زا یلفق رگا اهنت و رگا دنکیم یوریپ هیاپ یا هلحرم ود لفق زا یدنبنامز کی : فیرعت .

دریگب ) یا هداد چیه یور ( یرگید لفق چیه دناوتن

 

.

دوشیم طقاس اه شنکارت تسب نب عوقو لیلد هب اما دنکیم لح ار یدنورمه لکشم هس ره، هیاپ یا هلحرم ود لفق لکتورپ



ار شزاین دروم یاهلفق مامت ، ارجا هب عورش زا لبق ن ا شنکارت ره و دشاب هیاپ یا هلحرم ود لفق عون زا رگا اهنت و رگا تسا راک هظفاحم یا هلحرم ود لفق عون زا یدنبنامز کی : فیرعت : دشاب هدومن ذخا



: تاکن .

میمانیم

(write-set)

، .

دشابیم

write-set

و .

دهدن خر تسب نب هک دنکیم نیمضت راک هظفاحم یا هلحرم ود لفق 1

read-set read-set

ار دراد زاین ) نتشون ( ندناوخ یارب شنکارت هک ی یاه هداد هعومجم نتشاد هب زاین یدنورمه حطس شهاک رب هولاع : 2

C2PL

فعض هطقن 3

   

سپ

r

یاهلفق و )

ai

ای

Ci

یارجا زا سپ ( هطوبرم شنکارت نایاپ رد

w

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

دندرگ داز ا

ai

ای : فیرعت

ci

زا لبق و شنکارت رگلمع نیرخ ا یارجا زا