[Debian] Problema riconoscimento dei core

[HeroGian]

Salve a tutti, apro questo topic per chiedere consiglio riguardante un problema che ho riscontrato sull'installazione di Debian sul mio laptop samsung np rc 530.
In pratica ho notato che solamente uno dei miei due core è abilitato, mentre l'altro no a quanto pare, se do il comando:

root@debian:/# dmidecode -t processor | grep Core

mi stampa diverse informazioni riguardante il processore, tra cui le seguenti:

Core Count: 2
Core Enabled: 1

A quanto pare solamente uno dei due core è abilitato.. qualcuno che magari ha avuto il mio stesso problema sa darmi qualche dritta?
Per me sarebbe una cosa molto importante da risolvere, dato che ho installato questo sistema per testare dei codici paralleli per l'università.
Grazie

[pigi2pigi]

Dai una occhiata, a me
cat /sys/devices/system/cpu/online
0-3

cat /sys/devices/system/cpu/offline
(vuoto)

cat /sys/devices/system/cpu/cpu0/online
( manca c'è solo per 1 2 3 )

cat /sys/devices/system/cpu/cpu1/online
1
e così per le altre due

Controlla che non ci sia 0 in /sys/devices/system/cpu/cpu1/online

[sacarde]

da: top

vedi quando funzionano i core/cpu

[HeroGian]

Originariamente inviato da pigi2pigi

Dai una occhiata, a me
cat /sys/devices/system/cpu/online
0-3

cat /sys/devices/system/cpu/offline
(vuoto)

cat /sys/devices/system/cpu/cpu0/online
( manca c'è solo per 1 2 3 )

cat /sys/devices/system/cpu/cpu1/online
1
e così per le altre due

Controlla che non ci sia 0 in /sys/devices/system/cpu/cpu1/online

la configurazione dei miei file è identica alla tua a quanto pare.. non riesco proprio a capire il perchè di questa cosa; mi sa che provo a reinstallare debian..

[pigi2pigi]

Ulteriore verifica:

cat /proc/interrupts
deve mostrare gli interrupt per tutte le cpu

uname -a
Linux XXPGATU 3.13.0-43-generic #72~precise1-Ubuntu SMP Tue Dec 9 12:14:42 UTC 2014 i686 athlon i386 GNU/Linux
la presenza di SMP e kernel 686 (o superiore) ma non 486

che non ci sia il flag su grub
kernel flag "acpi=off" o maxcpus=1

Abilitare ACPI features nel BIOS

Prova a cambiare kernel

[HeroGian]

questo è il contenuto di /proc/interrupts

root@debian:/home/gianluca/Download# cat /proc/interrupts 
           CPU0       CPU1       CPU2       CPU3       
  0:         43          0          0          0   IO-APIC-edge      timer
  1:        793          0          0          0   IO-APIC-edge      i8042
  8:          1          0          0          0   IO-APIC-edge      rtc0
  9:        302          0          0          0   IO-APIC-fasteoi   acpi
 12:      67105          0          0          0   IO-APIC-edge      i8042
 16:         68          0          0          0   IO-APIC-fasteoi   ehci_hcd:usb1, nouveau
 23:      32876          0          0          0   IO-APIC-fasteoi   ehci_hcd:usb2
 41:       3617          0          0          0   PCI-MSI-edge      eth0
 42:      19273          0          0          0   PCI-MSI-edge      ahci
 43:      21193          0          0          0   PCI-MSI-edge      i915
 44:        406          0          0          0   PCI-MSI-edge      snd_hda_intel
NMI:         39         28         12         11   Non-maskable interrupts
LOC:      42850      37404      39579      22993   Local timer interrupts
SPU:          0          0          0          0   Spurious interrupts
PMI:         39         28         12         11   Performance monitoring interrupts
IWI:          0          0          0          0   IRQ work interrupts
RES:     104603     123507      42810      43700   Rescheduling interrupts
CAL:        542        998       1063       1195   Function call interrupts
TLB:       2442        986        866       1108   TLB shootdowns
TRM:          0          0          0          0   Thermal event interrupts
THR:          0          0          0          0   Threshold APIC interrupts
MCE:          0          0          0          0   Machine check exceptions
MCP:          3          3          3          3   Machine check polls
ERR:          0
MIS:          0

uname -a

Linux debian 3.2.0-4-686-pae #1 SMP Debian 3.2.63-2+deb7u2 i686 GNU/Linux

dal grub non rilevo nulla di ciò che mi hai scritto, mentre anche per quanto riguarda l'opzione ACPI dal bios non trovo nulla al riguardo.. adesso provo a cambiare kernel, dopodichè non so più che fare

[HeroGian]

Oggi ho fatto un test con un programma cpu bound seriale e parallelo:
quello seriale impiega un certo tempo, e la cpu arriva al massimo al 25%; mentre con quello parallelo (2 processi) ci mette poco più della metà del tempo e la cpu arriva al 50% quindi sembrerebbe tutto a posto.
Ho provato anche a lanciare lo stesso programma parallelo sul pc di un mio amico (con 2 core), ed i risultati sono molto simili.. quindi sembra che il problema sia risolto.

Continuo ancora a chiedermi cosa sia quel "core count e core enabled"..

[pigi2pigi]

Io con dmidecode non vedo quelle informazioni, ma ho una AMD, vedo quante cpu ho con lshw e posso controllare in realtime l'uso delle cpu con gnome-system-monitor