How do I change the size of the available shared memory on Linux?
root@thor:/home/omry# df -h | grep shm
none 3.9G 3.9G 1.6M 100% /dev/shm
evidently 4GB is not enough for what I am doing (I need to load a lot of data into shared memory - my machine got 8GB of RAM).