Skip to content

generalize the control flow analysis for infinite iteration#200

Open
aviatesk wants to merge 3 commits intoiterationfrom
iteration-update
Open

generalize the control flow analysis for infinite iteration#200
aviatesk wants to merge 3 commits intoiterationfrom
iteration-update

Conversation

@aviatesk
Copy link
Owner

@aviatesk aviatesk commented May 10, 2021

  • fixes the issue where sum(a for a in NeverTeminate(::Int))
    did not report an error
  • refactors iteration termination check into a separate function
  • adds another function to find iteration info for a BasicBlock

/cc @samarthkishor

@samarthkishor @aviatesk
generalize the control flow analysis for infinite iteration
39e1926 
- fixes the issue where `sum(a for a in NeverTeminate(::Int))`
  did not report an error
- refactors iteration termination check into a separate function
- adds another function to find iteration info for a `BasicBlock`
@aviatesk aviatesk mentioned this pull request May 10, 2021
Closed
@codecov-commenter
Copy link

codecov-commenter commented May 10, 2021 •
edited
Loading

Codecov Report

Merging #200 (1a40c5b) into iteration (f4e0646) will decrease coverage by 0.13%.
The diff coverage is 85.71%.

Impacted file tree graph

@@              Coverage Diff              @@
##           iteration     #200      +/-   ##
=============================================
- Coverage      87.11%   86.97%   -0.14%     
=============================================
  Files             11       11              
  Lines           1537     1559      +22     
=============================================
+ Hits            1339     1356      +17     
- Misses           198      203       +5
Impacted Files Coverage Δ
src/abstractinterpretation.jl 95.67% <85.71%> (-1.35%) ⬇️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f4e0646...1a40c5b. Read the comment docs.

aviatesk
aviatesk commented May 10, 2021
View reviewed changes
@github-actions
Copy link

github-actions bot commented May 10, 2021 •
edited
Loading

JET Benchmark Result

Judge result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmarks:
  • Target: 10 May 2021 - 07:07
  • Baseline: 10 May 2021 - 07:25
  • Package commits:
  • Target: bebbbf
  • Baseline: fdff92
  • Julia commits:
  • Target: 87d4e3
  • Baseline: 87d4e3
  • Julia command flags:
  • Target: None
  • Baseline: None
  • Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with ❌), while a ratio less
than 1.0 denotes a possible improvement (marked with ✅). Only significant results - results
that indicate possible regressions or improvements - are shown below (thus, an empty table means that all
benchmark results remained invariant between builds).

ID time ratio memory ratio
["first time"] 1.06 (5%) ❌ 1.00 (1%)

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Target

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2593 MHz 5724 s 2 s 350 s 7416 s 0 s
 #2 2593 MHz 6086 s 0 s 369 s 7072 s 0 s
 
 Memory: 6.791339874267578 GB (3897.0625 MB free)
 Uptime: 1356.0 sec
 Load Avg: 1.0 1.04 0.83
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2593 MHz 11269 s 2 s 619 s 12288 s 0 s
 #2 2593 MHz 11305 s 0 s 633 s 12275 s 0 s
 
 Memory: 6.791339874267578 GB (3881.21484375 MB free)
 Uptime: 2426.0 sec
 Load Avg: 1.09 1.04 1.01
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Target result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 10 May 2021 - 7:7
  • Package commit: bebbbf
  • Julia commit: 87d4e3
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 5.263 s (5%) 704 bytes (1%) 18
["cached easy"] 4.214 ms (5%) 704 bytes (1%) 18
["easy"] 1.382 s (5%) 704 bytes (1%) 18
["end to end"] 13.130 s (5%) 138.56 KiB (1%) 293
["first time"] 4.077 s (5%) 1.00 KiB (1%) 20
["invalidation"] 3.332 s (5%) 720 bytes (1%) 18
["package loading"] 255.311 ms (5%) 704 bytes (1%) 19
["self analysis"] 16.931 s (5%) 928 bytes (1%) 18
["top-level first time"] 7.251 s (5%) 1.89 KiB (1%) 20
["top-level"] 6.539 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2593 MHz 5724 s 2 s 350 s 7416 s 0 s
 #2 2593 MHz 6086 s 0 s 369 s 7072 s 0 s
 
 Memory: 6.791339874267578 GB (3897.0625 MB free)
 Uptime: 1356.0 sec
 Load Avg: 1.0 1.04 0.83
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 10 May 2021 - 7:25
  • Package commit: fdff92
  • Julia commit: 87d4e3
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 5.173 s (5%) 704 bytes (1%) 18
["cached easy"] 4.266 ms (5%) 704 bytes (1%) 18
["easy"] 1.344 s (5%) 704 bytes (1%) 18
["end to end"] 12.757 s (5%) 138.36 KiB (1%) 284
["first time"] 3.847 s (5%) 1.00 KiB (1%) 20
["invalidation"] 3.224 s (5%) 720 bytes (1%) 18
["package loading"] 258.465 ms (5%) 704 bytes (1%) 19
["self analysis"] 16.301 s (5%) 928 bytes (1%) 18
["top-level first time"] 7.143 s (5%) 1.89 KiB (1%) 20
["top-level"] 6.305 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2593 MHz 11269 s 2 s 619 s 12288 s 0 s
 #2 2593 MHz 11305 s 0 s 633 s 12275 s 0 s
 
 Memory: 6.791339874267578 GB (3881.21484375 MB free)
 Uptime: 2426.0 sec
 Load Avg: 1.09 1.04 1.01
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Runtime information

