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.

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

top-level: allow analysis entry point to be specified by name #641

Merged
merged 1 commit into from
Jun 28, 2024

Conversation

aviatesk
Copy link
Owner

When analyze_from_definitions is specified as name::Symbol, JET starts its analysis using the interpreted method signature whose name is equal to name as the analysis entry point. For example, when analyzing a script that uses @main to specify the entry point, it would be convenient to specify analyze_from_definitions = :main.

When `analyze_from_definitions` is specified as `name::Symbol`, JET
starts its analysis using the interpreted method signature whose name is
equal to `name` as the analysis entry point. For example, when analyzing
a script that uses `@main` to specify the entry point, it would be
convenient to specify `analyze_from_definitions = :main`.
Copy link

JET Benchmark Result

Judge result

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

Job Properties

  • Time of benchmarks:
  • Target: 28 Jun 2024 - 11:24
  • Baseline: 28 Jun 2024 - 11:34
  • Package commits:
  • Target: 085a80
  • Baseline: df3b98
  • Julia commits:
  • Target: 48d4fd
  • Baseline: 48d4fd
  • 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-To-JET", "rand(Bool)"] 1.09 (5%) ❌ 1.00 (1%)
["JETAnalyzer{SoundPass}", "rand(Bool)"] 0.99 (5%) 0.98 (1%) ✅
["OptAnalyzer", "identity(nothing)"] 1.05 (5%) ❌ 1.00 (1%)

Benchmark Group List

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

  • ["First-Time-To-JET"]
  • ["JETAnalyzer{BasicPass} top-level"]
  • ["JETAnalyzer{BasicPass}"]
  • ["JETAnalyzer{SoundPass}"]
  • ["OptAnalyzer"]
  • ["show(::IO, ::JETCallResult)"]

Julia versioninfo

Target

Julia Version 1.10.4
Commit 48d4fd48430 (2024-06-04 10:41 UTC)
Build Info:
 Official https://julialang.org/ release
Platform Info:
 OS: Linux (x86_64-linux-gnu)
 Ubuntu 22.04.4 LTS
 uname: Linux 6.5.0-1022-azure #23~22.04.1-Ubuntu SMP Thu May 9 17:59:24 UTC 2024 x86_64 x86_64
 CPU: AMD EPYC 7763 64-Core Processor: 
 speed user nice sys idle irq
 #1 3263 MHz 1660 s 0 s 181 s 6146 s 0 s
 #2 3242 MHz 1892 s 0 s 153 s 5937 s 0 s
 #3 3013 MHz 1605 s 0 s 201 s 6171 s 0 s
 #4 2445 MHz 2823 s 0 s 164 s 4999 s 0 s
 Memory: 15.606491088867188 GB (11711.9453125 MB free)
 Uptime: 801.93 sec
 Load Avg: 1.01 1.02 0.69
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-15.0.7 (ORCJIT, znver3)
Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores)

Baseline

Julia Version 1.10.4
Commit 48d4fd48430 (2024-06-04 10:41 UTC)
Build Info:
 Official https://julialang.org/ release
Platform Info:
 OS: Linux (x86_64-linux-gnu)
 Ubuntu 22.04.4 LTS
 uname: Linux 6.5.0-1022-azure #23~22.04.1-Ubuntu SMP Thu May 9 17:59:24 UTC 2024 x86_64 x86_64
 CPU: AMD EPYC 7763 64-Core Processor: 
 speed user nice sys idle irq
 #1 2445 MHz 3812 s 0 s 298 s 9998 s 0 s
 #2 3242 MHz 3714 s 0 s 265 s 10125 s 0 s
 #3 2897 MHz 3075 s 0 s 321 s 10704 s 0 s
 #4 2445 MHz 4278 s 0 s 276 s 9554 s 0 s
 Memory: 15.606491088867188 GB (12270.703125 MB free)
 Uptime: 1415.06 sec
 Load Avg: 1.0 1.09 0.94
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-15.0.7 (ORCJIT, znver3)
Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores)

Target result

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

Job Properties

  • Time of benchmark: 28 Jun 2024 - 11:24
  • Package commit: 085a80
  • Julia commit: 48d4fd
  • 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
