Consistency models for distributed systems

Which are the consistency models used for distributed systems? Papers that survey the consistency models Robert C. Steinke and Gary J. Nutt. 2004. A unified theory of shared memory consistency. J. ACM 51, 5 (September 2004), 800-849. DOI=10.1145/1017460.1017464 http://doi.acm.org/10.1145/1017460.1017464 David Mosberger. 1993. Memory consistency models. SIGOPS Oper. Syst. Rev. 27, 1 (January 1993), 18-26. DOI=10.1145/160551.160553…

How to restore a Gnome 3 session?

How to restore a Gnome 3 session? Which means: opening all the programs running last time when I log out in Gnome 3. If your purpose is to automatically start programs after logging in Gnome, another possible method is using the autostart script: https://www.systutorials.com/qa/119/how-to-write-a-autostart-script-for-gnome Run gnome-session-properties. In the “Options” tab, select “Automatically remember running applications…

How to turn my iPhone to a mouse?

iPhone has the touch screen. Is is possible to turn my iPhone to a wireless mouse on Linux? Use the WiFi Mouse app/server: http://wifimouse.necta.us/ First, install the WiFi Mouse app on you iPhone: https://itunes.apple.com/app/id591076411?mt=8 Second, install the WiFi Mouse server downloaded from http://wifimouse.necta.us/ If you are using Fedora Linux, you need to convert the .deb…

How to add social icons to Q2A?

How to add the social share icons to q2a as shown in this site? This site uses the Question2Answer Share plugin: https://github.com/NoahY/q2a-share After installing the plugin by downloading and copying the directory for the plugin to the qa-plugin directory, you can select the networks to share to in ‘Admin -> Plugins’. I see. Thanks!

How to activate or deactivate a Linux host with Gnome remotely?

I have a Fedora Linux server with Gnome 3. I want to lock / unlock the remote Gnome desktop remotely. How to activate or deactivate it remotely through SSH? Use gnome-screensaver-command. It is not specific to Gnome 3. Turn the screensaver on (blank the screen): $ gnome-screensaver-command -a If the screensaver is active then deactivate…

Chrome reports “Adobe Flash Player was blocked because it is out of date.”

On Linux (Fedora 17 x86-64), Chrome keeps reporting “Adobe Flash Player was blocked because it is out of date.” every time I browse a page that contains Flash. How to fix this? I did this and it turned to be working for me: Disable the libpepflashplayer in Chrome by run chrome://plugins/ in the URL bar….