سرریز عدد صحیح و دور زدن بیت‌ها

هر بیت ظرفیت رو دو برابر می‌کنه

max = 2^n - 1

مدل فقط عددهای صحیح نامنفی رو نگه می‌داره. با n بیت، ۲ به توان n حالت داریم و مقدارها از صفر تا یکی کمتر از اون می‌رن؛ برای همین ۸ بیت بازهٔ صفر تا ۲۵۵ رو پوشش می‌ده.

دور زدن یعنی باقیمانده

wrapped = value mod 2^n

در این شبیه‌سازی، وقتی ورودی از ظرفیت بگذره، مقدار ذخیره‌شده برابر باقیماندهٔ تقسیم ورودی بر تعداد حالت‌های ممکن می‌شه. بعد از آخرین مقدار دوباره از صفر شروع می‌کنه.

تعداد دورها رو هم ببین

overflow_count = floor(value/2^n)

عدد «تعداد دور» می‌گه ورودی چند بار از ظرفیت کامل رد شده. مثلاً در ۴ بیت هر ۱۶ عدد یک دور تازه است؛ پس ۳۲ دو دور کامل می‌زنه.

این مدل، همهٔ رایانه‌ها نیست

اینجا عددها بدون علامت و غیرمنفی هستن و همیشه دور می‌زنن. برنامه‌ها و پردازنده‌های واقعی ممکنه با سرریز رفتار متفاوتی داشته باشن؛ بعضی خطا می‌دن یا نوع عدد رو عوض می‌کنن.