Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix #142, global variable woe, again #143

Merged
merged 1 commit into from
Mar 28, 2021
Merged

fix #142, global variable woe, again #143

merged 1 commit into from
Mar 28, 2021

Conversation

aviatesk
Copy link
Owner

  1. trying to propagate types of a global variable when in a toplevel
    frame
  2. don't propagate type of abstract global variables when in a local
    frame

With 2., JET analysis is now more consistent how Julia's native type
inference works, and we can eliminate the hacky logic to invalidate
a dummy cache associated with the previously analyzed abstract global's
type.

@aviatesk aviatesk mentioned this pull request Mar 28, 2021
Closed
@github-actions
Copy link

github-actions bot commented Mar 28, 2021 •
edited
Loading

JET Benchmark Result

Judge result

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

Job Properties

  • Time of benchmarks:
  • Target: 28 Mar 2021 - 09:58
  • Baseline: 28 Mar 2021 - 10:08
  • Package commits:
  • Target: 5a09db
  • Baseline: 326f65
  • Julia commits:
  • Target: 40267b
  • Baseline: 40267b
  • 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"] 0.95 (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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz: 
 speed user nice sys idle irq
 #1 2294 MHz 3335 s 1 s 171 s 5606 s 0 s
 #2 2294 MHz 3522 s 0 s 179 s 5382 s 0 s
 
 Memory: 6.791343688964844 GB (3832.3515625 MB free)
 Uptime: 923.0 sec
 Load Avg: 1.02 0.98 0.63
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, broadwell)

Baseline

Julia Version 1.7.0-DEV.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz: 
 speed user nice sys idle irq
 #1 2294 MHz 6056 s 1 s 233 s 8557 s 0 s
 #2 2294 MHz 6539 s 0 s 241 s 8037 s 0 s
 
 Memory: 6.791343688964844 GB (3894.16015625 MB free)
 Uptime: 1498.0 sec
 Load Avg: 1.08 1.04 0.84
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, broadwell)

Target result

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

Job Properties

  • Time of benchmark: 28 Mar 2021 - 9:58
  • Package commit: 5a09db
  • Julia commit: 40267b
  • 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.846 s (5%) 704 bytes (1%) 18
["cached easy"] 11.514 ms (5%) 704 bytes (1%) 18
["easy"] 1.735 s (5%) 704 bytes (1%) 18
["first time"] 5.600 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.272 s (5%) 720 bytes (1%) 18
["self profiling"] 19.700 s (5%) 736 bytes (1%) 18
["toplevel first time"] 18.202 s (5%) 2.34 KiB (1%) 20
["toplevel"] 7.971 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz: 
 speed user nice sys idle irq
 #1 2294 MHz 3335 s 1 s 171 s 5606 s 0 s
 #2 2294 MHz 3522 s 0 s 179 s 5382 s 0 s
 
 Memory: 6.791343688964844 GB (3832.3515625 MB free)
 Uptime: 923.0 sec
 Load Avg: 1.02 0.98 0.63
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, broadwell)

Baseline result

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

Job Properties

  • Time of benchmark: 28 Mar 2021 - 10:8
  • Package commit: 326f65
  • Julia commit: 40267b
  • 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.607 s (5%) 704 bytes (1%) 18
["cached easy"] 11.149 ms (5%) 704 bytes (1%) 18
["easy"] 1.786 s (5%) 704 bytes (1%) 18
["first time"] 5.900 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.212 s (5%) 720 bytes (1%) 18
["self profiling"] 19.281 s (5%) 736 bytes (1%) 18
["toplevel first time"] 18.510 s (5%) 2.34 KiB (1%) 20
["toplevel"] 8.286 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz: 
 speed user nice sys idle irq
 #1 2294 MHz 6056 s 1 s 233 s 8557 s 0 s
 #2 2294 MHz 6539 s 0 s 241 s 8037 s 0 s
 
 Memory: 6.791343688964844 GB (3894.16015625 MB free)
 Uptime: 1498.0 sec
 Load Avg: 1.08 1.04 0.84
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, broadwell)

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: 79
Model name: Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz
Stepping: 1
CPU MHz: 2294.683
BogoMIPS: 4589.36
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB
L1i cache: 64 KiB
L2 cache: 512 KiB
L3 cache: 50 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 rdseed adx smap xsaveopt md_clear