["First-Time-To-JET", "package loading"] 177.908 ms (5%) 64.67 KiB (1%) 17
["First-Time-To-JET", "rand(Bool)"] 549.317 ms (5%) 65.08 KiB (1%) 17
["First-Time-To-JET", "sum(\"julia\")"] 250.272 ms (5%) 65.08 KiB (1%) 17
["JETAnalyzer{BasicPass} top-level", "demo"] 32.777 ms (5%) 2.11 MiB (1%) 36419
["JETAnalyzer{BasicPass} top-level", "self analysis"] 9.407 s (5%) 1.49 GiB (1%) 28014548
["JETAnalyzer{BasicPass} top-level", "simple"] 7.809 ms (5%) 2.02 MiB (1%) 35468
["JETAnalyzer{BasicPass}", "identity(nothing)"] 83.395 μs (5%) 7.94 KiB (1%) 113
["JETAnalyzer{BasicPass}", "println(QuoteNode(nothing))"] 127.220 ms (5%) 43.18 MiB (1%) 810501
["JETAnalyzer{BasicPass}", "rand(Bool)"] 37.859 ms (5%) 14.47 MiB (1%) 267055
["JETAnalyzer{BasicPass}", "sum(\"julia\") (cached)"] 127.828 μs (5%) 16.05 KiB (1%) 227
["JETAnalyzer{BasicPass}", "sum(\"julia\")"] 5.037 ms (5%) 1.88 MiB (1%) 33178
["JETAnalyzer{SoundPass}", "identity(nothing)"] 82.464 μs (5%) 7.94 KiB (1%) 113
["JETAnalyzer{SoundPass}", "println(QuoteNode(nothing))"] 156.765 ms (5%) 74.23 MiB (1%) 947720
["JETAnalyzer{SoundPass}", "rand(Bool)"] 39.638 ms (5%) 16.28 MiB (1%) 283519
["JETAnalyzer{SoundPass}", "sum(\"julia\") (cached)"] 133.399 μs (5%) 19.67 KiB (1%) 252
["JETAnalyzer{SoundPass}", "sum(\"julia\")"] 5.202 ms (5%) 1.93 MiB (1%) 34387
["OptAnalyzer", "identity(nothing)"] 127.988 μs (5%) 25.39 KiB (1%) 362
["OptAnalyzer", "println(QuoteNode(nothing))"] 419.100 ms (5%) 235.82 MiB (1%) 3469941
["OptAnalyzer", "rand(Bool)"] 21.424 ms (5%) 14.19 MiB (1%) 210677
["OptAnalyzer", "sum(\"julia\") (cached)"] 224.568 μs (5%) 56.80 KiB (1%) 774
["OptAnalyzer", "sum(\"julia\")"] 10.822 ms (5%) 6.48 MiB (1%) 96839
["show(::IO, ::JETCallResult)", "report_call"] 4.468 ms (5%) 1.33 MiB (1%) 18166
["show(::IO, ::JETCallResult)", "report_opt"] 231.854 ms (5%) 74.12 MiB (1%) 1146008

Benchmark Group List

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

  • ["First-Time-To-JET"]
  • ["JETAnalyzer{BasicPass} top-level"]
  • ["JETAnalyzer{BasicPass}"]
  • ["JETAnalyzer{SoundPass}"]
  • ["OptAnalyzer"]
  • ["show(::IO, ::JETCallResult)"]

Julia versioninfo

Julia Version 1.10.4
Commit 48d4fd48430 (2024-06-04 10:41 UTC)
Build Info:
 Official https://julialang.org/ release
Platform Info:
 OS: Linux (x86_64-linux-gnu)
 Ubuntu 22.04.4 LTS
 uname: Linux 6.5.0-1022-azure #23~22.04.1-Ubuntu SMP Thu May 9 17:59:24 UTC 2024 x86_64 x86_64
 CPU: AMD EPYC 7763 64-Core Processor: 
 speed user nice sys idle irq
 #1 3263 MHz 1660 s 0 s 181 s 6146 s 0 s
 #2 3242 MHz 1892 s 0 s 153 s 5937 s 0 s
 #3 3013 MHz 1605 s 0 s 201 s 6171 s 0 s
 #4 2445 MHz 2823 s 0 s 164 s 4999 s 0 s
 Memory: 15.606491088867188 GB (11711.9453125 MB free)
 Uptime: 801.93 sec
 Load Avg: 1.01 1.02 0.69
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-15.0.7 (ORCJIT, znver3)
Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores)

