Agner`s CPU blog

Software optimization resources | E-mail subscription to this blog | www.agner.org

List Messageboards

Proposal for instruction set - now on Github

Author: Agner

Date: 2017-09-23 01:19

- wrote:

self-modifying code, jit-compilers, etc should be minimally affected by such a restriction: Between each self-modification / jit-round, you pay a round-trip to main memory and possibly a syscall (if you don't have permissions to map a page as executable).

I am not too fond of the trend of JIt compilation and byte code. If you are JIT compiling each part of a program separately, you get erratic and unpredictable response times which users hate. I would prefer to compile everything once. ForwardCom is designed to be forward compatible in the sense that a compiled program can run optimally without recompilation on future microprocessors with longer vector registers. This means less need for JIT compiling. Another planned feature is re-linking of executable files. Instead of calling a DLL or shared object, you use static linking to include the necessary library functions in the executable, with the possibility to re-link later if a library function needs replacement. This makes the code run faster than if dynamic linking is used, and it makes it possible to adapt the code to different environments by replacing e.g. a user interface library.

I'm not sure about strictly enforcing W^X. I get that it really messes with processor optimizations and all, but applications such as emulators which make heavy use of dynamic recompilation would suffer if they are forced to syscall every time they modify code

JIT compilation is also a security problem. If we allow self-modifying code or code that makes code and executes it immediately, then we have all kind of security problems. I would like to re-think the whole idea of JIT compilation.

Emulation is a problem, I agree, if we don't allow dynamic compilation. An emulator running under ForwardCom and emulating something else would need special permission to do dynamic compilation and running the code it generates. The user will be warned when installing the emulator that it needs dangerous special permissions.

Reply To This Message

Previous Message

Proposal for instruction set - now on Github new - Agner - 2016-06-26

Proposal for instruction set - now on Github new - Joe Duarte - 2016-07-04

Proposal for instruction set - now on Github new - Agner - 2016-07-04

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-07-06

Proposal for instruction set - now on Github new - Agner - 2016-07-06

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-07-07

Proposal for instruction set - now on Github new - Agner - 2016-07-07

Whole-function vectorization and conditionals new - Sylvain Collange - 2016-08-15

Whole-function vectorization and conditionals new - Agner - 2016-08-15

Whole-function vectorization and conditionals new - Sylvain Collange - 2016-08-15

Whole-function vectorization and conditionals new - Agner - 2016-08-15

Whole-function vectorization and conditionals new - Sylvain Collange - 2016-08-15

Whole-function vectorization and conditionals new - Agner - 2016-08-15

Number of input dependencies new - Agner - 2016-08-16

Whole-function vectorization and conditionals new - Sylvain Collange - 2016-08-16

Whole-function vectorization and conditionals new - Agner - 2016-08-17

Merging with first operand new - Sylvain Collange - 2016-08-18

Merging with first operand new - Agner - 2016-08-19

SIMD exceptions are fine with masking new - Sylvain Collange - 2016-08-19

SIMD exceptions are fine with masking new - Agner - 2016-08-20

SIMD exceptions are fine with masking new - Hubert Lamontagne - 2016-08-20

SIMD exceptions are fine with masking new - Sylvain Collange - 2016-08-25

Merging with first operand new - Hubert Lamontagne - 2016-08-19

Proposal for instruction set - now on Github new - Joe Duarte - 2016-08-17

Proposal for instruction set - now on Github new - Agner - 2016-08-18

Proposal for instruction set - now on Github new - Joe Duarte - 2016-08-31

Proposal for instruction set - now on Github new - Agner - 2016-08-31

Proposal for instruction set - now on Github new - Jorcy Neto - 2016-09-01

Proposal for instruction set - now on Github new - Yuhong Bao - 2016-07-12

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-07-12

Things from MIPS (and novel things) new - Anonymous - 2016-07-28

Things from MIPS (and novel things) new - Agner - 2016-07-28

Things from MIPS (and novel things) new - Hubert Lamontagne - 2016-07-28

Matrix multiplication new - Agner - 2016-07-29

Matrix multiplication new - Hubert Lamontagne - 2016-07-29

Matrix multiplication new - John D. McCalpin - 2016-07-29

Matrix multiplication new - Agner - 2016-07-29

Introduction website new - Agner - 2016-08-01

Introduction website new - EricTL - 2017-07-17

Introduction website new - Agner - 2017-07-18

Introduction website new - EricTL - 2017-07-20

Introduction website new - Agner - 2017-07-20

Proposal for instruction set - now on Github new - Joe Duarte - 2016-08-04

Proposal for instruction set - now on Github new - Agner - 2016-08-04

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-08-05

Proposal for instruction set - now on Github new - Agner - 2016-08-06

Proposal for instruction set - now on Github new - fanoI - 2016-08-08

Proposal for instruction set - now on Github new - Agner - 2016-08-08

Proposal for instruction set - now on Github new - fanoI - 2016-08-09

Proposal for instruction set - now on Github new - Joe Duarte - 2016-08-08

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-08-09

Proposal for instruction set - now on Github new - Joe Duarte - 2016-08-11

Proposal for instruction set - now on Github new - Agner - 2016-08-12

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-08-12

Proposal for instruction set - now on Github new - grant galitz - 2016-08-22

Proposal for instruction set - now on Github new - Agner - 2016-08-22

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-08-24

ARM with scalable vector extensions new - Agner - 2016-08-23

ARM with scalable vector extensions new - Jorcy Neto - 2016-08-23

ARM with scalable vector extensions new - Hubert Lamontagne - 2016-08-26

ARM with scalable vector extensions new - Jorcy Neto - 2016-12-20

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-09-05

Proposal for instruction set - now on Github new - Agner - 2016-09-05

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-09-05

Proposal for instruction set - now on Github new - Agner - 2016-09-06

Proposal for instruction set - now on Github new - Bigos - 2016-09-06

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-09-06

Proposal for instruction set - now on Github new - Agner - 2016-09-07

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-09-07

Proposal for instruction set - now on Github new - Agner - 2016-09-08

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2016-09-08

Proposal for instruction set - now on Github new - Commenter - 2016-09-07

Proposal for instruction set - now on Github new - Bigos - 2016-09-08

Paging new - Kurt Baumgardner - 2016-09-09

Paging new - Agner - 2016-09-10

Paging new - Hubert Lamontagne - 2016-09-11

Paging new - Kurt Baumgardner - 2016-09-13

Paging new - Agner - 2016-09-13

Paging new - Kurt Baumgardner - 2016-09-13

Paging new - Hubert Lamontagne - 2016-09-13

Paging new - Kurt Baumgardner - 2016-09-14

Paging new - Hubert Lamontagne - 2016-09-11

Paging new - Kurt Baumgardner - 2016-09-13

Paging new - Agner - 2016-09-14

Paging new - Jorcy Neto - 2016-09-18

A null register? new - csdt - 2016-09-23

A null register? new - Agner - 2016-09-24

A null register? new - Hubert Lamontagne - 2016-09-24

A null register? new - csdt - 2016-09-26

A null register? new - Agner - 2016-09-27

Indexed registers new - Kurt Baumgardner - 2016-09-26

Indexed registers new - Agner - 2016-09-27

Indexed registers new - Kurt Baumgardner - 2016-09-27

Indexed registers new - Agner - 2016-09-28

Indexed registers new - Hubert Lamontagne - 2016-09-28

Indexed registers new - Kurt Baumgardner - 2016-10-03

Indexed registers new - Agner - 2016-10-03

Indexed registers new - Hubert Lamontagne - 2016-10-04

Bilinear Interpolation new - Hubert Lamontagne - 2016-10-28

Bilinear Interpolation new - Agner - 2016-10-29

Bilinear Interpolation new - Hubert Lamontagne - 2016-10-29

Bilinear Interpolation new - Agner - 2016-10-30

Bilinear Interpolation new - Hubert Lamontagne - 2016-10-30

ForwardCom version 1.04 new - Agner - 2016-12-08

ForwardCom version 1.04 new - Matthias Bentrup - 2016-12-12

ForwardCom version 1.04 new - Agner - 2016-12-12

ForwardCom version 1.04 new - Matthias Bentrup - 2016-12-14

Async system calls; horizontal packing instruction new - Joe Duarte - 2016-12-14

Async system calls; horizontal packing instruction new - Agner - 2016-12-15

Comparison of instruction sets new - Agner - 2016-12-17

Comparison of instruction sets new - Joe Duarte - 2016-12-28

Comparison of instruction sets new - Agner - 2016-12-29

Comparison of instruction sets new - Hubert Lamontagne - 2016-12-30

Comparison of instruction sets new - Hubert Lamontagne - 2017-01-05

ForwardCom version 1.05 new - Agner - 2017-01-22

Syscall/ISR acceleration new - Jonathan Brandmeyer - 2017-01-22

Syscall/ISR acceleration new - Agner - 2017-01-23

Syscall/ISR acceleration new - Jonathan Brandmeyer - 2017-01-25

Syscall/ISR acceleration new - Agner - 2017-01-25

ForwardCom version 1.05 new - JiÅ™Ã Moravec - 2017-01-23

ForwardCom version 1.05 new - Agner - 2017-01-24

Jump prefetch? new - csdt - 2017-01-27

Jump prefetch? new - Agner - 2017-01-27

Jump prefetch? new - csdt - 2017-01-30

Jump prefetch? new - Agner - 2017-01-30

Jump prefetch? new - csdt - 2017-01-30

Jump prefetch? new - Agner - 2017-01-31

Jump prefetch? new - csdt - 2017-01-31

Jump prefetch? new - Hubert Lamontagne - 2017-02-01

Jump prefetch? new - Agner - 2017-02-01

Jump prefetch? new - Hubert Lamontagne - 2017-02-01

Jump prefetch? new - Agner - 2017-02-02

Jump prefetch? new - Agner - 2017-02-14

Jump prefetch? new - Hubert Lamontagne - 2017-01-31

High precision arithmetic new - fanoI - 2017-03-21

High precision arithmetic new - Agner - 2017-03-21

Intel's Control-flow Enforcement Technology new - Joe Duarte - 2017-04-13

Intel's Control-flow Enforcement Technology new - Agner - 2017-04-14

Proposal for instruction set - now on Github new - Agner - 2017-04-27

Assembler with metaprogramming features new - Agner - 2017-07-27

Assembler with metaprogramming features new - Kai Rese - 2017-08-11

Assembler with metaprogramming features new - Agner - 2017-08-11

Assembler with metaprogramming features new - Kai Rese - 2017-08-14

Assembler with metaprogramming features new - Agner - 2017-08-14

Assembler with metaprogramming features new - Kai Rese - 2017-08-15

Number of register file ports in implementations new - Hubert Lamontagne - 2017-08-22

Number of register file ports in implementations new - Agner - 2017-08-23

Number of register file ports in implementations new - Hubert Lamontagne - 2017-08-27

Number of register file ports in implementations new - Agner - 2017-08-28

Number of register file ports in implementations new - Bigos - 2017-08-28

Number of register file ports in implementations new - Hubert Lamontagne - 2017-08-28

Proposal for instruction set - now on Github new - yeengief - 2017-09-20

Proposal for instruction set - now on Github new - Agner - 2017-09-20

Proposal for instruction set - now on Github new - yeengief - 2017-09-20

Proposal for instruction set - now on Github new - Agner - 2017-09-20

Proposal for instruction set - now on Github new - yeengief - 2017-09-21

Proposal for instruction set - now on Github new - Agner - 2017-09-21

Proposal for instruction set - now on Github new - yeengief - 2017-09-21

Proposal for instruction set - now on Github new - Agner - 2017-09-23

Proposal for instruction set - now on Github new - - - 2017-09-22

Proposal for instruction set - now on Github - Agner - 2017-09-23

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2017-09-25

Proposal for instruction set - now on Github new - Agner - 2017-09-26

Proposal for instruction set - now on Github new - Hubert Lamontagne - 2017-09-26

New assembler, new version, new forum new - Agner - 2017-11-03

List Messageboards