🥇गो मधील अटी आणि त्यांच्या विषमता

तुम्हाला असे वाटते का की लूपमधील चाचणी परिस्थितीसाठी हे दोन पर्याय कार्यक्षमतेत समतुल्य आहेत?

		
if a > b && c*2 > d {
	....
}
// и
if a <= b  { 
  continue;
}
if c*2 > d {
 ....
}

हे सर्व “ब्रेन वॉर्म-अप” ने सुरू झाले; मला पूर्णांकांच्या [-x....x] अॅरेमधील सर्वात मोठ्या सम संख्येसाठी इष्टतम शोधाचे उदाहरण द्यावे लागले. मी विचार करत होतो की एखादी संख्या सम आहे की नाही हे शोधण्यासाठी मी 1 ने तार्किक गुणाकार केला तर किती चांगली कामगिरी होईल.


//у четных чисел последний бит всегда равен 0
value & 1 == 0
//vs классический метод
value % 2 == 0

माझा गो मधील प्रोग्रामिंगचा अनुभव फारसा विस्तृत नाही, फक्त दीड वर्षात, मी तो वापरला, जरी अनेकदा, परंतु पूर्णपणे उपयोगितावादी हेतूंसाठी (चांगले, कदाचित उच्च-लोड http सेवेशी संबंधित एक प्रकल्प वगळता), म्हणून मी सुरुवात केली. GoLand उघडा आणि एक साधी चाचणी लिहा


package main
import (
	"fmt"
	"log"
	"math"
	"math/rand"
	"time"
)
const size = 100000000 //math.MaxInt32*2
type Result struct {
	Name     string
	Duration time.Duration
	Value    int32
}

func main() {
	log.Println("initial array capacity: " + fmt.Sprint(size))
	var maxValue int32
        // Будем варьировать диапазон чисел от минимального 
        // до максимального. Чем меньше диапазон, тем больше 
        // процессорного времени будет уходить на операцию 
        // сравнения текущего числа, с ранее найденным и наоборот
	for maxValue = 128; maxValue < math.MaxInt32/2+1; maxValue = maxValue * 2 {
		test(maxValue)
	}
}

func test(maxValue int32) {
	log.Println("max threshold: " + fmt.Sprint(maxValue))
	arr := make([]int32, size)
	for i := range arr {
		arr[i] = rand.Int31n(maxValue)
                // в тестовых данных нам нужны и отрицательные числа 
		sign := rand.Intn(2)
		if sign == 1 {
			arr[i] = -arr[i]
		}
	}

        // запускаем тест "деление с остатком"
	result := maxEvenDividing("maxEvenDividing", arr)
	log.Printf(result.Name+"t result: "+fmt.Sprint(result.Value)+"ttduration %s", result.Duration)

        // запускаем тест "конъюнкции"
	result = maxEvenConjunction("maxEvenConjunction", arr)
	log.Printf(result.Name+"t result: "+fmt.Sprint(result.Value)+"ttduration %s", result.Duration)
}

func maxEvenDividing(name string, arr []int32) Result {
	start := time.Now()
	var current int32 = math.MinInt32
	for _, value := range arr {
		if value > current && value%2 == 0 {
			current = value
		}
	}
	duration := time.Since(start)
	result := Result{name, duration, current}
	return result
}

func maxEvenConjunction(name string, arr []int32) Result {
	start := time.Now()
	var current int32 = math.MinInt32
	for _, value := range arr {
		if value > current && value&1 == 0 {
			current = value
		}
	}
	duration := time.Since(start)
	result := Result{name, duration, current}
	return result
}

आम्हाला एक परिणाम मिळतो जो दर्शवितो की थ्रेशोल्ड जितका जास्त असेल तितके जास्त वेळा कामगिरीमध्ये चढ-उतार दिसून येतात.

तुलना कराmax threshold: 128 maxEvenDividing result: 126 duration 116.0067ms maxEvenConjunction result: 126 duration 116.0066ms


max threshold: 16384

maxEvenDividing result: 16382 duration 115.0066ms

maxEvenConjunction result: 16382 duration 111.0064ms
......
max threshold: 8388608

maxEvenDividing result: 8388606 duration 109.0063ms

maxEvenConjunction result: 8388606 duration 109.0062ms
max threshold: 16777216

maxEvenDividing result: 16777214 duration 108.0062ms

maxEvenConjunction result: 16777214 duration 109.0062ms
max threshold: 33554432

maxEvenDividing result: 33554430 duration 114.0066ms

maxEvenConjunction result: 33554430 duration 110.0063ms
max threshold: 67108864

maxEvenDividing result: 67108860 duration 111.0064ms

maxEvenConjunction result: 67108860 duration 109.0062ms
max threshold: 134217728

maxEvenDividing result: 134217726 duration 108.0062ms

maxEvenConjunction result: 134217726 duration 109.0063ms

