©
このドキュメントでは、 php中国語ネットマニュアル リリース
(PHP 4, PHP 5)
shm_remove — Removes shared memory from Unix systems
$shm_identifier
) shm_remove() removes the shared memory
shm_identifier
. All data will be destroyed.
shm_identifier
The shared memory identifier as returned by shm_attach()
成功时返回 TRUE
, 或者在失败时返回 FALSE
。
[#1] HansRich [2014-06-12 15:17:56]
WARNING: this function WILL NOT destroy the memory segment if there are other processes attached to it, but it will return TRUE anyways!
You will have to try to access the segment again after destroying it to make sure it was relly destroyed.
[#2] aaron DURP segura DURP gmail DURP com [2006-08-19 16:55:43]
It appears that you must be connected to the shm segment in order to remove it.
<?php
shm_remove($shm);
shm_detach($shm);
?>
works, while
<?php
shm_detach($shm);
shm_remove($shm);
?>
produces "Warning: shm_remove(): The parameter is not a valid shm_identifier ..."
[#3] cu at ulakbim dot gov dot tr [1999-12-29 20:30:19]
Though it says **shm_identifier** in
int shm_remove(int shm_identifier);
and
shm_attach() returns an **id** that that can be used to access the System V...
a snippet like this:
<?php
$key = 1234;
$shm=shm_attach($key);
// do whatever...
shm_remove($shm);
?>
produces an error like
Warning: 2(which is the value of $shm) is not a existing SysV shared memory key in /usr/cu/web/sema.php on line 44...
The documentation confused me a bit. I thought shm_remove would get the shm handle/id that returns from shm_attach, not the key given to shm_attach. So, use instead:
shm_remove($key);
which is what is intended indeed.