Runtime Info
BLAS #threads 2
BLAS.vendor() openblas64
Sys.CPU_THREADS 2

lscpu output:

Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Byte Order: Little Endian
Address sizes: 46 bits physical, 48 bits virtual
CPU(s): 2
On-line CPU(s) list: 0,1
Thread(s) per core: 1
Core(s) per socket: 2
Socket(s): 1
NUMA node(s): 1
Vendor ID: GenuineIntel
CPU family: 6
Model: 85
Model name: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz
Stepping: 7
CPU MHz: 2593.906
BogoMIPS: 5187.81
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB
L1i cache: 64 KiB
L2 cache: 2 MiB
L3 cache: 35.8 MiB
NUMA node0 CPU(s): 0,1
Vulnerability Itlb multihit: KVM: Vulnerable
Vulnerability L1tf: Mitigation; PTE Inversion
Vulnerability Mds: Mitigation; Clear CPU buffers; SMT Host state unknown
Vulnerability Meltdown: Mitigation; PTI
Vulnerability Spec store bypass: Vulnerable
Vulnerability Spectre v1: Mitigation; usercopy/swapgs barriers and __user pointer sanitization
Vulnerability Spectre v2: Mitigation; Full generic retpoline, STIBP disabled, RSB filling
Vulnerability Srbds: Not affected
Vulnerability Tsx async abort: Mitigation; Clear CPU buffers; SMT Host state unknown
Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ss ht syscall nx pdpe1gb rdtscp lm constant_tsc rep_good nopl xtopology cpuid pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm abm 3dnowprefetch invpcid_single pti fsgsbase bmi1 hle avx2 smep bmi2 erms invpcid rtm mpx avx512f avx512dq rdseed adx smap clflushopt avx512cd avx512bw avx512vl xsaveopt xsavec xsaves md_clear

Cpu Property Value
Brand Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz
Vendor :Intel
Architecture :Skylake
Model Family: 0x06, Model: 0x55, Stepping: 0x07, Type: 0x00
Cores 2 physical cores, 2 logical cores (on executing CPU)
No Hyperthreading hardware capability detected
Clock Frequencies Not supported by CPU
Data Cache Level 1:3 : (32, 1024, 36608) kbytes
64 byte cache line size
Address Size 48 bits virtual, 46 bits physical
SIMD 512 bit = 64 byte max. SIMD vector size
Time Stamp Counter TSC is accessible via rdtsc
TSC increased at every clock cycle (non-invariant TSC)
Perf. Monitoring Performance Monitoring Counters (PMC) are not supported
Hypervisor Yes, Microsoft
JET Benchmark Result