Baseline result

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

Job Properties

  • Time of benchmark: 28 Jun 2024 - 11:34
  • Package commit: df3b98
  • Julia commit: 48d4fd
  • 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
["First-Time-To-JET", "package loading"] 175.619 ms (5%) 64.67 KiB (1%) 17
["First-Time-To-JET", "rand(Bool)"] 501.919 ms (5%) 65.08 KiB (1%) 17
["First-Time-To-JET", "sum(\"julia\")"] 250.279 ms (5%) 65.08 KiB (1%) 17
["JETAnalyzer{BasicPass} top-level", "demo"] 31.889 ms (5%) 2.11 MiB (1%) 36385
["JETAnalyzer{BasicPass} top-level", "self analysis"] 9.880 s (5%) 395.836 ms 1.49 GiB (1%) 28000900
["JETAnalyzer{BasicPass} top-level", "simple"] 7.924 ms (5%) 2.02 MiB (1%) 35434
["JETAnalyzer{BasicPass}", "identity(nothing)"] 82.605 μs (5%) 7.94 KiB (1%) 113
["JETAnalyzer{BasicPass}", "println(QuoteNode(nothing))"] 130.326 ms (5%) 43.18 MiB (1%) 810499
["JETAnalyzer{BasicPass}", "rand(Bool)"] 38.365 ms (5%) 14.53 MiB (1%) 267055
["JETAnalyzer{BasicPass}", "sum(\"julia\") (cached)"] 132.326 μs (5%) 16.05 KiB (1%) 227
["JETAnalyzer{BasicPass}", "sum(\"julia\")"] 5.178 ms (5%) 1.88 MiB (1%) 33178
["JETAnalyzer{SoundPass}", "identity(nothing)"] 81.503 μs (5%) 7.94 KiB (1%) 113
["JETAnalyzer{SoundPass}", "println(QuoteNode(nothing))"] 160.565 ms (5%) 74.66 MiB (1%) 947765
["JETAnalyzer{SoundPass}", "rand(Bool)"] 40.170 ms (5%) 16.55 MiB (1%) 283554
["JETAnalyzer{SoundPass}", "sum(\"julia\") (cached)"] 131.936 μs (5%) 19.67 KiB (1%) 252
["JETAnalyzer{SoundPass}", "sum(\"julia\")"] 5.251 ms (5%) 1.93 MiB (1%) 34387
["OptAnalyzer", "identity(nothing)"] 121.666 μs (5%) 25.39 KiB (1%) 362
["OptAnalyzer", "println(QuoteNode(nothing))"] 422.993 ms (5%) 235.82 MiB (1%) 3469932
["OptAnalyzer", "rand(Bool)"] 21.865 ms (5%) 14.19 MiB (1%) 210675
["OptAnalyzer", "sum(\"julia\") (cached)"] 222.124 μs (5%) 56.80 KiB (1%) 774
["OptAnalyzer", "sum(\"julia\")"] 10.926 ms (5%) 6.48 MiB (1%) 96839
["show(::IO, ::JETCallResult)", "report_call"] 4.650 ms (5%) 1.33 MiB (1%) 18166
["show(::IO, ::JETCallResult)", "report_opt"] 237.258 ms (5%) 74.12 MiB (1%) 1146008

Benchmark Group List

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

  • ["First-Time-To-JET"]
  • ["JETAnalyzer{BasicPass} top-level"]
  • ["JETAnalyzer{BasicPass}"]
  • ["JETAnalyzer{SoundPass}"]
  • ["OptAnalyzer"]
  • ["show(::IO, ::JETCallResult)"]

Julia versioninfo

Julia Version 1.10.4
Commit 48d4fd48430 (2024-06-04 10:41 UTC)
Build Info:
 Official https://julialang.org/ release