max threshold: 268435456 maxEvenDividing result: 268435446 duration 111.0063ms maxEvenConjunction result: 268435446 duration 110.0063ms
हे स्पष्ट आहे की या प्रकरणात, वेगवेगळ्या थ्रेशोल्डसाठी आमच्याकडे चाचणी डेटाचे वेगवेगळे संच आहेत, प्रोसेसर लोड (माझ्या i5-2540M लॅपटॉपवर) सुमारे 20..30% बदलतो, GoLand वरून चालू असलेल्या अनुप्रयोगाद्वारे व्यापलेली मेमरी सरासरी आहे. सुमारे 813MB - याचा परिणामाच्या विश्वासार्हतेवर देखील परिणाम होतो, आपल्याला डिस्कवर चाचणी प्रकरणे जतन करण्याची आणि प्रत्येक थ्रेशोल्डसाठी सर्व चाचण्या एकमेकांपासून अलग ठेवण्याची आवश्यकता आहे.

आणि आता, कमीतकमी खर्चात हे सर्व कसे अंमलात आणायचे याचा विचार करून, मी आपोआप स्थिती तपासणी दुरुस्त करतो

		
if value > current && value&1 == 0 {
	current = value
}

वर

		
if value <= current {
        continue;
}
if value&1 == 0 {
	current = value
}

मी पुन्हा चाचण्या घेतो... आणि मला काहीही समजणे बंद होते :)

अंमलबजावणीसाठी घालवलेला वेळ यापुढे टक्केवारी/अपूर्णांकांनुसार भिन्न नसून 10..15% ने सुरू होतो. मी पटकन आणखी 2 चाचण्या जोडतो:

		
func maxEvenDividing2(name string, arr []int32) Result {
	start := time.Now()
	var current int32 = math.MinInt32
	for _, value := range arr {
		if value <= current {
			continue
		}

		if value%2 == 0 {
			current = value
		}
	}
	duration := time.Since(start)
	result := Result{name, duration, current}
	return result
}

func maxEvenConjunction2(name string, arr []int32) Result {
	start := time.Now()
	var current int32 = math.MinInt32
	for _, value := range arr {
		if value <= current {
			continue
		}
		if value&1 == 0 {
			current = value
		}
	}
	duration := time.Since(start)
	result := Result{name, duration, current}
	return result
}