Judge result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmarks:
  • Target: 10 May 2021 - 07:12
  • Baseline: 10 May 2021 - 07:30
  • Package commits:
  • Target: 820dd7
  • Baseline: fdff92
  • Julia commits:
  • Target: 87d4e3
  • Baseline: 87d4e3
  • Julia command flags:
  • Target: None
  • Baseline: None
  • Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with ❌), while a ratio less
than 1.0 denotes a possible improvement (marked with ✅). Only significant results - results
that indicate possible regressions or improvements - are shown below (thus, an empty table means that all
benchmark results remained invariant between builds).

ID time ratio memory ratio
["end to end"] 0.98 (5%) 13.35 (1%) ❌
["first time"] 0.94 (5%) ✅ 1.00 (1%)
["top-level first time"] 0.92 (5%) ✅ 1.00 (1%)

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Target

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 6120 s 2 s 389 s 5712 s 0 s
 #2 2095 MHz 6097 s 0 s 393 s 5745 s 0 s
 
 Memory: 6.791343688964844 GB (3664.63671875 MB free)
 Uptime: 1232.0 sec
 Load Avg: 1.0 1.02 0.84
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 11445 s 2 s 645 s 10939 s 0 s
 #2 2095 MHz 11686 s 0 s 658 s 10698 s 0 s
 
 Memory: 6.791343688964844 GB (3600.828125 MB free)
 Uptime: 2315.0 sec
 Load Avg: 1.08 1.06 1.0
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Target result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 10 May 2021 - 7:12
  • Package commit: 820dd7
  • Julia commit: 87d4e3
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 6.853 s (5%) 704 bytes (1%) 18
["cached easy"] 5.607 ms (5%) 704 bytes (1%) 18
["easy"] 1.783 s (5%) 704 bytes (1%) 18
["end to end"] 16.509 s (5%) 137.69 KiB (1%) 254
["first time"] 4.715 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.190 s (5%) 720 bytes (1%) 18
["package loading"] 304.199 ms (5%) 704 bytes (1%) 19
["self analysis"] 21.169 s (5%) 928 bytes (1%) 18
["top-level first time"] 8.579 s (5%) 1.89 KiB (1%) 20
["top-level"] 8.546 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 6120 s 2 s 389 s 5712 s 0 s
 #2 2095 MHz 6097 s 0 s 393 s 5745 s 0 s
 
 Memory: 6.791343688964844 GB (3664.63671875 MB free)
 Uptime: 1232.0 sec
 Load Avg: 1.0 1.02 0.84
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 10 May 2021 - 7:30
  • Package commit: fdff92
  • Julia commit: 87d4e3
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 6.731 s (5%) 704 bytes (1%) 18
["cached easy"] 5.512 ms (5%) 704 bytes (1%) 18
["easy"] 1.767 s (5%) 704 bytes (1%) 18
["end to end"] 16.802 s (5%) 10.31 KiB (1%) 263
["first time"] 5.015 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.009 s (5%) 720 bytes (1%) 18
["package loading"] 307.099 ms (5%) 704 bytes (1%) 19
["self analysis"] 21.141 s (5%) 928 bytes (1%) 18
["top-level first time"] 9.343 s (5%) 1.89 KiB (1%) 20
["top-level"] 8.241 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 11445 s 2 s 645 s 10939 s 0 s
 #2 2095 MHz 11686 s 0 s 658 s 10698 s 0 s
 
 Memory: 6.791343688964844 GB (3600.828125 MB free)
 Uptime: 2315.0 sec
 Load Avg: 1.08 1.06 1.0
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Runtime information

Runtime Info
BLAS #threads 2
BLAS.vendor() openblas64
Sys.CPU_THREADS 2

