Đưa ra dự đoán nhánh, và cũng là hiệu quả của tối ưu hóa trình biên dịch, mã nào có xu hướng cung cấp hiệu suất vượt trội?
Lưu ý rằng bRareExceptionPftime đại diện cho một điều kiện không phổ biến. Nó không phải là con đường logic thông thường.
/* MOST COMMON path must branch around IF clause */
bool SomeFunction(bool bRareExceptionPresent)
{
// abort before function
if(bRareExceptionPresent)
{
return false;
}
.. function primary body ..
return true;
}
/* MOST COMMON path does NOT branch */
bool SomeFunction(bool bRareExceptionPresent)
{
if(!bRareExceptionPresent)
{
.. function primary body ..
}
else
{
return false;
}
return true;
}
9
Tôi sẽ đi ra ngoài trên một chi ở đây và nói rằng không có sự khác biệt nào.
—
Robert Harvey
Điều này có thể phụ thuộc vào CPU cụ thể mà bạn đang biên dịch, vì chúng có các kiến trúc đường ống khác nhau (khe trễ so với khe trễ). Thời gian bạn dành để nghĩ về điều này có thể nhiều hơn thời gian tiết kiệm khi chạy - hồ sơ trước, sau đó tối ưu hóa.
Nó gần như chắc chắn là tối ưu hóa vi mô sớm.
—
Robert Harvey
@MichaelT Yep, profiling thực sự là cách đáng tin cậy duy nhất để biết những gì đang thực sự xảy ra với hiệu suất cho mã trên mục tiêu, nền tảng, trong bối cảnh của nó. Tuy nhiên, tôi đã tò mò liệu một người thường được ưa thích.
—
dyasta
@RobertHarvey: Đó là tối ưu hóa vi mô sớm, ngoại trừ trong trường hợp cả hai điều kiện được đáp ứng: (1) vòng lặp được gọi là hàng tỷ (không phải hàng triệu) lần; và (2) trớ trêu thay, khi thân vòng lặp nhỏ xíu về mã máy. Điều kiện số 2 có nghĩa là phần nhỏ thời gian dành cho chi phí không đáng kể so với thời gian dành cho công việc hữu ích. Tin tốt là thông thường, trong những tình huống như vậy khi cả hai điều kiện được đáp ứng, SIMD (vectorization), về bản chất là không phân nhánh, sẽ giải quyết tất cả các vấn đề về hiệu suất.
—
rwong