A compiler produces code (in this phase data) that can be executed. Babbage started with a machine that made distinction between program and data. In a Von Neuman machine there is no distinction between data and programs. In lambda calculus neither. Say you have a program that allows the user to answer questions and assume the program behaves differently depending on the answers. Are the answers just data or do they form a program? Executable code can be data and reversely. What do you want your computer to do when ordering it to copy a program? What should DrRacket do when you ask it to prepare an executable file? Although in general it is wise to make a distinction between program and data, ultimately enforcing this distinction would prohibit avanced programs. My 2 (or may be only 1) cents. Jos
-----Original Message----- From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Philippe Meunier Sent: viernes, 01 de abril de 2016 17:33 To: us...@racket-lang.org Subject: [racket-users] racket not W^X? Hello, I was reading a discussion about "an upcoming Common Criteria requirement that no memory may be executable and writable at the same time": https://readlist.com/lists/openbsd.org/misc/33/168358.html (Common Criteria = the Common Criteria for Information Technology Security Evaluation standard). In that discussion there is a link to a list of programs that Linux's PaX believes do not meet the W^X requirement: https://github.com/thestinger/paxd/blob/master/paxd.conf For your information, racket is on that list (I guess because the JIT uses memory pages which are both writable and executable). Cheers, Philippe -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
