关于超线程和cpu load

Question

关于逻辑CPU核数，有个公式是

逻辑CPU数量=物理cpu数量 x 每个物理cpu的核心数 x 2(如果支持并开启超线程)

也就是开启超线程的话，逻辑CPU数量是不开的2倍

获取一台机器的cpu参数如下

逻辑CPU数量=
[root@redis-server parentManage]# cat /proc/cpuinfo| grep "processor"| wc -l
12

每个物理cpu的核心数
[root@redis-server parentManage]# cat /proc/cpuinfo| grep "cpu cores"| uniq
cpu cores : 3

物理cpu数量
[root@redis-server parentManage]# cat /proc/cpuinfo| grep "physical id"| sort| uniq| wc -l
2

可见这台机器一共有6个核，但是由于超线程，一共有12个逻辑cpu
我想问的是，当这台机器做tomcat服务器，
如何确定是否使用了超线程？
也就是用top看cpu load的时候，
cpu load是以6为最大值还是12?