ເງື່ອນໄຂໃນ Go ແລະລັກສະນະພິເສດຂອງພວກເຂົາ

ທ່ານຄິດວ່າສອງທາງເລືອກນີ້ສໍາລັບການທົດສອບເງື່ອນໄຂພາຍໃນ loop ແມ່ນທຽບເທົ່າກັບການປະຕິບັດບໍ?

		
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

ປະສົບການການຂຽນໂປລແກລມຂອງຂ້ອຍໃນ Go ແມ່ນບໍ່ກວ້າງຂວາງຫຼາຍ, ພຽງແຕ່ຫຼາຍກວ່າຫນຶ່ງປີແລະເຄິ່ງຫນຶ່ງ, ຂ້ອຍໄດ້ໃຊ້ມັນ, ເຖິງແມ່ນວ່າເລື້ອຍໆ, ແຕ່ສໍາລັບຈຸດປະສົງທີ່ເປັນປະໂຫຍດຢ່າງດຽວ (ດີ, ບາງທີ, ຍົກເວັ້ນໂຄງການຫນຶ່ງທີ່ກ່ຽວຂ້ອງກັບການບໍລິການ 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%.

		
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
}

ຂ້ອຍແລ່ນມັນແລະໄດ້ຮູບນີ້:ຄວາມອາດສາມາດ array ເບື້ອງຕົ້ນ: 100000000

ເກນສູງສຸດ: 128
maxEvenDividing ຜົນໄດ້ຮັບ: 126 ໄລຍະເວລາ 116.0066ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 126 ໄລຍະເວລາ 79.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 126 ໄລຍະເວລາ 114.0065ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 126 ໄລຍະເວລາ 83.0048ms

ເກນສູງສຸດ: 256
maxEvenDividing ຜົນໄດ້ຮັບ: 254 ໄລຍະເວລາ 111.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 254 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 254 ໄລຍະເວລາ 110.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 254 ໄລຍະເວລາ 80.0046ms

ເກນສູງສຸດ: 512
maxEvenDividing ຜົນໄດ້ຮັບ: 510 ໄລຍະເວລາ 114.0066ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 510 ໄລຍະເວລາ 80.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 510 ໄລຍະເວລາ 110.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 510 ໄລຍະເວລາ 80.0046ms

ເກນສູງສຸດ: 1024
maxEvenDividing ຜົນໄດ້ຮັບ: 1022 ໄລຍະເວລາ 109.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 1022 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 1022 ໄລຍະເວລາ 111.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 1022 ໄລຍະເວລາ 81.0047ms

ເກນສູງສຸດ: 2048
maxEvenDividing ຜົນໄດ້ຮັບ: 2046 ໄລຍະເວລາ 114.0065ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 2046 ໄລຍະເວລາ 79.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 2046 ໄລຍະເວລາ 113.0065ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 2046 ໄລຍະເວລາ 81.0046ms

ເກນສູງສຸດ: 4096
maxEvenDividing ຜົນໄດ້ຮັບ: 4094 ໄລຍະເວລາ 114.0065ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 4094 ໄລຍະເວລາ 80.0046ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 4094 ໄລຍະເວລາ 111.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 4094 ໄລຍະເວລາ 78.0045ms

ເກນສູງສຸດ: 8192
maxEvenDividing ຜົນໄດ້ຮັບ: 8190 ໄລຍະເວລາ 107.0062ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 8190 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 8190 ໄລຍະເວລາ 111.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 8190 ໄລຍະເວລາ 77.0044ms

ເກນສູງສຸດ: 16384
maxEvenDividing ຜົນໄດ້ຮັບ: 16382 ໄລຍະເວລາ 109.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 16382 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 16382 ໄລຍະເວລາ 108.0062ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 16382 ໄລຍະເວລາ 77.0044ms

ເກນສູງສຸດ: 32768
maxEvenDividing ຜົນໄດ້ຮັບ: 32766 ໄລຍະເວລາ 112.0064ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 32766 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 32766 ໄລຍະເວລາ 109.0062ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 32766 ໄລຍະເວລາ 78.0045ms

ເກນສູງສຸດ: 65536
maxEvenDividing ຜົນໄດ້ຮັບ: 65534 ໄລຍະເວລາ 109.0062ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 65534 ໄລຍະເວລາ 75.0043ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 65534 ໄລຍະເວລາ 109.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 65534 ໄລຍະເວລາ 79.0045ms

ເກນສູງສຸດ: 131072
maxEvenDividing ຜົນໄດ້ຮັບ: 131070 ໄລຍະເວລາ 108.0061ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 131070 ໄລຍະເວລາ 76.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 131070 ໄລຍະເວລາ 110.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 131070 ໄລຍະເວລາ 80.0046ms

ເກນສູງສຸດ: 262144
maxEvenDividing ຜົນໄດ້ຮັບ: 262142 ໄລຍະເວລາ 110.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 262142 ໄລຍະເວລາ 76.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 262142 ໄລຍະເວລາ 107.0061ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 262142 ໄລຍະເວລາ 78.0044ms

ເກນສູງສຸດ: 524288
maxEvenDividing ຜົນໄດ້ຮັບ: 524286 ໄລຍະເວລາ 109.0062ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 524286 ໄລຍະເວລາ 78.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 524286 ໄລຍະເວລາ 109.0062ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 524286 ໄລຍະເວລາ 80.0046ms

