volatile در C++ چیست؟

Question

سلام به دوستان.

کلمه کلیدی volatile برای چه نوع متغیرهایی تعریف میشه و دقیقاً چیه ؟

Answer 1

در واقع با افزودن این کلمه در ابتدای تعریف متغیر برای کامپایلر مشخص میشه که این متغیر از thread های دیگر هم دستکاری میشه پس با این حساب کامپایلر متوجه میشه که مقدار این متغیر هر لحظه ممکن تغییر کنه و نبایستی کدی که این متغیر در آن دخیل هست را بهنه کنه.جون اگر بهینه شه ممکن جای متغیر مقدار ثابت قرار بگیره. علت بهینه نشدن هم اینه که بجای ذخیره سازی این متغیر در register آن در حافظه نگهداری می کنه.

به کد زیر دقت کنید.

volatile int sec;
void Delay1() {
sec = 0;
while (sec < 5) {
// hargez be 5 nmirese
}
}

زمانی حلقه while متوقف میشه که شما از یک thread دیگه مقدار sec را بزرگتر مساوی 5 کنید.  حال اگر volatile نبود کامپایلر چون میدید sec =0 میومد حلقه را به صورت بی نهایت اجرا می کرد.

در ضمن volatile بودن به معنای atomic بودن نیست چندین Thread به صورت همزمان هم می تونن متغیر Volatile را دستکاری کنند

Answer 2

volatile کلمه کلیدی برای تعریف متغیر ها هستش وکارش هم اینه که از optimize شدن اون متغیر و حذف توسط کامپایلر جلوگیری میکنه .

مثلا ممکنه  متغیر a رو توی کد زیر کامپایلر غیر ضروری تشخیص بده و برای سرعت بیشتر حذفش کنه

void foo(){
   int a=22;
   //do stuffs without using a
}

ولی اگر volatile تعریف بشه این اتفاق نمیفته

volatile int a=22;

این کد ساده رو فرض کنید :

const int VAR = 5;
int main()
{
     int a= VAR;
}

کد اسمبلی که تولید میشه این هست :

; Listing generated by Microsoft (R) Optimizing Compiler Version 18.00.21005.1 

	TITLE	TEST
	.686P
	.XMM
	include listing.inc
	.model	flat

INCLUDELIB OLDNAMES

END

یعنی قسمت مساوی گذاشتن a و همچنین متغیر const گلوبال کاملا حذف شدن !

ولی اگر volatile استفاده کنیم 

const int VAR = 5;
int main()
{
    volatile int a= VAR;
}

کد تولیدی اسمبلی این میشه :

; Listing generated by Microsoft (R) Optimizing Compiler Version 18.00.21005.1 
    TITLE   test
    .686P
    .XMM
    include listing.inc
    .model  flat
 
INCLUDELIB OLDNAMES
 
EXTRN   @__security_check_cookie@4:PROC
PUBLIC  _main
;   COMDAT _main
_TEXT   SEGMENT
_a$ = -4                     
_main   PROC             
; Line 3
    push    ebp
    mov ebp, esp
    push    ecx
; Line 4
    mov DWORD PTR _a$[ebp], 5 
; Line 5
    xor eax, eax
    mov esp, ebp
    pop ebp
    ret 0
_main   ENDP
_TEXT   ENDS
END

 

داخل کد بالا متغیر a با این که استفاده نشده ولی باز هم حذف نشده و مقدار گرفته.

Comments

نه هر برنامه در جال اجرا هرکدوم یک process هستن.(برنامه های در حال اجرا در بک گراند هم شاملشون میشه)
  هر process خودش میتونه شامل  یک یا چند تا thread باشه . و فرق اصلیش با thread  اینه که فضای مموری که thread ها استفاده می کنن بینشون به اشتراک گذاشته ولی برای process این طور نیست و هر کدوم فضای مخصوص خودشون رو دارن .

---

const_cast هم مثل volatile عمل میکنه ؟

---

نه const_cast برای این استفاده میشه که const بودن متغیر رو حذف کنیم مثلا http://coliru.stacked-crooked.com/a/a0fb7097d0a51c94
volatile کارش متفاوت هستش .

---

http://stackoverflow.com/questions/332030/when-should-static-cast-dynamic-cast-const-cast-and-reinterpret-cast-be-used/332086#332086

const_cast also works similarly on volatile, though that's less common.

---

منظورش اینه که با const cast میشه volatile بودن یک متغیر رو هم حذف کرد مثل مثال بالا که const بودن حذف شد .
سوال شما این بود که
"const_cast هم مثل volatile عمل میکنه ؟ "
که معنی خاصی نمیده مثل اینه که بگین آیا const_cast مثل const هست

Answer 3

در C++11، از کلمه کلیدی volatile  برای تعیین متغیرهایی استفاده می شود که ممکن است به صورت ناهمزمان توسط رشته دیگری یا توسط یک روال سرویس وقفه اصلاح شوند. متغیرهای فرار در برنامه نویسی سطح پایین استفاده می شوند تا اطمینان حاصل شود که کامپایلر هیچ بهینه سازی را انجام نمی دهد که می تواند بر رفتار صحیح برنامه تأثیر بگذارد.

 

کلمه کلیدی فرار را می توان برای هر نوع متغیری از جمله int، float، double، char و انواع تعریف شده توسط کاربر اعمال کرد. وقتی یک متغیر به عنوان volatile اعلام می شود، به کامپایلر می گوید که مقدار متغیر ممکن است به طور غیرمنتظره ای تغییر کند و کامپایلر نباید هیچ بهینه سازی هایی را انجام دهد که منجر به رفتار نادرست شود.

 

به عنوان مثال، کد زیر را بدون volatile در نظر بگیرید:

int x;
int main() {
  x = 0;
  while (x == 0) {
    // do something
  }
}

 

در این مورد، کامپایلر ممکن است حلقه را به یک حلقه بی نهایت بهینه کند، زیرا می داند که x هرگز تغییر نخواهد کرد. با این حال، اگر x به طور ناهمزمان توسط رشته دیگری یا یک روال سرویس وقفه اصلاح شود، برنامه هنگ خواهد شد. برای جلوگیری از این امر، متغیر را می توان به عنوان فرار اعلام کرد:

volatile int x;
int main() {
  x = 0;
  while (x == 0) {
    // do something
  }
}

در این حالت، کامپایلر حلقه را بهینه نمی‌کند و مطمئن می‌شود که برنامه هنگ نمی‌کند.