🥇 Go मा सर्तहरू र तिनीहरूका विचित्रताहरू

के तपाइँ सोच्नुहुन्छ कि लूप भित्र परीक्षण सर्तहरूको लागि यी दुई विकल्पहरू प्रदर्शनमा बराबर छन्?

		
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
}

म फेरि परीक्षणहरू चलाउँछु ... र म केहि बुझ्न रोक्छु :)

कार्यान्वयनमा बिताएको समय प्रतिशत/प्रतिशतको अंशले होइन, तर १०..१५% ले फरक हुन थाल्छ। म चाँडै २ थप परीक्षणहरू थप्छु:

		
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

अधिकतम थ्रेसहोल्ड: 128
maxEvenDividing परिणाम: 126 अवधि 116.0066ms
maxEvenDivding2 परिणाम: 126 अवधि 79.0045ms
maxEvenConjunction परिणाम: 126 अवधि 114.0065ms
maxEvenConjunction2 परिणाम: 126 अवधि 83.0048ms

अधिकतम थ्रेसहोल्ड: 256
maxEvenDividing परिणाम: 254 अवधि 111.0063ms
maxEvenDivding2 परिणाम: 254 अवधि 77.0044ms
maxEvenConjunction परिणाम: 254 अवधि 110.0063ms
maxEvenConjunction2 परिणाम: 254 अवधि 80.0046ms

अधिकतम थ्रेसहोल्ड: 512
maxEvenDividing परिणाम: 510 अवधि 114.0066ms
maxEvenDivding2 परिणाम: 510 अवधि 80.0045ms
maxEvenConjunction परिणाम: 510 अवधि 110.0063ms
maxEvenConjunction2 परिणाम: 510 अवधि 80.0046ms

अधिकतम थ्रेसहोल्ड: 1024
maxEvenDividing परिणाम: 1022 अवधि 109.0063ms
maxEvenDivding2 परिणाम: 1022 अवधि 77.0044ms
maxEvenConjunction परिणाम: 1022 अवधि 111.0063ms
maxEvenConjunction2 परिणाम: 1022 अवधि 81.0047ms

अधिकतम थ्रेसहोल्ड: 2048
maxEvenDividing परिणाम: 2046 अवधि 114.0065ms
maxEvenDivding2 परिणाम: 2046 अवधि 79.0045ms
maxEvenConjunction परिणाम: 2046 अवधि 113.0065ms
maxEvenConjunction2 परिणाम: 2046 अवधि 81.0046ms

अधिकतम थ्रेसहोल्ड: 4096
maxEvenDividing परिणाम: 4094 अवधि 114.0065ms
maxEvenDivding2 परिणाम: 4094 अवधि 80.0046ms
maxEvenConjunction परिणाम: 4094 अवधि 111.0063ms
maxEvenConjunction2 परिणाम: 4094 अवधि 78.0045ms

अधिकतम थ्रेसहोल्ड: 8192
maxEvenDividing परिणाम: 8190 अवधि 107.0062ms
maxEvenDivding2 परिणाम: 8190 अवधि 77.0044ms
maxEvenConjunction परिणाम: 8190 अवधि 111.0063ms
maxEvenConjunction2 परिणाम: 8190 अवधि 77.0044ms

अधिकतम थ्रेसहोल्ड: 16384
maxEvenDividing परिणाम: 16382 अवधि 109.0063ms
maxEvenDivding2 परिणाम: 16382 अवधि 77.0044ms
maxEvenConjunction परिणाम: 16382 अवधि 108.0062ms
maxEvenConjunction2 परिणाम: 16382 अवधि 77.0044ms

अधिकतम थ्रेसहोल्ड: 32768
maxEvenDividing परिणाम: 32766 अवधि 112.0064ms
maxEvenDivding2 परिणाम: 32766 अवधि 77.0044ms
maxEvenConjunction परिणाम: 32766 अवधि 109.0062ms
maxEvenConjunction2 परिणाम: 32766 अवधि 78.0045ms

अधिकतम थ्रेसहोल्ड: 65536
maxEvenDividing परिणाम: 65534 अवधि 109.0062ms
maxEvenDivding2 परिणाम: 65534 अवधि 75.0043ms
maxEvenConjunction परिणाम: 65534 अवधि 109.0063ms
maxEvenConjunction2 परिणाम: 65534 अवधि 79.0045ms

अधिकतम थ्रेसहोल्ड: 131072
maxEvenDividing परिणाम: 131070 अवधि 108.0061ms
maxEvenDivding2 परिणाम: 131070 अवधि 76.0044ms
maxEvenConjunction परिणाम: 131070 अवधि 110.0063ms
maxEvenConjunction2 परिणाम: 131070 अवधि 80.0046ms

अधिकतम थ्रेसहोल्ड: 262144
maxEvenDividing परिणाम: 262142 अवधि 110.0063ms
maxEvenDivding2 परिणाम: 262142 अवधि 76.0044ms
maxEvenConjunction परिणाम: 262142 अवधि 107.0061ms
maxEvenConjunction2 परिणाम: 262142 अवधि 78.0044ms

