librazor/atomic-emulate.c
author J. Ali Harlow <ali@juiblex.co.uk>
Tue Sep 09 15:04:24 2014 +0100 (2014-09-09)
changeset 446 4277359896dc
parent 435 275a4428c13b
child 447 0a5e583393e1
permissions -rw-r--r--
Add razor_transaction_unsatisfied()
     1 /*
     2  * Copyright (C) 2012, 2014  J. Ali Harlow <ali@juiblex.co.uk>
     3  *
     4  * This program is free software; you can redistribute it and/or modify
     5  * it under the terms of the GNU General Public License as published by
     6  * the Free Software Foundation; either version 2 of the License, or
     7  * (at your option) any later version.
     8  *
     9  * This program is distributed in the hope that it will be useful,
    10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    12  * GNU General Public License for more details.
    13  *
    14  * You should have received a copy of the GNU General Public License along
    15  * with this program; if not, write to the Free Software Foundation, Inc.,
    16  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
    17  */
    18 
    19 #include "config.h"
    20 
    21 #if ENABLE_ATOMIC && !HAVE_WINDOWS_KTM
    22 
    23 #include <stdlib.h>
    24 #include <stdio.h>
    25 #include <string.h>
    26 #include <unistd.h>
    27 #include <sys/types.h>
    28 #include <sys/stat.h>
    29 #include <fcntl.h>
    30 #include <dirent.h>
    31 #include <errno.h>
    32 #include <unistd.h>
    33 #include "razor-internal.h"
    34 
    35 /*
    36  * Emulated atomic support
    37  *
    38  * This implementation is better than nothing, but is certainly not atomic.
    39  * It does have a couple of advantages over atomic-none:
    40  *	- If a file operation fails while a package is being installed we
    41  *	  have a good chance of being able to rollback the transaction to
    42  *	  a well-known state.
    43  *	- We behave similarly to atomic-ktm in that changes are not visible
    44  *	  on disk to non-atomic operations (eg., scripts) until the atomic
    45  *	  is committed. This makes the testsuite more likely to pick up
    46  *	  problems that would otherwise only be found when using razor on
    47  *	  an MS-Windows system which supports KTM.
    48  */
    49 
    50 #ifndef O_BINARY
    51 #define O_BINARY	0
    52 #endif
    53 
    54 static void recursive_remove(const char *directory)
    55 {
    56 	DIR *dp;
    57 	struct dirent *dirp;
    58 	char *buf;
    59 
    60 	dp = opendir(directory);
    61 	while((dirp = readdir(dp))) {
    62 		if (strcmp(dirp->d_name, ".") && strcmp(dirp->d_name, "..")) {
    63 			buf = malloc(strlen(directory) + strlen(dirp->d_name)
    64 				     + 2);
    65 			sprintf(buf, "%s/%s", directory, dirp->d_name);
    66 			if (remove(buf) < 0)
    67 				recursive_remove(buf);
    68 			free(buf);
    69 		}
    70 	}
    71 
    72 	rmdir(directory);
    73 }
    74 
    75 RAZOR_EXPORT struct razor_atomic *razor_atomic_open(const char *description)
    76 {
    77 	struct razor_atomic *atomic;
    78 
    79 	atomic = zalloc(sizeof *atomic);
    80 
    81 	atomic->description = strdup(description);
    82 
    83 	return atomic;
    84 }
    85 
    86 RAZOR_EXPORT int razor_atomic_commit(struct razor_atomic *atomic)
    87 {
    88 	struct atomic_action *actions;
    89 
    90 	if (razor_atomic_in_error_state(atomic))
    91 		return -1;
    92 
    93 	if (atomic->actions) {
    94 		actions = atomic_action_list_reverse(atomic->actions);
    95 		atomic->actions = NULL;
    96 		actions = atomic_action_do(atomic, actions);
    97 		atomic_action_free(actions);
    98 	}
    99 
   100 	if (atomic->toplevel) {
   101 		recursive_remove(atomic->toplevel);
   102 		free(atomic->toplevel);
   103 		atomic->toplevel = NULL;
   104 	}
   105 
   106 	return razor_atomic_in_error_state(atomic);
   107 }
   108 
   109 RAZOR_EXPORT void razor_atomic_destroy(struct razor_atomic *atomic)
   110 {
   111 	if (atomic->toplevel) {
   112 		recursive_remove(atomic->toplevel);
   113 		free(atomic->toplevel);
   114 		atomic->toplevel = NULL;
   115 	}
   116 
   117 	if (atomic->error)
   118 		razor_error_free(atomic->error);
   119 
   120 	free(atomic);
   121 }
   122 
   123 #ifndef MSWIN_API
   124 static char *absolute_path(const char *path)
   125 {
   126 	int len;
   127 	char *result, *subpath, *p, *s, *t;
   128 
   129 	result = realpath(path, NULL);
   130 
   131 	if (!result && errno == ENOENT) {
   132 		p = strdup(path);
   133 		s = strrchr(p, '/');
   134 
   135 		while (s) {
   136 			if (s == p) {
   137 				result = strdup("/");
   138 				break;
   139 			}
   140 
   141 			*s = '\0';
   142 			subpath = realpath(p, NULL);
   143 
   144 			if (subpath) {
   145 				*s = '/';
   146 				len = strlen(subpath);
   147 				result = malloc(len + strlen(s) + 1);
   148 				memcpy(result, subpath, len);
   149 				strcpy(result + len, s);
   150 				break;
   151 			} else if (errno != ENOENT)
   152 				break;
   153 
   154 			t = strrchr(p, '/');
   155 			*s = '/';
   156 			s = t;
   157 		}
   158 
   159 		if (!s)
   160 			result = realpath(".", NULL);
   161 
   162 		free(p);
   163 	}
   164 
   165 	return result;
   166 }
   167 #endif
   168 
   169 /*
   170  * We need a toplevel directory in which to hold temporary files
   171  * before they are committed. Since we can generally assume that
   172  * we have write permissions anywhere on the filesystem in
   173  * question, the best location is at the relevant mount point.
   174  * The most common case where this assumption fails is when
   175  * testing, when the current directory is a good choice.
   176  */
   177 
   178 static int
   179 razor_atomic_set_toplevel_from_path(struct razor_atomic *atomic,
   180 				    const char *path)
   181 {
   182 #ifndef MSWIN_API
   183 	dev_t filesystem;
   184 	struct stat buf;
   185 #endif
   186 
   187 	if (razor_atomic_in_error_state(atomic))
   188 		return -1;
   189 
   190 	if (atomic->toplevel)
   191 		return 0;
   192 
   193 #ifdef MSWIN_API
   194 	if (path[0]=='\\' && path[1]=='\\' && path[2] && path[2]!='\\'
   195 	    && strchr(path+3,'\\')) {
   196 		/* We have a UNC path: \\servername\sharename... */
   197 		const char *sharename, *root;
   198 		int disklen;
   199 
   200 		sharename = strchr(path+3,'\\')+1;
   201 		root = strchr(sharename,'\\');
   202 		if (root)
   203 		    disklen = root - path;
   204 		else
   205 		    disklen = strlen(path);
   206 
   207 		atomic->toplevel =
   208 		  malloc(disklen + strlen("\\atomic-XXXXXX") + 1);
   209 		memcpy(atomic->toplevel, path, disklen);
   210 		strcpy(atomic->toplevel + disklen, "\\atomic-XXXXXX");
   211 	} else if ((*path>='A' && *path<='Z' || *path>='a' && *path<='z') &&
   212 		    path[1]==':') {
   213 		atomic->toplevel = strdup("X:\\atomic-XXXXXX");
   214 		*atomic->toplevel = *path;
   215 	} else {
   216 		DWORD n;
   217 		wchar_t *buf;
   218 		char *dir;
   219 
   220 		n = GetCurrentDirectoryW(0, NULL);
   221 		buf = malloc(n * sizeof(wchar_t));
   222 
   223 		if (GetCurrentDirectoryW(n, buf)) {
   224 			dir = razor_utf16_to_utf8(buf, n - 1);
   225 			razor_atomic_set_toplevel_from_path(atomic, dir);
   226 
   227 			free(dir);
   228 			free(buf);
   229 			return;
   230 		} else
   231 			atomic->toplevel = strdup("C:\\atomic-XXXXXX");
   232 
   233 		free(buf);
   234 	}
   235 #else
   236 	{
   237 		/*
   238 		 * Find the mount point (assuming we can write to the
   239 		 * whole filesystem). Otherwise stop at the first
   240 		 * unwritable directory and take one step back.
   241 		 */
   242 		char *s, *abspath, saved;
   243 		int len;
   244 
   245 		abspath = absolute_path(path);
   246 		if (!abspath) {
   247 			atomic->error = razor_error_new_str(path,
   248 							    strerror(errno));
   249 			return -1;
   250 		}
   251 
   252 		if (stat(abspath, &buf) < 0) {
   253 			atomic->error = razor_error_new_str(abspath,
   254 							    strerror(errno));
   255 			free(abspath);
   256 			return -1;
   257 		}
   258 		filesystem = buf.st_dev;
   259 
   260 		len = strlen(abspath);
   261 		while(len > 1 && (s = strrchr(abspath, '/'))) {
   262 			if (s == abspath) {
   263 				saved = s[1];
   264 				s[1] = '\0';
   265 				len = s + 1 - abspath;
   266 			} else {
   267 				s[0] = '\0';
   268 				len = s - abspath;
   269 			}
   270 
   271 			if (stat(abspath, &buf) < 0) {
   272 				atomic->error =
   273 				  razor_error_new_str(abspath, strerror(errno));
   274 				free(abspath);
   275 				return -1;
   276 			}
   277 
   278 			if (buf.st_dev != filesystem || access(abspath, W_OK)) {
   279 				if (s == abspath)
   280 					s[1] = saved;
   281 				else
   282 					s[0] = '/';
   283 				len = strlen(abspath);
   284 				break;
   285 			}
   286 		}
   287 
   288 		if (len == 1)
   289 			len = 0;	/* Avoid an unslightly double slash. */
   290 		atomic->toplevel = malloc(len + strlen("/.atomic-XXXXXX") + 1);
   291 		memcpy(atomic->toplevel, abspath, len);
   292 		strcpy(atomic->toplevel + len, "/.atomic-XXXXXX");
   293 
   294 		free(abspath);
   295 	}
   296 #endif
   297 
   298 	if (!mkdtemp(atomic->toplevel)) {
   299 		int err = errno;
   300 
   301 #ifdef EACCES
   302 		if (err == EACCES) {
   303 			char *s = strdup("atomic-XXXXXX");
   304 
   305 #ifndef MSWIN_API
   306 			if (stat(".", &buf) < 0) {
   307 				atomic->error =
   308 				  razor_error_new_str(".", strerror(errno));
   309 				free(s);
   310 				free(atomic->toplevel);
   311 				atomic->toplevel = NULL;
   312 				return -1;
   313 			}
   314 			if (buf.st_dev != filesystem)
   315 				/*
   316 				 * Don't use a different filesystem. It will
   317 				 * only fail later on (in rename) and cause
   318 				 * an unhelpful error message (EXDEV).
   319 				 */
   320 				free(s);
   321 			else
   322 #endif
   323 			if (mkdtemp(s)) {
   324 				free(atomic->toplevel);
   325 				atomic->toplevel = s;
   326 				return 0;
   327 			} else
   328 				free(s);
   329 		}
   330 #endif
   331 
   332 		atomic->error = razor_error_new_str(atomic->toplevel,
   333 						    strerror(err));
   334 
   335 		free(atomic->toplevel);
   336 		atomic->toplevel = NULL;
   337 	}
   338 
   339 	return !atomic->toplevel;
   340 }
   341 
   342 RAZOR_EXPORT int
   343 razor_atomic_make_dirs(struct razor_atomic *atomic, const char *root,
   344 		       const char *path)
   345 {
   346 	struct atomic_action *a;
   347 
   348 	razor_atomic_set_toplevel_from_path(atomic, *root ? root : path);
   349 
   350 	if (razor_atomic_in_error_state(atomic))
   351 		return -1;
   352 
   353 	a = atomic_action_new(ACTION_MAKE_DIRS);
   354 	a->args.path = strdup(path);
   355 	a->args.u.make_dirs.root = strdup(root);
   356 	atomic->actions = atomic_action_list_prepend(atomic->actions, a);
   357 
   358 	return 0;
   359 }
   360 
   361 RAZOR_EXPORT int
   362 razor_atomic_remove(struct razor_atomic *atomic, const char *path)
   363 {
   364 	struct atomic_action *a;
   365 
   366 	razor_atomic_set_toplevel_from_path(atomic, path);
   367 
   368 	if (razor_atomic_in_error_state(atomic))
   369 		return -1;
   370 
   371 	a = atomic_action_new(ACTION_REMOVE);
   372 	a->args.path = strdup(path);
   373 	atomic->actions = atomic_action_list_prepend(atomic->actions, a);
   374 
   375 	return 0;
   376 }
   377 
   378 RAZOR_EXPORT int
   379 razor_atomic_rename_file(struct razor_atomic *atomic, const char *oldpath,
   380 			 const char *newpath)
   381 {
   382 	struct atomic_action *a;
   383 
   384 	razor_atomic_set_toplevel_from_path(atomic, newpath);
   385 
   386 	if (razor_atomic_in_error_state(atomic))
   387 		return -1;
   388 
   389 	a = atomic_action_new(ACTION_MOVE);
   390 	a->args.path = strdup(oldpath);
   391 	a->args.u.move.dest = strdup(newpath);
   392 	atomic->actions = atomic_action_list_prepend(atomic->actions, a);
   393 
   394 	return 0;
   395 }
   396 
   397 RAZOR_EXPORT int
   398 razor_atomic_create_dir(struct razor_atomic *atomic, const char *dirname,
   399 			mode_t mode)
   400 {
   401 	struct atomic_action *a;
   402 
   403 	razor_atomic_set_toplevel_from_path(atomic, dirname);
   404 
   405 	if (razor_atomic_in_error_state(atomic))
   406 		return -1;
   407 
   408 	a = atomic_action_new(ACTION_CREATE_DIR);
   409 	a->args.path = strdup(dirname);
   410 	a->args.u.create_dir.mode = mode;
   411 	atomic->actions = atomic_action_list_prepend(atomic->actions, a);
   412 
   413 	return 0;
   414 }
   415 
   416 RAZOR_EXPORT int
   417 razor_atomic_create_symlink(struct razor_atomic *atomic, const char *target,
   418 			    const char *path)
   419 {
   420 #if HAVE_SYMLINK
   421 	struct atomic_action *a;
   422 
   423 	razor_atomic_set_toplevel_from_path(atomic, path);
   424 #endif
   425 
   426 	if (razor_atomic_in_error_state(atomic))
   427 		return -1;
   428 
   429 #if HAVE_SYMLINK
   430 	a = atomic_action_new(ACTION_CREATE_SYMLINK);
   431 	a->args.path = strdup(path);
   432 	a->args.u.create_symlink.target = strdup(target);
   433 	atomic->actions = atomic_action_list_prepend(atomic->actions, a);
   434 
   435 	return 0;
   436 #else
   437 	atomic->error = razor_error_new_str(NULL,
   438 					    "Symbolic links not supported "
   439 					    "on this platform");
   440 
   441 	return -1;
   442 #endif
   443 }
   444 
   445 RAZOR_EXPORT int
   446 razor_atomic_create_file(struct razor_atomic *atomic, const char *filename,
   447                          mode_t mode)
   448 {
   449 	int fd;
   450 	struct atomic_action *a;
   451 	char *tmpnam;
   452 
   453 	razor_atomic_set_toplevel_from_path(atomic, filename);
   454 
   455 	if (razor_atomic_in_error_state(atomic))
   456 		return -1;
   457 
   458 	tmpnam = atomic_action_attic_tmpnam(atomic);
   459 	fd = open(tmpnam, O_WRONLY | O_CREAT | O_TRUNC | O_BINARY,
   460 		  mode & (S_IRWXU | S_IRWXG | S_IRWXO));
   461 
   462 	if (fd == -1)
   463 		atomic->error = razor_error_new_str(filename, strerror(errno));
   464 	else {
   465 		a = atomic_action_new(ACTION_MOVE);
   466 		a->args.path = tmpnam;
   467 		a->args.u.move.dest = strdup(filename);
   468 		atomic->actions = atomic_action_list_prepend(atomic->actions,
   469 							     a);
   470 	}
   471 
   472 	return fd;
   473 }
   474 
   475 #endif	/* ENABLE_ATOMIC && !HAVE_WINDOWS_KTM */