Как рассчитать количество ядер процессора в PHP-скрипте (Linux)? ⇐ Php

[Anonymous]

Я пытаюсь использовать pthreads для многопоточности. Я создаю пул с помощью конструктора. Первый параметр — количество рабочих.

Код: Выделить всё

$pool = new Pool(8, 'WebWorker');

Я хочу автоматически определять количество ядер процессора. Примерно так:

Код: Выделить всё

$pool = new Pool(get_processor_cores_number(), 'WebWorker');

Как это возможно с помощью PHP?

Подробнее здесь: https://stackoverflow.com/questions/369 ... ript-linux