Platform Info:
 OS: Linux (x86_64-linux-gnu)
 Ubuntu 22.04.4 LTS
 uname: Linux 6.5.0-1022-azure #23~22.04.1-Ubuntu SMP Thu May 9 17:59:24 UTC 2024 x86_64 x86_64
 CPU: AMD EPYC 7763 64-Core Processor: 
 speed user nice sys idle irq
 #1 2445 MHz 3812 s 0 s 298 s 9998 s 0 s
 #2 3242 MHz 3714 s 0 s 265 s 10125 s 0 s
 #3 2897 MHz 3075 s 0 s 321 s 10704 s 0 s
 #4 2445 MHz 4278 s 0 s 276 s 9554 s 0 s
 Memory: 15.606491088867188 GB (12270.703125 MB free)
 Uptime: 1415.06 sec
 Load Avg: 1.0 1.09 0.94
 WORD_SIZE: 64
 LIBM: libopenlibm
 LLVM: libLLVM-15.0.7 (ORCJIT, znver3)
Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores)

Runtime information

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

lscpu output:

Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Address sizes: 48 bits physical, 48 bits virtual
Byte Order: Little Endian
CPU(s): 4
On-line CPU(s) list: 0-3
Vendor ID: AuthenticAMD
Model name: AMD EPYC 7763 64-Core Processor
CPU family: 25
Model: 1
Thread(s) per core: 2
Core(s) per socket: 2
Socket(s): 1
Stepping: 1
BogoMIPS: 4890.85
Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl tsc_reliable nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm cmp_legacy svm cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw topoext invpcid_single vmmcall fsgsbase bmi1 avx2 smep bmi2 erms invpcid rdseed adx smap clflushopt clwb sha_ni xsaveopt xsavec xgetbv1 xsaves clzero xsaveerptr rdpru arat npt nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold v_vmsave_vmload umip vaes vpclmulqdq rdpid fsrm
Virtualization: AMD-V
Hypervisor vendor: Microsoft
Virtualization type: full
L1d cache: 64 KiB (2 instances)
L1i cache: 64 KiB (2 instances)
L2 cache: 1 MiB (2 instances)
L3 cache: 32 MiB (1 instance)
NUMA node(s): 1
NUMA node0 CPU(s): 0-3
Vulnerability Gather data sampling: Not affected
Vulnerability Itlb multihit: Not affected
Vulnerability L1tf: Not affected
Vulnerability Mds: Not affected
Vulnerability Meltdown: Not affected
Vulnerability Mmio stale data: Not affected
Vulnerability Retbleed: Not affected
Vulnerability Spec rstack overflow: Vulnerable: Safe RET, no microcode
Vulnerability Spec store bypass: Vulnerable
Vulnerability Spectre v1: Mitigation; usercopy/swapgs barriers and __user pointer sanitization
Vulnerability Spectre v2: Mitigation; Retpolines; STIBP disabled; RSB filling; PBRSB-eIBRS Not affected; BHI Not affected
Vulnerability Srbds: Not affected
Vulnerability Tsx async abort: Not affected

Cpu Property Value
Brand AMD EPYC 7763 64-Core Processor
Vendor :AMD
Architecture :Unknown
Model Family: 0xaf, Model: 0x01, Stepping: 0x01, Type: 0x00
Cores 16 physical cores, 16 logical cores (on executing CPU)
No Hyperthreading hardware capability detected
Clock Frequencies Not supported by CPU
Data Cache Level 1:3 : (32, 512, 32768) kbytes
64 byte cache line size
Address Size 48 bits virtual, 48 bits physical
SIMD 256 bit = 32 byte max. SIMD vector size
Time Stamp Counter TSC is accessible via rdtsc
TSC runs at constant rate (invariant from clock frequency)
Perf. Monitoring Performance Monitoring Counters (PMC) are not supported
Hypervisor Yes, Microsoft

@aviatesk aviatesk merged commit 885f2c4 into master Jun 28, 2024
10 of 11 checks passed
@aviatesk aviatesk deleted the avi/analyze_from_entrypoint branch June 28, 2024 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant