| http://www.w3.org/ns/prov#value | - Some casual measurements on my system showed pthread_create taking about twice as much time as open(/dev/null, O_RDWR), which is very expensive relative to pure computation but very cheap relative to any IO or other operations which would involve switching between user and kernel space.
|
