-
Notifications
You must be signed in to change notification settings - Fork 6
Servers
Our lab has three servers (pictures). They run the latest version GNU/Linux Debian Stable.
-
🍣 Sushi (lli-debu.me, port 5022)
- Lenovo ThinkStation P620
- CPU: 64 cores, 128 threads, 4.3GHz (AMD Ryzen Threadripper PRO 3995WX)
- Graphic: Nvidia RTX 4090 RTX 24GB RAM
- Memory: 128GB RAM
This system is ideal for projects that can leverage many cores and specialized GPU.
- Lenovo ThinkStation P620
-
🍕 Pizza (lli-debu.me, port 6022)
- Custom built
- CPU: 32 cores, 64 threads, 3.6GHz (AMD Ryzen Threadripper PRO 5975WX)
- Graphic: Nvidia RTX 4090 RTX 24GB RAM
- Memory: 128GB RAM
This system is ideal for projects that can leverage many cores and specialized GPU.
- Custom built
-
🌮 Taco (lli-debu.me, port 7022)
- Alienware Aurora
- CPU: 16 cores, 24 threads, 5.20GHz (Intel 12th Gen Core i9-12900KF)
- Graphic: Nvidia RTX 3080 Ti 12GB RAM
- Memory: 64GB RAM
This system is ideal for experiments that need very fast CPU (but not lots of core) and fast GPU.
- Alienware Aurora
🛑 DO NOT install any thing other than Debian stable packages to these computers (e.g., do not mix unstable or new repositories to
apt
sources list). You can download and install anything in your home (local) directory. If in doubt, contact us.
- To get an account on the server, send us a request and your SSH public key (for password-less log in)
- After your account is created, we will send you information to log in.
This includes your username
USERNAME
and instructions to log in
- Do the following on your machine that has the SSH public key you sent:
-
You can simply type
ssh USERNAME@HOSTNAME -p PORTNUMBER
and you should automatically log in -
Or, you can add the following to your
~/.ssh/config
fileHost SomeName Hostname HOSTNAME Port PORTNUMBER User USERNAME
-
After this, you can type
ssh SomeName
from the command line to automatically log in (you should not get asked to enter password). -
Here's a concrete example
Host SUSHI HostName lli-debu.me Port 5022 User USERNAME # IdentityFile ~/.ssh/NAMEKEY # Optional, use a specific private key (if you sent us a non-default public key)
Now you can type
ssh SUSHI
to log in. Note in this example we useIdentifyFile
to specify a specificssh
public key. This is useful if you have lots of public keys.
-
-
If you have added the server to your ssh config as above, then you can simply use the following command to copy stuff to your home directory:
scp <local_file> SUSHI:~
If you do not wish to add the server to your ssh config, use the command below (the -P
flag is case-sensitive!):
scp -P <port_number> <local_file> <you_username>@lli-debu.me
- Once you have an account and password, you can add a new SSH public key to your account by running:
cat ~/.ssh/id_rsa.pub | ssh username@host 'cat >> ~/.ssh/authorized_keys'
- You can use an IDE such as
VSCode
to do remote development on these servers (just connect to the server via the builtin remote login method in VSCode). You can also use other editors that support remote development (e.g.,Emac
+TRAMP
). - Do take advantage of the multicores these machine have. Most
programming languages support multiprocessing (e.g.,
Python
) and can significantly reduce program runtime. - Periodically check
top
andhtop
to make sure you are not taking too much CPU or memory. - Periodically check
/var/tmp
or/tmp/
to make sure you are not taking too much space there.
🍣 Sushi |
🍣 Sushi Cooling System |
🍕 Pizza |