lscpu output:

Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Byte Order: Little Endian
Address sizes: 46 bits physical, 48 bits virtual
CPU(s): 2
On-line CPU(s) list: 0,1
Thread(s) per core: 1
Core(s) per socket: 2
Socket(s): 1
NUMA node(s): 1
Vendor ID: GenuineIntel
CPU family: 6
Model: 85
Model name: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz
Stepping: 4
CPU MHz: 2095.171
BogoMIPS: 4190.34
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB
L1i cache: 64 KiB
L2 cache: 2 MiB
L3 cache: 35.8 MiB
NUMA node0 CPU(s): 0,1
Vulnerability Itlb multihit: KVM: Vulnerable
Vulnerability L1tf: Mitigation; PTE Inversion
Vulnerability Mds: Mitigation; Clear CPU buffers; SMT Host state unknown
Vulnerability Meltdown: Mitigation; PTI
Vulnerability Spec store bypass: Vulnerable
Vulnerability Spectre v1: Mitigation; usercopy/swapgs barriers and __user pointer sanitization
Vulnerability Spectre v2: Mitigation; Full generic retpoline, STIBP disabled, RSB filling
Vulnerability Srbds: Not affected
Vulnerability Tsx async abort: Mitigation; Clear CPU buffers; SMT Host state unknown
Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ss ht syscall nx pdpe1gb rdtscp lm constant_tsc rep_good nopl xtopology cpuid pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm abm 3dnowprefetch invpcid_single pti fsgsbase bmi1 hle avx2 smep bmi2 erms invpcid rtm mpx avx512f avx512dq rdseed adx smap clflushopt avx512cd avx512bw avx512vl xsaveopt xsavec xsaves md_clear

Cpu Property Value
Brand Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz
Vendor :Intel
Architecture :Skylake
Model Family: 0x06, Model: 0x55, Stepping: 0x04, Type: 0x00
Cores 2 physical cores, 2 logical cores (on executing CPU)
No Hyperthreading hardware capability detected
Clock Frequencies Not supported by CPU
Data Cache Level 1:3 : (32, 1024, 36608) kbytes
64 byte cache line size
Address Size 48 bits virtual, 46 bits physical
SIMD 512 bit = 64 byte max. SIMD vector size
Time Stamp Counter TSC is accessible via rdtsc
TSC increased at every clock cycle (non-invariant TSC)
Perf. Monitoring Performance Monitoring Counters (PMC) are not supported
Hypervisor Yes, Microsoft
JET Benchmark Result

Judge result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmarks:
  • Target: 10 May 2021 - 07:12
  • Baseline: 10 May 2021 - 07:30
  • Package commits:
  • Target: 820dd7
  • Baseline: fdff92
  • Julia commits:
  • Target: 87d4e3
  • Baseline: 87d4e3
  • Julia command flags:
  • Target: None
  • Baseline: None
  • Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with ❌), while a ratio less
than 1.0 denotes a possible improvement (marked with ✅). Only significant results - results
that indicate possible regressions or improvements - are shown below (thus, an empty table means that all
benchmark results remained invariant between builds).