मी ते चालवतो आणि हे चित्र मिळवतो:प्रारंभिक अॅरे क्षमता: 100000000

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 126 कालावधी 116.0066ms
maxEvenDiving2 परिणाम: 126 कालावधी 79.0045ms
maxEvenConjunction परिणाम: 126 कालावधी 114.0065ms
maxEvenConjunction2 परिणाम: 126 कालावधी 83.0048ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 254 कालावधी 111.0063ms
maxEvenDiving2 परिणाम: 254 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 254 कालावधी 110.0063ms
maxEvenConjunction2 परिणाम: 254 कालावधी 80.0046ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 510 कालावधी 114.0066ms
maxEvenDiving2 परिणाम: 510 कालावधी 80.0045ms
maxEvenConjunction परिणाम: 510 कालावधी 110.0063ms
maxEvenConjunction2 परिणाम: 510 कालावधी 80.0046ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 1022 कालावधी 109.0063ms
maxEvenDiving2 परिणाम: 1022 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 1022 कालावधी 111.0063ms
maxEvenConjunction2 परिणाम: 1022 कालावधी 81.0047ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 2046 कालावधी 114.0065ms
maxEvenDiving2 परिणाम: 2046 कालावधी 79.0045ms
maxEvenConjunction परिणाम: 2046 कालावधी 113.0065ms
maxEvenConjunction2 परिणाम: 2046 कालावधी 81.0046ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 4094 कालावधी 114.0065ms
maxEvenDiving2 परिणाम: 4094 कालावधी 80.0046ms
maxEvenConjunction परिणाम: 4094 कालावधी 111.0063ms
maxEvenConjunction2 परिणाम: 4094 कालावधी 78.0045ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 8190 कालावधी 107.0062ms
maxEvenDiving2 परिणाम: 8190 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 8190 कालावधी 111.0063ms
maxEvenConjunction2 परिणाम: 8190 कालावधी 77.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 16382 कालावधी 109.0063ms
maxEvenDiving2 परिणाम: 16382 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 16382 कालावधी 108.0062ms
maxEvenConjunction2 परिणाम: 16382 कालावधी 77.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 32766 कालावधी 112.0064ms
maxEvenDiving2 परिणाम: 32766 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 32766 कालावधी 109.0062ms
maxEvenConjunction2 परिणाम: 32766 कालावधी 78.0045ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 65534 कालावधी 109.0062ms
maxEvenDiving2 परिणाम: 65534 कालावधी 75.0043ms
maxEvenConjunction परिणाम: 65534 कालावधी 109.0063ms
maxEvenConjunction2 परिणाम: 65534 कालावधी 79.0045ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 131070 कालावधी 108.0061ms
maxEvenDiving2 परिणाम: 131070 कालावधी 76.0044ms
maxEvenConjunction परिणाम: 131070 कालावधी 110.0063ms
maxEvenConjunction2 परिणाम: 131070 कालावधी 80.0046ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 262142 कालावधी 110.0063ms
maxEvenDiving2 परिणाम: 262142 कालावधी 76.0044ms
maxEvenConjunction परिणाम: 262142 कालावधी 107.0061ms
maxEvenConjunction2 परिणाम: 262142 कालावधी 78.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 524286 कालावधी 109.0062ms
maxEvenDiving2 परिणाम: 524286 कालावधी 78.0045ms
maxEvenConjunction परिणाम: 524286 कालावधी 109.0062ms
maxEvenConjunction2 परिणाम: 524286 कालावधी 80.0046ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 1048574 कालावधी 109.0063ms
maxEvenDiving2 परिणाम: 1048574 कालावधी 80.0045ms
maxEvenConjunction परिणाम: 1048574 कालावधी 114.0066ms
maxEvenConjunction2 परिणाम: 1048574 कालावधी 78.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 2097150 कालावधी 111.0064ms
maxEvenDiving2 परिणाम: 2097150 कालावधी 79.0045ms
maxEvenConjunction परिणाम: 2097150 कालावधी 112.0064ms
maxEvenConjunction2 परिणाम: 2097150 कालावधी 77.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 4194302 कालावधी 111.0063ms
maxEvenDiving2 परिणाम: 4194302 कालावधी 78.0045ms
maxEvenConjunction परिणाम: 4194302 कालावधी 111.0063ms
maxEvenConjunction2 परिणाम: 4194302 कालावधी 77.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 8388606 कालावधी 109.0062ms
maxEvenDiving2 परिणाम: 8388606 कालावधी 78.0045ms
maxEvenConjunction परिणाम: 8388606 कालावधी 114.0065ms
maxEvenConjunction2 परिणाम: 8388606 कालावधी 78.0045ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 16777214 कालावधी 109.0062ms
maxEvenDiving2 परिणाम: 16777214 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 16777214 कालावधी 109.0063ms
maxEvenConjunction2 परिणाम: 16777214 कालावधी 77.0044ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 33554430 कालावधी 113.0065ms
maxEvenDiving2 परिणाम: 33554430 कालावधी 78.0045ms
maxEvenConjunction परिणाम: 33554430 कालावधी 110.0063ms
maxEvenConjunction2 परिणाम: 33554430 कालावधी 80.0045ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 67108860 कालावधी 112.0064ms
maxEvenDiving2 परिणाम: 67108860 कालावधी 77.0044ms
maxEvenConjunction परिणाम: 67108860 कालावधी 112.0064ms
maxEvenConjunction2 परिणाम: 67108860 कालावधी 80.0046ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 134217726 कालावधी 109.0063ms
maxEvenDiving2 परिणाम: 134217726 कालावधी 78.0044ms
maxEvenConjunction परिणाम: 134217726 कालावधी 114.0065ms
maxEvenConjunction2 परिणाम: 134217726 कालावधी 81.0047ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 268435446 कालावधी 111.0064ms
maxEvenDiving2 परिणाम: 268435446 कालावधी 79.0045ms
maxEvenConjunction परिणाम: 268435446 कालावधी 114.0065ms
maxEvenConjunction2 परिणाम: 268435446 कालावधी 79.0045ms

कमाल मर्यादा: १२८
maxEvenDividing परिणाम: 536870910 कालावधी 107.0062ms
maxEvenDiving2 परिणाम: 536870910 कालावधी 76.0043ms
maxEvenConjunction परिणाम: 536870910 कालावधी 109.0062ms
maxEvenConjunction2 परिणाम: 536870910 कालावधी 80.0046ms

मला स्पष्ट स्पष्टीकरण सापडले नाही की गो कंपाइलर कोड ऑप्टिमाइझ का करत नाही आणि नेहमी दुसरी अट तपासतो, जरी पहिली खोटी असली तरीही. किंवा कदाचित माझे डोळे फक्त अस्पष्ट आहेत आणि मला कोणतीही स्पष्ट चूक दिसत नाही? किंवा कंपाइलरला काही विशेष सूचना देण्याची गरज आहे का? समजूतदार टिप्पण्यांबद्दल मला आनंद होईल.

PS: होय, फक्त मनोरंजनासाठी, मी Java 5 आणि Java 7/8 वर समान चाचण्या केल्या - सर्व काही स्पष्ट आहे, अंमलबजावणीची वेळ समान आहे.

स्त्रोत: www.habr.com

गो मधील अटी आणि त्यांचे गुण

एक टिप्पणी जोडा Отменить ответ