মেমরি ধারাবাহিকতা বনাম ক্যাশে কোহরেন্স

Question

এটি কি সত্য যে ক্রম ধারাবাহিকতা ক্যাশে কোহরেন্সের চেয়ে শক্তিশালী সম্পত্তি?

অনুসারে

সোরিন, ড্যানিয়েল জে; হিল, মার্ক ডি; উড, ডেভিড এ: মেমোরি ধারাবাহিকতা এবং ক্যাশে কোহরেন্স , মরগান এবং ক্লেপুল, ২০১১ এ প্রাইমার

ক্রম ধারাবাহিকতা হিসাবে বর্ণনা করা যেতে পারে (আনুষ্ঠানিকভাবে নয়):

ক্রমযুক্ত ধারাবাহিকতা মেমরি মডেলটি উল্লেখ করে যে সিস্টেমটি অবশ্যই প্রতিটি থ্রেডের প্রোগ্রাম ক্রমকে সম্মান করে এমন একটি মোট ক্রমে সমস্ত মেমরি অবস্থানগুলিতে সমস্ত থ্রেডের বোঝা এবং সঞ্চয় সম্পাদন করতে উপস্থিত হবে। প্রতিটি লোড সেই মোট ক্রমে সর্বাধিক সাম্প্রতিক স্টোরের মান পায়।

অন্য কথায়, সিস্টেমটি ধারাবাহিকভাবে সামঞ্জস্যপূর্ণ, যদি প্রতিটি থ্রেডের মেমরি ইভেন্ট (লোড এবং স্টোর) দেওয়া হয় তবে আমরা এই সমস্ত ইভেন্টের অর্ডার দিতে পারি যেমন: 1) প্রতিটি থ্রেডের জন্য এর ইভেন্টগুলির ক্রম সংরক্ষণ করা হয়, এবং 2) গ্লোবাল ক্রম হয় সিরিয়াল (যে কোনও লোড সঞ্চিত সর্বশেষ মানটি দেয়)।

এখন তারা চালিয়ে যান এবং সংহতি বর্ণনা করে:

একটি সংজ্ঞা সঙ্গতি যে অনুক্রমিক সমন্নয় সংজ্ঞা অনুরূপ একটি সুসঙ্গত সিস্টেম একটি মোট অনুক্রমে একটি একক মেমরির অবস্থান এর সকল লিপি 'লোড এবং দোকান চালানো প্রদর্শিত হবে যে শ্রদ্ধা প্রতিটি থ্রেড প্রোগ্রাম অর্ডার।

অন্য কথায়, সিস্টেম, সুসঙ্গত হলে প্রতিটি থ্রেড দেওয়া মেমরির ঘটনা প্রতিটি অবস্থানের জন্য আমরা যে অবস্থান ঘটনা, যেমন যে আদেশ দিতে পারেন: প্রতিটি থ্রেড 1) তার ঘটনা ক্রম যে অবস্থান সংরক্ষিত আছে, এবং 2) প্রত্যেকের জন্য অর্ডার সিরিয়াল হয় অবস্থান ।

অবশেষে, তারা পার্থক্যটি উল্লেখ করেছেন:

এই সংজ্ঞাটি সংহতি এবং ধারাবাহিকতার মধ্যে একটি গুরুত্বপূর্ণ পার্থক্যকে হাইলাইট করে : প্রতি মেমরির অবস্থানের ভিত্তিতে সংহতি নির্দিষ্ট করা হয়, অন্যদিকে সমস্ত স্মৃতি অবস্থানের ক্ষেত্রে ধারাবাহিকতা নির্দিষ্ট করা হয়।

সুতরাং পার্থক্যটি মনে হয় সুসংগত সিস্টেমগুলির জন্য আমাদের প্রতিটি জায়গার জন্য সমস্ত ইভেন্টের জন্য মোট অর্ডার প্রয়োজন (এইভাবে নির্দিষ্ট অবস্থানের জন্য ইভেন্টগুলির মধ্যে ক্রম), যখন ধারাবাহিক সিস্টেমের জন্য সমস্ত ইভেন্টের উপর মোট ক্রম সংজ্ঞায়িত করা উচিত (এবং এইভাবে ক্রমগুলিও বিভিন্ন অবস্থানের ইভেন্টগুলির মধ্যে রয়েছে)?

তার মানে কি এই যে সামঞ্জস্যতা কম কম সেই ধারাবাহিকতা? (যা মজাদার মনে হচ্ছে!) এমন কোনও চিহ্ন রয়েছে যা সুসংগত তবে সুসংগত নয়?

Comments

নোট করুন যে আমরা "দয়া করে আমার উত্তরটি চেক করুন!" ফর্মের প্রশ্ন পছন্দ করি না। আপনি কি আরও নির্দিষ্ট প্রশ্ন যুক্ত করতে পারেন? আপনার ফাঁক কোথায় থাকতে পারে বলে মনে করেন?

— রাফেল

