Scala mô hình phù hợp với hiệu suất

Question

tôi gặp phải vấn đề này trong khi làm bài tập về nhà từ Coursera "chuyên môn hóa scala" (điều này được đơn giản hóa phiên bản và không chứa bất kỳ thông tin chi tiết bài tập ở nhà, nó chỉ là mảng traversal)

val chars: Array[Char] = some array 

def fun1(idx:Int):Int = { 
    some code here (including the stop condition) 

    val c = chars(idx) 
    c match{ 
     case '(' => fun1(idx+1) 
     case _ => fun1(idx+1) 
    } 

} 

Mã này là 4 lần chậm hơn so với

def fun2(idx: Int):Int = { 
    some code here (including the stop condition) 

    val c = chars(idx) 
    (c == '(') match{ 
     case true => fun2(idx+1) 
     case _ => fun2(idx+1) 
    } 
} 

Tất cả tôi đang làm là thay đổi mô hình phù hợp với (tôi đang chạy nó bằng cách sử ScalMeter vì vậy tôi tin vào số liệu thống kê).

Có ai có thể giải thích hành vi này không?

Answer 1

Tôi chỉ có thể xác nhận rằng match đầu tiên chậm hơn ~ 50%, chứ không phải 4x (2.11.8). Dù sao, nếu bạn nhìn vào bytecode, bạn có thể thấy rằng match đầu tiên được dịch sang hướng dẫn tableswitch, thường được sử dụng cho câu lệnh Java switch với nhiều lựa chọn và về cơ bản là goto tra cứu, trong khi thứ hai được dịch sang if. Vì vậy, thứ hai match chỉ đơn giản là:

if (c == '(') fun2(idx+1) else fun2(idx+1) 

Answer 2

Cập nhật dưới đây là sai (phần lớn thời gian trong những thử nghiệm đã được chi tiêu tạo ra các dữ liệu, do sự khác biệt trong lần traversal thực tế là không đáng chú ý Chạy benchmark này giống nhau. với đầu vào liên tục hiển thị ~ 125ms trên 100 triệu mục nhập cho case ')' trường hợp so với ~ 35ms đối với trường hợp khác.)

Tôi không thấy sự khác biệt mà bạn mô tả. Không chắc chắn cách ScalaMeter hiện nó, nhưng chạy nó trong repl (sau khi để "hâm nóng" bằng cách chạy "khô" một vài lần), tôi nhận được hầu như cùng một hiệu suất:

def func(s: Seq[Char], idx: Int): String = 
    if(idx == s.length) "foo" else s(idx) match { 
    case ')' => func(s, idx+1) 
    case _ => func(s, idx+1) 
    } 

def func1(s: Seq[Char], idx: Int): String = 
    if(idx == s.length) "foo" else (s(idx) == '(') match { 
    case true => func(s, idx+1) 
    case _ => func(s, idx+1) 
    } 

import scala.util.Random 
def randy = Stream.continually(Random.nextPrintableChar) 


def doit(n: Int)(f: (Seq[Char], Int) => String) = { 
val start = System.currentTimeMillis;  
f(randy.take(n).toIndexedSeq, 0); 
System.currentTimeMillis - start 
} 


scala> doit(1000000)(func) 
res9: Long = 231 

scala> doit(1000000)(func1) 
res10: Long = 238 

scala> doit(1000000)(func) 
res11: Long = 234 

scala> doit(1000000)(func1) 
res12: Long = 201 

vv Như bạn có thể thấy, không có sự khác biệt đáng kể.