সি ভাষায় setjmp() এবং longjmp(): নন-লোকাল জাম্প ও এক্সসেপশন হ্যান্ডলিং

setjmp এবং longjmp হলো সি-তে নন-লোকাল গোটো (non-local goto) বা প্রিমিটিভ এক্সসেপশন হ্যান্ডলিং মেকানিজম। এটি <setjmp.h> হেডারে ডিক্লেয়ার করা থাকে।

ফাংশন সিগনেচার

int setjmp(jmp_buf env);        // এনভায়রনমেন্ট সেভ করে, প্রথম কলেই ০ রিটার্ন
void longjmp(jmp_buf env, int val); // env-এ ফিরে যায়, setjmp কে val রিটার্ন করিয়ে দেয়

কিভাবে কাজ করে

1. setjmp(buf) কল করলে বর্তমান স্ট্যাক কনটেক্সট (প্রোগ্রাম কাউন্টার, স্ট্যাক পয়েন্টার, রেজিস্টার ইত্যাদি) buf-এ সেভ হয় এবং 0 রিটার্ন করে
2. নরমাল এক্সিকিউশন চালিয়ে যায়
3. যখন longjmp(buf, val) কল হয়, প্রোগ্রাম সংরক্ষিত buf-এ জাম্প করে
4. setjmp দ্বিতীয়বার val রিটার্ন করে (যদি val == 0 হয় তবে 1 রিটার্ন করে)

উদাহরণ: ১০০ বার প্রিন্ট (লুপ ছাড়া)

#include <stdio.h>
#include <setjmp.h>

jmp_buf buf;

int main() {
    int x = 1;
    setjmp(buf);
    printf("5");
    x++;
    if (x <= 100)
        longjmp(buf, 1);
    return 0;
}

আউটপুট

5555555555555555555555555555555555555555555555555555555555555555555555555555
555555555555555555555555

ব্যবহার ক্ষেত্র

• গভীর নেস্টেড ফাংশন কল থেকে দ্রুত বের হওয়া (Error handling in parsers, VMs)
• কোরুটিন/গ্রিন থ্রেড বাস্তবায়ন
• সিগন্যাল হ্যান্ডলার থেকে মেইন প্রোগ্রামে ফেরত যাওয়া

বিশেষ সতর্কতা (C++-এ অত্যন্ত বিপজ্জনক) ⚠️

সি-এ সতর্কতা

• VLA (Variable Length Array) বা ভেরিয়েবল যা setjmp-এর পরে মডিফাই হয়, longjmp-এর পরে তাদের মান অনডিফাইনড হতে পারে
• volatile কীওয়ার্ড দিয়ে ভেরিয়েবল ডিক্লেয়ার করলে মান সংরক্ষিত থাকে
• সিগন্যাল হ্যান্ডলার থেকে longjmp কল করলে অ্যাসিনক্রোনাস সিগন্যাল সেফ ফাংশন ব্যবহার করতে হবে

উপসংহার

শিক্ষামূলক/লিগ্যাসি সি কোড ছাড়া আধুনিক প্রোগ্রামিং-এ এটা এড়িয়ে চলা ভালো।