Difference between r1.10 and the current
@@ -9,6 +9,8 @@
WtEn:conditional_execution
Srch:conditional_execution
[[symbolic_execution]] =,symbolic_execution =,symbolic_execution . symbolic_execution
{
symbolic execution
Srch:conditional_execution
[[실행모형,execution_model]]
{
symbolic execution
@@ -50,7 +52,7 @@
} // symbolic execution
executable_file
[[실행파일,executable_file]] - [[파일,file]]
WtEn:executable_fileSrch:executable_file
@@ -130,6 +132,14 @@
Ggl:"dynamic execution"
}
ADDHERE
ADDHERE
}
[[speculative_execution]] =,speculative_execution =,speculative_execution . speculative_execution
{
'''speculative execution'''
CMP [[branch_prediction]]
[[WpEn:Speculative_execution]] = https://en.wikipedia.org/wiki/Speculative_execution
}// speculative execution ... NN:"speculative execution" (x [[Date(2024-08-01T23:33:17)]]) Naver:"speculative execution" Bing:"speculative execution" Ggl:"speculative execution"
ADDHERE
ADDHERE
@@ -178,7 +188,8 @@
Ggl:"flow analysis"
qqq aka "control flow analysis"? chk Ggl:"control flow analysis"
[[프로세스,process]]
qqq aka "control flow analysis"? chk Ggl:"control flow analysis"
[[runtime]] - curr at [[시간,time]]
[[runtime]] ...[[런타임,runtime]]? - curr at [[시간,time]]
[[실행시간,execution_time]]과 동의어일 수 있음.
[[프로세스,process]]
Sub:
executable_code - 코드,code
conditional_execution - 조건부,conditional 조건,condition
실행모형,execution_model
executable_code - 코드,code
conditional_execution - 조건부,conditional 조건,condition
실행모형,execution_model
symbolic_execution =,symbolic_execution =,symbolic_execution . symbolic_execution
{
symbolic execution
{
symbolic execution
symbolic_execution = https://en.wiktionary.org/wiki/symbolic_execution x 2023-12
https://ko.wikipedia.org/wiki/기호_실행
Symbolic_execution = https://en.wikipedia.org/wiki/Symbolic_execution
https://ko.wikipedia.org/wiki/기호_실행
Symbolic_execution = https://en.wikipedia.org/wiki/Symbolic_execution
(also symbolic_evaluation or symbex)
symbolic_evaluation =,symbolic_evaluation =,symbolic_evaluation . symbolic_evaluation
{
symbolic evaluation or symbex
symbolic_evaluation symbolic_evaluation ?
}
이때는
사실 실행과 평가,evaluation는 통하는 면이 있다 .....여기서는 같은 뜻.symbolic_evaluation =,symbolic_evaluation =,symbolic_evaluation . symbolic_evaluation
{
symbolic evaluation or symbex
symbolic_evaluation symbolic_evaluation ?
}
이때는
rel - symbolic. 심볼릭,symbolic?
symbolic_simulation =,symbolic_simulation =,symbolic_simulation . symbolic_simulation
{
symbolic simulation
symbolic_simulation
https://en.wikipedia.org/wiki/Symbolic_simulation
"symbolic simulation"
시뮬레이션,simulation
} // symbolic_simulation
symbolic_simulation =,symbolic_simulation =,symbolic_simulation . symbolic_simulation
{
symbolic simulation
symbolic_simulation
https://en.wikipedia.org/wiki/Symbolic_simulation
"symbolic simulation"
시뮬레이션,simulation
} // symbolic_simulation
symbolic_computation =,symbolic_computation =,symbolic_computation. symbolic_computation
{
symbolic computation
symbolic_computation
https://en.wikipedia.org/wiki/Symbolic_computation
} // symbolic computation
{
symbolic computation
symbolic_computation
https://en.wikipedia.org/wiki/Symbolic_computation
2023-12-02 Redir to https://en.wikipedia.org/wiki/Computer_algebra
"symbolic computation"} // symbolic computation
} // symbolic execution
실행파일,executable_file - 파일,file
executable_file_format =,executable_file_format =,executable_file_format . executable_file_format
{
executable_file_format
executable file format
https://en.wiktionary.org/wiki/executable_file_format x 2023-08-29
.COM (DOS)
{
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
=
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
}
executable_file_format =,executable_file_format =,executable_file_format . executable_file_format
{
executable_file_format
executable file format
.COM (DOS)
{
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
=
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
}
Mach-O
이름 유래는 Mach(kernel)와 마초(macho) 에서?
이름 유래는 Mach(kernel)와 마초(macho) 에서?
syn. binary file format ?
}
}
이건 실행단위라고 번역하면 안 될 듯 하고. (오해를 불러일으킴) 실행장치가 최선인 듯. 장치,unit page mk?
https://en.wiktionary.org/wiki/execution_unit x 2023-08-29
https://ko.wikipedia.org/wiki/실행_장치
https://en.wikipedia.org/wiki/Execution_unit
https://ja.wikipedia.org/wiki/実行ユニット
}
https://en.wikipedia.org/wiki/Execution_unit
https://ja.wikipedia.org/wiki/実行ユニット
}
execution_engine =,execution_engine =,execution_engine . execution_engine
{
JVM용어
execution engine
실행엔진 ?
{
JVM용어
execution engine
실행엔진 ?
out-of-order_execution =,out-of-order_execution =,out-of-order_execution . out-of-order_execution |=,OoOE OoOE
dynamic_execution =,dynamic_execution =,dynamic_execution . dynamic_execution
{
out-of-order execution
dynamic execution
dynamic_execution =,dynamic_execution =,dynamic_execution . dynamic_execution
{
out-of-order execution
dynamic execution
비순차적실행
비순차실행
...
비순차실행
...
speculative_execution =,speculative_execution =,speculative_execution . speculative_execution
{
speculative execution
{
speculative execution
Speculative_execution = https://en.wikipedia.org/wiki/Speculative_execution
}// speculative execution ... speculative execution (x 2024-08-02) speculative execution speculative execution speculative execution
}// speculative execution ... speculative execution (x 2024-08-02) speculative execution speculative execution speculative execution
ADDHERE
ADDHERE
ADDHERE
ADDHERE
ADDHERE
*****************************************************
Topics
intermediate_representation (IR) =,intermediate_representation . intermediate_representation |=,IR IR
{
{
MKL
parsing
parsing
intermediate_representation
중간_표현
= https://ko.wikipedia.org/wiki/중간_표현
Intermediate_representation
= https://en.wikipedia.org/wiki/Intermediate_representation
}
중간_표현
= https://ko.wikipedia.org/wiki/중간_표현
Intermediate_representation
= https://en.wikipedia.org/wiki/Intermediate_representation
}
특히 그 표현이 언어일 경우
intermediate_language (IL) =,intermediate_language . intermediate_language |=,IL IL
{
intermediate_language
}
{
intermediate_language
}
mkl
abstract_syntax_tree (AST)
abstract_syntax_tree (AST)
Rel:
제어흐름,control_flow =,control_flow =,control_flow . control_flow { control_flow Up: 제어,control 흐름,flow }
flow_analysis =,flow_analysis . flow_analysis
실행시간,execution_time과 동의어일 수 있음.
flow analysis
https://en.wikipedia.org/wiki/Flow_analysis
flow_analysis x 2024-01-03
"flow analysis"
flow analysis
qqq aka "control flow analysis"? chk control flow analysis
runtime ...런타임,runtime? - curr at 시간,timehttps://en.wikipedia.org/wiki/Flow_analysis
flow_analysis x 2024-01-03
"flow analysis"
flow analysis
qqq aka "control flow analysis"? chk control flow analysis
실행시간,execution_time과 동의어일 수 있음.
프로그램,program의 life cycle에서, 실행이 이루어지고 있는 시간,time은 런타임 runtime = run_time. 그리고 이 때 프로그램은 'running'.[1]