এমবেডেড C ফান্ডামেন্টাল ও volatile

// volatile ছাড়া (ভুল) -- STATUS_REG একটি পেরিফেরাল স্ট্যাটাস রেজিস্টার
uint8_t *status_reg = (uint8_t *)0x40001000;
while ((*status_reg & 0x01) == 0) {
    // লুপের ভেতরে কোনো কোড *status_reg লেখে না দেখে অপ্টিমাইজিং কম্পাইলার
    // ধরে নিতে পারে এটি স্থির -- প্রথম রিড cache করে রেখে কখনো
    // আবার মেমরি থেকে না পড়েই অসীম লুপ তৈরি করতে পারে!
}
// ... হার্ডওয়্যার আসলে রেডি, কিন্তু প্রোগ্রাম কখনো বুঝতেই পারল না

// volatile সহ (সঠিক)
volatile uint8_t *status_reg = (volatile uint8_t *)0x40001000;
while ((*status_reg & 0x01) == 0) {
    // volatile কম্পাইলারকে বাধ্য করে -- প্রতিটি *status_reg-এর
    // ব্যবহারেই সত্যিকারের একটি নতুন মেমরি রিড ইনস্ট্রাকশন জেনারেট করতে হবে
}

import random

rng = random.Random(42)

# --- সিমুলেটেড হার্ডওয়্যার: একটি পেরিফেরাল স্ট্যাটাস রেজিস্টার ---
hardware = {"status": 0}

# হার্ডওয়্যার ইভেন্ট কোন টিকে ঘটবে -- fixed seed দিয়ে আগে থেকেই ঠিক করা (reproducible)
event_tick = rng.randint(5, 15)
print(f"(সিমুলেশন সেটআপ) হার্ডওয়্যার ইভেন্ট ঘটবে টিক #{event_tick}-এ, status বিট 1 হবে")

def hardware_step(tick):
    """হার্ডওয়্যার নিজে থেকে, প্রোগ্রামের পোলিং কোডের বাইরে থেকে, নির্দিষ্ট টিকে status বদলায়।"""
    if tick == event_tick:
        hardware["status"] = 1

MAX_TICKS = 30

print()
print("=== সঠিক পদ্ধতি: প্রতিবার সত্যিই মেমরি থেকে fresh read (volatile-এর সমতুল্য) ===")
detected_tick = None
for tick in range(1, MAX_TICKS + 1):
    hardware_step(tick)
    current_value = hardware["status"]     # প্রতিবার সত্যিকারের রিড
    if current_value == 1:
        detected_tick = tick
        break
if detected_tick is not None:
    print(f"টিক #{detected_tick}-এ status=1 শনাক্ত হলো (হার্ডওয়্যার ইভেন্ট ছিল টিক #{event_tick}-এ)")
else:
    print(f"{MAX_TICKS} টিকের মধ্যেও status পরিবর্তন শনাক্ত হয়নি")

print()
print("=== বাগযুক্ত পদ্ধতি: একবার পড়ে cache করে বারবার পুনর্ব্যবহার (volatile ছাড়া) ===")
hardware["status"] = 0   # হার্ডওয়্যার রিসেট করে আবার শুরু থেকে সিমুলেট করা
cached_value = hardware["status"]   # <-- মাত্র একবার, লুপ শুরুর আগে পড়া হলো
detected_tick_buggy = None
for tick in range(1, MAX_TICKS + 1):
    hardware_step(tick)
    # বাগ: hardware["status"] আবার না পড়ে পুরনো cached_value পুনর্ব্যবহার করা হচ্ছে --
    # ঠিক যেমন volatile ছাড়া একটি অপ্টিমাইজিং কম্পাইলার প্রথম রিড রেজিস্টারে রেখে দিতে পারে
    if cached_value == 1:
        detected_tick_buggy = tick
        break
if detected_tick_buggy is not None:
    print(f"টিক #{detected_tick_buggy}-এ status=1 শনাক্ত হলো")
else:
    print(f"{MAX_TICKS} টিকের মধ্যে cached_value কখনোই বদলায়নি -- এখনও দেখাচ্ছে: {cached_value}")
    print(f"অথচ প্রকৃত হার্ডওয়্যারে status ততক্ষণে সত্যিই বদলে গেছে: hardware['status'] = {hardware['status']}")

print()
print("=== ফলাফলের তুলনা ===")
correct_result = f"শনাক্ত টিক #{detected_tick}" if detected_tick else "শনাক্ত হয়নি"
buggy_result = f"শনাক্ত টিক #{detected_tick_buggy}" if detected_tick_buggy else "কখনোই শনাক্ত হয়নি -- স্থবির/stale মান দেখিয়ে গেছে"
print(f"সঠিক (fresh-read) পদ্ধতি -> {correct_result}")
print(f"বাগযুক্ত (cached) পদ্ধতি -> {buggy_result}")