@ রাফেল আপনি ঠিক বলেছেন, আমি যখন প্রশ্ন লিখছিলাম তখন খুব ভাল লাগছিল না। তবে আমি কী করব যদি আমি ইন্টারনেটে কোনও উত্তর খুঁজে না পাই (তবে 'এক বিট সম্পর্কে একত্রীকরণের মত কথা বলা অস্পষ্ট দাবি ব্যতীত, যা ধারাবাহিকতার চেয়ে পৃথক যা সমস্ত বিট সম্পর্কে আলোচনা করে), এবং তাই কোনও উত্তর খুঁজে পাওয়ার চেষ্টা করেছিল, এবং কখন মনে হয় এটি সঠিক কিনা তা নিশ্চিত হওয়া যায়নি। আমি কি একটি ফিশ প্রশ্ন নিয়ে আসা উচিত? বা প্রশ্নের কোনও উত্তর সরবরাহ করবেন না? :)

— আইরাত

@ আরাত আমি আপনার প্রশ্নের শেষ অংশটি যাচাই করতে চেয়েছি এমন উত্তর হিসাবে পড়েছি। যদি এটি হয় তবে কিছু সন্দেহ থাকা উচিত (অন্যথায়, কেন জিজ্ঞাসা করবেন?) যা আপনার পাঠকদের জন্য নির্দিষ্ট করা উচিত। আমি কি ভুল পাঠাচ্ছি?

— রাফেল

@ রাফেল 'শেষ অংশটি চেক করতে চান' - হ্যাঁ। 'কেন জিজ্ঞেসা?' - বিষয়টি নতুন, এবং আমি নিশ্চিত হতে পারি না যে উপসংহারটি সঠিক। আমি ভবিষ্যতে এই জাতীয় প্রশ্ন এড়াতে চেষ্টা করব এবং সম্ভবত এটির পরীক্ষা করার জন্য কাছাকাছি কাউকে খুঁজে পেতে পারি))

— আয়রাত

Answer 1

হিসাবে আপনি নির্দিষ্ট, সঙ্গতি একজন ব্যক্তি মেমরি অবস্থানকে একটি সম্পত্তি যখন দৃঢ়তা সব স্মৃতি অবস্থানে ব্যবহারের ক্রম বোঝায়। ধারাবাহিক ধারাবাহিকতা একাত্মতার চেয়ে কঠোরতর শক্তিশালী সম্পত্তি। এটি হ'ল: প্রতিটি সিস্টেম যা ধারাবাহিকভাবে সামঞ্জস্যপূর্ণ হয় প্রতিটি মেমরির স্থানেও সুসংগত। বিপরীতটি সত্য নয়, একটি মেমরি যা প্রতিটি স্থানে সুসংগত হয় তা ক্রমগতভাবে সামঞ্জস্যপূর্ণ নয়। প্রকৃতপক্ষে, অনেকগুলি আসল ক্যাশে-সুসংহত মাল্টিপ্রসেসর রয়েছে যেখানে মেমরি মডেলটি কেবল দুর্বলভাবে সামঞ্জস্যপূর্ণ (এমন ঘটনা রয়েছে যেখানে বিভিন্ন প্রসেসর বিভিন্ন স্থানে অ্যাক্সেসগুলি বিভিন্ন অর্ডারে ঘটে থাকে))

ধারাবাহিকভাবে সামঞ্জস্যপূর্ণ প্রমাণ সুসংগত:

ধারাবাহিকভাবে সামঞ্জস্যপূর্ণ সিস্টেম থেকে কোনও ট্রেস দেওয়া হয়েছে, সংজ্ঞা অনুসারে ট্রেসকে অবশ্যই একটি সামগ্রিক ক্রম থাকতে হবে যা সিস্টেমের প্রতিটি প্রসেসরের দ্বারা সম্মত হয়। এখন সেই ট্রেসটিতে কেবল অবস্থানের অ্যাক্সেসগুলি দেখুন । যেহেতু মোট অর্ডারটি ট্রানজিটিভ, কেবলমাত্র অ্যাক্সেসগুলির একটি সম্পূর্ণ অর্ডার রয়েছে যা সিস্টেমে প্রতিটি প্রসেসরের দ্বারা সম্মত হয়। সুতরাং সমস্ত মেমরি অবস্থান সুসংগত হয়।$x$$x$

বিপরীত কাজ করে না। দুই সুসঙ্গত মেমরির অবস্থানে বিবেচনা এবং প্রতিটি কেবলমাত্র একটি অ্যাক্সেস সহ এবং । সকল প্রসেসর অবস্থানকে ব্যবহারের ক্রম একমত এবং সব প্রসেসর অবস্থান ব্যবহারের মোট অর্ডার একমত , কিন্তু কিছু প্রসেসরের অর্ডার লক্ষ করতে পারে , অন্যেরা অর্ডার লক্ষ করতে পারে । সুতরাং সমন্বয় ক্রম ধারাবাহিকতা বোঝায় না।$x$$y$$x_0$$y_0$$x$$y$$x \rightarrow y$$y \rightarrow x$

এটি বিস্ময়কর ফলাফল হতে পারে। উদাহরণ স্বরূপ

initially A=B=0
process 1               process 2
store A := 1            load B (gets 1)
store B := 1            load A (gets 0) 

এই ট্রেস সুসংগত:

• একজন জন্য অনুক্রম হল: proc2 loads A(gets 0),proc1 stores A:=1
• বি জন্য অনুক্রম হল: proc1 stores B:=1,proc2 loads B(gets 1)

তবে এটি ধারাবাহিক নয়! যেহেতু যদি proc2 load B1 প্রদান করে, তবে proc1 store A := 1ইতিমধ্যে ঘটেছে এবং proc2 load A1 টিও ফিরে আসা উচিত।