null allowing @safe code to do unsafe stuff.
Michel Fortin
michel.fortin at michelf.com
Sun Mar 18 09:18:59 PDT 2012
On 2012-03-18 15:53:42 +0000, deadalnix <deadalnix at gmail.com> said:
> Le 18/03/2012 16:30, Andrei Alexandrescu a écrit :
>> On 3/18/12 10:19 AM, Timon Gehr wrote:
>>> No null checks are necessary as long as there is no class that would
>>> create such a very large object.
>>
>> Yah, we need to insert a rule that prevents creating class objects
>> larger than 64KB. Java has the same.
>>
>> Andrei
>
> This is another solution. In this case, we have to ensure that the
> first 64kb of the system are page protected to detect null pointer
> deference in druntime.
On Mac OS X, the protected area is much smaller. 4 Kb I think on Snow
Leopard 32-bit.
--
Michel Fortin
michel.fortin at michelf.com
http://michelf.com/
More information about the Digitalmars-d
mailing list