अधिकतम थ्रेसहोल्ड: 524288
maxEvenDividing परिणाम: 524286 अवधि 109.0062ms
maxEvenDivding2 परिणाम: 524286 अवधि 78.0045ms
maxEvenConjunction परिणाम: 524286 अवधि 109.0062ms
maxEvenConjunction2 परिणाम: 524286 अवधि 80.0046ms

अधिकतम थ्रेसहोल्ड: 1048576
maxEvenDividing परिणाम: 1048574 अवधि 109.0063ms
maxEvenDivding2 परिणाम: 1048574 अवधि 80.0045ms
maxEvenConjunction परिणाम: 1048574 अवधि 114.0066ms
maxEvenConjunction2 परिणाम: 1048574 अवधि 78.0044ms

अधिकतम थ्रेसहोल्ड: 2097152
maxEvenDividing परिणाम: 2097150 अवधि 111.0064ms
maxEvenDivding2 परिणाम: 2097150 अवधि 79.0045ms
maxEvenConjunction परिणाम: 2097150 अवधि 112.0064ms
maxEvenConjunction2 परिणाम: 2097150 अवधि 77.0044ms

अधिकतम थ्रेसहोल्ड: 4194304
maxEvenDividing परिणाम: 4194302 अवधि 111.0063ms
maxEvenDivding2 परिणाम: 4194302 अवधि 78.0045ms
maxEvenConjunction परिणाम: 4194302 अवधि 111.0063ms
maxEvenConjunction2 परिणाम: 4194302 अवधि 77.0044ms

अधिकतम थ्रेसहोल्ड: 8388608
maxEvenDividing परिणाम: 8388606 अवधि 109.0062ms
maxEvenDivding2 परिणाम: 8388606 अवधि 78.0045ms
maxEvenConjunction परिणाम: 8388606 अवधि 114.0065ms
maxEvenConjunction2 परिणाम: 8388606 अवधि 78.0045ms

अधिकतम थ्रेसहोल्ड: 16777216
maxEvenDividing परिणाम: 16777214 अवधि 109.0062ms
maxEvenDivding2 परिणाम: 16777214 अवधि 77.0044ms
maxEvenConjunction परिणाम: 16777214 अवधि 109.0063ms
maxEvenConjunction2 परिणाम: 16777214 अवधि 77.0044ms

अधिकतम थ्रेसहोल्ड: 33554432
maxEvenDividing परिणाम: 33554430 अवधि 113.0065ms
maxEvenDivding2 परिणाम: 33554430 अवधि 78.0045ms
maxEvenConjunction परिणाम: 33554430 अवधि 110.0063ms
maxEvenConjunction2 परिणाम: 33554430 अवधि 80.0045ms

अधिकतम थ्रेसहोल्ड: 67108864
maxEvenDividing परिणाम: 67108860 अवधि 112.0064ms
maxEvenDivding2 परिणाम: 67108860 अवधि 77.0044ms
maxEvenConjunction परिणाम: 67108860 अवधि 112.0064ms
maxEvenConjunction2 परिणाम: 67108860 अवधि 80.0046ms

अधिकतम थ्रेसहोल्ड: 134217728
maxEvenDividing परिणाम: 134217726 अवधि 109.0063ms
maxEvenDivding2 परिणाम: 134217726 अवधि 78.0044ms
maxEvenConjunction परिणाम: 134217726 अवधि 114.0065ms
maxEvenConjunction2 परिणाम: 134217726 अवधि 81.0047ms

अधिकतम थ्रेसहोल्ड: 268435456
maxEvenDividing परिणाम: 268435446 अवधि 111.0064ms
maxEvenDivding2 परिणाम: 268435446 अवधि 79.0045ms
maxEvenConjunction परिणाम: 268435446 अवधि 114.0065ms
maxEvenConjunction2 परिणाम: 268435446 अवधि 79.0045ms

अधिकतम थ्रेसहोल्ड: 536870912
maxEvenDividing परिणाम: 536870910 अवधि 107.0062ms
maxEvenDivding2 परिणाम: 536870910 अवधि 76.0043ms
maxEvenConjunction परिणाम: 536870910 अवधि 109.0062ms
maxEvenConjunction2 परिणाम: 536870910 अवधि 80.0046ms

मैले स्पष्ट व्याख्या फेला पार्न सकिन किन गो कम्पाइलरले कोड अप्टिमाइज गर्दैन र सधैं दोस्रो सर्त जाँच गर्दछ, भले पनि पहिलो गलत हो। वा सायद मेरा आँखा धमिलो छन् र म कुनै स्पष्ट गल्ती देख्दिन? वा तपाईंले कम्पाइलरलाई केही विशेष निर्देशनहरू प्रदान गर्न आवश्यक छ? सान्दर्भिक टिप्पणीको लागि म खुसी हुनेछु।

PS: हो, केवल रमाइलोको लागि, मैले Java 5 र Java 7/8 मा समान परीक्षणहरू चलाएँ - सबै कुरा स्पष्ट छ, कार्यान्वयन समय समान छ।

स्रोत: www.habr.com

Go मा सर्तहरू र तिनीहरूको quirks

एक टिप्पणी थप्न Отменить ответ