গত কয়েক বছর ধরে সংকলক অপ্টিমাইজেশন কৌশলগুলিতে নতুন কী?

Question

আমি ডেটা ফ্লো এবং কন্ট্রোল ফ্লো গ্রাফগুলির অপ্টিমাইজেশনে আগ্রহী এবং বিশেষত আরও কম্পিউটারিয় জটিল। তবে পীফোল অপটিমাইজেশনের ক্ষেত্রে সর্বশেষ আবিষ্কারগুলি সম্পর্কে জানতে আগ্রহী হবে।

Comments

আমার থিসিসে ( স্লাইডগুলি ) আমি এলএলভিএম-তে কল-গ্রাফ সমতলকরণ আলোচনা করেছি এবং প্রয়োগ করেছি; মূলত এটি একটি আন্তঃবিশ্লেষীয় রূপান্তর যা "ফাংশন" এর ধারণা থেকে মুক্তি পায় কারণ এটি সমস্ত কোডকে একত্রে একত্রিত করে, ইন্টারপ্রোসিডেরাল কোড মোশন, কলসাইট-অপ্টিমাইজড কলিং কনভেনশনস, স্ট্যাকলেস এক্সিকিউশন ইত্যাদির মতো আকর্ষণীয় সম্ভাবনার একগুচ্ছ অনুমতি দেয়।

— সিএএফএক্সএক্সএক্স

@ সিএএফএক্সএক্স: স্লাইডগুলি ওপেন অফিসে ক্র্যাশ হয়েছে .. আপনি কি তার পরিবর্তে অনলাইনের ছবিগুলি পেয়েছেন?

— Yttrill

@Yttrill: slideshare.net/CAFxX/...

— CAFxX

ধন্যবাদ, এটির সাথে দেখতে সক্ষম, যদিও গ্রাফগুলি পাঠ্যটি ভাল লাগার জন্য জরিমানা ছিল।

— Yttrill

Answer 1

আমি নিশ্চিত নই যে এটি কতটা উপন্যাস, বা এটি আপনার আগ্রহের জন্য প্রয়োগিত দিক থেকে খুব বেশি, তবে হুপল দেখায় যে কীভাবে একটি নিয়ন্ত্রণ / ডেটা ফ্লো অপ্টিমাইজেশানকে আধুনিকীকরণ করা যায়, নিয়ন্ত্রণ-গ্রাফের অনুভূমিকাগুলির স্বাধীনতার বিষয়ে তথ্য প্রচারের সাথে ভাষা এবং নির্দিষ্ট অপ্টিমাইজেশন।

তারা ২০০২ সালে লার্নার, গ্রোভ এবং চেম্বারসের একটি অ্যালগরিদম উল্লেখ করেছেন যা একটি "সুপারোপটিমাইজেশন" হিসাবে সাধারণ অপ্টিমাইজেশানগুলি রচনা করে।

Answer 2

আমি অনুমান করি যে ইক্যুয়ালিটি স্যাচুরেশন কৌশলটি অপ্টিমাইজেশান সমস্যার ক্রমরূপে পাস করার সমস্যাটির ভিন্ন পদ্ধতির হিসাবে প্রাসঙ্গিক হবে। আমার জ্ঞানের মতে, এটি এখনও পূর্ণাঙ্গ সংকলকের একটি কংক্রিট বাস্তবায়ন দ্বারা ব্যবহারিক প্রমাণিত হয়নি। প্রুফগুলি থেকে নিম্নলিখিত উত্পাদিত সংকলক অপ্টিমাইজেশানগুলিও আগ্রহী হতে পারে।

Answer 3

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

Comments

আমরা কম্পের্ট: সেরকো ( cerco.cs.unibo.it ) এর অনুরূপ একটি প্রকল্পেও কাজ করছি । কম্পার্টের বিপরীতে, আমরা সি এর বৃহত উপসেটের জন্য একটি যাচাইকৃত কংক্রিট ব্যয় সংরক্ষণের সংকলক উত্পাদন করার লক্ষ্য রেখেছি (কমপ্যাক্ট কেবল দেখায় যে উত্স প্রোগ্রামের এক্সটেনশনাল বৈশিষ্ট্যগুলি সংকলন দ্বারা সংরক্ষণ করা হয়)। আমরা কম্পাইলারটিতে কয়েকটি পরিমিত জটিল লুপ অপ্টিমাইজেশানও বাস্তবায়িত করছি, পাশাপাশি কমপ্যাক্ট নিয়োগের মতো "হালকা" অপ্টিমাইজেশানগুলি অবশ্যই ব্যয়-সংরক্ষণ হিসাবে যাচাইকরণের প্রয়োজন হবে।

— ডমিনিক মুলিগান

Answer 4

দ্বিগুণ ফর লুপটিতে এই বাজ [i] + = বল (ফু [i], ফু [জ]] কে স্বীকৃতি দেওয়ার (আই, জে) জন্য স্বতন্ত্র ফলাফল রয়েছে এবং কলগুলিকে (i, j) তে একটি স্পেস ফিলিংয়ের বক্ররেখার পুনঃক্রম করতে হবে ক্যাশে মিস মিস

বেশ "পেফোল" নয় তবে "ফ্রি" এর জন্য ক্যাশে অজ্ঞান আচরণ করা দুর্দান্ত nice