ID time ratio memory ratio
["end to end"] 0.98 (5%) 13.35 (1%) ❌
["first time"] 0.94 (5%) ✅ 1.00 (1%)
["top-level first time"] 0.92 (5%) ✅ 1.00 (1%)

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Target

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 6120 s 2 s 389 s 5712 s 0 s
 #2 2095 MHz 6097 s 0 s 393 s 5745 s 0 s
 
 Memory: 6.791343688964844 GB (3664.63671875 MB free)
 Uptime: 1232.0 sec
 Load Avg: 1.0 1.02 0.84
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 11445 s 2 s 645 s 10939 s 0 s
 #2 2095 MHz 11686 s 0 s 658 s 10698 s 0 s
 
 Memory: 6.791343688964844 GB (3600.828125 MB free)
 Uptime: 2315.0 sec
 Load Avg: 1.08 1.06 1.0
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Target result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 10 May 2021 - 7:12
  • Package commit: 820dd7
  • Julia commit: 87d4e3
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 6.853 s (5%) 704 bytes (1%) 18
["cached easy"] 5.607 ms (5%) 704 bytes (1%) 18
["easy"] 1.783 s (5%) 704 bytes (1%) 18
["end to end"] 16.509 s (5%) 137.69 KiB (1%) 254
["first time"] 4.715 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.190 s (5%) 720 bytes (1%) 18
["package loading"] 304.199 ms (5%) 704 bytes (1%) 19
["self analysis"] 21.169 s (5%) 928 bytes (1%) 18
["top-level first time"] 8.579 s (5%) 1.89 KiB (1%) 20
["top-level"] 8.546 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 6120 s 2 s 389 s 5712 s 0 s
 #2 2095 MHz 6097 s 0 s 393 s 5745 s 0 s
 
 Memory: 6.791343688964844 GB (3664.63671875 MB free)
 Uptime: 1232.0 sec
 Load Avg: 1.0 1.02 0.84
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 10 May 2021 - 7:30
  • Package commit: fdff92
  • Julia commit: 87d4e3
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 6.731 s (5%) 704 bytes (1%) 18
["cached easy"] 5.512 ms (5%) 704 bytes (1%) 18
["easy"] 1.767 s (5%) 704 bytes (1%) 18
["end to end"] 16.802 s (5%) 10.31 KiB (1%) 263
["first time"] 5.015 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.009 s (5%) 720 bytes (1%) 18
["package loading"] 307.099 ms (5%) 704 bytes (1%) 19
["self analysis"] 21.141 s (5%) 928 bytes (1%) 18
["top-level first time"] 9.343 s (5%) 1.89 KiB (1%) 20
["top-level"] 8.241 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1076
Commit 87d4e3ffee (2021-05-08 21:20 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1046-azure #48-Ubuntu SMP Tue Apr 13 07:18:42 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 11445 s 2 s 645 s 10939 s 0 s
 #2 2095 MHz 11686 s 0 s 658 s 10698 s 0 s
 
 Memory: 6.791343688964844 GB (3600.828125 MB free)
 Uptime: 2315.0 sec
 Load Avg: 1.08 1.06 1.0
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Runtime information

Runtime Info
BLAS #threads 2
BLAS.vendor() openblas64
Sys.CPU_THREADS 2

lscpu output:

Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Byte Order: Little Endian
Address sizes: 46 bits physical, 48 bits virtual
CPU(s): 2
On-line CPU(s) list: 0,1
Thread(s) per core: 1
Core(s) per socket: 2
Socket(s): 1
NUMA node(s): 1
Vendor ID: GenuineIntel
CPU family: 6
Model: 85
Model name: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz
Stepping: 4
CPU MHz: 2095.171
BogoMIPS: 4190.34
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB
L1i cache: 64 KiB
L2 cache: 2 MiB
L3 cache: 35.8 MiB
NUMA node0 CPU(s): 0,1
Vulnerability Itlb multihit: KVM: Vulnerable
Vulnerability L1tf: Mitigation; PTE Inversion
Vulnerability Mds: Mitigation; Clear CPU buffers; SMT Host state unknown
Vulnerability Meltdown: Mitigation; PTI
Vulnerability Spec store bypass: Vulnerable
Vulnerability Spectre v1: Mitigation; usercopy/swapgs barriers and __user pointer sanitization
Vulnerability Spectre v2: Mitigation; Full generic retpoline, STIBP disabled, RSB filling
Vulnerability Srbds: Not affected
Vulnerability Tsx async abort: Mitigation; Clear CPU buffers; SMT Host state unknown
Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ss ht syscall nx pdpe1gb rdtscp lm constant_tsc rep_good nopl xtopology cpuid pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm abm 3dnowprefetch invpcid_single pti fsgsbase bmi1 hle avx2 smep bmi2 erms invpcid rtm mpx avx512f avx512dq rdseed adx smap clflushopt avx512cd avx512bw avx512vl xsaveopt xsavec xsaves md_clear

Cpu Property Value
Brand Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz
Vendor :Intel
Architecture :Skylake
Model Family: 0x06, Model: 0x55, Stepping: 0x04, Type: 0x00
Cores 2 physical cores, 2 logical cores (on executing CPU)
No Hyperthreading hardware capability detected
Clock Frequencies Not supported by CPU
Data Cache Level 1:3 : (32, 1024, 36608) kbytes
64 byte cache line size
Address Size 48 bits virtual, 46 bits physical
SIMD 512 bit = 64 byte max. SIMD vector size
Time Stamp Counter TSC is accessible via rdtsc
TSC increased at every clock cycle (non-invariant TSC)
Perf. Monitoring Performance Monitoring Counters (PMC) are not supported
Hypervisor Yes, Microsoft
JET Benchmark Result

Judge result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmarks:
  • Target: 14 May 2021 - 02:17
  • Baseline: 14 May 2021 - 02:35
  • Package commits:
  • Target: 23af13
  • Baseline: 73f37a
  • Julia commits:
  • Target: 2f400e
  • Baseline: 2f400e
  • Julia command flags:
  • Target: None
  • Baseline: None
  • Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with ❌), while a ratio less
