d不变放进只读节,实现强制不变

原文
目前,D编译器把串字面放进只读节中,但大多数其他类型静态不变数据没有针对恶意写入保护.
这里是不变崩溃的例子.
问题是,抛异常时,d运行时修改了静态不变的异常实例.问题也与它有关.
如果把不变对象放进只读段中,且运行时任意写,都触发段错误,那么更易解决此类问题.微控制器的裸代码也可能从中受益,因为这样可把CTFE生成的不变数据放入NOR闪存,而不浪费SRAM空间.
怎么样,需要新的DIP吗?
我试过使用DMD代码,并把数组字面放入只读节.
要使其正确,还需要更多工作.不变标志还有问题.
如果类和构实例有构造器,还会删除不变标志.但是这与CTFE生成数据真有关系吗?
检测数据是否由CTFE生成,也不是很明显.用.ownedByCtfe得到的结果很奇怪.有提示吗?

正确实现它不是很困难吗?因为不能真正把数据放入只读内存,但必须保护整个页,如在窗口上用VirtualProtect().特别是如何让GC仍可分配不变数据.或我不理解这方面的?

当然,字面可且应设置为只读,但对全部不变数据,我不觉得对.

不变好处是什么?
好处
一旦初化不变数据,就永远不变.有很多用法:
1,多线程读取不变数据时,不需要同步的访问数据.
2,处理不变数据时,没有数据竞争,撕裂,顺序一致性和缓存一致性问题.
3,深度复制数据结构时,不需要复制不变部分.
4,即使通过引用传递(串最常见),也可按值类型对待不变的大块数据.
5,不变类型,提供了更多的自文档化信息.
6,不变数据可放在硬件保护的只读存储器中,甚至可放在ROM中.
7,如果更改了不变数据,则肯定是内存崩溃错误,并且可自动检查此类数据完整性.
8,不变类型提供了许多优化机会.
9,常充当可变和不变世界间的桥梁,因此单个函数可用常来接受两种类型参数.
我总按必须在编译时构造,并可把不变放进程序的RO节,来理解不变.

是的,但这不是现实.可在运行时构造不变数据,并且在共享静态构造器等中经常这样.你的变化破坏性太大,突然不能这样了.
如,以下程序有效:

import std.stdio : writeln;
import std.datetime : Clock;immutable int a;shared static this()
{a = Clock.currTime().year;
}void main()
{writeln(a);
}

上例中,"a"不能放在只读存储器中.
此时,可用'常'关键字.

所以他特别指出静态不变的而不仅是不变.

我在早先消息中提到了静态不变和CTFE.一些不变数据是在编译时生成的,可安全地进入只读节.现在只对改进这一点感兴趣.

但是,既然你提到了抓GC分配的不变数据的写访问,那么可借助额外的工具来完成.可用valgrind.

#include <stddef.h>
#include <valgrind/memcheck.h>void vg_mark_block(void *p, size_t size)
{int valgrind_handle = VALGRIND_CREATE_BLOCK(p, size, "MARKED BLOCK");VALGRIND_MAKE_MEM_NOACCESS(p, size);
}
extern(C) void vg_mark_block(void *p, size_t size) @nogc;void main() @nogc {try {static immutable e = new Exception("test");vg_mark_block(cast(void*)e, __traits(classInstanceSize, typeof(e)));throw e;} catch (Exception e) {assert(e.msg == "test");}
}