Cpu Property Value
Brand Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz
Vendor :Intel
Architecture :Broadwell
Model Family: 0x06, Model: 0x4f, Stepping: 0x01, 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, 256, 51200) kbytes
64 byte cache line size
Address Size 48 bits virtual, 46 bits physical
SIMD 256 bit = 32 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: 28 Mar 2021 - 13:52
  • Baseline: 28 Mar 2021 - 14:02
  • Package commits:
  • Target: bdfade
  • Baseline: 326f65
  • Julia commits:
  • Target: 40267b
  • Baseline: 40267b
  • 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

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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 3036 s 1 s 159 s 5576 s 0 s
 #2 2095 MHz 3650 s 1 s 194 s 4987 s 0 s
 
 Memory: 6.791343688964844 GB (3835.20703125 MB free)
 Uptime: 892.0 sec
 Load Avg: 1.02 0.97 0.61
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline

Julia Version 1.7.0-DEV.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 5866 s 1 s 226 s 8257 s 0 s
 #2 2095 MHz 6415 s 1 s 261 s 7732 s 0 s
 
 Memory: 6.791343688964844 GB (3893.7109375 MB free)
 Uptime: 1451.0 sec
 Load Avg: 1.06 1.07 0.85
 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: 28 Mar 2021 - 13:52
  • Package commit: bdfade
  • Julia commit: 40267b
  • 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.206 s (5%) 704 bytes (1%) 18
["cached easy"] 12.182 ms (5%) 704 bytes (1%) 18
["easy"] 1.712 s (5%) 704 bytes (1%) 18
["first time"] 5.460 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.172 s (5%) 720 bytes (1%) 18
["self profiling"] 18.289 s (5%) 736 bytes (1%) 18
["toplevel first time"] 16.486 s (5%) 2.34 KiB (1%) 20
["toplevel"] 7.587 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 3036 s 1 s 159 s 5576 s 0 s
 #2 2095 MHz 3650 s 1 s 194 s 4987 s 0 s
 
 Memory: 6.791343688964844 GB (3835.20703125 MB free)
 Uptime: 892.0 sec
 Load Avg: 1.02 0.97 0.61
 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: 28 Mar 2021 - 14:2
  • Package commit: 326f65
  • Julia commit: 40267b
  • 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.229 s (5%) 704 bytes (1%) 18
["cached easy"] 11.894 ms (5%) 704 bytes (1%) 18
["easy"] 1.672 s (5%) 704 bytes (1%) 18
["first time"] 5.449 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.106 s (5%) 720 bytes (1%) 18
["self profiling"] 18.093 s (5%) 736 bytes (1%) 18
["toplevel first time"] 16.519 s (5%) 2.34 KiB (1%) 20
["toplevel"] 7.602 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 5866 s 1 s 226 s 8257 s 0 s
 #2 2095 MHz 6415 s 1 s 261 s 7732 s 0 s
 
 Memory: 6.791343688964844 GB (3893.7109375 MB free)
 Uptime: 1451.0 sec
 Load Avg: 1.06 1.07 0.85
 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.137
BogoMIPS: 4190.27
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: 28 Mar 2021 - 15:53
  • Baseline: 28 Mar 2021 - 16:02
  • Package commits:
  • Target: 4a16ec
  • Baseline: 326f65
  • Julia commits:
  • Target: 40267b
  • Baseline: 40267b
  • 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

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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 3068 s 1 s 145 s 3363 s 0 s
 #2 2593 MHz 3191 s 1 s 161 s 3212 s 0 s
 
 Memory: 6.791343688964844 GB (3859.13671875 MB free)
 Uptime: 670.0 sec
 Load Avg: 1.01 0.97 0.6
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, skylake-avx512)

Baseline