than 1.0 denotes a possible improvement (marked with ✅). Only significant results - results
that indicate possible regressions or improvements - are shown below (thus, an empty table means that all
benchmark results remained invariant between builds).

ID time ratio memory ratio
["easy"] 1.07 (5%) ❌ 1.00 (1%)
["first time"] 1.07 (5%) ❌ 1.00 (1%)

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Target

Julia Version 1.7.0-DEV.1101
Commit 2f400e098e (2021-05-13 22:28 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1047-azure #49-Ubuntu SMP Thu Apr 22 14:30:37 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 5369 s 2 s 384 s 7591 s 0 s
 #2 2095 MHz 6768 s 0 s 412 s 6208 s 0 s
 
 Memory: 6.791339874267578 GB (3736.7890625 MB free)
 Uptime: 1343.0 sec
 Load Avg: 1.15 1.08 0.86
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline

Julia Version 1.7.0-DEV.1101
Commit 2f400e098e (2021-05-13 22:28 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1047-azure #49-Ubuntu SMP Thu Apr 22 14:30:37 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 10948 s 2 s 671 s 12532 s 0 s
 #2 2095 MHz 12126 s 0 s 694 s 11374 s 0 s
 
 Memory: 6.791339874267578 GB (3772.78125 MB free)
 Uptime: 2426.0 sec
 Load Avg: 1.03 1.03 1.0
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Target result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 14 May 2021 - 2:17
  • Package commit: 23af13
  • Julia commit: 2f400e
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 5.537 s (5%) 704 bytes (1%) 18
["cached easy"] 4.062 ms (5%) 704 bytes (1%) 18
["easy"] 1.413 s (5%) 704 bytes (1%) 18
["end to end"] 13.619 s (5%) 137.50 KiB (1%) 252
["first time"] 4.246 s (5%) 1.00 KiB (1%) 20
["invalidation"] 3.331 s (5%) 720 bytes (1%) 18
["package loading"] 241.532 ms (5%) 704 bytes (1%) 19
["self analysis"] 18.079 s (5%) 928 bytes (1%) 18
["top-level first time"] 7.493 s (5%) 1.89 KiB (1%) 20
["top-level"] 6.717 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1101
Commit 2f400e098e (2021-05-13 22:28 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1047-azure #49-Ubuntu SMP Thu Apr 22 14:30:37 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 5369 s 2 s 384 s 7591 s 0 s
 #2 2095 MHz 6768 s 0 s 412 s 6208 s 0 s
 
 Memory: 6.791339874267578 GB (3736.7890625 MB free)
 Uptime: 1343.0 sec
 Load Avg: 1.15 1.08 0.86
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline result

Benchmark Report for /home/runner/work/JET.jl/JET.jl

Job Properties

  • Time of benchmark: 14 May 2021 - 2:35
  • Package commit: 73f37a
  • Julia commit: 2f400e
  • Julia command flags: None
  • Environment variables: None

Results

Below is a table of this job's results, obtained by running the benchmarks.
The values listed in the ID column have the structure [parent_group, child_group, ..., key], and can be used to
index into the BaseBenchmarks suite to retrieve the corresponding benchmarks.
The percentages accompanying time and memory values in the below table are noise tolerances. The "true"
time/memory value for a given benchmark is expected to fall within this percentage of the reported value.
An empty cell means that the value was zero.

ID time GC time memory allocations
["a bit complex"] 5.644 s (5%) 704 bytes (1%) 18
["cached easy"] 4.161 ms (5%) 704 bytes (1%) 18
["easy"] 1.326 s (5%) 704 bytes (1%) 18
["end to end"] 13.105 s (5%) 137.22 KiB (1%) 245
["first time"] 3.984 s (5%) 1.00 KiB (1%) 20
["invalidation"] 3.303 s (5%) 720 bytes (1%) 18
["package loading"] 237.305 ms (5%) 704 bytes (1%) 19
["self analysis"] 17.798 s (5%) 928 bytes (1%) 18
["top-level first time"] 7.497 s (5%) 1.89 KiB (1%) 20
["top-level"] 6.874 s (5%) 1.03 KiB (1%) 18

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

  • []

Julia versioninfo

Julia Version 1.7.0-DEV.1101
Commit 2f400e098e (2021-05-13 22:28 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1047-azure #49-Ubuntu SMP Thu Apr 22 14:30:37 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz: 
 speed user nice sys idle irq
 #1 2095 MHz 10948 s 2 s 671 s 12532 s 0 s
 #2 2095 MHz 12126 s 0 s 694 s 11374 s 0 s
 
 Memory: 6.791339874267578 GB (3772.78125 MB free)
 Uptime: 2426.0 sec
 Load Avg: 1.03 1.03 1.0
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Runtime information

Runtime Info
BLAS #threads 2
BLAS.vendor() openblas64
Sys.CPU_THREADS 2

lscpu output:

Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Byte Order: Little Endian
Address sizes: 46 bits physical, 48 bits virtual
CPU(s): 2
On-line CPU(s) list: 0,1
Thread(s) per core: 1
Core(s) per socket: 2
Socket(s): 1
NUMA node(s): 1
Vendor ID: GenuineIntel
CPU family: 6
Model: 85
Model name: Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz
Stepping: 4
CPU MHz: 2095.146
BogoMIPS: 4190.29
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB
L1i cache: 64 KiB
L2 cache: 2 MiB
L3 cache: 35.8 MiB
NUMA node0 CPU(s): 0,1
Vulnerability Itlb multihit: KVM: Vulnerable
Vulnerability L1tf: Mitigation; PTE Inversion
Vulnerability Mds: Mitigation; Clear CPU buffers; SMT Host state unknown
Vulnerability Meltdown: Mitigation; PTI
Vulnerability Spec store bypass: Vulnerable
Vulnerability Spectre v1: Mitigation; usercopy/swapgs barriers and __user pointer sanitization
Vulnerability Spectre v2: Mitigation; Full generic retpoline, STIBP disabled, RSB filling
Vulnerability Srbds: Not affected
Vulnerability Tsx async abort: Mitigation; Clear CPU buffers; SMT Host state unknown
Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ss ht syscall nx pdpe1gb rdtscp lm constant_tsc rep_good nopl xtopology cpuid pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm abm 3dnowprefetch invpcid_single pti fsgsbase bmi1 hle avx2 smep bmi2 erms invpcid rtm mpx avx512f avx512dq rdseed adx smap clflushopt avx512cd avx512bw avx512vl xsaveopt xsavec xsaves md_clear

Cpu Property Value
Brand Intel(R) Xeon(R) Platinum 8171M CPU @ 2.60GHz
Vendor :Intel
Architecture :Skylake
Model Family: 0x06, Model: 0x55, Stepping: 0x04, Type: 0x00
Cores 2 physical cores, 2 logical cores (on executing CPU)
No Hyperthreading hardware capability detected
Clock Frequencies Not supported by CPU
Data Cache Level 1:3 : (32, 1024, 36608) kbytes
64 byte cache line size
Address Size 48 bits virtual, 46 bits physical
SIMD 512 bit = 64 byte max. SIMD vector size
Time Stamp Counter TSC is accessible via rdtsc
TSC increased at every clock cycle (non-invariant TSC)
Perf. Monitoring Performance Monitoring Counters (PMC) are not supported
Hypervisor Yes, Microsoft

samarthkishor
samarthkishor reviewed May 13, 2021
View reviewed changes
aviatesk
aviatesk commented May 14, 2021
View reviewed changes
@samarthkishor
Copy link

samarthkishor commented Jun 3, 2021

Maybe we can use the Pluggable Analysis Framework API for this analysis once it's finalized? It could be a nice way of documenting and organizing the different types of analyses that JET provides out-of-the-box.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@samarthkishor samarthkishor samarthkishor left review comments

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@aviatesk @codecov-commenter @samarthkishor