ເກນສູງສຸດ: 1048576
maxEvenDividing ຜົນໄດ້ຮັບ: 1048574 ໄລຍະເວລາ 109.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 1048574 ໄລຍະເວລາ 80.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 1048574 ໄລຍະເວລາ 114.0066ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 1048574 ໄລຍະເວລາ 78.0044ms

ເກນສູງສຸດ: 2097152
maxEvenDividing ຜົນໄດ້ຮັບ: 2097150 ໄລຍະເວລາ 111.0064ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 2097150 ໄລຍະເວລາ 79.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 2097150 ໄລຍະເວລາ 112.0064ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 2097150 ໄລຍະເວລາ 77.0044ms

ເກນສູງສຸດ: 4194304
maxEvenDividing ຜົນໄດ້ຮັບ: 4194302 ໄລຍະເວລາ 111.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 4194302 ໄລຍະເວລາ 78.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 4194302 ໄລຍະເວລາ 111.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 4194302 ໄລຍະເວລາ 77.0044ms

ເກນສູງສຸດ: 8388608
maxEvenDividing ຜົນໄດ້ຮັບ: 8388606 ໄລຍະເວລາ 109.0062ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 8388606 ໄລຍະເວລາ 78.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 8388606 ໄລຍະເວລາ 114.0065ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 8388606 ໄລຍະເວລາ 78.0045ms

ເກນສູງສຸດ: 16777216
maxEvenDividing ຜົນໄດ້ຮັບ: 16777214 ໄລຍະເວລາ 109.0062ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 16777214 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 16777214 ໄລຍະເວລາ 109.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 16777214 ໄລຍະເວລາ 77.0044ms

ເກນສູງສຸດ: 33554432
maxEvenDividing ຜົນໄດ້ຮັບ: 33554430 ໄລຍະເວລາ 113.0065ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 33554430 ໄລຍະເວລາ 78.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 33554430 ໄລຍະເວລາ 110.0063ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 33554430 ໄລຍະເວລາ 80.0045ms

ເກນສູງສຸດ: 67108864
maxEvenDividing ຜົນໄດ້ຮັບ: 67108860 ໄລຍະເວລາ 112.0064ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 67108860 ໄລຍະເວລາ 77.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 67108860 ໄລຍະເວລາ 112.0064ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 67108860 ໄລຍະເວລາ 80.0046ms

ເກນສູງສຸດ: 134217728
maxEvenDividing ຜົນໄດ້ຮັບ: 134217726 ໄລຍະເວລາ 109.0063ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 134217726 ໄລຍະເວລາ 78.0044ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 134217726 ໄລຍະເວລາ 114.0065ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 134217726 ໄລຍະເວລາ 81.0047ms

ເກນສູງສຸດ: 268435456
maxEvenDividing ຜົນໄດ້ຮັບ: 268435446 ໄລຍະເວລາ 111.0064ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 268435446 ໄລຍະເວລາ 79.0045ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 268435446 ໄລຍະເວລາ 114.0065ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 268435446 ໄລຍະເວລາ 79.0045ms

ເກນສູງສຸດ: 536870912
maxEvenDividing ຜົນໄດ້ຮັບ: 536870910 ໄລຍະເວລາ 107.0062ms
maxEvenDividing2 ຜົນໄດ້ຮັບ: 536870910 ໄລຍະເວລາ 76.0043ms
maxEvenConjunction ຜົນໄດ້ຮັບ: 536870910 ໄລຍະເວລາ 109.0062ms
maxEvenConjunction2 ຜົນໄດ້ຮັບ: 536870910 ໄລຍະເວລາ 80.0046ms

ຂ້ອຍບໍ່ສາມາດຊອກຫາຄໍາອະທິບາຍທີ່ຊັດເຈນວ່າເປັນຫຍັງ Go compiler ບໍ່ເພີ່ມປະສິດທິພາບລະຫັດແລະກວດເບິ່ງເງື່ອນໄຂທີສອງຢູ່ສະເຫມີ, ເຖິງແມ່ນວ່າທໍາອິດແມ່ນບໍ່ຖືກຕ້ອງ. ຫຼືບາງທີຕາຂອງຂ້ອຍພຽງແຕ່ມົວແລະຂ້ອຍບໍ່ເຫັນຄວາມຜິດພາດທີ່ຊັດເຈນບໍ? ຫຼືທ່ານຕ້ອງການໃຫ້ຄໍາແນະນໍາພິເສດບາງຢ່າງໃຫ້ກັບຜູ້ລວບລວມຂໍ້ມູນບໍ? ຂ້ອຍຈະດີໃຈສໍາລັບຄໍາຄິດເຫັນທີ່ສົມເຫດສົມຜົນ.

PS: ແມ່ນແລ້ວ, ພຽງແຕ່ເພື່ອຄວາມມ່ວນ, ຂ້າພະເຈົ້າໄດ້ດໍາເນີນການທົດສອບທີ່ຄ້າຍຄືກັນໃນ Java 5 ແລະ Java 7/8 - ທຸກສິ່ງທຸກຢ່າງແມ່ນຈະແຈ້ງ, ເວລາປະຕິບັດແມ່ນຄືກັນ.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com