【正确答案】 C

【答案解析】本题需要考虑赋值表达式的左值和右值(或理解为分解成两条指令)，将指令命名如下： 计算右值 1. counter+1 3. counter-2 左值赋值 2. counter= 4. counter= 初始时counter为6，考虑到进程并发执行的特点，当执行顺序为1，2，3，4或3，4，1，2时，counter的结果为5。当执行顺序为1，3，2，4或3，1，2，4时，counter的结果为4。当执行顺序为1，3，4，2或3，1，4，2时，counter的结果为7。故而无法得到6，因此答案选择C选项。