Julia Version 1.7.0-DEV.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 5816 s 1 s 208 s 5823 s 0 s
 #2 2593 MHz 5723 s 1 s 221 s 5891 s 0 s
 
 Memory: 6.791343688964844 GB (3910.1953125 MB free)
 Uptime: 1197.0 sec
 Load Avg: 1.01 1.01 0.81
 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: 28 Mar 2021 - 15:53
  • Package commit: 4a16ec
  • Julia commit: 40267b
  • 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.387 s (5%) 704 bytes (1%) 18
["cached easy"] 10.615 ms (5%) 704 bytes (1%) 18
["easy"] 1.465 s (5%) 704 bytes (1%) 18
["first time"] 4.764 s (5%) 1.00 KiB (1%) 20
["invalidation"] 3.632 s (5%) 720 bytes (1%) 18
["self profiling"] 15.936 s (5%) 736 bytes (1%) 18
["toplevel first time"] 14.321 s (5%) 2.34 KiB (1%) 20
["toplevel"] 6.548 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 3068 s 1 s 145 s 3363 s 0 s
 #2 2593 MHz 3191 s 1 s 161 s 3212 s 0 s
 
 Memory: 6.791343688964844 GB (3859.13671875 MB free)
 Uptime: 670.0 sec
 Load Avg: 1.01 0.97 0.6
 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: 28 Mar 2021 - 16:2
  • Package commit: 326f65
  • Julia commit: 40267b
  • 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.325 s (5%) 704 bytes (1%) 18
["cached easy"] 10.643 ms (5%) 704 bytes (1%) 18
["easy"] 1.463 s (5%) 704 bytes (1%) 18
["first time"] 4.770 s (5%) 1.00 KiB (1%) 20
["invalidation"] 3.562 s (5%) 720 bytes (1%) 18
["self profiling"] 15.771 s (5%) 736 bytes (1%) 18
["toplevel first time"] 14.210 s (5%) 2.34 KiB (1%) 20
["toplevel"] 6.630 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 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 5816 s 1 s 208 s 5823 s 0 s
 #2 2593 MHz 5723 s 1 s 221 s 5891 s 0 s
 
 Memory: 6.791343688964844 GB (3910.1953125 MB free)
 Uptime: 1197.0 sec
 Load Avg: 1.01 1.01 0.81
 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.905
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: 28 Mar 2021 - 15:59
  • Baseline: 28 Mar 2021 - 16:09
  • Package commits:
  • Target: 33e1f6
  • Baseline: 326f65
  • Julia commits:
  • Target: 40267b
  • Baseline: 40267b
  • 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
["invalidation"] 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz: 
 speed user nice sys idle irq
 #1 2397 MHz 3324 s 1 s 163 s 3698 s 0 s
 #2 2397 MHz 3810 s 1 s 189 s 3243 s 0 s
 
 Memory: 6.791343688964844 GB (3765.15234375 MB free)
 Uptime: 734.0 sec
 Load Avg: 1.0 0.98 0.64
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, haswell)

Baseline

Julia Version 1.7.0-DEV.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz: 
 speed user nice sys idle irq
 #1 2397 MHz 6743 s 1 s 224 s 6105 s 0 s
 #2 2397 MHz 6292 s 1 s 249 s 6587 s 0 s
 
 Memory: 6.791343688964844 GB (3806.40234375 MB free)
 Uptime: 1323.0 sec
 Load Avg: 1.07 1.03 0.86
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, haswell)

Target result

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

Job Properties

  • Time of benchmark: 28 Mar 2021 - 15:59
  • Package commit: 33e1f6
  • Julia commit: 40267b
  • 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.634 s (5%) 704 bytes (1%) 18
["cached easy"] 11.570 ms (5%) 704 bytes (1%) 18
["easy"] 1.774 s (5%) 704 bytes (1%) 18
["first time"] 5.738 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.428 s (5%) 720 bytes (1%) 18
["self profiling"] 19.192 s (5%) 736 bytes (1%) 18
["toplevel first time"] 17.591 s (5%) 2.34 KiB (1%) 20
["toplevel"] 8.038 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz: 
 speed user nice sys idle irq
 #1 2397 MHz 3324 s 1 s 163 s 3698 s 0 s
 #2 2397 MHz 3810 s 1 s 189 s 3243 s 0 s
 
 Memory: 6.791343688964844 GB (3765.15234375 MB free)
 Uptime: 734.0 sec
 Load Avg: 1.0 0.98 0.64
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, haswell)

