[问题] 需要高手挑战的诡异问题

楼主: erspicu (.)   2016-09-07 10:58:24
https://www.dropbox.com/s/cit9jl96hzg4lui/Apr8086-needcheck0907.zip?dl=0
这是老电脑 8086的模拟器初步实作
目前只能算是完成CPU的部分(极少数指令尚未完成)
要问的是一个跟模拟器实作层面无关的问题
应该确认是编译器或是 .net framework潜在的bug
只要在专案 x86\CPU.cs 里头的 cpu_exec() 内加入
debug_inf = Reg_B.X.ToString() + Reg_C.X.ToString(); 这样一行 ln 266
(目前观察到只要对register物件内容有ToString()的动作或是相关字串操作
就很容易有问题)
x86\CPU.cs cpu_exec() switch case 0x83: 内的 MessageBox.show 内容
ln 2418开始下面几行
就会从
a:0 4
b:4
c:4
d:04
e:00
f: 0400
变成
a:0 4
b:4
c:4
d:00
e:00
f: 0000
(测试方式可以启动程式UI后,点击 DEBUG 的 button 就会测试运作 ,
MessageBox到 f: 后就可以把程式关闭掉)
实际上目前是简化问题 , 有时候a b c里头的value 会随着开启程式时间不同,
跳乱数......
(前面几次开关城市 测试 a: b: c: 内容都正常,有可能哪次突然跳乱数)
由于开发需要检测每次执行指令各register状态,甚至输出log,之前撰写GameBoy
也是用一样的方式输出各register内容,
没任何问题,但这次有使用到指标与比较进阶的struct
[StructLayout(LayoutKind.Explicit, Size = 2)]
struct RegWord
{
[FieldOffset(1)]
public byte H; //heigh byte
[FieldOffset(0)]
public byte L; //low byte
[FieldOffset(0)]
public ushort X; //word
}
除了编译器或是 .net framework本身bug外,想不出别的理由....
资讯更新一:应该跟指标的使用问题有关系 但应该不是我的问题
后来把 Main.cs 中
fixed (ushort* p = &Reg_ES) { Table_SegRegs[0] = p; }
fixed (ushort* p = &Reg_CS) { Table_SegRegs[1] = p; }
fixed (ushort* p = &Reg_SS) { Table_SegRegs[2] = p; }
fixed (ushort* p = &Reg_DS) { Table_SegRegs[3] = p; }
fixed (ushort* p = &Reg_A.X) { Table_WordRegs[0] = p; }
fixed (ushort* p = &Reg_C.X) { Table_WordRegs[1] = p; }
fixed (ushort* p = &Reg_D.X) { Table_WordRegs[2] = p; }
fixed (ushort* p = &Reg_B.X) { Table_WordRegs[3] = p; }
fixed (ushort* p = &Reg_SP) { Table_WordRegs[4] = p; }
fixed (ushort* p = &Reg_BP) { Table_WordRegs[5] = p; }
fixed (ushort* p = &Reg_SI) { Table_WordRegs[6] = p; }
fixed (ushort* p = &Reg_DI) { Table_WordRegs[7] = p; }
fixed (byte* P = &Reg_A.L) { Table_ByteRegs[0] = P; }
fixed (byte* P = &Reg_C.L) { Table_ByteRegs[1] = P; }
fixed (byte* P = &Reg_D.L) { Table_ByteRegs[2] = P; }
fixed (byte* P = &Reg_B.L) { Table_ByteRegs[3] = P; }
fixed (byte* P = &Reg_A.H) { Table_ByteRegs[4] = P; }
fixed (byte* P = &Reg_C.H) { Table_ByteRegs[5] = P; }
fixed (byte* P = &Reg_D.H) { Table_ByteRegs[6] = P; }
fixed (byte* P = &Reg_B.H) { Table_ByteRegs[7] = P; }
这种写法除掉改用别方式来处理register解码与对应 就ok了
改用下面这种方式 但直接靠array来mapping指标操作解码对应
不知到快了 switch有多少倍去....
byte Table_ByteRegsGet(int reg)
{
switch (reg)
{
case 0:
return Reg_A.L;
case 1:
return Reg_C.L;
case 2:
return Reg_D.L;
case 3:
return Reg_B.L;
case 4:
return Reg_A.H;
case 5:
return Reg_C.H;
case 6:
return Reg_D.H;
case 7:
return Reg_B.H;
}
return 0;
}
void Table_ByteRegsSet(int reg, byte val)
{
switch (reg)
{
case 0:
Reg_A.L = val;
break;
case 1:
Reg_C.L = val;
break;
case 2:
Reg_D.L = val;
break;
case 3:
Reg_B.L = val;
break;
case 4:
Reg_A.H = val;
break;
case 5:
Reg_C.H = val;
break;
case 6:
Reg_D.H = val;
break;
case 7:
Reg_B.H = val;
break;
}
}
作者: fo40225   2016-09-08 00:49:00
你在fixed区块内把指标的值保留在阵列里 出了fixed那个位址值就不保证了 只要GC一动作 你的指标就废了ToString() 会配置物件 很容易触发0代GC使用vs 侦错 视窗 内存 把位址打上去 在init后下断点init最后面写个循环 new object() 然后观察循环前后阵列里所记录的位址 内存会被改变的
作者: Litfal (Litfal)   2016-09-09 15:55:00
C#不太适合处理这种实值指标、或是需要很精确控制内存的状况

Links booklink

Contact Us: admin [ a t ] ucptt.com