Baseline result

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

Job Properties

  • Time of benchmark: 28 Mar 2021 - 16:9
  • Package commit: 326f65
  • Julia commit: 40267b
  • 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.543 s (5%) 704 bytes (1%) 18
["cached easy"] 11.566 ms (5%) 704 bytes (1%) 18
["easy"] 1.780 s (5%) 704 bytes (1%) 18
["first time"] 5.812 s (5%) 1.00 KiB (1%) 20
["invalidation"] 4.147 s (5%) 720 bytes (1%) 18
["self profiling"] 19.135 s (5%) 736 bytes (1%) 18
["toplevel first time"] 17.435 s (5%) 2.34 KiB (1%) 20
["toplevel"] 8.225 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.762
Commit 40267bb03d (2021-03-28 04:42 UTC)
Platform Info:
 OS: Linux (x86_64-pc-linux-gnu)
 Ubuntu 20.04.2 LTS
 uname: Linux 5.4.0-1041-azure #43-Ubuntu SMP Fri Feb 26 10:21:20 UTC 2021 x86_64 x86_64
 CPU: Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz: 
 speed user nice sys idle irq
 #1 2397 MHz 6743 s 1 s 224 s 6105 s 0 s
 #2 2397 MHz 6292 s 1 s 249 s 6587 s 0 s
 
 Memory: 6.791343688964844 GB (3806.40234375 MB free)
 Uptime: 1323.0 sec
 Load Avg: 1.07 1.03 0.86
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-11.0.1 (ORCJIT, haswell)

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: 63
Model name: Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz
Stepping: 2
CPU MHz: 2397.221
BogoMIPS: 4794.44
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB
L1i cache: 64 KiB
L2 cache: 512 KiB
L3 cache: 30 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: Not affected
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 invpcid_single pti fsgsbase bmi1 avx2 smep bmi2 erms invpcid xsaveopt md_clear

Cpu Property Value
Brand Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz
Vendor :Intel
Architecture :Haswell
Model Family: 0x06, Model: 0x3f, Stepping: 0x02, 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, 256, 30720) kbytes
64 byte cache line size
Address Size 48 bits virtual, 46 bits physical
SIMD 256 bit = 32 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

@aviatesk aviatesk force-pushed the fix142 branch 2 times, most recently from ae53bda to afcd250 Compare March 28, 2021 15:42
@aviatesk
fix #142, global variable woe, again
d10fbf4 
1. trying to propagate types of a global variable when in a toplevel 
frame
2. don't propagate type of abstract global variables when in a local 
frame

With 2., JET analysis is now more consistent how Julia's native type
inference works, and we can eliminate the hacky logic to invalidate
a dummy cache associated with the previously analyzed abstract global's
type.
@aviatesk aviatesk merged commit d6f5074 into master Mar 28, 2021
@aviatesk aviatesk deleted the fix142 branch March 28, 2021 16:02
aviatesk added a commit that referenced this pull request May 29, 2021
@aviatesk
fix non-deterministic abstract global variable assignment handling
4586459 
Maybe missed within #143.
Also fixed the unsound statically-constant variable instantiation.
@aviatesk aviatesk mentioned this pull request May 29, 2021
Merged
aviatesk added a commit that referenced this pull request May 29, 2021
@aviatesk
fix non-deterministic abstract global variable assignment handling
cb7124b 
Maybe missed within #143.
Also fixed the unsound statically-constant variable instantiation.
aviatesk added a commit that referenced this pull request May 29, 2021
@aviatesk
fix non-deterministic abstract global variable assignment handling (#205
1da0c79 
)

Maybe missed within #143.
Also fixed the unsound statically-constant variable instantiation.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@aviatesk